diff --git a/cps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/validation/rules.vql b/cps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/validation/rules.vql
index 25e3b4a..7f42a17 100644
--- a/cps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/validation/rules.vql
+++ b/cps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/validation/rules.vql
@@ -180,11 +180,7 @@
 }
 
 pattern reachableHosts(source : HostInstance, target : HostInstance) {
-	find hostCommunication+(source, target);
-} or {
-	HostInstance(source);
-	HostInstance(target);
-	source == target;
+	find hostCommunication*(source, target);
 }
 
 pattern reachableAppInstance(sourceHostInstance : HostInstance, app : ApplicationType, appInstance : ApplicationInstance) {