wrongly synthesized assert (#1584) · Issues · pub / frama-c