1 files changed, 5 insertions, 0 deletions

diff --git a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/context/RelationalQueryMetaContext.java b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/context/RelationalQueryMetaContext.java
index 47b83634..81046b2a 100644
--- a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/context/RelationalQueryMetaContext.java
+++ b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/context/RelationalQueryMetaContext.java
@@ -26,6 +26,11 @@ public class RelationalQueryMetaContext extends AbstractQueryMetaContext {
         }
 
         @Override
+        public boolean canLeadOutOfScope(IInputKey key) {
+                return false;
+        }
+
+        @Override
         public Collection<InputKeyImplication> getImplications(IInputKey implyingKey) {
                 ensureValidKey(implyingKey);
                 return Set.of();