Fix test oracles

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

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

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

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

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

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

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

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

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

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

src/plugins/e-acsl/tests/gmp/oracle/gen_quantif2.c

...lugins/e-acsl/tests/runtime/oracle/block_valid.res.oracle

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

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

...s/e-acsl/tests/runtime/oracle/gen_compound_initializers.c

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

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

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

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

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