diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps
index 02a8b3e5..c5fcdb07 100644
--- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps
+++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps
@@ -2259,25 +2259,52 @@
       <property role="DiZV1" value="false" />
       <property role="od$2w" value="false" />
       <node concept="3clFbS" id="4TCblo5NkoL" role="3clF47">
-        <node concept="3clFbF" id="4TCblo5NkJr" role="3cqZAp">
-          <node concept="2OqwBi" id="4TCblo5Nl4W" role="3clFbG">
-            <node concept="2YIFZM" id="4TCblo5NkK4" role="2Oq$k0">
-              <ref role="37wK5l" to="6exd:5s497VqteR6" resolve="mapper" />
-              <ref role="1Pybhc" to="6exd:3OPtF02T8yx" resolve="Mappers" />
-              <node concept="2ShNRf" id="4TCblo5NkKU" role="37wK5m">
-                <node concept="1pGfFk" id="4TCblo5Nl1t" role="2ShVmc">
-                  <ref role="37wK5l" node="4TCblo5MHYk" resolve="LogicalUtil.InstantiateDelegate" />
-                  <node concept="37vLTw" id="4TCblo5Nl3R" role="37wK5m">
-                    <ref role="3cqZAo" node="4TCblo5NkwR" resolve="logicalContext" />
+        <node concept="3clFbJ" id="2gPa6JIiSlh" role="3cqZAp">
+          <node concept="3clFbS" id="2gPa6JIiSlj" role="3clFbx">
+            <node concept="3cpWs6" id="2gPa6JIiUjP" role="3cqZAp">
+              <node concept="2OqwBi" id="2gPa6JIiUjQ" role="3cqZAk">
+                <node concept="2YIFZM" id="2gPa6JIiUjR" role="2Oq$k0">
+                  <ref role="37wK5l" to="6exd:5s497VqteR6" resolve="mapper" />
+                  <ref role="1Pybhc" to="6exd:3OPtF02T8yx" resolve="Mappers" />
+                  <node concept="2ShNRf" id="2gPa6JIiUjS" role="37wK5m">
+                    <node concept="1pGfFk" id="2gPa6JIiUjT" role="2ShVmc">
+                      <ref role="37wK5l" node="4TCblo5MHYk" resolve="LogicalUtil.InstantiateDelegate" />
+                      <node concept="37vLTw" id="2gPa6JIiUjU" role="37wK5m">
+                        <ref role="3cqZAo" node="4TCblo5NkwR" resolve="logicalContext" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="liA8E" id="2gPa6JIiUjV" role="2OqNvi">
+                  <ref role="37wK5l" to="6exd:3OPtF02TgQt" resolve="map" />
+                  <node concept="37vLTw" id="2gPa6JIiUjW" role="37wK5m">
+                    <ref role="3cqZAo" node="4TCblo5NkAJ" resolve="tf" />
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="liA8E" id="4TCblo5Nl7d" role="2OqNvi">
-              <ref role="37wK5l" to="6exd:3OPtF02TgQt" resolve="map" />
-              <node concept="37vLTw" id="4TCblo5Nl9o" role="37wK5m">
+            <node concept="3clFbH" id="2gPa6JIiSli" role="3cqZAp" />
+          </node>
+          <node concept="3eOSWO" id="2gPa6JIiU3I" role="3clFbw">
+            <node concept="3cmrfG" id="2gPa6JIiUaJ" role="3uHU7w">
+              <property role="3cmrfH" value="0" />
+            </node>
+            <node concept="2OqwBi" id="2gPa6JIiSWq" role="3uHU7B">
+              <node concept="37vLTw" id="2gPa6JIiSqL" role="2Oq$k0">
                 <ref role="3cqZAo" node="4TCblo5NkAJ" resolve="tf" />
               </node>
+              <node concept="liA8E" id="2gPa6JIiTha" role="2OqNvi">
+                <ref role="37wK5l" to="6exd:5BGv8yzvvIZ" resolve="variablesCount" />
+              </node>
+            </node>
+          </node>
+          <node concept="9aQIb" id="2gPa6JIiUKV" role="9aQIa">
+            <node concept="3clFbS" id="2gPa6JIiUKW" role="9aQI4">
+              <node concept="3cpWs6" id="2gPa6JIiUQI" role="3cqZAp">
+                <node concept="37vLTw" id="2gPa6JIiUXN" role="3cqZAk">
+                  <ref role="3cqZAo" node="4TCblo5NkAJ" resolve="tf" />
+                </node>
+              </node>
             </node>
           </node>
         </node>
@@ -2440,6 +2467,37 @@
                 <node concept="3clFbH" id="3gNap3fZcIL" role="3cqZAp" />
               </node>
             </node>
+            <node concept="3eNFk2" id="2gPa6JIiM2j" role="3eNLev">
+              <node concept="3eOSWO" id="2gPa6JIiQxn" role="3eO9$A">
+                <node concept="3cmrfG" id="2gPa6JIiQJC" role="3uHU7w">
+                  <property role="3cmrfH" value="0" />
+                </node>
+                <node concept="2OqwBi" id="2gPa6JIiP70" role="3uHU7B">
+                  <node concept="37vLTw" id="2gPa6JIiOCx" role="2Oq$k0">
+                    <ref role="3cqZAo" node="6HT7BWBPa9P" resolve="tf" />
+                  </node>
+                  <node concept="liA8E" id="2gPa6JIiPBg" role="2OqNvi">
+                    <ref role="37wK5l" to="6exd:5BGv8yzvvIZ" resolve="variablesCount" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbS" id="2gPa6JIiM2l" role="3eOfB_">
+                <node concept="3cpWs6" id="5BGv8yzxpdJ" role="3cqZAp">
+                  <node concept="2OqwBi" id="5BGv8yzxl7m" role="3cqZAk">
+                    <node concept="37vLTw" id="5BGv8yzxkWc" role="2Oq$k0">
+                      <ref role="3cqZAo" node="6HT7BWBPa9P" resolve="tf" />
+                    </node>
+                    <node concept="liA8E" id="5BGv8yzxlnb" role="2OqNvi">
+                      <ref role="37wK5l" to="6exd:3OPtF02Tjpr" resolve="mapRecursively" />
+                      <node concept="37vLTw" id="5BGv8yzxlyp" role="37wK5m">
+                        <ref role="3cqZAo" node="6HT7BWBPa9R" resolve="fallback" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbH" id="2gPa6JIiOrI" role="3cqZAp" />
+              </node>
+            </node>
             <node concept="3clFbS" id="5BGv8yzxmXS" role="3clFbx">
               <node concept="3cpWs6" id="3gNap3fZcTi" role="3cqZAp">
                 <node concept="1rXfSq" id="3gNap3fZcU4" role="3cqZAk">
@@ -2481,17 +2539,9 @@
             </node>
             <node concept="9aQIb" id="5BGv8yzxoqo" role="9aQIa">
               <node concept="3clFbS" id="5BGv8yzxoqp" role="9aQI4">
-                <node concept="3cpWs6" id="5BGv8yzxpdJ" role="3cqZAp">
-                  <node concept="2OqwBi" id="5BGv8yzxl7m" role="3cqZAk">
-                    <node concept="37vLTw" id="5BGv8yzxkWc" role="2Oq$k0">
-                      <ref role="3cqZAo" node="6HT7BWBPa9P" resolve="tf" />
-                    </node>
-                    <node concept="liA8E" id="5BGv8yzxlnb" role="2OqNvi">
-                      <ref role="37wK5l" to="6exd:3OPtF02Tjpr" resolve="mapRecursively" />
-                      <node concept="37vLTw" id="5BGv8yzxlyp" role="37wK5m">
-                        <ref role="3cqZAo" node="6HT7BWBPa9R" resolve="fallback" />
-                      </node>
-                    </node>
+                <node concept="3cpWs6" id="2gPa6JIiRMi" role="3cqZAp">
+                  <node concept="37vLTw" id="2gPa6JIiRZy" role="3cqZAk">
+                    <ref role="3cqZAo" node="6HT7BWBPa9P" resolve="tf" />
                   </node>
                 </node>
               </node>