diff --git a/subprojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.kt b/subprojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.kt
index 1b41de5b1d..dbb74d0383 100644
--- a/subprojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.kt
+++ b/subprojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.kt
@@ -191,6 +191,11 @@ fun getCoreXcfaLts() =
       }
       .flatten()
       .toSet()
+      .filter { action ->
+        s.syncingOn?.let { key ->
+          action.label.getFlatLabels().first().let { it is SyncRecvLabel && it.key == key }
+        } ?: true
+      }
   }
 
 fun getXcfaLts(): LTS<XcfaState<out PtrState<out ExprState>>, XcfaAction> {