diff --git a/command_line/cadbiom_cmd/solution_search.py b/command_line/cadbiom_cmd/solution_search.py
index c2a4314755ad60048e7d1678e53b6e9221ee9586..3773cfa30d1e663ad1089cdc14f50b2954059b89 100644
--- a/command_line/cadbiom_cmd/solution_search.py
+++ b/command_line/cadbiom_cmd/solution_search.py
@@ -149,6 +149,7 @@ def get_dimacs_start_properties(mcla, previous_frontier_places):
         )
         for frontier_places in previous_frontier_places
     ]
+    return dimacs_start
 
 
 def search_entry_point(
diff --git a/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py b/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py
index 443294b6422fa1aacccda3e7a942b3078fb8051d..67b8d58e2137ac9011a54703dc40b81a515b100b 100644
--- a/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py
+++ b/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py
@@ -685,7 +685,7 @@ class MCLAnalyser(object):
         # mac_list = [] # Not used anymore
 
         # Keep a list of frontier values to be banned in the next search
-        forbidden_frontier_values = []
+        forbidden_frontier_values = query.dim_start
 
         # Satisfiability test
         reachable = self.sq_is_satisfiable(query, max_user_step)