update oracles

src/plugins/e-acsl/tests/bts/oracle/bts1304.err.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1307.err.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1324.err.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1326.err.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1390.err.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1395.err.oracle

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

src/plugins/e-acsl/tests/bts/oracle/bts1399.err.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1478.err.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1700.err.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1717.err.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1718.err.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1740.err.oracle

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

src/plugins/e-acsl/tests/bts/oracle/bts2191.err.oracle

src/plugins/e-acsl/tests/bts/oracle/bts2192.err.oracle

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

src/plugins/e-acsl/tests/bts/oracle/bts2252.err.oracle

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

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