[E-ACSL] update according to Value's changes

src/plugins/e-acsl/E_ACSL.mli

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

...lugins/e-acsl/tests/e-acsl-runtime/oracle/at.1.res.oracle

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/at.res.oracle

...sl/tests/e-acsl-runtime/oracle/linear_search.1.res.oracle

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

...ugins/e-acsl/tests/e-acsl-runtime/oracle/ptr.1.res.oracle

...plugins/e-acsl/tests/e-acsl-runtime/oracle/ptr.res.oracle

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

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