Bugfix - printing the terms that should be in counterexample caused the modification of the list of these terms that is passed to parser of counter-examples (each term was then twice in this list).
Bugfix - printing the terms that should be in counterexample caused the modification of the list of these terms that is passed to parser of counter-examples (each term was then twice in this list).

ssaavedra/why3,ssaavedra/why3,ssaavedra/why3