suggestion: translate axioms and implication premises in forward order to coq (#360) · Issues · pub / frama-c