src/plugins/e-acsl/src/code_generator/global_observer.ml

src/plugins/e-acsl/src/code_generator/global_observer.mli

src/plugins/e-acsl/src/code_generator/injector.ml

...-acsl/tests/bts/oracle_ci/gen_bts1386_complex_flowgraph.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_bts2305.c

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

src/plugins/e-acsl/tests/bts/oracle_ci/gen_issue-eacsl-91.c

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

src/plugins/e-acsl/tests/format/oracle_ci/gen_printf.c

...lugins/e-acsl/tests/full-mtracking/oracle_ci/gen_addrOf.c

src/plugins/e-acsl/tests/memory/oracle_ci/gen_base_addr.c

src/plugins/e-acsl/tests/memory/oracle_ci/gen_block_length.c

src/plugins/e-acsl/tests/memory/oracle_ci/gen_block_valid.c

...e-acsl/tests/memory/oracle_ci/gen_compound_initializers.c

src/plugins/e-acsl/tests/memory/oracle_ci/gen_errno.c

src/plugins/e-acsl/tests/memory/oracle_ci/gen_freeable.c