[eacsl] Update tests

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

...s/arith/oracle_ci/at_on-purely-logic-variables.res.oracle

src/plugins/e-acsl/tests/arith/oracle_ci/bitwise.res.oracle

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

...ins/e-acsl/tests/arith/oracle_ci/functions_rec.res.oracle

src/plugins/e-acsl/tests/arith/oracle_ci/gen_arith.c

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

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

.../tests/arith/oracle_ci/gen_at_on-purely-logic-variables.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_bitwise.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_cast.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_comparison.c

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

src/plugins/e-acsl/tests/arith/oracle_ci/gen_functions_rec.c

...ugins/e-acsl/tests/arith/oracle_ci/gen_integer_constant.c

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

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

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

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

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