[e-acsl] code review

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

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

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

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

src/plugins/e-acsl/src/code_generator/logic_array.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/translate_ats.ml

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

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

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