Cleanup

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/rj_language/opt/ExpressionSimplifier.java

@@ -5,7 +5,6 @@
 import liquidjava.rj_language.ast.LiteralBoolean;
 import liquidjava.rj_language.opt.derivation_node.BinaryDerivationNode;
 import liquidjava.rj_language.opt.derivation_node.DerivationNode;
-import liquidjava.rj_language.opt.derivation_node.UnaryDerivationNode;
 import liquidjava.rj_language.opt.derivation_node.ValDerivationNode;
 
 public class ExpressionSimplifier {
@@ -15,16 +14,15 @@ public class ExpressionSimplifier {
      * Returns a derivation node representing the tree of simplifications applied
      */
     public static ValDerivationNode simplify(Expression exp) {
-        ValDerivationNode fixedPoint = simplifyToFixedPoint(null, null, exp);
+        ValDerivationNode fixedPoint = simplifyToFixedPoint(null, exp);
         return simplifyValDerivationNode(fixedPoint);
     }
 
     /**
      * Recursively applies propagation and folding until the expression stops changing (fixed point) Stops early if the
      * expression simplifies to 'true', which means we've simplified too much
      */
-    private static ValDerivationNode simplifyToFixedPoint(ValDerivationNode current, ValDerivationNode previous,
-            Expression prevExp) {
+    private static ValDerivationNode simplifyToFixedPoint(ValDerivationNode current, Expression prevExp) {
         // apply propagation and folding
         ValDerivationNode prop = ConstantPropagation.propagate(prevExp, current);
         ValDerivationNode fold = ConstantFolding.fold(prop);
@@ -37,7 +35,7 @@ private static ValDerivationNode simplifyToFixedPoint(ValDerivationNode current,
         }
 
         // continue simplifying
-        return simplifyToFixedPoint(simplified, current, simplified.getValue());
+        return simplifyToFixedPoint(simplified, simplified.getValue());
     }
 
     /**

liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/ExpressionSimplifierTest.java

@@ -308,7 +308,7 @@ void testComplexArithmeticWithMultipleOperations() {
     void testFixedPointSimplification() {
         // Given: x == -y && y == a / b && a == 6 && b == 3
         // Expected: x == -2
-        
+
         Expression varX = new Var("x");
         Expression varY = new Var("y");
         Expression varA = new Var("a");