diff --git a/inca-translation/languages/TypeLang/TypeLang.mpl b/inca-translation/languages/TypeLang/TypeLang.mpl
index c22a8c74210604ff52b60f76a8c25611f3eab099..a1fd088763e8309dac7f2002a4a0fe8c478c51f5 100644
--- a/inca-translation/languages/TypeLang/TypeLang.mpl
+++ b/inca-translation/languages/TypeLang/TypeLang.mpl
@@ -23,6 +23,7 @@
         <dependency reexport="false">3a1c1f85-c745-4d04-a210-f97a7e31f9cc(org.inca.extensions)</dependency>
         <dependency reexport="false">d5a58d02-4ac7-4892-afde-65968670c300(org.inca.data#8607574815737030311)</dependency>
         <dependency reexport="false">1bc49cec-41e6-417f-a12b-f0e0125494e9(org.inca.core#4530729936991344007)</dependency>
+        <dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
       </dependencies>
       <languageVersions>
         <language slang="l:ab9b5480-36a1-4fc2-9c9d-f0faa4fc1b71:TypeLang" version="0" />
diff --git a/inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps b/inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps
index 3291bff62dabba74a939d59df8bca8fe3525b400..3af37da51f15a641ba6eb6e52198558679b393e8 100644
--- a/inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps
+++ b/inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps
@@ -18,6 +18,7 @@
     <import index="uu1k" ref="r:5d05a0a1-0178-4953-8047-22b44c66dcde(org.inca.data.structure)" />
     <import index="z9af" ref="r:92efe085-3295-42c0-bd7e-2ea049fae522(org.inca.extensions.structure)" />
     <import index="55iy" ref="r:6bb35df6-a651-4174-a533-ca7006eccec8(org.inca.gp.structure)" />
+    <import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" />
     <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
   </imports>
   <registry>
@@ -341,6 +342,9 @@
       <concept id="1162934736510" name="jetbrains.mps.baseLanguage.collections.structure.GetElementOperation" flags="nn" index="34jXtK" />
       <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
       <concept id="1175845471038" name="jetbrains.mps.baseLanguage.collections.structure.ReverseOperation" flags="nn" index="35Qw8J" />
+      <concept id="5232196642625575054" name="jetbrains.mps.baseLanguage.collections.structure.TailListOperation" flags="nn" index="1eb2uI">
+        <child id="5232196642625575056" name="fromIndex" index="1eb2uK" />
+      </concept>
       <concept id="1197683403723" name="jetbrains.mps.baseLanguage.collections.structure.MapType" flags="in" index="3rvAFt">
         <child id="1197683466920" name="keyType" index="3rvQeY" />
         <child id="1197683475734" name="valueType" index="3rvSg0" />
@@ -7240,6 +7244,7 @@
       </node>
     </node>
     <node concept="2tJIrI" id="6XUlM2ozuzJ" role="jymVt" />
+    <node concept="2tJIrI" id="6XUlM2pHy7N" role="jymVt" />
     <node concept="3clFb_" id="32CDcOyUlT4" role="jymVt">
       <property role="TrG5h" value="hasLookupDeclaration" />
       <node concept="3clFbS" id="32CDcOyUlT7" role="3clF47">
@@ -7788,6 +7793,22 @@
             <property role="3SKdUp" value="TODO need to rename var (name)" />
           </node>
         </node>
+        <node concept="3cpWs8" id="6XUlM2p8LhE" role="3cqZAp">
+          <node concept="3cpWsn" id="6XUlM2p8LhF" role="3cpWs9">
+            <property role="TrG5h" value="varName" />
+            <node concept="17QB3L" id="6XUlM2p8LhC" role="1tU5fm" />
+            <node concept="2OqwBi" id="6XUlM2p8LhG" role="33vP2m">
+              <node concept="37vLTw" id="6XUlM2p8LhH" role="2Oq$k0">
+                <ref role="3cqZAo" node="6XUlM2oK$jC" resolve="genContext" />
+              </node>
+              <node concept="2piZGk" id="6XUlM2p8LhI" role="2OqNvi">
+                <node concept="Xl_RD" id="6XUlM2p8LhJ" role="2piZGb">
+                  <property role="Xl_RC" value="name" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="3cpWs8" id="6XUlM2oKmd9" role="3cqZAp">
           <node concept="3cpWsn" id="6XUlM2oKmda" role="3cpWs9">
             <property role="TrG5h" value="varTerm" />
@@ -7799,6 +7820,41 @@
             </node>
           </node>
         </node>
+        <node concept="3cpWs8" id="6XUlM2p8SjJ" role="3cqZAp">
+          <node concept="3cpWsn" id="6XUlM2p8SjK" role="3cpWs9">
+            <property role="TrG5h" value="replacedVarTerm" />
+            <node concept="3Tqbb2" id="6XUlM2p8Sj_" role="1tU5fm">
+              <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+            </node>
+            <node concept="2OqwBi" id="6XUlM2p8SjL" role="33vP2m">
+              <node concept="37vLTw" id="6XUlM2p8SjM" role="2Oq$k0">
+                <ref role="3cqZAo" node="6XUlM2oKmda" resolve="varTerm" />
+              </node>
+              <node concept="2qgKlT" id="6XUlM2p8SjN" role="2OqNvi">
+                <ref role="37wK5l" to="pgas:6XUlM2p8p1I" resolve="replaceMetaVar" />
+                <node concept="2OqwBi" id="6XUlM2paHEC" role="37wK5m">
+                  <node concept="2OqwBi" id="6XUlM2paCLa" role="2Oq$k0">
+                    <node concept="2OqwBi" id="6XUlM2p8SjO" role="2Oq$k0">
+                      <node concept="37vLTw" id="6XUlM2p8SjP" role="2Oq$k0">
+                        <ref role="3cqZAo" node="6XUlM2oKmda" resolve="varTerm" />
+                      </node>
+                      <node concept="2qgKlT" id="6XUlM2paAz6" role="2OqNvi">
+                        <ref role="37wK5l" to="pgas:2groWwXVpeb" resolve="getMetaVarNames" />
+                      </node>
+                    </node>
+                    <node concept="1uHKPH" id="6XUlM2paFKM" role="2OqNvi" />
+                  </node>
+                  <node concept="3TrcHB" id="6XUlM2paI1j" role="2OqNvi">
+                    <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                  </node>
+                </node>
+                <node concept="37vLTw" id="6XUlM2p8SjR" role="37wK5m">
+                  <ref role="3cqZAo" node="6XUlM2p8LhF" resolve="varName" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="3cpWs8" id="6XUlM2nYCkk" role="3cqZAp">
           <node concept="3cpWsn" id="6XUlM2nYCkn" role="3cpWs9">
             <property role="TrG5h" value="typeName" />
@@ -7847,8 +7903,8 @@
                 <node concept="2pIpSj" id="6XUlM2oqLUM" role="2pJxcM">
                   <ref role="2pIpSl" to="b83y:2_58u12ePfd" resolve="arg1" />
                   <node concept="36biLy" id="6XUlM2oqLUN" role="2pJxcZ">
-                    <node concept="37vLTw" id="6XUlM2oKo6X" role="36biLW">
-                      <ref role="3cqZAo" node="6XUlM2oKmda" resolve="varTerm" />
+                    <node concept="37vLTw" id="6XUlM2p8WdM" role="36biLW">
+                      <ref role="3cqZAo" node="6XUlM2p8SjK" resolve="replacedVarTerm" />
                     </node>
                   </node>
                 </node>
@@ -8125,16 +8181,128 @@
         <node concept="3clFbH" id="6XUlM2p3zX_" role="3cqZAp" />
         <node concept="3SKdUt" id="6XUlM2p3_6e" role="3cqZAp">
           <node concept="3SKdUq" id="6XUlM2p3_6g" role="3SKWNk">
-            <property role="3SKdUp" value="TODO insert slice" />
+            <property role="3SKdUp" value="insert premises instead of the first one" />
           </node>
         </node>
-        <node concept="3clFbH" id="6XUlM2p3AbA" role="3cqZAp" />
-        <node concept="3SKdUt" id="6XUlM2p3BNx" role="3cqZAp">
-          <node concept="3SKdUq" id="6XUlM2p3BNz" role="3SKWNk">
-            <property role="3SKdUp" value="TODO match output type of conclusion with output type of slice" />
+        <node concept="3clFbF" id="6XUlM2pi2p1" role="3cqZAp">
+          <node concept="2OqwBi" id="6XUlM2pi4ht" role="3clFbG">
+            <node concept="37vLTw" id="6XUlM2pi2oZ" role="2Oq$k0">
+              <ref role="3cqZAo" node="6XUlM2p3qe1" resolve="premises" />
+            </node>
+            <node concept="X8dFx" id="6XUlM2pi8Be" role="2OqNvi">
+              <node concept="2OqwBi" id="6XUlM2pk7XT" role="25WWJ7">
+                <node concept="2OqwBi" id="6XUlM2piejK" role="2Oq$k0">
+                  <node concept="2OqwBi" id="6XUlM2pib$9" role="2Oq$k0">
+                    <node concept="37vLTw" id="6XUlM2pia16" role="2Oq$k0">
+                      <ref role="3cqZAo" node="6XUlM2p3pnE" resolve="rule" />
+                    </node>
+                    <node concept="3Tsc0h" id="6XUlM2pic8K" role="2OqNvi">
+                      <ref role="3TtcxE" to="b83y:2_58u12eCWO" resolve="premises" />
+                    </node>
+                  </node>
+                  <node concept="1eb2uI" id="6XUlM2pk4N1" role="2OqNvi">
+                    <node concept="3cmrfG" id="6XUlM2pk5qO" role="1eb2uK">
+                      <property role="3cmrfH" value="1" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3$u5V9" id="6XUlM2pkcaq" role="2OqNvi">
+                  <node concept="1bVj0M" id="6XUlM2pkcas" role="23t8la">
+                    <node concept="3clFbS" id="6XUlM2pkcat" role="1bW5cS">
+                      <node concept="3clFbF" id="6XUlM2pkecv" role="3cqZAp">
+                        <node concept="2OqwBi" id="6XUlM2pkg8Y" role="3clFbG">
+                          <node concept="37vLTw" id="6XUlM2pkecu" role="2Oq$k0">
+                            <ref role="3cqZAo" node="6XUlM2pkcau" resolve="it" />
+                          </node>
+                          <node concept="1$rogu" id="6XUlM2pkiZu" role="2OqNvi" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="Rh6nW" id="6XUlM2pkcau" role="1bW2Oz">
+                      <property role="TrG5h" value="it" />
+                      <node concept="2jxLKc" id="6XUlM2pkcav" role="1tU5fm" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="6XUlM2pmASv" role="3cqZAp">
+          <node concept="3cpWsn" id="6XUlM2pmASw" role="3cpWs9">
+            <property role="TrG5h" value="binding" />
+            <node concept="3Tqbb2" id="6XUlM2pmASm" role="1tU5fm">
+              <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+            </node>
+            <node concept="2OqwBi" id="6XUlM2pmASx" role="33vP2m">
+              <node concept="2OqwBi" id="6XUlM2pmAS_" role="2Oq$k0">
+                <node concept="37vLTw" id="6XUlM2pmASA" role="2Oq$k0">
+                  <ref role="3cqZAo" node="6XUlM2p3pnE" resolve="rule" />
+                </node>
+                <node concept="3TrEf2" id="6XUlM2pst5J" role="2OqNvi">
+                  <ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
+                </node>
+              </node>
+              <node concept="2qgKlT" id="6XUlM2pmASD" role="2OqNvi">
+                <ref role="37wK5l" to="pgas:1HuZxihg$ar" resolve="getArgumentBySortName" />
+                <node concept="Xl_RD" id="6XUlM2pmASE" role="37wK5m">
+                  <property role="Xl_RC" value="Context" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3SKdUt" id="6XUlM2pn7ut" role="3cqZAp">
+          <node concept="3SKdUq" id="6XUlM2pn96h" role="3SKWNk">
+            <property role="3SKdUp" value="TODO hardcoded getting of type" />
+          </node>
+        </node>
+        <node concept="3cpWs8" id="6XUlM2pn1Cx" role="3cqZAp">
+          <node concept="3cpWsn" id="6XUlM2pn1Cy" role="3cpWs9">
+            <property role="TrG5h" value="boundType" />
+            <node concept="3Tqbb2" id="6XUlM2pn1Ct" role="1tU5fm">
+              <ref role="ehGHo" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
+            </node>
+            <node concept="2OqwBi" id="6XUlM2pu8E7" role="33vP2m">
+              <node concept="2OqwBi" id="6XUlM2pn1Cz" role="2Oq$k0">
+                <node concept="2OqwBi" id="6XUlM2pn1C$" role="2Oq$k0">
+                  <node concept="37vLTw" id="6XUlM2pn1C_" role="2Oq$k0">
+                    <ref role="3cqZAo" node="6XUlM2pmASw" resolve="binding" />
+                  </node>
+                  <node concept="2qgKlT" id="6XUlM2pn1CA" role="2OqNvi">
+                    <ref role="37wK5l" to="pgas:2groWwXVpeb" resolve="getMetaVarNames" />
+                  </node>
+                </node>
+                <node concept="34jXtK" id="6XUlM2pn1CB" role="2OqNvi">
+                  <node concept="3cmrfG" id="6XUlM2pn1CC" role="25WWJ7">
+                    <property role="3cmrfH" value="1" />
+                  </node>
+                </node>
+              </node>
+              <node concept="1$rogu" id="6XUlM2pucbg" role="2OqNvi" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="6XUlM2pnaax" role="3cqZAp">
+          <node concept="37vLTI" id="6XUlM2pnjOR" role="3clFbG">
+            <node concept="37vLTw" id="6XUlM2pnkiC" role="37vLTx">
+              <ref role="3cqZAo" node="6XUlM2pn1Cy" resolve="boundType" />
+            </node>
+            <node concept="2OqwBi" id="6XUlM2pnd$y" role="37vLTJ">
+              <node concept="1PxgMI" id="6XUlM2pnd0I" role="2Oq$k0">
+                <node concept="chp4Y" id="6XUlM2pndeo" role="3oSUPX">
+                  <ref role="cht4Q" to="b83y:2_58u12ePfb" resolve="JudgmentInstance3" />
+                </node>
+                <node concept="37vLTw" id="6XUlM2pnaav" role="1m5AlR">
+                  <ref role="3cqZAo" node="6XUlM2p3qdK" resolve="conclusion" />
+                </node>
+              </node>
+              <node concept="3TrEf2" id="6XUlM2pnecG" role="2OqNvi">
+                <ref role="3Tt5mk" to="b83y:2_58u12ePff" resolve="arg3" />
+              </node>
+            </node>
           </node>
         </node>
-        <node concept="3clFbH" id="6XUlM2p3qel" role="3cqZAp" />
         <node concept="3cpWs8" id="6XUlM2p3qem" role="3cqZAp">
           <node concept="3cpWsn" id="6XUlM2p3qen" role="3cpWs9">
             <property role="TrG5h" value="lookupNoCtxRule" />
@@ -8148,7 +8316,7 @@
                   <ref role="2pJxcJ" to="tpck:h0TrG11" resolve="name" />
                   <node concept="3cpWs3" id="6XUlM2p3qes" role="2pJxcZ">
                     <node concept="Xl_RD" id="6XUlM2p3qet" role="3uHU7w">
-                      <property role="Xl_RC" value="found" />
+                      <property role="Xl_RC" value=" found" />
                     </node>
                     <node concept="2OqwBi" id="6XUlM2p3qeu" role="3uHU7B">
                       <node concept="2OqwBi" id="6XUlM2p3qev" role="2Oq$k0">
@@ -8308,7 +8476,7 @@
                   <ref role="2pJxcJ" to="tpck:h0TrG11" resolve="name" />
                   <node concept="3cpWs3" id="6XUlM2p2RzH" role="2pJxcZ">
                     <node concept="Xl_RD" id="6XUlM2p2RLF" role="3uHU7w">
-                      <property role="Xl_RC" value="next" />
+                      <property role="Xl_RC" value=" next" />
                     </node>
                     <node concept="2OqwBi" id="6XUlM2p2B6z" role="3uHU7B">
                       <node concept="2OqwBi" id="6XUlM2p2B6$" role="2Oq$k0">
diff --git a/inca-translation/languages/TypeLang/generator/template/main@generator.mps b/inca-translation/languages/TypeLang/generator/template/main@generator.mps
index 092988438b02fec32240556667cf6fcdfa8da8fe..85c859df05090033f08c40f3878f67ffc25af582 100644
--- a/inca-translation/languages/TypeLang/generator/template/main@generator.mps
+++ b/inca-translation/languages/TypeLang/generator/template/main@generator.mps
@@ -191,6 +191,9 @@
       <concept id="1171323947159" name="jetbrains.mps.lang.smodel.structure.Model_NodesOperation" flags="nn" index="2SmgA7">
         <child id="1758937410080001570" name="conceptArgument" index="1dBWTz" />
       </concept>
+      <concept id="1145567426890" name="jetbrains.mps.lang.smodel.structure.SNodeListCreator" flags="nn" index="2T8Vx0">
+        <child id="1145567471833" name="createdType" index="2T96Bj" />
+      </concept>
       <concept id="1139184414036" name="jetbrains.mps.lang.smodel.structure.LinkList_AddNewChildOperation" flags="nn" index="WFELt">
         <reference id="1139877738879" name="concept" index="1A0vxQ" />
       </concept>
@@ -228,10 +231,14 @@
       <concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
         <child id="540871147943773366" name="argument" index="25WWJ7" />
       </concept>
+      <concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
+        <child id="1151688676805" name="elementType" index="_ZDj9" />
+      </concept>
       <concept id="1151702311717" name="jetbrains.mps.baseLanguage.collections.structure.ToListOperation" flags="nn" index="ANE8D" />
       <concept id="1227022159410" name="jetbrains.mps.baseLanguage.collections.structure.AddFirstElementOperation" flags="nn" index="2Ke4WJ" />
       <concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
       <concept id="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
+      <concept id="1162934736510" name="jetbrains.mps.baseLanguage.collections.structure.GetElementOperation" flags="nn" index="34jXtK" />
       <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
       <concept id="1165525191778" name="jetbrains.mps.baseLanguage.collections.structure.GetFirstOperation" flags="nn" index="1uHKPH" />
       <concept id="1165595910856" name="jetbrains.mps.baseLanguage.collections.structure.GetLastOperation" flags="nn" index="1yVyf7" />
@@ -252,7 +259,7 @@
     <node concept="1puMqW" id="4RJJaubPgua" role="1puA0r">
       <ref role="1puQsG" node="7DdCaEODx6h" resolve="eliminateContextByProjection" />
     </node>
-    <node concept="1puMqW" id="6XUlM2oHj7a" role="1puA0r">
+    <node concept="1puMqW" id="6XUlM2pBoFi" role="1puA0r">
       <ref role="1puQsG" node="6XUlM2nKRm7" resolve="mergeContextProjectionLookup" />
     </node>
   </node>
@@ -2015,11 +2022,6 @@
             </node>
             <node concept="3clFbH" id="6XUlM2ojH3b" role="3cqZAp" />
             <node concept="3clFbH" id="6XUlM2ofgIP" role="3cqZAp" />
-            <node concept="3SKdUt" id="6XUlM2nKXeG" role="3cqZAp">
-              <node concept="3SKdUq" id="6XUlM2nKXeI" role="3SKWNk">
-                <property role="3SKdUp" value="TODO generate lookup_noctx rule based on projection rule" />
-              </node>
-            </node>
             <node concept="3SKdUt" id="6XUlM2nKXfO" role="3cqZAp">
               <node concept="3SKdUq" id="6XUlM2nKXfQ" role="3SKWNk">
                 <property role="3SKdUp" value="where conclusion returns bind we merge with both rules (==, !=)" />
@@ -2088,7 +2090,7 @@
                           <ref role="3cqZAo" node="6XUlM2nU47c" resolve="rule" />
                         </node>
                         <node concept="HtI8k" id="6XUlM2p3wO5" role="2OqNvi">
-                          <node concept="37vLTw" id="6XUlM2p3wOR" role="HtI8F">
+                          <node concept="37vLTw" id="6XUlM2psrWZ" role="HtI8F">
                             <ref role="3cqZAo" node="6XUlM2p3vKE" resolve="equalRule" />
                           </node>
                         </node>
@@ -2232,10 +2234,200 @@
             <node concept="3clFbH" id="6XUlM2nTful" role="3cqZAp" />
             <node concept="3SKdUt" id="6XUlM2nKXoe" role="3cqZAp">
               <node concept="3SKdUq" id="6XUlM2nKXog" role="3SKWNk">
-                <property role="3SKdUp" value="TODO remove old lookup_noctx rule" />
+                <property role="3SKdUp" value="replace old lookup_noctx rule" />
+              </node>
+            </node>
+            <node concept="3cpWs8" id="6XUlM2pwe82" role="3cqZAp">
+              <node concept="3cpWsn" id="6XUlM2pwe83" role="3cpWs9">
+                <property role="TrG5h" value="intermediatelookupNoContex" />
+                <node concept="3Tqbb2" id="6XUlM2pwe7T" role="1tU5fm">
+                  <ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
+                </node>
+                <node concept="2OqwBi" id="6XUlM2pwe84" role="33vP2m">
+                  <node concept="37vLTw" id="6XUlM2pwe85" role="2Oq$k0">
+                    <ref role="3cqZAo" node="6XUlM2nKWP5" resolve="querier" />
+                  </node>
+                  <node concept="liA8E" id="6XUlM2pwe86" role="2OqNvi">
+                    <ref role="37wK5l" to="5tos:6XUlM2o94Nv" resolve="getDeclarationByName" />
+                    <node concept="Xl_RD" id="6XUlM2pwe87" role="37wK5m">
+                      <property role="Xl_RC" value="lookup_noctx" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3cpWs8" id="6XUlM2pDbRL" role="3cqZAp">
+              <node concept="3cpWsn" id="6XUlM2pDbRM" role="3cpWs9">
+                <property role="TrG5h" value="instancesOfIntermediate" />
+                <node concept="2I9FWS" id="6XUlM2pDbRA" role="1tU5fm">
+                  <ref role="2I9WkF" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
+                </node>
+                <node concept="2OqwBi" id="6XUlM2pDbRN" role="33vP2m">
+                  <node concept="37vLTw" id="6XUlM2pDbRO" role="2Oq$k0">
+                    <ref role="3cqZAo" node="6XUlM2nKWP5" resolve="querier" />
+                  </node>
+                  <node concept="liA8E" id="6XUlM2pDbRP" role="2OqNvi">
+                    <ref role="37wK5l" to="5tos:4RJJaub9DpF" resolve="getInstancesOfDeclaration" />
+                    <node concept="37vLTw" id="6XUlM2pDbRQ" role="37wK5m">
+                      <ref role="3cqZAo" node="6XUlM2pwe83" resolve="intermediatelookupNoContex" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="6XUlM2pHOdD" role="3cqZAp" />
+            <node concept="3clFbF" id="6XUlM2pvWDO" role="3cqZAp">
+              <node concept="2OqwBi" id="6XUlM2pvYgW" role="3clFbG">
+                <node concept="37vLTw" id="6XUlM2pvWDM" role="2Oq$k0">
+                  <ref role="3cqZAo" node="6XUlM2nKWP5" resolve="querier" />
+                </node>
+                <node concept="liA8E" id="6XUlM2pvZm3" role="2OqNvi">
+                  <ref role="37wK5l" to="5tos:6XUlM2nTnbU" resolve="removeRulesOfDeclarationAndItself" />
+                  <node concept="37vLTw" id="6XUlM2pwhPK" role="37wK5m">
+                    <ref role="3cqZAo" node="6XUlM2pwe83" resolve="intermediatelookupNoContex" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="6XUlM2pFGQ3" role="3cqZAp" />
+            <node concept="1DcWWT" id="6XUlM2pDljy" role="3cqZAp">
+              <node concept="3clFbS" id="6XUlM2pDlj$" role="2LFqv$">
+                <node concept="3cpWs8" id="6XUlM2pDpwH" role="3cqZAp">
+                  <node concept="3cpWsn" id="6XUlM2pDpwI" role="3cpWs9">
+                    <property role="TrG5h" value="args" />
+                    <node concept="_YKpA" id="6XUlM2pDpw_" role="1tU5fm">
+                      <node concept="3Tqbb2" id="6XUlM2pDpwC" role="_ZDj9">
+                        <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+                      </node>
+                    </node>
+                    <node concept="2OqwBi" id="6XUlM2pDpwJ" role="33vP2m">
+                      <node concept="37vLTw" id="6XUlM2pDpwK" role="2Oq$k0">
+                        <ref role="3cqZAo" node="6XUlM2pDlj_" resolve="instance" />
+                      </node>
+                      <node concept="2qgKlT" id="6XUlM2pDpwL" role="2OqNvi">
+                        <ref role="37wK5l" to="pgas:5YqjVV7s$$Q" resolve="getArguments" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3cpWs8" id="6XUlM2pDqBL" role="3cqZAp">
+                  <node concept="3cpWsn" id="6XUlM2pDqBM" role="3cpWs9">
+                    <property role="TrG5h" value="argsForNew" />
+                    <node concept="_YKpA" id="6XUlM2pDqBN" role="1tU5fm">
+                      <node concept="3Tqbb2" id="6XUlM2pDqBO" role="_ZDj9">
+                        <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+                      </node>
+                    </node>
+                    <node concept="2ShNRf" id="6XUlM2pDrg2" role="33vP2m">
+                      <node concept="2T8Vx0" id="6XUlM2pDrmZ" role="2ShVmc">
+                        <node concept="2I9FWS" id="6XUlM2pDrn1" role="2T96Bj">
+                          <ref role="2I9WkF" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="6XUlM2pDrzD" role="3cqZAp">
+                  <node concept="2OqwBi" id="6XUlM2pDsDz" role="3clFbG">
+                    <node concept="37vLTw" id="6XUlM2pDBf3" role="2Oq$k0">
+                      <ref role="3cqZAo" node="6XUlM2pDqBM" resolve="argsForNew" />
+                    </node>
+                    <node concept="TSZUe" id="6XUlM2pDwXe" role="2OqNvi">
+                      <node concept="2OqwBi" id="6XUlM2pDylx" role="25WWJ7">
+                        <node concept="37vLTw" id="6XUlM2pDwZF" role="2Oq$k0">
+                          <ref role="3cqZAo" node="6XUlM2pDpwI" resolve="args" />
+                        </node>
+                        <node concept="34jXtK" id="6XUlM2pDAv1" role="2OqNvi">
+                          <node concept="3cmrfG" id="6XUlM2pDAxT" role="25WWJ7">
+                            <property role="3cmrfH" value="0" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="6XUlM2pDA$l" role="3cqZAp">
+                  <node concept="2OqwBi" id="6XUlM2pDA$m" role="3clFbG">
+                    <node concept="37vLTw" id="6XUlM2pDBVC" role="2Oq$k0">
+                      <ref role="3cqZAo" node="6XUlM2pDqBM" resolve="argsForNew" />
+                    </node>
+                    <node concept="TSZUe" id="6XUlM2pDA$o" role="2OqNvi">
+                      <node concept="2OqwBi" id="6XUlM2pDA$p" role="25WWJ7">
+                        <node concept="37vLTw" id="6XUlM2pDA$q" role="2Oq$k0">
+                          <ref role="3cqZAo" node="6XUlM2pDpwI" resolve="args" />
+                        </node>
+                        <node concept="34jXtK" id="6XUlM2pDA$r" role="2OqNvi">
+                          <node concept="3cmrfG" id="6XUlM2pDA$s" role="25WWJ7">
+                            <property role="3cmrfH" value="0" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="6XUlM2pDAP7" role="3cqZAp">
+                  <node concept="2OqwBi" id="6XUlM2pDAP8" role="3clFbG">
+                    <node concept="37vLTw" id="6XUlM2pDC1b" role="2Oq$k0">
+                      <ref role="3cqZAo" node="6XUlM2pDqBM" resolve="argsForNew" />
+                    </node>
+                    <node concept="TSZUe" id="6XUlM2pDAPa" role="2OqNvi">
+                      <node concept="2OqwBi" id="6XUlM2pDAPb" role="25WWJ7">
+                        <node concept="37vLTw" id="6XUlM2pDAPc" role="2Oq$k0">
+                          <ref role="3cqZAo" node="6XUlM2pDpwI" resolve="args" />
+                        </node>
+                        <node concept="34jXtK" id="6XUlM2pDAPd" role="2OqNvi">
+                          <node concept="3cmrfG" id="6XUlM2pDB7G" role="25WWJ7">
+                            <property role="3cmrfH" value="1" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbH" id="6XUlM2pDqud" role="3cqZAp" />
+                <node concept="3cpWs8" id="6XUlM2pDCiA" role="3cqZAp">
+                  <node concept="3cpWsn" id="6XUlM2pDCiB" role="3cpWs9">
+                    <property role="TrG5h" value="newInstance" />
+                    <node concept="3Tqbb2" id="6XUlM2pDCix" role="1tU5fm">
+                      <ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
+                    </node>
+                    <node concept="2OqwBi" id="6XUlM2pDCiC" role="33vP2m">
+                      <node concept="37vLTw" id="6XUlM2pDCiD" role="2Oq$k0">
+                        <ref role="3cqZAo" node="6XUlM2oh_OS" resolve="inlinedLookupDeclaration" />
+                      </node>
+                      <node concept="2qgKlT" id="6XUlM2pDCiE" role="2OqNvi">
+                        <ref role="37wK5l" to="pgas:5YqjVV7pW7l" resolve="constructInstance" />
+                        <node concept="37vLTw" id="6XUlM2pDCiF" role="37wK5m">
+                          <ref role="3cqZAo" node="6XUlM2pDqBM" resolve="argsForNew" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="6XUlM2pDDw5" role="3cqZAp">
+                  <node concept="2OqwBi" id="6XUlM2pDDJj" role="3clFbG">
+                    <node concept="37vLTw" id="6XUlM2pDDw3" role="2Oq$k0">
+                      <ref role="3cqZAo" node="6XUlM2pDlj_" resolve="instance" />
+                    </node>
+                    <node concept="1P9Npp" id="6XUlM2pDEvl" role="2OqNvi">
+                      <node concept="37vLTw" id="6XUlM2pDEvV" role="1P9ThW">
+                        <ref role="3cqZAo" node="6XUlM2pDCiB" resolve="newInstance" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3cpWsn" id="6XUlM2pDlj_" role="1Duv9x">
+                <property role="TrG5h" value="instance" />
+                <node concept="3Tqbb2" id="6XUlM2pDnjn" role="1tU5fm">
+                  <ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
+                </node>
+              </node>
+              <node concept="37vLTw" id="6XUlM2pDnOw" role="1DdaDG">
+                <ref role="3cqZAo" node="6XUlM2pDbRM" resolve="instancesOfIntermediate" />
               </node>
             </node>
-            <node concept="3clFbH" id="6XUlM2nKXpc" role="3cqZAp" />
+            <node concept="3clFbH" id="6XUlM2pDjsk" role="3cqZAp" />
           </node>
           <node concept="3cpWsn" id="6XUlM2nKR$9" role="1Duv9x">
             <property role="TrG5h" value="module" />
diff --git a/inca-translation/languages/TypeLang/models/behavior.mps b/inca-translation/languages/TypeLang/models/behavior.mps
index 89bb9c10704b57275bbc5d75c489017155428d74..c81922002e7fd945abd60de0970954a2defc952b 100644
--- a/inca-translation/languages/TypeLang/models/behavior.mps
+++ b/inca-translation/languages/TypeLang/models/behavior.mps
@@ -248,6 +248,7 @@
         <child id="1177027386292" name="conceptArgument" index="cj9EA" />
       </concept>
       <concept id="334628810661441841" name="jetbrains.mps.lang.smodel.structure.AsSConcept" flags="nn" index="1rGIog" />
+      <concept id="1144146199828" name="jetbrains.mps.lang.smodel.structure.Node_CopyOperation" flags="nn" index="1$rogu" />
       <concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
       <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
         <reference id="1138405853777" name="concept" index="ehGHo" />
@@ -303,6 +304,7 @@
       <concept id="1165525191778" name="jetbrains.mps.baseLanguage.collections.structure.GetFirstOperation" flags="nn" index="1uHKPH" />
       <concept id="1225727723840" name="jetbrains.mps.baseLanguage.collections.structure.FindFirstOperation" flags="nn" index="1z4cxt" />
       <concept id="1202120902084" name="jetbrains.mps.baseLanguage.collections.structure.WhereOperation" flags="nn" index="3zZkjj" />
+      <concept id="1202128969694" name="jetbrains.mps.baseLanguage.collections.structure.SelectOperation" flags="nn" index="3$u5V9" />
       <concept id="1176501494711" name="jetbrains.mps.baseLanguage.collections.structure.IsNotEmptyOperation" flags="nn" index="3GX2aA" />
       <concept id="1172254888721" name="jetbrains.mps.baseLanguage.collections.structure.ContainsOperation" flags="nn" index="3JPx81" />
     </language>
@@ -4551,6 +4553,30 @@
         <ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
       </node>
     </node>
+    <node concept="13i0hz" id="6XUlM2p8p$B" role="13h7CS">
+      <property role="TrG5h" value="replaceMetaVar" />
+      <ref role="13i0hy" node="6XUlM2p8p1I" resolve="replaceMetaVar" />
+      <node concept="3Tm1VV" id="6XUlM2p8p$C" role="1B3o_S" />
+      <node concept="3clFbS" id="6XUlM2p8p$J" role="3clF47">
+        <node concept="3cpWs6" id="6XUlM2p8p_x" role="3cqZAp">
+          <node concept="2OqwBi" id="6XUlM2p8pJp" role="3cqZAk">
+            <node concept="13iPFW" id="6XUlM2p8p_O" role="2Oq$k0" />
+            <node concept="1$rogu" id="6XUlM2p8q0O" role="2OqNvi" />
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8p$K" role="3clF46">
+        <property role="TrG5h" value="name" />
+        <node concept="17QB3L" id="6XUlM2p8p$L" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8p$M" role="3clF46">
+        <property role="TrG5h" value="replacement" />
+        <node concept="17QB3L" id="6XUlM2p8p$N" role="1tU5fm" />
+      </node>
+      <node concept="3Tqbb2" id="6XUlM2p8p$O" role="3clF45">
+        <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+      </node>
+    </node>
     <node concept="13hLZK" id="2groWwXVp9x" role="13h7CW">
       <node concept="3clFbS" id="2groWwXVp9y" role="2VODD2" />
     </node>
@@ -4568,6 +4594,24 @@
         <ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
       </node>
     </node>
+    <node concept="13i0hz" id="6XUlM2p8p1I" role="13h7CS">
+      <property role="13i0iv" value="true" />
+      <property role="13i0it" value="true" />
+      <property role="TrG5h" value="replaceMetaVar" />
+      <node concept="3Tm1VV" id="6XUlM2p8p1J" role="1B3o_S" />
+      <node concept="3Tqbb2" id="6XUlM2p8p2a" role="3clF45">
+        <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+      </node>
+      <node concept="3clFbS" id="6XUlM2p8p1L" role="3clF47" />
+      <node concept="37vLTG" id="6XUlM2p8p3R" role="3clF46">
+        <property role="TrG5h" value="name" />
+        <node concept="17QB3L" id="6XUlM2p8p3Q" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8p3X" role="3clF46">
+        <property role="TrG5h" value="replacement" />
+        <node concept="17QB3L" id="6XUlM2p8p4j" role="1tU5fm" />
+      </node>
+    </node>
     <node concept="13hLZK" id="2groWwXVpe1" role="13h7CW">
       <node concept="3clFbS" id="2groWwXVpe2" role="2VODD2" />
     </node>
@@ -4597,6 +4641,30 @@
         <ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
       </node>
     </node>
+    <node concept="13i0hz" id="6XUlM2p8p5p" role="13h7CS">
+      <property role="TrG5h" value="replaceMetaVar" />
+      <ref role="13i0hy" node="6XUlM2p8p1I" resolve="replaceMetaVar" />
+      <node concept="3Tm1VV" id="6XUlM2p8p5q" role="1B3o_S" />
+      <node concept="3clFbS" id="6XUlM2p8p5x" role="3clF47">
+        <node concept="3cpWs6" id="6XUlM2p8p6j" role="3cqZAp">
+          <node concept="2OqwBi" id="6XUlM2p8pgp" role="3cqZAk">
+            <node concept="13iPFW" id="6XUlM2p8p6O" role="2Oq$k0" />
+            <node concept="1$rogu" id="6XUlM2p8pyw" role="2OqNvi" />
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8p5y" role="3clF46">
+        <property role="TrG5h" value="name" />
+        <node concept="17QB3L" id="6XUlM2p8p5z" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8p5$" role="3clF46">
+        <property role="TrG5h" value="replacement" />
+        <node concept="17QB3L" id="6XUlM2p8p5_" role="1tU5fm" />
+      </node>
+      <node concept="3Tqbb2" id="6XUlM2p8p5A" role="3clF45">
+        <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+      </node>
+    </node>
   </node>
   <node concept="13h7C7" id="2groWwXVpiv">
     <property role="3GE5qa" value="metaterm" />
@@ -4641,6 +4709,65 @@
         <ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
       </node>
     </node>
+    <node concept="13i0hz" id="6XUlM2p8qdM" role="13h7CS">
+      <property role="TrG5h" value="replaceMetaVar" />
+      <ref role="13i0hy" node="6XUlM2p8p1I" resolve="replaceMetaVar" />
+      <node concept="3Tm1VV" id="6XUlM2p8qdN" role="1B3o_S" />
+      <node concept="3clFbS" id="6XUlM2p8qdU" role="3clF47">
+        <node concept="3clFbJ" id="6XUlM2p8qoa" role="3cqZAp">
+          <node concept="2OqwBi" id="6XUlM2p8rsO" role="3clFbw">
+            <node concept="2OqwBi" id="6XUlM2p8qzW" role="2Oq$k0">
+              <node concept="13iPFW" id="6XUlM2p8qox" role="2Oq$k0" />
+              <node concept="3TrcHB" id="6XUlM2p8qLn" role="2OqNvi">
+                <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+              </node>
+            </node>
+            <node concept="liA8E" id="6XUlM2p8rIF" role="2OqNvi">
+              <ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object):boolean" resolve="equals" />
+              <node concept="37vLTw" id="6XUlM2p8rLE" role="37wK5m">
+                <ref role="3cqZAo" node="6XUlM2p8qdV" resolve="name" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbS" id="6XUlM2p8qoc" role="3clFbx">
+            <node concept="3cpWs6" id="6XUlM2p8rPv" role="3cqZAp">
+              <node concept="2pJPEk" id="6XUlM2p8rU7" role="3cqZAk">
+                <node concept="2pJPED" id="6XUlM2p8rZH" role="2pJPEn">
+                  <ref role="2pJxaS" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
+                  <node concept="2pJxcG" id="6XUlM2p8s4K" role="2pJxcM">
+                    <ref role="2pJxcJ" to="tpck:h0TrG11" resolve="name" />
+                    <node concept="37vLTw" id="6XUlM2p8s9S" role="2pJxcZ">
+                      <ref role="3cqZAo" node="6XUlM2p8qdX" resolve="replacement" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="9aQIb" id="6XUlM2p8skr" role="9aQIa">
+            <node concept="3clFbS" id="6XUlM2p8sks" role="9aQI4">
+              <node concept="3cpWs6" id="6XUlM2p8spw" role="3cqZAp">
+                <node concept="2OqwBi" id="6XUlM2p8s$f" role="3cqZAk">
+                  <node concept="13iPFW" id="6XUlM2p8spD" role="2Oq$k0" />
+                  <node concept="1$rogu" id="6XUlM2p8sWX" role="2OqNvi" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8qdV" role="3clF46">
+        <property role="TrG5h" value="name" />
+        <node concept="17QB3L" id="6XUlM2p8qdW" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8qdX" role="3clF46">
+        <property role="TrG5h" value="replacement" />
+        <node concept="17QB3L" id="6XUlM2p8qdY" role="1tU5fm" />
+      </node>
+      <node concept="3Tqbb2" id="6XUlM2p8qdZ" role="3clF45">
+        <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+      </node>
+    </node>
     <node concept="13hLZK" id="2groWwXVpiw" role="13h7CW">
       <node concept="3clFbS" id="2groWwXVpix" role="2VODD2" />
     </node>
@@ -4670,6 +4797,30 @@
         <ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
       </node>
     </node>
+    <node concept="13i0hz" id="6XUlM2p8EVZ" role="13h7CS">
+      <property role="TrG5h" value="replaceMetaVar" />
+      <ref role="13i0hy" node="6XUlM2p8p1I" resolve="replaceMetaVar" />
+      <node concept="3Tm1VV" id="6XUlM2p8EW0" role="1B3o_S" />
+      <node concept="3clFbS" id="6XUlM2p8EW7" role="3clF47">
+        <node concept="3cpWs6" id="6XUlM2p8EWT" role="3cqZAp">
+          <node concept="2OqwBi" id="6XUlM2p8F6B" role="3cqZAk">
+            <node concept="13iPFW" id="6XUlM2p8EX2" role="2Oq$k0" />
+            <node concept="1$rogu" id="6XUlM2p8Fol" role="2OqNvi" />
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8EW8" role="3clF46">
+        <property role="TrG5h" value="name" />
+        <node concept="17QB3L" id="6XUlM2p8EW9" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8EWa" role="3clF46">
+        <property role="TrG5h" value="replacement" />
+        <node concept="17QB3L" id="6XUlM2p8EWb" role="1tU5fm" />
+      </node>
+      <node concept="3Tqbb2" id="6XUlM2p8EWc" role="3clF45">
+        <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+      </node>
+    </node>
   </node>
   <node concept="13h7C7" id="2groWwXVw4q">
     <property role="3GE5qa" value="metaterm" />
@@ -4693,6 +4844,30 @@
         <ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
       </node>
     </node>
+    <node concept="13i0hz" id="6XUlM2p8EtB" role="13h7CS">
+      <property role="TrG5h" value="replaceMetaVar" />
+      <ref role="13i0hy" node="6XUlM2p8p1I" resolve="replaceMetaVar" />
+      <node concept="3Tm1VV" id="6XUlM2p8EtC" role="1B3o_S" />
+      <node concept="3clFbS" id="6XUlM2p8EtJ" role="3clF47">
+        <node concept="3cpWs6" id="6XUlM2p8Eux" role="3cqZAp">
+          <node concept="2OqwBi" id="6XUlM2p8ECt" role="3cqZAk">
+            <node concept="13iPFW" id="6XUlM2p8EuS" role="2Oq$k0" />
+            <node concept="1$rogu" id="6XUlM2p8ETS" role="2OqNvi" />
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8EtK" role="3clF46">
+        <property role="TrG5h" value="name" />
+        <node concept="17QB3L" id="6XUlM2p8EtL" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8EtM" role="3clF46">
+        <property role="TrG5h" value="replacement" />
+        <node concept="17QB3L" id="6XUlM2p8EtN" role="1tU5fm" />
+      </node>
+      <node concept="3Tqbb2" id="6XUlM2p8EtO" role="3clF45">
+        <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+      </node>
+    </node>
     <node concept="13hLZK" id="2groWwXVw4r" role="13h7CW">
       <node concept="3clFbS" id="2groWwXVw4s" role="2VODD2" />
     </node>
@@ -4726,6 +4901,53 @@
     <node concept="13hLZK" id="2groWwXVw7g" role="13h7CW">
       <node concept="3clFbS" id="2groWwXVw7h" role="2VODD2" />
     </node>
+    <node concept="13i0hz" id="6XUlM2p8CFI" role="13h7CS">
+      <property role="TrG5h" value="replaceMetaVar" />
+      <ref role="13i0hy" node="6XUlM2p8p1I" resolve="replaceMetaVar" />
+      <node concept="3Tm1VV" id="6XUlM2p8CFJ" role="1B3o_S" />
+      <node concept="3clFbS" id="6XUlM2p8CFQ" role="3clF47">
+        <node concept="3cpWs6" id="6XUlM2p8CMA" role="3cqZAp">
+          <node concept="2pJPEk" id="6XUlM2p8CNa" role="3cqZAk">
+            <node concept="2pJPED" id="6XUlM2p8CP7" role="2pJPEn">
+              <ref role="2pJxaS" to="b83y:4XA4NEmF81A" resolve="ParentMetaTerm" />
+              <node concept="2pIpSj" id="6XUlM2p8CQo" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:4XA4NEmF81E" resolve="term" />
+                <node concept="36biLy" id="6XUlM2p8CRI" role="2pJxcZ">
+                  <node concept="2OqwBi" id="6XUlM2p8D$3" role="36biLW">
+                    <node concept="2OqwBi" id="6XUlM2p8D1$" role="2Oq$k0">
+                      <node concept="13iPFW" id="6XUlM2p8CS3" role="2Oq$k0" />
+                      <node concept="3TrEf2" id="6XUlM2p8Djh" role="2OqNvi">
+                        <ref role="3Tt5mk" to="b83y:4XA4NEmF81E" resolve="term" />
+                      </node>
+                    </node>
+                    <node concept="2qgKlT" id="6XUlM2p8Ebi" role="2OqNvi">
+                      <ref role="37wK5l" node="6XUlM2p8p1I" resolve="replaceMetaVar" />
+                      <node concept="37vLTw" id="6XUlM2p8Eh9" role="37wK5m">
+                        <ref role="3cqZAo" node="6XUlM2p8CFR" resolve="name" />
+                      </node>
+                      <node concept="37vLTw" id="6XUlM2p8Enc" role="37wK5m">
+                        <ref role="3cqZAo" node="6XUlM2p8CFT" resolve="replacement" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8CFR" role="3clF46">
+        <property role="TrG5h" value="name" />
+        <node concept="17QB3L" id="6XUlM2p8CFS" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8CFT" role="3clF46">
+        <property role="TrG5h" value="replacement" />
+        <node concept="17QB3L" id="6XUlM2p8CFU" role="1tU5fm" />
+      </node>
+      <node concept="3Tqbb2" id="6XUlM2p8CFV" role="3clF45">
+        <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+      </node>
+    </node>
   </node>
   <node concept="13h7C7" id="2groWwXVxtX">
     <property role="3GE5qa" value="metaterm" />
@@ -4771,10 +4993,141 @@
         <ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
       </node>
     </node>
+    <node concept="13i0hz" id="6XUlM2p8uMY" role="13h7CS">
+      <property role="TrG5h" value="replaceMetaVar" />
+      <ref role="13i0hy" node="6XUlM2p8p1I" resolve="replaceMetaVar" />
+      <node concept="3Tm1VV" id="6XUlM2p8uMZ" role="1B3o_S" />
+      <node concept="3clFbS" id="6XUlM2p8uN6" role="3clF47">
+        <node concept="3cpWs6" id="6XUlM2p8wWZ" role="3cqZAp">
+          <node concept="2pJPEk" id="6XUlM2p8x3M" role="3cqZAk">
+            <node concept="2pJPED" id="6XUlM2p8x5J" role="2pJPEn">
+              <ref role="2pJxaS" to="b83y:5jddR$DhDKJ" resolve="NamedMetaTerm" />
+              <node concept="2pIpSj" id="6XUlM2p8x70" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:5jddR$DhDKZ" resolve="metaterm" />
+                <node concept="36biLy" id="6XUlM2p8x8m" role="2pJxcZ">
+                  <node concept="2OqwBi" id="6XUlM2p8y7t" role="36biLW">
+                    <node concept="2OqwBi" id="6XUlM2p8xic" role="2Oq$k0">
+                      <node concept="13iPFW" id="6XUlM2p8x8F" role="2Oq$k0" />
+                      <node concept="3TrEf2" id="6XUlM2p8xI_" role="2OqNvi">
+                        <ref role="3Tt5mk" to="b83y:5jddR$DhDKZ" resolve="metaterm" />
+                      </node>
+                    </node>
+                    <node concept="2qgKlT" id="6XUlM2p8yk8" role="2OqNvi">
+                      <ref role="37wK5l" node="6XUlM2p8p1I" resolve="replaceMetaVar" />
+                      <node concept="37vLTw" id="6XUlM2p8ypZ" role="37wK5m">
+                        <ref role="3cqZAo" node="6XUlM2p8uN7" resolve="name" />
+                      </node>
+                      <node concept="37vLTw" id="6XUlM2p8yNG" role="37wK5m">
+                        <ref role="3cqZAo" node="6XUlM2p8uN9" resolve="replacement" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="2pIpSj" id="6XUlM2p8zWS" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:5jddR$Dk5XW" resolve="var" />
+                <node concept="36biLy" id="6XUlM2p8$4n" role="2pJxcZ">
+                  <node concept="1PxgMI" id="6XUlM2p8_Ms" role="36biLW">
+                    <node concept="chp4Y" id="6XUlM2p8_UJ" role="3oSUPX">
+                      <ref role="cht4Q" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
+                    </node>
+                    <node concept="2OqwBi" id="6XUlM2p8$Rt" role="1m5AlR">
+                      <node concept="2OqwBi" id="6XUlM2p8$fh" role="2Oq$k0">
+                        <node concept="13iPFW" id="6XUlM2p8$4G" role="2Oq$k0" />
+                        <node concept="3TrEf2" id="6XUlM2p8$qw" role="2OqNvi">
+                          <ref role="3Tt5mk" to="b83y:5jddR$Dk5XW" resolve="var" />
+                        </node>
+                      </node>
+                      <node concept="2qgKlT" id="6XUlM2p8_8R" role="2OqNvi">
+                        <ref role="37wK5l" node="6XUlM2p8p1I" resolve="replaceMetaVar" />
+                        <node concept="37vLTw" id="6XUlM2p8_hE" role="37wK5m">
+                          <ref role="3cqZAo" node="6XUlM2p8uN7" resolve="name" />
+                        </node>
+                        <node concept="37vLTw" id="6XUlM2p8_qD" role="37wK5m">
+                          <ref role="3cqZAo" node="6XUlM2p8uN9" resolve="replacement" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8uN7" role="3clF46">
+        <property role="TrG5h" value="name" />
+        <node concept="17QB3L" id="6XUlM2p8uN8" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8uN9" role="3clF46">
+        <property role="TrG5h" value="replacement" />
+        <node concept="17QB3L" id="6XUlM2p8uNa" role="1tU5fm" />
+      </node>
+      <node concept="3Tqbb2" id="6XUlM2p8uNb" role="3clF45">
+        <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+      </node>
+    </node>
   </node>
   <node concept="13h7C7" id="2groWwXVxOu">
     <property role="3GE5qa" value="metaterm" />
     <ref role="13h7C2" to="b83y:69yn6_DNapv" resolve="NodeMetaTermBinding" />
+    <node concept="13i0hz" id="6XUlM2p8oug" role="13h7CS">
+      <property role="TrG5h" value="replaceMetaVar" />
+      <node concept="3Tm1VV" id="6XUlM2p8ouh" role="1B3o_S" />
+      <node concept="3Tqbb2" id="6XUlM2p8ou$" role="3clF45">
+        <ref role="ehGHo" to="b83y:69yn6_DNapv" resolve="NodeMetaTermBinding" />
+      </node>
+      <node concept="3clFbS" id="6XUlM2p8ouj" role="3clF47">
+        <node concept="3cpWs6" id="6XUlM2p8ox1" role="3cqZAp">
+          <node concept="2pJPEk" id="6XUlM2p8ox_" role="3cqZAk">
+            <node concept="2pJPED" id="6XUlM2p8ozy" role="2pJPEn">
+              <ref role="2pJxaS" to="b83y:69yn6_DNapv" resolve="NodeMetaTermBinding" />
+              <node concept="2pIpSj" id="6XUlM2p8oXS" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:69yn6_DNapy" resolve="pattern" />
+                <node concept="36biLy" id="6XUlM2p8p0P" role="2pJxcZ">
+                  <node concept="2OqwBi" id="6XUlM2pg11A" role="36biLW">
+                    <node concept="2OqwBi" id="6XUlM2pg07u" role="2Oq$k0">
+                      <node concept="13iPFW" id="6XUlM2pfZWT" role="2Oq$k0" />
+                      <node concept="3TrEf2" id="6XUlM2pg0Ar" role="2OqNvi">
+                        <ref role="3Tt5mk" to="b83y:69yn6_DNapy" resolve="pattern" />
+                      </node>
+                    </node>
+                    <node concept="2qgKlT" id="6XUlM2pg1eh" role="2OqNvi">
+                      <ref role="37wK5l" node="6XUlM2p8p1I" resolve="replaceMetaVar" />
+                      <node concept="37vLTw" id="6XUlM2pg1kr" role="37wK5m">
+                        <ref role="3cqZAo" node="6XUlM2p8ovT" resolve="name" />
+                      </node>
+                      <node concept="37vLTw" id="6XUlM2pg2s$" role="37wK5m">
+                        <ref role="3cqZAo" node="6XUlM2p8ow9" resolve="replacement" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="2pIpSj" id="6XUlM2p8o$D" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:1ERTnBTmuSL" resolve="interfacePart" />
+                <node concept="36biLy" id="6XUlM2p8o_b" role="2pJxcZ">
+                  <node concept="2OqwBi" id="6XUlM2p8oK5" role="36biLW">
+                    <node concept="13iPFW" id="6XUlM2p8o_w" role="2Oq$k0" />
+                    <node concept="3TrEf2" id="6XUlM2p8oVk" role="2OqNvi">
+                      <ref role="3Tt5mk" to="b83y:1ERTnBTmuSL" resolve="interfacePart" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8ovT" role="3clF46">
+        <property role="TrG5h" value="name" />
+        <node concept="17QB3L" id="6XUlM2p8ovS" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="6XUlM2p8ow9" role="3clF46">
+        <property role="TrG5h" value="replacement" />
+        <node concept="17QB3L" id="6XUlM2p8owv" role="1tU5fm" />
+      </node>
+    </node>
     <node concept="13hLZK" id="2groWwXVxOv" role="13h7CW">
       <node concept="3clFbS" id="2groWwXVxOw" role="2VODD2" />
     </node>
@@ -4857,6 +5210,95 @@
         <ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
       </node>
     </node>
+    <node concept="13i0hz" id="6XUlM2pct2G" role="13h7CS">
+      <property role="TrG5h" value="replaceMetaVar" />
+      <ref role="13i0hy" node="6XUlM2p8p1I" resolve="replaceMetaVar" />
+      <node concept="3Tm1VV" id="6XUlM2pct2H" role="1B3o_S" />
+      <node concept="3clFbS" id="6XUlM2pct2O" role="3clF47">
+        <node concept="3cpWs8" id="6XUlM2pcwov" role="3cqZAp">
+          <node concept="3cpWsn" id="6XUlM2pcwow" role="3cpWs9">
+            <property role="TrG5h" value="renamedBindings" />
+            <node concept="2I9FWS" id="6XUlM2pcwox" role="1tU5fm">
+              <ref role="2I9WkF" to="b83y:69yn6_DNapv" resolve="NodeMetaTermBinding" />
+            </node>
+            <node concept="2OqwBi" id="6XUlM2pefdS" role="33vP2m">
+              <node concept="2OqwBi" id="6XUlM2pecar" role="2Oq$k0">
+                <node concept="2OqwBi" id="6XUlM2pea8V" role="2Oq$k0">
+                  <node concept="13iPFW" id="6XUlM2pe9X5" role="2Oq$k0" />
+                  <node concept="3Tsc0h" id="6XUlM2pealo" role="2OqNvi">
+                    <ref role="3TtcxE" to="b83y:7Hs6JnWyxNE" resolve="bindings" />
+                  </node>
+                </node>
+                <node concept="3$u5V9" id="6XUlM2pedHs" role="2OqNvi">
+                  <node concept="1bVj0M" id="6XUlM2pedHu" role="23t8la">
+                    <node concept="3clFbS" id="6XUlM2pedHv" role="1bW5cS">
+                      <node concept="3clFbF" id="6XUlM2pedPY" role="3cqZAp">
+                        <node concept="2OqwBi" id="6XUlM2pee3K" role="3clFbG">
+                          <node concept="37vLTw" id="6XUlM2pedPX" role="2Oq$k0">
+                            <ref role="3cqZAo" node="6XUlM2pedHw" resolve="it" />
+                          </node>
+                          <node concept="2qgKlT" id="6XUlM2peelr" role="2OqNvi">
+                            <ref role="37wK5l" node="6XUlM2p8oug" resolve="replaceMetaVar" />
+                            <node concept="37vLTw" id="6XUlM2peezc" role="37wK5m">
+                              <ref role="3cqZAo" node="6XUlM2pct2P" resolve="name" />
+                            </node>
+                            <node concept="37vLTw" id="6XUlM2peeN4" role="37wK5m">
+                              <ref role="3cqZAo" node="6XUlM2pct2R" resolve="replacement" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="Rh6nW" id="6XUlM2pedHw" role="1bW2Oz">
+                      <property role="TrG5h" value="it" />
+                      <node concept="2jxLKc" id="6XUlM2pedHx" role="1tU5fm" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="ANE8D" id="6XUlM2pemEe" role="2OqNvi" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs6" id="6XUlM2pcuNW" role="3cqZAp">
+          <node concept="2pJPEk" id="6XUlM2pcuNX" role="3cqZAk">
+            <node concept="2pJPED" id="6XUlM2pcuNY" role="2pJPEn">
+              <ref role="2pJxaS" to="b83y:7Hs6JnWyxNk" resolve="NodeMetaTerm" />
+              <node concept="2pIpSj" id="6XUlM2pcuNZ" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:7Hs6JnWyxNE" resolve="bindings" />
+                <node concept="36biLy" id="6XUlM2pcuO0" role="2pJxcZ">
+                  <node concept="37vLTw" id="6XUlM2pcwsN" role="36biLW">
+                    <ref role="3cqZAo" node="6XUlM2pcwow" resolve="renamedBindings" />
+                  </node>
+                </node>
+              </node>
+              <node concept="2pIpSj" id="6XUlM2pcuO2" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:2_58u12gGKY" resolve="type" />
+                <node concept="36biLy" id="6XUlM2pcuO3" role="2pJxcZ">
+                  <node concept="2OqwBi" id="6XUlM2pcuO4" role="36biLW">
+                    <node concept="13iPFW" id="6XUlM2pcuO5" role="2Oq$k0" />
+                    <node concept="3TrEf2" id="6XUlM2pcuO6" role="2OqNvi">
+                      <ref role="3Tt5mk" to="b83y:2_58u12gGKY" resolve="type" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="6XUlM2pct2P" role="3clF46">
+        <property role="TrG5h" value="name" />
+        <node concept="17QB3L" id="6XUlM2pct2Q" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="6XUlM2pct2R" role="3clF46">
+        <property role="TrG5h" value="replacement" />
+        <node concept="17QB3L" id="6XUlM2pct2S" role="1tU5fm" />
+      </node>
+      <node concept="3Tqbb2" id="6XUlM2pct2T" role="3clF45">
+        <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+      </node>
+    </node>
   </node>
   <node concept="13h7C7" id="2groWwXYoOz">
     <ref role="13h7C2" to="b83y:2_58u12eCWN" resolve="Rule" />