feat: query parameter binding validation

* Introduce parameter directions for constraints and DNF
* Introduce variable directions for literals
* Infer and check variable directions in DNF and topologically sort literals by
  their input variables

1 files changed, 2 insertions, 2 deletions

diff --git a/subprojects/store-query/src/testFixtures/java/tools/refinery/store/query/tests/MismatchDescribingDnfEqualityChecker.java b/subprojects/store-query/src/testFixtures/java/tools/refinery/store/query/tests/MismatchDescribingDnfEqualityChecker.java
index 526832c4..a5b7f85a 100644
--- a/subprojects/store-query/src/testFixtures/java/tools/refinery/store/query/tests/MismatchDescribingDnfEqualityChecker.java
+++ b/subprojects/store-query/src/testFixtures/java/tools/refinery/store/query/tests/MismatchDescribingDnfEqualityChecker.java
@@ -35,11 +35,11 @@ class MismatchDescribingDnfEqualityChecker extends DeepDnfEqualityChecker {
                 var inProgress = getInProgress();
                 int size = inProgress.size();
                 if (size <= 1) {
-                        description.appendText("was ").appendText(pair.left().toDefinitionString());
+                        description.appendText("was ").appendText(pair.right().toDefinitionString());
                         return;
                 }
                 var last = inProgress.get(size - 1);
-                description.appendText("expected ").appendText(last.right().toDefinitionString());
+                description.appendText("expected ").appendText(last.left().toDefinitionString());
                 for (int i = size - 2; i >= 0; i--) {
                         description.appendText(" called from ").appendText(inProgress.get(i).left().toString());
                 }