Indicates errors in annotations when should not (#2493) · Issues · pub / frama-c