From 8b6456f8430e11c5f147283dfe0ea13658dadb7b Mon Sep 17 00:00:00 2001
From: pedrocarlo <pedro.muniz.carlo@gmail.com>
Date: Sun, 5 Oct 2025 19:29:39 -0300
Subject: [PATCH] do not allow `Property::Queries` to attempt to be generated

---
 simulator/generation/property.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/simulator/generation/property.rs b/simulator/generation/property.rs
index 5e84e23cc..b00a1114d 100644
--- a/simulator/generation/property.rs
+++ b/simulator/generation/property.rs
@@ -1711,7 +1711,10 @@ impl PropertyDiscriminants {
         let queries_capabilities = QueryCapabilities::from_list_queries(queries);
 
         PropertyDiscriminants::iter()
-            .filter(|property| queries_capabilities.contains(property.requirements()))
+            .filter(|property| {
+                !matches!(property, PropertyDiscriminants::Queries)
+                    && queries_capabilities.contains(property.requirements())
+            })
             .collect()
     }