Fixed missing "intro a_WT" in Coq output
Fixed missing "intro a_WT" in Coq output

ssaavedra/why3,jpdeplaix/why3,jpdeplaix/why3,ssaavedra/why3,douglas-larocca/why3,douglas-larocca/why3,ssaavedra/why3,jpdeplaix/why3,douglas-larocca/why3