Minor Change

rcosta358 · rcosta358 · commit 964aca23222f · 2026-03-09T13:23:10.000Z
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/object_checkers/AuxStateHandler.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/object_checkers/AuxStateHandler.java
@@ -492,8 +492,6 @@ private static void changeState(TypeChecker tc, VariableInstance vi, List<Object
                 transitionedState = checkOldMentions(transitionedState, instanceName, newInstanceName);
                 // update of state of new instance of this#n#(whatever it was + 1)
                 addInstanceWithState(tc, name, newInstanceName, vi, transitionedState, invocation);
-                if (found)
-                    return;
             }
         }
         if (!found) { // Reaches the end of stateChange no matching states

Original file line number	Diff line number	Diff line change
`@@ -492,8 +492,6 @@ private static void changeState(TypeChecker tc, VariableInstance vi, List<Object`
`492`	`492`	`transitionedState = checkOldMentions(transitionedState, instanceName, newInstanceName);`
`493`	`493`	`// update of state of new instance of this#n#(whatever it was + 1)`
`494`	`494`	`addInstanceWithState(tc, name, newInstanceName, vi, transitionedState, invocation);`
`495`		`- if (found)`
`496`		`- return;`
`497`	`495`	`}`
`498`	`496`	`}`
`499`	`497`	`if (!found) { // Reaches the end of stateChange no matching states`