diff --git a/subprojects/xcfa/xcfa/src/test/java/hu/bme/mit/theta/xcfa/passes/PassTests.kt b/subprojects/xcfa/xcfa/src/test/java/hu/bme/mit/theta/xcfa/passes/PassTests.kt
index d03c92478c..f7604eb9dd 100644
--- a/subprojects/xcfa/xcfa/src/test/java/hu/bme/mit/theta/xcfa/passes/PassTests.kt
+++ b/subprojects/xcfa/xcfa/src/test/java/hu/bme/mit/theta/xcfa/passes/PassTests.kt
@@ -287,7 +287,12 @@ class PassTests {
         PassTestData(
           global = { "x" type Int() init "0" },
           passes =
-            listOf(NormalizePass(), DeterministicPass(), RemoveDeadEnds(), UnusedLocRemovalPass()),
+            listOf(
+              NormalizePass(),
+              DeterministicPass(),
+              RemoveDeadEnds(parseContext),
+              UnusedLocRemovalPass(),
+            ),
           input = {
             (init to "L1") { assume("1 == 1") }
             (init to "L2") { assume("1 == 1") }