diff --git a/base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java b/base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java
index 0d7e6b3a8..f3b532d4f 100644
--- a/base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java
+++ b/base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java
@@ -211,7 +211,7 @@ public boolean nonNormalizingCompare(Expression expr1, Expression expr2, Express
   }
 
   private boolean initResult(Expression expr1, Expression expr2) {
-    if (myNormalCompare && myResult == null) {
+    if (myNormalCompare && myResult == null && !myOnlySolveVars) {
       expr1 = expr1.copyStrict();
       expr2 = expr2.copyStrict();
       myResult = new Result(expr1, expr2, expr1, expr2);