Merge branch 'fix/eva/renaming' into 'master'

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

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

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

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

src/plugins/e-acsl/tests/format/oracle/gen_fprintf.c

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

...-acsl/tests/gmp/oracle/gen_at_on-purely-logic-variables.c

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

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

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

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

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

src/plugins/e-acsl/tests/temporal/oracle/gen_t_dpointer.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_malloc-asan.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_malloc.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_memcpy.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_scope.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_while.c