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 26f8485bec..570ab2b126 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
@@ -336,7 +336,7 @@ class PassTests {
                     }
                     (init to final) {
                         "y".assign(
-                            "(ite (isinfinite x) #b00000000000000000000000000000000 #b00000000000000000000000000000001)")
+                            "(ite (or (isinfinite x) (fpisnan x)) #b00000000000000000000000000000000 #b00000000000000000000000000000001)")
                     }
                 },
             ),