[eacsl] Update tests

src/plugins/e-acsl/tests/bts/oracle_ci/bts2252.res.oracle

src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2252.c

src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2406.c

src/plugins/e-acsl/tests/format/oracle_ci/gen_printf.c

src/plugins/e-acsl/tests/format/oracle_ci/printf.res.oracle

...ns/e-acsl/tests/memory/oracle_ci/gen_ranges_in_builtins.c

src/plugins/e-acsl/tests/memory/oracle_ci/gen_separated.c

...acsl/tests/memory/oracle_ci/ranges_in_builtins.res.oracle

...lugins/e-acsl/tests/memory/oracle_ci/separated.res.oracle

src/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_memcpy.c

...ugins/e-acsl/tests/temporal/oracle_ci/t_memcpy.res.oracle