[tests] update wrt Frama-C printer change

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

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

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

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

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

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

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

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

src/plugins/e-acsl/tests/gmp/oracle/arith.0.res.oracle

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

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

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

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

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

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

src/plugins/e-acsl/tests/gmp/oracle/longlong.0.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/longlong.1.res.oracle

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

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

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