Option -wp-qed-checks generates invalid At-Ergo files (#932) · Issues · pub / frama-c