unknown identifier in contract is not rejected (#825) · Issues · pub / frama-c