Minor Change

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/object_checkers/AuxStateHandler.java

@@ -68,7 +68,7 @@ private static void setConstructorStates(RefinedFunction f, List<CtAnnotation<?
             if (to != null) {
                 Predicate p = new Predicate(to, element, tc.getErrorEmitter());
                 if (!p.getExpression().isBooleanExpression()) {
-                    ErrorHandler.printCustomError(element, "State refinement must be a boolean expression",
+                    ErrorHandler.printCustomError(element, "State refinement transition must be a boolean expression",
                             tc.getErrorEmitter());
                     return;
                 }
@@ -184,7 +184,8 @@ private static Predicate createStatePredicate(String value, /* RefinedFunction f
             TypeChecker tc, CtElement e, boolean isTo, String prefix) throws ParsingException {
         Predicate p = new Predicate(value, e, tc.getErrorEmitter(), prefix);
         if (!p.getExpression().isBooleanExpression()) {
-            ErrorHandler.printCustomError(e, "State refinement must be a boolean expression", tc.getErrorEmitter());
+            ErrorHandler.printCustomError(e, "State refinement transition must be a boolean expression",
+                    tc.getErrorEmitter());
             return new Predicate();
         }
         String t = targetClass; // f.getTargetClass();