1 files changed, 6 insertions, 2 deletions

diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/term/Variable.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/term/Variable.java
index a0268c8e..1b553704 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/term/Variable.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/term/Variable.java
@@ -38,16 +38,20 @@ public abstract sealed class Variable permits AnyDataVariable, NodeVariable {
                 return uniqueName;
         }
 
-        public abstract boolean isUnifiable();
-
         public abstract Variable renew(@Nullable String name);
 
         public abstract Variable renew();
 
+        public abstract boolean isNodeVariable();
+
+        public abstract boolean isDataVariable();
+
         public abstract NodeVariable asNodeVariable();
 
         public abstract <T> DataVariable<T> asDataVariable(Class<T> type);
 
+        public abstract int hashCodeWithSubstitution(int sequenceNumber);
+
         @Override
         public String toString() {
                 return getName();