term evaluation: a few more tests. Test it with
term evaluation: a few more tests. Test it with


why3 tests/test-eval.why -P alt-ergo -T T --eval i1 --eval i2 --eval let1 --eval c2 --eval c3 --eval c4 --eval c5 --eval l1 --eval l2 --eval l3 --eval l4 --eval l5

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