diff --git a/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py b/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py
index b82ec0a5c947d7ce60906ddc41118eda4c997845..39bfd144d6fd7286db9a79054cb4e2029a835de4 100644
--- a/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py
+++ b/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py
@@ -731,21 +731,15 @@ class MCLAnalyser(object):
             ## TEST
             print("__mac_exhaustive_search:: final current step ?", self.unfolder.get_current_step())
 
-
-            if current_mac.nb_activated_frontiers == 0:
-                # Condition that seems to be never reached..
-                print("NOT REACHABLE")
-                reachable = False
-            else:
-                yield current_mac
-                # mac_list.append(current_mac)
-
-                # Keep a list of frontier values to be banned in the next search
-                # - Get all activated frontiers on the current DimacsFrontierSol
-                # - Build a list of their opposite values
-                forbidden_frontier_values.append(
-                    [-var for var in current_mac.activated_frontier_values]
-                )
+            yield current_mac
+            # mac_list.append(current_mac)
+
+            # Keep a list of frontier values to be banned in the next search
+            # - Get all activated frontiers on the current DimacsFrontierSol
+            # - Build a list of their opposite values
+            forbidden_frontier_values.append(
+                [-var for var in current_mac.activated_frontier_values]
+            )
 
     def next_mac(self, query, max_step):
         """Search a Minimal Access Condition for the given query.