1 files changed, 6 insertions, 2 deletions

diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/Literal.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/Literal.java
index a6893acf..ddd91775 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/Literal.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/Literal.java
@@ -1,16 +1,20 @@
 package tools.refinery.store.query.literal;
 
 import tools.refinery.store.query.Variable;
+import tools.refinery.store.query.equality.LiteralEqualityHelper;
+import tools.refinery.store.query.substitution.Substitution;
 
-import java.util.Map;
 import java.util.Set;
 
 public interface Literal {
         void collectAllVariables(Set<Variable> variables);
 
-        Literal substitute(Map<Variable, Variable> substitution);
+        Literal substitute(Substitution substitution);
 
         default LiteralReduction getReduction() {
                 return LiteralReduction.NOT_REDUCIBLE;
         }
+
+        @SuppressWarnings("BooleanMethodIsAlwaysInverted")
+        boolean equalsWithSubstitution(LiteralEqualityHelper helper, Literal other);
 }