Fix

rcosta358 · rcosta358 · commit 80bd106dd7a4 · 2026-06-03T21:24:54.000+01:00
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/VCChecker.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/VCChecker.java
@@ -290,8 +290,8 @@ && hasDependencyCycle(lastInst.get(), var.getName(), vars, new HashSet<>()))
         }
         VCImplication cSMT = new VCImplication(new Predicate());
         if (firstSi != null) {
-            lastSi.setNext(new VCImplication(expectedType));
             cSMT = firstSi.clone();
+            lastSi.setNext(new VCImplication(expectedType));
         }
         return cSMT;
     }

Original file line number	Diff line number	Diff line change
`@@ -290,8 +290,8 @@ && hasDependencyCycle(lastInst.get(), var.getName(), vars, new HashSet<>()))`
`290`	`290`	`}`
`291`	`291`	`VCImplication cSMT = new VCImplication(new Predicate());`
`292`	`292`	`if (firstSi != null) {`
`293`		`- lastSi.setNext(new VCImplication(expectedType));`
`294`	`293`	`cSMT = firstSi.clone();`
	`294`	`+ lastSi.setNext(new VCImplication(expectedType));`
`295`	`295`	`}`
`296`	`296`	`return cSMT;`
`297`	`297`	`}`