diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/analysis/NativeRelationAnalysis.java b/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/analysis/NativeRelationAnalysis.java
index 94bb563420..4e22ad1de9 100644
--- a/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/analysis/NativeRelationAnalysis.java
+++ b/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/analysis/NativeRelationAnalysis.java
@@ -1625,7 +1625,7 @@ private EventGraph computeTransitiveClosure(EventGraph oldOuter, EventGraph inne
             EventGraph next;
             EventGraph outer = new EventGraph(oldOuter);
             outer.addAll(inner);
-            for (EventGraph current = EventGraph.difference(inner, outer); !current.isEmpty(); current = next) {
+            for (EventGraph current = EventGraph.difference(inner, oldOuter); !current.isEmpty(); current = next) {
                 next = new EventGraph();
                 computeComposition(next, current, outer, isMay);
                 computeComposition(next, outer, current, isMay);