suggest to supply previous "ensures" as hypotheses in proof obligation of next "ensures" (#108) · Issues · pub / frama-c