illegal keyword in contract causes rest to be tacitly ignored (#832) · Issues · pub / frama-c