Substitute New Instance Name In Found State

This way the instances in the found and expected states match.

Author: rcosta358

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

@@ -507,7 +507,8 @@ private static void changeState(TypeChecker tc, VariableInstance vi, List<Object
             // combine messages of all state changes
             String message = stateChanges.stream().map(ObjectState::getMessage)
                     .filter(msg -> msg != null && !msg.isBlank()).distinct().collect(Collectors.joining("\n"));
-            tc.throwStateRefinementError(invocation.getPosition(), prevState, expectedStatesDisjunction, message);
+            Predicate foundState = prevState.substituteVariable(instanceName, newInstanceName);
+            tc.throwStateRefinementError(invocation.getPosition(), foundState, expectedStatesDisjunction, message);
         }
     }