Minor Change

Author: rcosta358

liquidjava-example/src/main/java/testingInProgress/diagnostics/errors/StateRefinementError.java

@@ -9,7 +9,7 @@ public class StateRefinementError {
     @StateRefinement(to="open(this)")
     public StateRefinementError() {}
 
-    @StateRefinement(from="open(this)", to="closed(this)")
+    @StateRefinement(from="!closed(this)", to="closed(this)")
     public void close() {}
 
     public static void main(String[] args) {

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

@@ -25,7 +25,7 @@ public String toString() {
 
     @Override
     public String toSimplifiedString() {
-        return "(" + getExpression().toSimplifiedString() + ")";
+        return getExpression().toSimplifiedString();
     }
 
     @Override