diff --git a/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/explicit/ExplicitSearchScheduler.java b/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/explicit/ExplicitSearchScheduler.java
index 5fd0e37b4..08c974d6f 100644
--- a/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/explicit/ExplicitSearchScheduler.java
+++ b/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/explicit/ExplicitSearchScheduler.java
@@ -507,7 +507,7 @@ private void postIterationCleanup() {
                         assert ((scheduleChoice == choice) || (scheduleChoice.getStepNumber() == (choice.getStepNumber() - 1)));
                         newStepNumber = scheduleChoice.getStepNumber();
                     } else {
-                        assert (choice.getStepNumber() == 0);
+                        assert (choice.getStepNumber() <= 1);
                     }
                 }
                 if (newStepNumber == 0) {