obligation "2+2==5" simplified to "false" by Qed, but then passed to Alt-Ergo nevertheless (#948) · Issues · pub / frama-c