Formatting

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/rj_language/SimplifiedPredicate.java

@@ -10,8 +10,9 @@
  * Represents a predicate simplified from another predicate. Stores the original predicate and any variables that must
  * be reintroduced as binders when relating the simplified predicate back to its origin.
  * <p>
- * For example, simplifying {@code x == 1 && y > x} with binders {@code x: int, y: int} may produce
- * {@code y > 1}. The origin {@code x == 1 && y > x} and binder {@code x: int} are kept so we can relate the simplified predicate back to the original.
+ * For example, simplifying {@code x == 1 && y > x} with binders {@code x: int, y: int} may produce {@code y > 1}. The
+ * origin {@code x == 1 && y > x} and binder {@code x: int} are kept so we can relate the simplified predicate back to
+ * the original.
  */
 public class SimplifiedPredicate extends Predicate {
 

liquidjava-verifier/src/main/java/liquidjava/rj_language/ast/formatter/ExpressionFormatter.java

@@ -61,9 +61,8 @@ private String formatArguments(List<Expression> args) {
     }
 
     private Expression unwrapGroup(Expression expression) {
-        while (expression instanceof GroupExpression group) {
+        while (expression instanceof GroupExpression group)
             expression = group.getExpression();
-        }
         return expression;
     }