Formatting

Author: rcosta358

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

@@ -244,7 +244,8 @@ void testSymmetricEqualityShouldSimplify() {
 
     @Test
     void testRealExpression() {
-        Expression expression = parse("#a_5 == -#fresh_4 && #fresh_4 == #x_2 / #y_3 && #x_2 == #x_0 && #x_0 == 6 && #y_3 == #y_1 && #y_1 == 3");
+        String input = "#a_5 == -#fresh_4 && #fresh_4 == #x_2 / #y_3 && #x_2 == #x_0 && #x_0 == 6 && #y_3 == #y_1 && #y_1 == 3";
+        Expression expression = parse(input);
         ValDerivationNode result = ExpressionSimplifier.simplify(expression);
 
         assertNotNull(result, "Result should not be null");

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

@@ -138,7 +138,7 @@ void testFunctionInvocationEqualitiesResolveTransitively() {
     void testUnusedFunctionInvocationEqualityIsIgnored() {
         Expression expression = parse("x > 0 && size(stack) == 1");
         Map<String, Expression> result = VariableResolver.resolve(expression);
-        
+
         assertTrue(result.isEmpty(), "Function invocation definitions with no usage should be ignored");
     }
 }