Synchronize with frama-c/frama-c!941

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

...ugins/e-acsl/tests/full-mmodel/oracle/addrOf.0.res.oracle

...ugins/e-acsl/tests/full-mmodel/oracle/addrOf.1.res.oracle