diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps
index 8f2a24ae..8ecb826f 100644
--- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps
+++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps
@@ -2844,8 +2844,8 @@
             <node concept="1rXfSq" id="6SkxsMzGc5y" role="33vP2m">
               <ref role="37wK5l" node="4U_yxogCRUf" resolve="unify" />
               <node concept="2OqwBi" id="6SkxsMzGc5z" role="37wK5m">
-                <node concept="37vLTw" id="6SkxsMzGc5$" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4U_yxogC1Ek" resolve="left" />
+                <node concept="37vLTw" id="3K_0akStpXO" role="2Oq$k0">
+                  <ref role="3cqZAo" node="4U_yxogDnOj" resolve="leftRepr" />
                 </node>
                 <node concept="liA8E" id="6SkxsMzGc5_" role="2OqNvi">
                   <ref role="37wK5l" node="3HJTsBmBZ0h" resolve="value" />