1 files changed, 3 insertions, 1 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/DepthFirstStrategy.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/DepthFirstStrategy.java
index 5f7f61b8..0a0caa7e 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/DepthFirstStrategy.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/DepthFirstStrategy.java
@@ -67,7 +67,9 @@ public class DepthFirstStrategy implements Strategy {
                                 return;
                         }
 
-                        dseAdapter.fireRandomActivation();
+                        if (!dseAdapter.fireRandomActivation()) {
+                                return;
+                        }
                 }
         }