[tests] update oracles (should have been done in the last MR)

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_bts1478.c

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

...-acsl/tests/e-acsl-runtime/oracle/gen_function_contract.c

...ins/e-acsl/tests/e-acsl-runtime/oracle/gen_labeled_stmt.c

...ns/e-acsl/tests/e-acsl-runtime/oracle/gen_linear_search.c

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

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

...-acsl/tests/e-acsl-runtime/oracle/gen_valid_in_contract.c

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

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