diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.h b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.h
index 964a7c069e78d3f14afaf048af3403977e34960b..f91d0123bd157dfb1d3210a4b330135931e7bb29 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.h
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.h
@@ -20,8 +20,9 @@
 /*                                                                        */
 /**************************************************************************/
 
-#include <unistd.h>
-#include <stdlib.h>
+#ifndef E_ACSL_BITTREE
+#define E_ACSL_BITTREE
+
 #include <stdbool.h>
 
 #include "e_acsl_syscall.h"
@@ -457,3 +458,4 @@ static void __debug_struct () {
   __debug_rec(__root, 0);
   printf("-----------------\n");
 }
+#endif
diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree_mmodel.c b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree_mmodel.c
index 1bed39de331f3732e9a866bb2c4d77c7e0972a16..9494d8c5efd225acf06c3d2bd5cc299804b5ffc5 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree_mmodel.c
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree_mmodel.c
@@ -20,5 +20,8 @@
 /*                                                                        */
 /**************************************************************************/
 
-#include "e_acsl_adt_mmodel.h"
-#include "e_acsl_bittree.h"
+#ifndef E_ACSL_BITTREE_MMODEL
+#define E_ACSL_BITTREE_MMODEL
+#  include "e_acsl_adt_mmodel.h"
+#  include "e_acsl_bittree.h"
+#endif
diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h
index b740b4c991cf8a0df7dfaabbc06cf97ea8819c42..04e2e34f7cb92ae6aa3c846bc758e587a7212e86 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h
@@ -20,6 +20,9 @@
 /*                                                                        */
 /**************************************************************************/
 
+#ifndef E_ACSL_LIST
+#define E_ACSL_LIST
+
 #include "e_acsl_syscall.h"
 #include "e_acsl_printf.h"
 #include "e_acsl_assert.h"
@@ -130,4 +133,4 @@ static void __debug_struct() {
   }
   printf("\t\t\t-----------------\n");
 }
-
+#endif
diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list_mmodel.c b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list_mmodel.c
index 5d44e1e2de2a6ca0a7954b513a4dfd993511af89..ad02715f4f2c635bf35edca64c4b244d5f105363 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list_mmodel.c
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list_mmodel.c
@@ -20,5 +20,8 @@
 /*                                                                        */
 /**************************************************************************/
 
-#include "e_acsl_adt_mmodel.h"
-#include "e_acsl_list.h"
+#ifndef E_ACSL_LIST_MMODEL
+#define E_ACSL_LIST_MMODEL
+#  include "e_acsl_adt_mmodel.h"
+#  include "e_acsl_list.h"
+#endif
diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree_mmodel.c b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree_mmodel.c
index 459f42e0d053867528d0b7005b05e6e673daf78b..7e4d530f1f1c6b9304a25c2b16efb4b756d2d79b 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree_mmodel.c
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree_mmodel.c
@@ -20,5 +20,8 @@
 /*                                                                        */
 /**************************************************************************/
 
-#include "e_acsl_adt_mmodel.h"
-#include "e_acsl_splaytree.h"
+#ifndef E_ACSL_SPLAYTREE_MMODEL
+#define E_ACSL_SPLAYTREE_MMODEL
+#  include "e_acsl_adt_mmodel.h"
+#  include "e_acsl_splaytree.h"
+#endif
diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h
index 678c620d1650191ef1f737655cf2a1c048024bae..d10bf1bef72256e059ae715fd01ffe4fb7c16e67 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h
@@ -20,6 +20,9 @@
 /*                                                                        */
 /**************************************************************************/
 
+#ifndef E_ACSL_BINTREE
+#define E_ACSL_BINTREE
+
 #include "e_acsl_syscall.h"
 #include "e_acsl_printf.h"
 #include "e_acsl_assert.h"
@@ -151,3 +154,4 @@ static void __debug_struct() {
   __debug_rec(__root);
   printf("\t\t\t-----------------\n");
 }
+#endif
diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree_mmodel.c b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree_mmodel.c
index 9bc75e05201b8ceeb6802cb6a48c21674b7415af..2b7226d30ebd4ef778f592208f36afcc5503855f 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree_mmodel.c
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree_mmodel.c
@@ -20,5 +20,8 @@
 /*                                                                        */
 /**************************************************************************/
 
-#include "e_acsl_adt_mmodel.h"
-#include "e_acsl_tree.h"
+#ifndef E_ACSL_BINTREE_MMODEL
+#define E_ACSL_BINTREE_MMODEL
+#  include "e_acsl_adt_mmodel.h"
+#  include "e_acsl_tree.h"
+#endif