From 105f3eabbe2638ef4896e1a02f6caa81f9c2e0ed Mon Sep 17 00:00:00 2001
From: mondokm <milanmondok1998@gmail.com>
Date: Fri, 16 Feb 2024 17:26:29 +0100
Subject: [PATCH] Fixed a bug that resulted in unintentional level skips

---
 .../symbolicnode/expression/MddExpressionTemplate.java        | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/symbolic/symbolicnode/expression/MddExpressionTemplate.java b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/symbolic/symbolicnode/expression/MddExpressionTemplate.java
index 3df6e2c5a7..c502de0431 100644
--- a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/symbolic/symbolicnode/expression/MddExpressionTemplate.java
+++ b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/symbolic/symbolicnode/expression/MddExpressionTemplate.java
@@ -56,10 +56,10 @@ public RecursiveIntObjMapView<? extends MddNode> toCanonicalRepresentation(MddVa
         if (ExprUtils.getConstants(canonizedExpr).isEmpty()) {
             if (canonizedExpr instanceof FalseExpr) {
                 return mddVariable.getMddGraph().getTerminalZeroNode();
-            } else {
+            } /*else {
                 final MddGraph<Expr> mddGraph = (MddGraph<Expr>) mddVariable.getMddGraph();
                 return mddGraph.getNodeFor(canonizedExpr);
-            }
+            }*/
         }
 
         // Check if default