Remove Oversimplification Check

rcosta358 · rcosta358 · commit 0ab2f69ace5b · 2025-11-21T20:52:44.000Z
diff --git a/liquidjava-verifier/src/main/java/liquidjava/rj_language/opt/ExpressionSimplifier.java b/liquidjava-verifier/src/main/java/liquidjava/rj_language/opt/ExpressionSimplifier.java
@@ -34,11 +34,6 @@ private static ValDerivationNode simplifyToFixedPoint(ValDerivationNode current,
             return current;
         }
 
-        // stop if simplified to 'true'
-        if (current != null && currExp instanceof LiteralBoolean && currExp.isBooleanTrue()) {
-            return current;
-        }
-
         // continue simplifying
         return simplifyToFixedPoint(fold, current, fold.getValue());
     }

Original file line number	Diff line number	Diff line change
`@@ -34,11 +34,6 @@ private static ValDerivationNode simplifyToFixedPoint(ValDerivationNode current,`
`34`	`34`	`return current;`
`35`	`35`	`}`
`36`	`36`
`37`		`- // stop if simplified to 'true'`
`38`		`- if (current != null && currExp instanceof LiteralBoolean && currExp.isBooleanTrue()) {`
`39`		`- return current;`
`40`		`- }`
`41`		`-`
`42`	`37`	`// continue simplifying`
`43`	`38`	`return simplifyToFixedPoint(fold, current, fold.getValue());`
`44`	`39`	`}`