Minor Fix

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/StateRefinementError.java

@@ -16,8 +16,9 @@ public class StateRefinementError extends LJError {
 
     public StateRefinementError(SourcePosition position, Expression expected, Expression found,
             TranslationTable translationTable, String customMessage) {
-        super("State Refinement Error", String.format("Expected state %s but found %s", expected.toString(),
-                found.toString()), position, translationTable, customMessage);
+        super("State Refinement Error",
+                String.format("Expected state %s but found %s", expected.toString(), found.toString()), position,
+                translationTable, customMessage);
         this.expected = expected.toString();
         this.found = found.toString();
     }

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/general_checkers/MethodsFunctionsChecker.java

@@ -296,7 +296,7 @@ private Map<String, String> checkInvocationRefinements(CtElement invocation, Lis
         Predicate methodRef = f.getRefReturn();
 
         if (methodRef != null) {
-            boolean equalsThis = methodRef.toString().equals("(_ == this)"); // TODO change for better
+            boolean equalsThis = methodRef.toString().equals("_ == this"); // TODO change for better
             List<String> vars = methodRef.getVariableNames();
             for (String s : vars)
                 if (map.containsKey(s))

liquidjava-verifier/src/main/java/liquidjava/rj_language/ast/AliasInvocation.java

@@ -31,8 +31,7 @@ public <T> T accept(ExpressionVisitor<T> visitor) throws LJError {
 
     @Override
     public String toString() {
-        return name + "(" + getArgs().stream().map(Expression::toString).collect(Collectors.joining(", "))
-                + ")";
+        return name + "(" + getArgs().stream().map(Expression::toString).collect(Collectors.joining(", ")) + ")";
     }
 
     @Override