diff --git a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
index 63992a81e93bef490451076ac2facae4fc8e7833..04e22cf495cda343e3c492f4ec2f6037272fb1f9 100644
--- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -1227,7 +1227,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
                 if ((AvatarTransition.isActionType(tr.getType()) && (tr.clockMin == tr.clockMax) && (tr.clockMin == 0)) ||
                         tr.getType() == AvatarTransition.TYPE_EMPTY) {
                     // Must look for possible transitions from the same state
-                    if (!(tr.fromStateWithMoreThanOneTransition) || onlyOnetimeSameBlockTransition(tr, transitions)) {
+                    if (!(tr.fromStateWithMoreThanOneTransition) /*|| onlyOnetimeSameBlockTransition(tr, transitions)*/) {
                         st = tr;
                         if (ignoreInternalStates) { // New behavior
                             computeAllInternalStatesFrom(_ss, st);