use correct kf when adding annotations in visitor + upgrade oracles

src/plugins/e-acsl/env.ml

src/plugins/e-acsl/env.mli

...ugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle

...lugins/e-acsl/tests/e-acsl-runtime/oracle/cast.res.oracle

.../e-acsl/tests/e-acsl-runtime/oracle/comparison.res.oracle

.../tests/e-acsl-runtime/oracle/function_contract.res.oracle

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

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

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

...l/tests/e-acsl-runtime/oracle/integer_constant.res.oracle

...lugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.res.oracle

.../tests/e-acsl-runtime/oracle/nested_code_annot.res.oracle

...sl/tests/e-acsl-runtime/oracle/other_constants.res.oracle

...plugins/e-acsl/tests/e-acsl-runtime/oracle/ptr.res.oracle

...gins/e-acsl/tests/e-acsl-runtime/oracle/sizeof.res.oracle

src/plugins/e-acsl/visit.ml