Tests for let binding.

src/plugins/e-acsl/.gitignore

src/plugins/e-acsl/tests/full-mmodel-only/let-alias.c

...gins/e-acsl/tests/full-mmodel-only/oracle/gen_let-alias.c

...e-acsl/tests/full-mmodel-only/oracle/let-alias.err.oracle

...e-acsl/tests/full-mmodel-only/oracle/let-alias.res.oracle

src/plugins/e-acsl/tests/full-mmodel-only/test_config

src/plugins/e-acsl/tests/gmp/let.c

src/plugins/e-acsl/tests/gmp/oracle/gen_let.c

src/plugins/e-acsl/tests/gmp/oracle/gen_let2.c

src/plugins/e-acsl/tests/gmp/oracle/let.0.err.oracle

src/plugins/e-acsl/tests/gmp/oracle/let.0.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/let.1.err.oracle

src/plugins/e-acsl/tests/gmp/oracle/let.1.res.oracle