diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/RemoveAtomics.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/RemoveAtomics.kt
index 58ca3bd7ba..f36f8d5ae1 100644
--- a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/RemoveAtomics.kt
+++ b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/RemoveAtomics.kt
@@ -40,7 +40,7 @@ class RemoveAtomics : ProcedurePass {
       val newLabels =
         labels.subList(0, beginIndex) +
           labels.subList(beginIndex + 1, endIndex).filter {
-            it !is FenceLabel || !it.labels.contains("ATOMIC_")
+            it !is FenceLabel || !it.labels.any { it.contains("ATOMIC_") }
           } +
           labels.subList(endIndex + 1, labels.size)
       builder.removeEdge(xcfaEdge)