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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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