[E-ACSL] fix incorrectness which may occur in presence of aliasing

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/pre_analysis.ml

src/plugins/e-acsl/tests/e-acsl-runtime/alias.i

...ins/e-acsl/tests/e-acsl-runtime/oracle/alias.1.err.oracle

...ins/e-acsl/tests/e-acsl-runtime/oracle/alias.1.res.oracle

...ugins/e-acsl/tests/e-acsl-runtime/oracle/alias.err.oracle

...ugins/e-acsl/tests/e-acsl-runtime/oracle/alias.res.oracle

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias2.c

...-acsl/tests/e-acsl-runtime/oracle/gen_valid_in_contract.c

...acsl/tests/e-acsl-runtime/oracle/gen_valid_in_contract2.c

...ests/e-acsl-runtime/oracle/valid_in_contract.1.res.oracle

.../tests/e-acsl-runtime/oracle/valid_in_contract.res.oracle

src/plugins/e-acsl/translate.ml