MR !150 Review: address reviewer's comments

src/plugins/e-acsl/contrib/libdlmalloc/dlmalloc.c

src/plugins/e-acsl/env.ml

...e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c

src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h

src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h

src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h

src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c

...e-acsl/share/e-acsl/segment_model/e_acsl_segment_mmodel.c

...acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h

.../e-acsl/share/e-acsl/segment_model/e_acsl_shadow_layout.h

src/plugins/e-acsl/visit.ml