[e-acsl] first review corrections

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/src/analyses/interval.ml

src/plugins/e-acsl/src/analyses/preprocess_predicates.mli

src/plugins/e-acsl/src/analyses/preprocess_typing.ml

src/plugins/e-acsl/src/analyses/preprocess_typing.mli

src/plugins/e-acsl/src/analyses/typing.ml

src/plugins/e-acsl/src/analyses/typing.mli

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

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

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

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

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

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

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

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

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

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

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

src/plugins/e-acsl/src/libraries/error.mli

src/plugins/e-acsl/tests/arith/functions_rec.c