[E-ACSL] oracle bugfixes

src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c

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

...s/e-acsl/tests/e-acsl-runtime/oracle/bts1304.1.res.oracle

...ins/e-acsl/tests/e-acsl-runtime/oracle/bts1304.res.oracle

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

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13042.c

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

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

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

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