[eacsl:codegen] Update all e-acsl tests

src/plugins/e-acsl/tests/arith/oracle_ci/gen_arith.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_array.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_cast.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_comparison.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_functions.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_functions_rec.c

...ugins/e-acsl/tests/arith/oracle_ci/gen_integer_constant.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_longlong.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_not.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_rationals.c

src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1395.c

src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1478.c

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

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

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

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

src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2305.c

src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2406.c

src/plugins/e-acsl/tests/bts/oracle_ci/gen_issue69.c

src/plugins/e-acsl/tests/constructs/oracle_ci/gen_false.c