diff --git a/cadbiom/models/clause_constraints/mcl/CLUnfolder.py b/cadbiom/models/clause_constraints/mcl/CLUnfolder.py
index fc092d5669410f2683617669bb46f897dbe72483..1c6b9f25248621b19a2ed33dba88ddef0c3f5e1b 100644
--- a/cadbiom/models/clause_constraints/mcl/CLUnfolder.py
+++ b/cadbiom/models/clause_constraints/mcl/CLUnfolder.py
@@ -596,12 +596,13 @@ class CLUnfolder(object):
         MODIFIES __lit_cpt for numbering of auxiliary variables (not coding)
         """
         if self.__locked:
-            mess = "Trying to compile property while unfolder is locked"
-            raise MCLException(mess)
-        reporter = self.__dyn_sys.report
-        symb_t = self.__dyn_sys.symb_tab
+            raise MCLException("Trying to compile property while unfolder is locked")
+
         # syntax analyser and type checker
-        tree_prop = compile_cond(property_text, symb_t, reporter)
+        # property_text, symb_t, reporter
+        tree_prop = compile_cond(property_text,
+                                 self.__dyn_sys.symb_tab,
+                                 self.__dyn_sys.report)
         # avoid name collisions of aux var
         prop_visitor = CLPropertyVisitor(self.__lit_cpt)
         tree_prop.accept(prop_visitor)