syntax error in contract causes rest to be tacitly ignored (#652) · Issues · pub / frama-c