From 8b92fada13b2b36437f41f6ffe84485c9fe72aaf Mon Sep 17 00:00:00 2001
From: Patrick Hammer <patham9@gmail.com>
Date: Fri, 5 Jan 2024 15:57:58 +0100
Subject: [PATCH] Update: code part needed for now, will get rid of it after
 more analysis

---
 hypothesis.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/hypothesis.py b/hypothesis.py
index a0ca8fc..9cd5b6f 100644
--- a/hypothesis.py
+++ b/hypothesis.py
@@ -136,6 +136,11 @@ def _Variants(rule): #location symmetry (knowledge about World_Movement operatio
     action_values_precons = rule[0]
     conditions = action_values_precons[2:]
     action = action_values_precons[0]
+    for (y,x,v) in conditions: #unnecessary
+        if (action == left or action == right) and y != 0:
+            return []
+        if (action == up or action == down) and x != 0:
+            return []
     rules = [rule]
     if DisableOpSymmetryAssumption:
         return rules