[eacsl] Update oracles

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

...ests/arith/oracle/at_on-purely-logic-variables.res.oracle

src/plugins/e-acsl/tests/arith/oracle/functions.res.oracle

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

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

...csl/tests/arith/oracle/gen_at_on-purely-logic-variables.c

src/plugins/e-acsl/tests/arith/oracle/gen_functions.c

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

src/plugins/e-acsl/tests/arith/oracle/gen_longlong.c

src/plugins/e-acsl/tests/arith/oracle/gen_not.c

src/plugins/e-acsl/tests/arith/oracle/gen_quantif.c

src/plugins/e-acsl/tests/arith/oracle/gen_rationals.c

src/plugins/e-acsl/tests/arith/oracle/let.res.oracle

src/plugins/e-acsl/tests/arith/oracle/longlong.res.oracle

src/plugins/e-acsl/tests/arith/oracle/quantif.res.oracle

src/plugins/e-acsl/tests/arith/oracle/rationals.res.oracle

src/plugins/e-acsl/tests/bts/oracle/bts2305.res.oracle

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

src/plugins/e-acsl/tests/bts/oracle/gen_bts1395.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts2191.c