[eacsl] Update tests

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

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

src/plugins/e-acsl/tests/constructs/oracle_ci/gen_rte.c

src/plugins/e-acsl/tests/constructs/oracle_ci/rte.res.oracle

...ins/e-acsl/tests/constructs/oracle_dev/rte.e-acsl.err.log

src/plugins/e-acsl/tests/constructs/rte.i

...ins/e-acsl/tests/special/oracle_ci/gen_e-acsl-functions.c

...plugins/e-acsl/tests/special/oracle_ci/gen_e-acsl-valid.c