From 93e08cddfd2cf313aedb35ac1998b43921c3d4c8 Mon Sep 17 00:00:00 2001
From: Andre Pacak <pacak@uni-mainz.de>
Date: Fri, 8 Nov 2019 10:51:39 +0100
Subject: [PATCH] add xRequired to rules where declaration in question is in
 conclusion

---
 .../generator/template/main@generator.mps     | 409 ++++++++---
 .../languages/TypeLang/models/behavior.mps    | 667 +++++++++++++++++-
 .../solutions/TypeLangTest/models/test.mps    |   8 +
 3 files changed, 993 insertions(+), 91 deletions(-)

diff --git a/inca-translation/languages/TypeLang/generator/template/main@generator.mps b/inca-translation/languages/TypeLang/generator/template/main@generator.mps
index ef101b6..2536996 100644
--- a/inca-translation/languages/TypeLang/generator/template/main@generator.mps
+++ b/inca-translation/languages/TypeLang/generator/template/main@generator.mps
@@ -15,6 +15,9 @@
       <concept id="1161622665029" name="jetbrains.mps.lang.sharedConcepts.structure.ConceptFunctionParameter_model" flags="nn" index="1Q6Npb" />
     </language>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
+        <child id="1082485599096" name="statements" index="9aQI4" />
+      </concept>
       <concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
         <child id="1068498886297" name="rValue" index="37vLTx" />
         <child id="1068498886295" name="lValue" index="37vLTJ" />
@@ -51,16 +54,21 @@
       </concept>
       <concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
       <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
+        <child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
         <child id="1068580123160" name="condition" index="3clFbw" />
         <child id="1068580123161" name="ifTrue" index="3clFbx" />
       </concept>
       <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
         <child id="1068581517665" name="statement" index="3cqZAp" />
       </concept>
+      <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT" />
       <concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
         <property id="1068580320021" name="value" index="3cmrfH" />
       </concept>
       <concept id="1068581242875" name="jetbrains.mps.baseLanguage.structure.PlusExpression" flags="nn" index="3cpWs3" />
+      <concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
+        <child id="1068581517676" name="expression" index="3cqZAk" />
+      </concept>
       <concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
         <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
       </concept>
@@ -141,6 +149,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="1139621453865" name="jetbrains.mps.lang.smodel.structure.Node_IsInstanceOfOperation" flags="nn" index="1mIQ4w">
+        <child id="1177027386292" name="conceptArgument" index="cj9EA" />
+      </concept>
       <concept id="1144146199828" name="jetbrains.mps.lang.smodel.structure.Node_CopyOperation" flags="nn" index="1$rogu" />
       <concept id="1140131837776" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithAnotherOperation" flags="nn" index="1P9Npp">
         <child id="1140131861877" name="replacementNode" index="1P9ThW" />
@@ -155,6 +166,9 @@
       <concept id="1138056143562" name="jetbrains.mps.lang.smodel.structure.SLinkAccess" flags="nn" index="3TrEf2">
         <reference id="1138056516764" name="link" index="3Tt5mk" />
       </concept>
+      <concept id="1138056282393" name="jetbrains.mps.lang.smodel.structure.SLinkListAccess" flags="nn" index="3Tsc0h">
+        <reference id="1138056546658" name="link" index="3TtcxE" />
+      </concept>
     </language>
     <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
       <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
@@ -168,10 +182,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="1151689724996" name="jetbrains.mps.baseLanguage.collections.structure.SequenceType" flags="in" index="A3Dl8">
         <child id="1151689745422" name="elementType" index="A3Ik2" />
       </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="1171391069720" name="jetbrains.mps.baseLanguage.collections.structure.GetIndexOfOperation" flags="nn" index="2WmjW8" />
       <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
@@ -191,7 +209,16 @@
     <property role="1v3jST" value="true" />
     <node concept="1pplIY" id="4XA4NEmGx5V" role="1pqMTA">
       <node concept="3clFbS" id="4XA4NEmGx5W" role="2VODD2">
-        <node concept="3clFbH" id="4XA4NEmHa7C" role="3cqZAp" />
+        <node concept="3SKdUt" id="5bZNdPkfOy8" role="3cqZAp">
+          <node concept="3SKdUq" id="5bZNdPkfOya" role="3SKWNk">
+            <property role="3SKdUp" value="Order in which something is replaced is crucial" />
+          </node>
+        </node>
+        <node concept="3SKdUt" id="5bZNdPkfSoX" role="3cqZAp">
+          <node concept="3SKdUq" id="5bZNdPkfSoZ" role="3SKWNk">
+            <property role="3SKdUp" value="TODO would a replacement map be a better solution? Collect all replacements and perform them at the end" />
+          </node>
+        </node>
         <node concept="1DcWWT" id="4XA4NEmHp$P" role="3cqZAp">
           <node concept="3clFbS" id="4XA4NEmHp$R" role="2LFqv$">
             <node concept="3clFbJ" id="4XA4NEmHvK_" role="3cqZAp">
@@ -400,82 +427,7 @@
               </node>
             </node>
             <node concept="3clFbH" id="iMPJyMQNwD" role="3cqZAp" />
-            <node concept="3clFbF" id="2BsPEhwiZoo" role="3cqZAp">
-              <node concept="2OqwBi" id="2BsPEhwiZop" role="3clFbG">
-                <node concept="37vLTw" id="2BsPEhwiZoq" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
-                </node>
-                <node concept="1P9Npp" id="2BsPEhwiZor" role="2OqNvi">
-                  <node concept="37vLTw" id="2BsPEhwiZos" role="1P9ThW">
-                    <ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbH" id="2BsPEhwlnS8" role="3cqZAp" />
-            <node concept="1DcWWT" id="iMPJyMQRVw" role="3cqZAp">
-              <node concept="3clFbS" id="iMPJyMQRVx" role="2LFqv$">
-                <node concept="3cpWs8" id="iMPJyMQRVy" role="3cqZAp">
-                  <node concept="3cpWsn" id="iMPJyMQRVz" role="3cpWs9">
-                    <property role="TrG5h" value="newInstance" />
-                    <node concept="3Tqbb2" id="iMPJyMQRV$" role="1tU5fm">
-                      <ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
-                    </node>
-                    <node concept="2OqwBi" id="iMPJyMQRV_" role="33vP2m">
-                      <node concept="37vLTw" id="iMPJyMQRVA" role="2Oq$k0">
-                        <ref role="3cqZAo" node="iMPJyMQRVK" resolve="instance" />
-                      </node>
-                      <node concept="2qgKlT" id="iMPJyMQRVB" role="2OqNvi">
-                        <ref role="37wK5l" to="pgas:2loaFuj7QjI" resolve="removeSort" />
-                        <node concept="37vLTw" id="iMPJyMQRVC" role="37wK5m">
-                          <ref role="3cqZAo" node="4XA4NEmJsdr" resolve="index" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbF" id="2BsPEhwiY$M" role="3cqZAp">
-                  <node concept="2OqwBi" id="2BsPEhwiYGH" role="3clFbG">
-                    <node concept="37vLTw" id="2BsPEhwiY$K" role="2Oq$k0">
-                      <ref role="3cqZAo" node="iMPJyMQRVK" resolve="instance" />
-                    </node>
-                    <node concept="1P9Npp" id="2BsPEhwiZbh" role="2OqNvi">
-                      <node concept="37vLTw" id="2BsPEhwiZbR" role="1P9ThW">
-                        <ref role="3cqZAo" node="iMPJyMQRVz" resolve="newInstance" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbF" id="2BsPEhwiYbm" role="3cqZAp">
-                  <node concept="2OqwBi" id="2BsPEhwiYbn" role="3clFbG">
-                    <node concept="1PxgMI" id="2BsPEhwiYbo" role="2Oq$k0">
-                      <node concept="chp4Y" id="677Mj2_FCQq" role="3oSUPX">
-                        <ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
-                      </node>
-                      <node concept="37vLTw" id="2BsPEhwiZdb" role="1m5AlR">
-                        <ref role="3cqZAo" node="iMPJyMQRVz" resolve="newInstance" />
-                      </node>
-                    </node>
-                    <node concept="2qgKlT" id="2BsPEhwiYbt" role="2OqNvi">
-                      <ref role="37wK5l" to="pgas:iMPJyMLTZV" resolve="setJudgment" />
-                      <node concept="37vLTw" id="2BsPEhwiYbu" role="37wK5m">
-                        <ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3cpWsn" id="iMPJyMQRVK" role="1Duv9x">
-                <property role="TrG5h" value="instance" />
-                <node concept="3Tqbb2" id="iMPJyMQRVL" role="1tU5fm">
-                  <ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
-                </node>
-              </node>
-              <node concept="37vLTw" id="677Mj2_EQd_" role="1DdaDG">
-                <ref role="3cqZAo" node="4XA4NEmJ2M0" resolve="instances" />
-              </node>
-            </node>
-            <node concept="3clFbH" id="677Mj2_GzqA" role="3cqZAp" />
+            <node concept="3clFbH" id="5bZNdPkcYxH" role="3cqZAp" />
             <node concept="3SKdUt" id="677Mj2_G$oH" role="3cqZAp">
               <node concept="3SKdUq" id="677Mj2_G$oJ" role="3SKWNk">
                 <property role="3SKdUp" value="insert xRequired judgment declaration" />
@@ -525,6 +477,32 @@
                 </node>
               </node>
             </node>
+            <node concept="3clFbF" id="5bZNdPke7Et" role="3cqZAp">
+              <node concept="2OqwBi" id="5bZNdPke9BY" role="3clFbG">
+                <node concept="37vLTw" id="5bZNdPke7Er" role="2Oq$k0">
+                  <ref role="3cqZAo" node="677Mj2_GHJy" resolve="xRequiredDecl" />
+                </node>
+                <node concept="2qgKlT" id="5bZNdPkefRd" role="2OqNvi">
+                  <ref role="37wK5l" to="pgas:5bZNdPkea12" resolve="setPre" />
+                  <node concept="2pJPEk" id="5bZNdPkeHaB" role="37wK5m">
+                    <node concept="2pJPED" id="5bZNdPkeHl1" role="2pJPEn">
+                      <ref role="2pJxaS" to="b83y:2_58u12cYDt" resolve="Delimiter" />
+                      <node concept="2pJxcG" id="5bZNdPkeHsv" role="2pJxcM">
+                        <ref role="2pJxcJ" to="b83y:2_58u12cYDu" resolve="text" />
+                        <node concept="2OqwBi" id="5bZNdPkeHG_" role="2pJxcZ">
+                          <node concept="37vLTw" id="5bZNdPkeHxh" role="2Oq$k0">
+                            <ref role="3cqZAo" node="677Mj2_GHJy" resolve="xRequiredDecl" />
+                          </node>
+                          <node concept="3TrcHB" id="5bZNdPkeQ$U" role="2OqNvi">
+                            <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
             <node concept="3cpWs8" id="677Mj2_H$Zi" role="3cqZAp">
               <node concept="3cpWsn" id="677Mj2_H$Zj" role="3cpWs9">
                 <property role="TrG5h" value="xRequiredOutputSort" />
@@ -589,23 +567,272 @@
             </node>
             <node concept="3clFbF" id="677Mj2_II0y" role="3cqZAp">
               <node concept="2OqwBi" id="677Mj2_IJsC" role="3clFbG">
-                <node concept="37vLTw" id="677Mj2_IJjf" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
-                </node>
                 <node concept="HtI8k" id="677Mj2_ISnM" role="2OqNvi">
                   <node concept="37vLTw" id="677Mj2_JHpY" role="HtI8F">
                     <ref role="3cqZAo" node="677Mj2_JFEN" resolve="xRequiredDeclWithSort" />
                   </node>
                 </node>
+                <node concept="37vLTw" id="5bZNdPkd88c" role="2Oq$k0">
+                  <ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
+                </node>
               </node>
             </node>
             <node concept="3clFbH" id="677Mj2_GXf4" role="3cqZAp" />
             <node concept="3clFbH" id="677Mj2_GH6b" role="3cqZAp" />
             <node concept="3SKdUt" id="677Mj2_G_mg" role="3cqZAp">
               <node concept="3SKdUq" id="677Mj2_G_mi" role="3SKWNk">
-                <property role="3SKdUp" value="TODO insert xRequired in rules where decl is in conclusion" />
+                <property role="3SKdUp" value="insert xRequired in rules where decl is used in conclusion" />
+              </node>
+            </node>
+            <node concept="3cpWs8" id="5YqjVV7pITj" role="3cqZAp">
+              <node concept="3cpWsn" id="5YqjVV7pITk" role="3cpWs9">
+                <property role="TrG5h" value="rules" />
+                <node concept="A3Dl8" id="5YqjVV7pISV" role="1tU5fm">
+                  <node concept="3Tqbb2" id="5YqjVV7pISY" role="A3Ik2">
+                    <ref role="ehGHo" to="b83y:2_58u12eCWN" resolve="Rule" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="5bZNdPkafEX" role="3cqZAp">
+              <node concept="37vLTI" id="5bZNdPkafEZ" role="3clFbG">
+                <node concept="2OqwBi" id="5YqjVV7pITl" role="37vLTx">
+                  <node concept="2OqwBi" id="5YqjVV7pITm" role="2Oq$k0">
+                    <node concept="1Q6Npb" id="5YqjVV7pITn" role="2Oq$k0" />
+                    <node concept="2SmgA7" id="5YqjVV7pITo" role="2OqNvi">
+                      <node concept="chp4Y" id="5YqjVV7pPan" role="1dBWTz">
+                        <ref role="cht4Q" to="b83y:2_58u12eCWN" resolve="Rule" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3zZkjj" id="5YqjVV7pITq" role="2OqNvi">
+                    <node concept="1bVj0M" id="5YqjVV7pITr" role="23t8la">
+                      <node concept="3clFbS" id="5YqjVV7pITs" role="1bW5cS">
+                        <node concept="3clFbJ" id="5bZNdPkahWp" role="3cqZAp">
+                          <node concept="3clFbS" id="5bZNdPkahWr" role="3clFbx">
+                            <node concept="3cpWs6" id="5bZNdPkb_9F" role="3cqZAp">
+                              <node concept="3clFbC" id="5bZNdPka_mO" role="3cqZAk">
+                                <node concept="2OqwBi" id="5bZNdPkax$y" role="3uHU7B">
+                                  <node concept="1PxgMI" id="5bZNdPkawXR" role="2Oq$k0">
+                                    <node concept="chp4Y" id="5bZNdPkaxde" role="3oSUPX">
+                                      <ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
+                                    </node>
+                                    <node concept="2OqwBi" id="5bZNdPkaqll" role="1m5AlR">
+                                      <node concept="37vLTw" id="5bZNdPkapX$" role="2Oq$k0">
+                                        <ref role="3cqZAo" node="5YqjVV7pITN" resolve="it" />
+                                      </node>
+                                      <node concept="3TrEf2" id="5bZNdPkasza" role="2OqNvi">
+                                        <ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="2qgKlT" id="5bZNdPka$TD" role="2OqNvi">
+                                    <ref role="37wK5l" to="pgas:iMPJyMM1Nb" resolve="getJudgment" />
+                                  </node>
+                                </node>
+                                <node concept="37vLTw" id="5bZNdPkd8yR" role="3uHU7w">
+                                  <ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="2OqwBi" id="5bZNdPkamQI" role="3clFbw">
+                            <node concept="2OqwBi" id="5bZNdPkaiqE" role="2Oq$k0">
+                              <node concept="37vLTw" id="5bZNdPkai6x" role="2Oq$k0">
+                                <ref role="3cqZAo" node="5YqjVV7pITN" resolve="it" />
+                              </node>
+                              <node concept="3TrEf2" id="5bZNdPkakNP" role="2OqNvi">
+                                <ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
+                              </node>
+                            </node>
+                            <node concept="1mIQ4w" id="5bZNdPkap3P" role="2OqNvi">
+                              <node concept="chp4Y" id="5bZNdPkapia" role="cj9EA">
+                                <ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="9aQIb" id="5bZNdPkapwB" role="9aQIa">
+                            <node concept="3clFbS" id="5bZNdPkapwC" role="9aQI4">
+                              <node concept="3cpWs6" id="5bZNdPkbz2z" role="3cqZAp">
+                                <node concept="3clFbT" id="5bZNdPkapJ3" role="3cqZAk" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3clFbH" id="5bZNdPkahMz" role="3cqZAp" />
+                      </node>
+                      <node concept="Rh6nW" id="5YqjVV7pITN" role="1bW2Oz">
+                        <property role="TrG5h" value="it" />
+                        <node concept="2jxLKc" id="5YqjVV7pITO" role="1tU5fm" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="37vLTw" id="5bZNdPkafF3" role="37vLTJ">
+                  <ref role="3cqZAo" node="5YqjVV7pITk" resolve="rules" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="5YqjVV7pLRg" role="3cqZAp" />
+            <node concept="1DcWWT" id="5YqjVV7pNd5" role="3cqZAp">
+              <node concept="3clFbS" id="5YqjVV7pNd7" role="2LFqv$">
+                <node concept="3SKdUt" id="5YqjVV7u4QR" role="3cqZAp">
+                  <node concept="3SKdUq" id="5YqjVV7u4QT" role="3SKWNk">
+                    <property role="3SKdUp" value="need to get the arguments of the conclusion" />
+                  </node>
+                </node>
+                <node concept="3cpWs8" id="5YqjVV7u91$" role="3cqZAp">
+                  <node concept="3cpWsn" id="5YqjVV7u91_" role="3cpWs9">
+                    <property role="TrG5h" value="arguments" />
+                    <node concept="_YKpA" id="5YqjVV7u91p" role="1tU5fm">
+                      <node concept="3Tqbb2" id="5YqjVV7u91s" role="_ZDj9">
+                        <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+                      </node>
+                    </node>
+                    <node concept="2OqwBi" id="5YqjVV7u91A" role="33vP2m">
+                      <node concept="2OqwBi" id="5YqjVV7u91B" role="2Oq$k0">
+                        <node concept="37vLTw" id="5YqjVV7u91C" role="2Oq$k0">
+                          <ref role="3cqZAo" node="5YqjVV7pNd8" resolve="rule" />
+                        </node>
+                        <node concept="3TrEf2" id="5YqjVV7u91D" role="2OqNvi">
+                          <ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
+                        </node>
+                      </node>
+                      <node concept="2qgKlT" id="5YqjVV7u91E" role="2OqNvi">
+                        <ref role="37wK5l" to="pgas:5YqjVV7s$$Q" resolve="getArguments" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3cpWs8" id="5YqjVV7qpsI" role="3cqZAp">
+                  <node concept="3cpWsn" id="5YqjVV7qpsJ" role="3cpWs9">
+                    <property role="TrG5h" value="constructInstance" />
+                    <node concept="3Tqbb2" id="5YqjVV7qps_" role="1tU5fm">
+                      <ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
+                    </node>
+                    <node concept="2OqwBi" id="5YqjVV7qpsK" role="33vP2m">
+                      <node concept="37vLTw" id="5YqjVV7qpsL" role="2Oq$k0">
+                        <ref role="3cqZAo" node="677Mj2_JFEN" resolve="xRequiredDeclWithSort" />
+                      </node>
+                      <node concept="2qgKlT" id="5YqjVV7qpsM" role="2OqNvi">
+                        <ref role="37wK5l" to="pgas:5YqjVV7pW7l" resolve="constructInstance" />
+                        <node concept="37vLTw" id="5YqjVV7ubcx" role="37wK5m">
+                          <ref role="3cqZAo" node="5YqjVV7u91_" resolve="arguments" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="5YqjVV7pS65" role="3cqZAp">
+                  <node concept="2OqwBi" id="5YqjVV7pTUp" role="3clFbG">
+                    <node concept="2OqwBi" id="5YqjVV7pSfo" role="2Oq$k0">
+                      <node concept="37vLTw" id="5YqjVV7pS63" role="2Oq$k0">
+                        <ref role="3cqZAo" node="5YqjVV7pNd8" resolve="rule" />
+                      </node>
+                      <node concept="3Tsc0h" id="5YqjVV7pSt4" role="2OqNvi">
+                        <ref role="3TtcxE" to="b83y:2_58u12eCWO" resolve="premises" />
+                      </node>
+                    </node>
+                    <node concept="2Ke4WJ" id="5YqjVV7pV1m" role="2OqNvi">
+                      <node concept="37vLTw" id="5YqjVV7qv0o" role="25WWJ7">
+                        <ref role="3cqZAo" node="5YqjVV7qpsJ" resolve="constructInstance" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3cpWsn" id="5YqjVV7pNd8" role="1Duv9x">
+                <property role="TrG5h" value="rule" />
+                <node concept="3Tqbb2" id="5YqjVV7pOZV" role="1tU5fm">
+                  <ref role="ehGHo" to="b83y:2_58u12eCWN" resolve="Rule" />
+                </node>
+              </node>
+              <node concept="37vLTw" id="5YqjVV7pS0e" role="1DdaDG">
+                <ref role="3cqZAo" node="5YqjVV7pITk" resolve="rules" />
+              </node>
+            </node>
+            <node concept="3clFbH" id="5bZNdPkcZ2u" role="3cqZAp" />
+            <node concept="3clFbH" id="5bZNdPkg6At" role="3cqZAp" />
+            <node concept="3clFbF" id="2BsPEhwiZoo" role="3cqZAp">
+              <node concept="2OqwBi" id="2BsPEhwiZop" role="3clFbG">
+                <node concept="37vLTw" id="2BsPEhwiZoq" role="2Oq$k0">
+                  <ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
+                </node>
+                <node concept="1P9Npp" id="2BsPEhwiZor" role="2OqNvi">
+                  <node concept="37vLTw" id="2BsPEhwiZos" role="1P9ThW">
+                    <ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3SKdUt" id="5bZNdPkg2Wo" role="3cqZAp">
+              <node concept="3SKdUq" id="5bZNdPkg2Wp" role="3SKWNk">
+                <property role="3SKdUp" value="remove the arguments in judgment instances of the previously transformed judgements" />
+              </node>
+            </node>
+            <node concept="1DcWWT" id="iMPJyMQRVw" role="3cqZAp">
+              <node concept="3clFbS" id="iMPJyMQRVx" role="2LFqv$">
+                <node concept="3cpWs8" id="iMPJyMQRVy" role="3cqZAp">
+                  <node concept="3cpWsn" id="iMPJyMQRVz" role="3cpWs9">
+                    <property role="TrG5h" value="newInstance" />
+                    <node concept="3Tqbb2" id="iMPJyMQRV$" role="1tU5fm">
+                      <ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
+                    </node>
+                    <node concept="2OqwBi" id="iMPJyMQRV_" role="33vP2m">
+                      <node concept="37vLTw" id="iMPJyMQRVA" role="2Oq$k0">
+                        <ref role="3cqZAo" node="iMPJyMQRVK" resolve="instance" />
+                      </node>
+                      <node concept="2qgKlT" id="iMPJyMQRVB" role="2OqNvi">
+                        <ref role="37wK5l" to="pgas:2loaFuj7QjI" resolve="removeSort" />
+                        <node concept="37vLTw" id="iMPJyMQRVC" role="37wK5m">
+                          <ref role="3cqZAo" node="4XA4NEmJsdr" resolve="index" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="2BsPEhwiY$M" role="3cqZAp">
+                  <node concept="2OqwBi" id="2BsPEhwiYGH" role="3clFbG">
+                    <node concept="37vLTw" id="2BsPEhwiY$K" role="2Oq$k0">
+                      <ref role="3cqZAo" node="iMPJyMQRVK" resolve="instance" />
+                    </node>
+                    <node concept="1P9Npp" id="2BsPEhwiZbh" role="2OqNvi">
+                      <node concept="37vLTw" id="2BsPEhwiZbR" role="1P9ThW">
+                        <ref role="3cqZAo" node="iMPJyMQRVz" resolve="newInstance" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="2BsPEhwiYbm" role="3cqZAp">
+                  <node concept="2OqwBi" id="2BsPEhwiYbn" role="3clFbG">
+                    <node concept="1PxgMI" id="2BsPEhwiYbo" role="2Oq$k0">
+                      <node concept="chp4Y" id="677Mj2_FCQq" role="3oSUPX">
+                        <ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
+                      </node>
+                      <node concept="37vLTw" id="2BsPEhwiZdb" role="1m5AlR">
+                        <ref role="3cqZAo" node="iMPJyMQRVz" resolve="newInstance" />
+                      </node>
+                    </node>
+                    <node concept="2qgKlT" id="2BsPEhwiYbt" role="2OqNvi">
+                      <ref role="37wK5l" to="pgas:iMPJyMLTZV" resolve="setJudgment" />
+                      <node concept="37vLTw" id="2BsPEhwiYbu" role="37wK5m">
+                        <ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3cpWsn" id="iMPJyMQRVK" role="1Duv9x">
+                <property role="TrG5h" value="instance" />
+                <node concept="3Tqbb2" id="iMPJyMQRVL" role="1tU5fm">
+                  <ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
+                </node>
+              </node>
+              <node concept="37vLTw" id="677Mj2_EQd_" role="1DdaDG">
+                <ref role="3cqZAo" node="4XA4NEmJ2M0" resolve="instances" />
               </node>
             </node>
+            <node concept="3clFbH" id="677Mj2_GzqA" role="3cqZAp" />
             <node concept="3SKdUt" id="677Mj2_GAjZ" role="3cqZAp">
               <node concept="3SKdUq" id="677Mj2_GAk1" role="3SKWNk">
                 <property role="3SKdUp" value="TODO generate rules for xRequired" />
@@ -627,6 +854,26 @@
             </node>
           </node>
         </node>
+        <node concept="3SKdUt" id="5bZNdPkcKqs" role="3cqZAp">
+          <node concept="3SKdUq" id="5bZNdPkcKqu" role="3SKWNk">
+            <property role="3SKdUp" value="replace declaration x" />
+          </node>
+        </node>
+        <node concept="3SKdUt" id="5bZNdPkcOfz" role="3cqZAp">
+          <node concept="3SKdUq" id="5bZNdPkcOf_" role="3SKWNk">
+            <property role="3SKdUp" value="replace instances of declaration x" />
+          </node>
+        </node>
+        <node concept="3SKdUt" id="5bZNdPkcS86" role="3cqZAp">
+          <node concept="3SKdUq" id="5bZNdPkcS88" role="3SKWNk">
+            <property role="3SKdUp" value="insert xRequired declaration" />
+          </node>
+        </node>
+        <node concept="3SKdUt" id="5bZNdPkcVWq" role="3cqZAp">
+          <node concept="3SKdUq" id="5bZNdPkcVWs" role="3SKWNk">
+            <property role="3SKdUp" value="insert instance of xRequired declaration into rule that has x in conclusion " />
+          </node>
+        </node>
       </node>
     </node>
   </node>
diff --git a/inca-translation/languages/TypeLang/models/behavior.mps b/inca-translation/languages/TypeLang/models/behavior.mps
index ae52c68..68eca83 100644
--- a/inca-translation/languages/TypeLang/models/behavior.mps
+++ b/inca-translation/languages/TypeLang/models/behavior.mps
@@ -277,6 +277,9 @@
         <child id="1226511765987" name="elementType" index="2hN53Y" />
       </concept>
       <concept id="1226516258405" name="jetbrains.mps.baseLanguage.collections.structure.HashSetCreator" flags="nn" index="2i4dXS" />
+      <concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
+        <child id="1151688676805" name="elementType" index="_ZDj9" />
+      </concept>
       <concept id="1151689724996" name="jetbrains.mps.baseLanguage.collections.structure.SequenceType" flags="in" index="A3Dl8">
         <child id="1151689745422" name="elementType" index="A3Ik2" />
       </concept>
@@ -286,7 +289,9 @@
         <child id="1237721435807" name="elementType" index="HW$YZ" />
       </concept>
       <concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
+      <concept id="1160600644654" name="jetbrains.mps.baseLanguage.collections.structure.ListCreatorWithInit" flags="nn" index="Tc6Ow" />
       <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="1167380149909" name="jetbrains.mps.baseLanguage.collections.structure.RemoveElementOperation" flags="nn" index="3dhRuq" />
       <concept id="1165525191778" name="jetbrains.mps.baseLanguage.collections.structure.GetFirstOperation" flags="nn" index="1uHKPH" />
       <concept id="1202120902084" name="jetbrains.mps.baseLanguage.collections.structure.WhereOperation" flags="nn" index="3zZkjj" />
@@ -930,6 +935,20 @@
         <ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="Sort" />
       </node>
     </node>
+    <node concept="13i0hz" id="5bZNdPkea12" role="13h7CS">
+      <property role="13i0iv" value="true" />
+      <property role="13i0it" value="true" />
+      <property role="TrG5h" value="setPre" />
+      <node concept="3Tm1VV" id="5bZNdPkea13" role="1B3o_S" />
+      <node concept="3clFbS" id="5bZNdPkea15" role="3clF47" />
+      <node concept="3cqZAl" id="5bZNdPkea57" role="3clF45" />
+      <node concept="37vLTG" id="5bZNdPkea6z" role="3clF46">
+        <property role="TrG5h" value="delimiter" />
+        <node concept="3Tqbb2" id="5bZNdPkea6y" role="1tU5fm">
+          <ref role="ehGHo" to="b83y:2_58u12cYDt" resolve="Delimiter" />
+        </node>
+      </node>
+    </node>
     <node concept="13i0hz" id="4XA4NEmJ4Wv" role="13h7CS">
       <property role="13i0iv" value="true" />
       <property role="13i0it" value="true" />
@@ -966,6 +985,24 @@
         </node>
       </node>
     </node>
+    <node concept="13i0hz" id="5YqjVV7pW7l" role="13h7CS">
+      <property role="13i0iv" value="true" />
+      <property role="13i0it" value="true" />
+      <property role="TrG5h" value="constructInstance" />
+      <node concept="3Tm1VV" id="5YqjVV7pW7m" role="1B3o_S" />
+      <node concept="3Tqbb2" id="5YqjVV7pWaD" role="3clF45">
+        <ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
+      </node>
+      <node concept="3clFbS" id="5YqjVV7pW7o" role="3clF47" />
+      <node concept="37vLTG" id="5YqjVV7q0VR" role="3clF46">
+        <property role="TrG5h" value="elements" />
+        <node concept="_YKpA" id="5YqjVV7q0VP" role="1tU5fm">
+          <node concept="3Tqbb2" id="5YqjVV7q0X3" role="_ZDj9">
+            <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="13hLZK" id="4XA4NEmGQR3" role="13h7CW">
       <node concept="3clFbS" id="4XA4NEmGQR4" role="2VODD2" />
     </node>
@@ -1023,6 +1060,33 @@
         <ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="Sort" />
       </node>
     </node>
+    <node concept="13i0hz" id="5bZNdPkeaHl" role="13h7CS">
+      <property role="TrG5h" value="setPre" />
+      <ref role="13i0hy" node="5bZNdPkea12" resolve="setPre" />
+      <node concept="3Tm1VV" id="5bZNdPkeaHm" role="1B3o_S" />
+      <node concept="3clFbS" id="5bZNdPkeaHr" role="3clF47">
+        <node concept="3clFbF" id="5bZNdPkebgu" role="3cqZAp">
+          <node concept="37vLTI" id="5bZNdPkecqb" role="3clFbG">
+            <node concept="37vLTw" id="5bZNdPkecvi" role="37vLTx">
+              <ref role="3cqZAo" node="5bZNdPkeaHs" resolve="delimiter" />
+            </node>
+            <node concept="2OqwBi" id="5bZNdPkebqI" role="37vLTJ">
+              <node concept="13iPFW" id="5bZNdPkebgt" role="2Oq$k0" />
+              <node concept="3TrEf2" id="5bZNdPkebZR" role="2OqNvi">
+                <ref role="3Tt5mk" to="b83y:2_58u12eLDF" resolve="pre" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="5bZNdPkeaHs" role="3clF46">
+        <property role="TrG5h" value="delimiter" />
+        <node concept="3Tqbb2" id="5bZNdPkeaHt" role="1tU5fm">
+          <ref role="ehGHo" to="b83y:2_58u12cYDt" resolve="Delimiter" />
+        </node>
+      </node>
+      <node concept="3cqZAl" id="5bZNdPkeaHu" role="3clF45" />
+    </node>
     <node concept="13i0hz" id="4XA4NEmJ524" role="13h7CS">
       <property role="13i0iv" value="false" />
       <property role="13i0it" value="false" />
@@ -1137,6 +1201,52 @@
         <ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
       </node>
     </node>
+    <node concept="13i0hz" id="5YqjVV7pWCX" role="13h7CS">
+      <property role="TrG5h" value="constructInstance" />
+      <ref role="13i0hy" node="5YqjVV7pW7l" resolve="constructInstance" />
+      <node concept="3Tm1VV" id="5YqjVV7pWCY" role="1B3o_S" />
+      <node concept="3clFbS" id="5YqjVV7pWD4" role="3clF47">
+        <node concept="3cpWs6" id="5YqjVV7pWTI" role="3cqZAp">
+          <node concept="2pJPEk" id="5YqjVV7pWUk" role="3cqZAk">
+            <node concept="2pJPED" id="5YqjVV7pWWj" role="2pJPEn">
+              <ref role="2pJxaS" to="b83y:2_58u12eCWR" resolve="JudgmentInstance1" />
+              <node concept="2pIpSj" id="5YqjVV7pWYn" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:2_58u12eD0b" resolve="arg1" />
+                <node concept="36biLy" id="5YqjVV7pWZf" role="2pJxcZ">
+                  <node concept="2OqwBi" id="5YqjVV7pYv3" role="36biLW">
+                    <node concept="37vLTw" id="5YqjVV7pYht" role="2Oq$k0">
+                      <ref role="3cqZAo" node="5YqjVV7pWD5" resolve="elements" />
+                    </node>
+                    <node concept="34jXtK" id="5YqjVV7pZ$P" role="2OqNvi">
+                      <node concept="3cmrfG" id="5YqjVV7pZAb" role="25WWJ7">
+                        <property role="3cmrfH" value="0" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="2pIpSj" id="5YqjVV7q0il" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:2_58u12eCWS" resolve="judgment" />
+                <node concept="36biLy" id="5YqjVV7q0jZ" role="2pJxcZ">
+                  <node concept="13iPFW" id="5YqjVV7q0km" role="36biLW" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="5YqjVV7pWD5" role="3clF46">
+        <property role="TrG5h" value="elements" />
+        <node concept="_YKpA" id="5YqjVV7pYB0" role="1tU5fm">
+          <node concept="3Tqbb2" id="5YqjVV7pYB2" role="_ZDj9">
+            <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tqbb2" id="5YqjVV7pWD8" role="3clF45">
+        <ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
+      </node>
+    </node>
   </node>
   <node concept="13h7C7" id="4XA4NEmH2LM">
     <property role="3GE5qa" value="judgment" />
@@ -1206,6 +1316,33 @@
         <ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="Sort" />
       </node>
     </node>
+    <node concept="13i0hz" id="5bZNdPkedmk" role="13h7CS">
+      <property role="TrG5h" value="setPre" />
+      <ref role="13i0hy" node="5bZNdPkea12" resolve="setPre" />
+      <node concept="3Tm1VV" id="5bZNdPkedml" role="1B3o_S" />
+      <node concept="3clFbS" id="5bZNdPkedmm" role="3clF47">
+        <node concept="3clFbF" id="5bZNdPkedmn" role="3cqZAp">
+          <node concept="37vLTI" id="5bZNdPkedmo" role="3clFbG">
+            <node concept="37vLTw" id="5bZNdPkedmp" role="37vLTx">
+              <ref role="3cqZAo" node="5bZNdPkedmt" resolve="delimiter" />
+            </node>
+            <node concept="2OqwBi" id="5bZNdPkedmq" role="37vLTJ">
+              <node concept="13iPFW" id="5bZNdPkedmr" role="2Oq$k0" />
+              <node concept="3TrEf2" id="5bZNdPkedms" role="2OqNvi">
+                <ref role="3Tt5mk" to="b83y:2_58u12eLE1" resolve="pre" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="5bZNdPkedmt" role="3clF46">
+        <property role="TrG5h" value="delimiter" />
+        <node concept="3Tqbb2" id="5bZNdPkedmu" role="1tU5fm">
+          <ref role="ehGHo" to="b83y:2_58u12cYDt" resolve="Delimiter" />
+        </node>
+      </node>
+      <node concept="3cqZAl" id="5bZNdPkedmv" role="3clF45" />
+    </node>
     <node concept="13i0hz" id="4XA4NEmJ7$5" role="13h7CS">
       <property role="13i0iv" value="false" />
       <property role="13i0it" value="false" />
@@ -1463,6 +1600,67 @@
         <ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
       </node>
     </node>
+    <node concept="13i0hz" id="5YqjVV7q2Fa" role="13h7CS">
+      <property role="TrG5h" value="constructInstance" />
+      <ref role="13i0hy" node="5YqjVV7pW7l" resolve="constructInstance" />
+      <node concept="3Tm1VV" id="5YqjVV7q2Fb" role="1B3o_S" />
+      <node concept="3clFbS" id="5YqjVV7q2Fc" role="3clF47">
+        <node concept="3cpWs6" id="5YqjVV7q2Fd" role="3cqZAp">
+          <node concept="2pJPEk" id="5YqjVV7q2Fe" role="3cqZAk">
+            <node concept="2pJPED" id="5YqjVV7q2Ff" role="2pJPEn">
+              <ref role="2pJxaS" to="b83y:2_58u12eNuo" resolve="JudgmentInstance2" />
+              <node concept="2pIpSj" id="5YqjVV7q2Fg" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:2_58u12eNuq" resolve="arg1" />
+                <node concept="36biLy" id="5YqjVV7q2Fh" role="2pJxcZ">
+                  <node concept="2OqwBi" id="5YqjVV7q2Fi" role="36biLW">
+                    <node concept="37vLTw" id="5YqjVV7q2Fj" role="2Oq$k0">
+                      <ref role="3cqZAo" node="5YqjVV7q2Fp" resolve="elements" />
+                    </node>
+                    <node concept="34jXtK" id="5YqjVV7q2Fk" role="2OqNvi">
+                      <node concept="3cmrfG" id="5YqjVV7q2Fl" role="25WWJ7">
+                        <property role="3cmrfH" value="0" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="2pIpSj" id="5YqjVV7q3lx" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:2_58u12eNur" resolve="arg2" />
+                <node concept="36biLy" id="5YqjVV7q3p2" role="2pJxcZ">
+                  <node concept="2OqwBi" id="5YqjVV7q4G0" role="36biLW">
+                    <node concept="37vLTw" id="5YqjVV7q3pp" role="2Oq$k0">
+                      <ref role="3cqZAo" node="5YqjVV7q2Fp" resolve="elements" />
+                    </node>
+                    <node concept="34jXtK" id="5YqjVV7q744" role="2OqNvi">
+                      <node concept="3cmrfG" id="5YqjVV7q75q" role="25WWJ7">
+                        <property role="3cmrfH" value="1" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="2pIpSj" id="5YqjVV7q2Fm" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:2_58u12eNup" resolve="judgment" />
+                <node concept="36biLy" id="5YqjVV7q79N" role="2pJxcZ">
+                  <node concept="13iPFW" id="5YqjVV7q7aa" role="36biLW" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="5YqjVV7q2Fp" role="3clF46">
+        <property role="TrG5h" value="elements" />
+        <node concept="_YKpA" id="5YqjVV7q2Fq" role="1tU5fm">
+          <node concept="3Tqbb2" id="5YqjVV7q2Fr" role="_ZDj9">
+            <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tqbb2" id="5YqjVV7q2Fs" role="3clF45">
+        <ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
+      </node>
+    </node>
   </node>
   <node concept="13h7C7" id="4XA4NEmH8As">
     <property role="3GE5qa" value="judgment" />
@@ -1547,6 +1745,33 @@
         <ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="Sort" />
       </node>
     </node>
+    <node concept="13i0hz" id="5bZNdPkeeQ_" role="13h7CS">
+      <property role="TrG5h" value="setPre" />
+      <ref role="13i0hy" node="5bZNdPkea12" resolve="setPre" />
+      <node concept="3Tm1VV" id="5bZNdPkeeQA" role="1B3o_S" />
+      <node concept="3clFbS" id="5bZNdPkeeQB" role="3clF47">
+        <node concept="3clFbF" id="5bZNdPkeeQC" role="3cqZAp">
+          <node concept="37vLTI" id="5bZNdPkeeQD" role="3clFbG">
+            <node concept="37vLTw" id="5bZNdPkeeQE" role="37vLTx">
+              <ref role="3cqZAo" node="5bZNdPkeeQI" resolve="delimiter" />
+            </node>
+            <node concept="2OqwBi" id="5bZNdPkeeQF" role="37vLTJ">
+              <node concept="13iPFW" id="5bZNdPkeeQG" role="2Oq$k0" />
+              <node concept="3TrEf2" id="5bZNdPkeeQH" role="2OqNvi">
+                <ref role="3Tt5mk" to="b83y:2_58u12eLEc" resolve="pre" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="5bZNdPkeeQI" role="3clF46">
+        <property role="TrG5h" value="delimiter" />
+        <node concept="3Tqbb2" id="5bZNdPkeeQJ" role="1tU5fm">
+          <ref role="ehGHo" to="b83y:2_58u12cYDt" resolve="Delimiter" />
+        </node>
+      </node>
+      <node concept="3cqZAl" id="5bZNdPkeeQK" role="3clF45" />
+    </node>
     <node concept="13i0hz" id="4XA4NEmJhke" role="13h7CS">
       <property role="13i0iv" value="false" />
       <property role="13i0it" value="false" />
@@ -1855,6 +2080,82 @@
         <ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
       </node>
     </node>
+    <node concept="13i0hz" id="5YqjVV7q8YN" role="13h7CS">
+      <property role="TrG5h" value="constructInstance" />
+      <ref role="13i0hy" node="5YqjVV7pW7l" resolve="constructInstance" />
+      <node concept="3Tm1VV" id="5YqjVV7q8YO" role="1B3o_S" />
+      <node concept="3clFbS" id="5YqjVV7q8YP" role="3clF47">
+        <node concept="3cpWs6" id="5YqjVV7q8YQ" role="3cqZAp">
+          <node concept="2pJPEk" id="5YqjVV7q8YR" role="3cqZAk">
+            <node concept="2pJPED" id="5YqjVV7q8YS" role="2pJPEn">
+              <ref role="2pJxaS" to="b83y:2_58u12ePfb" resolve="JudgmentInstance3" />
+              <node concept="2pIpSj" id="5YqjVV7q8YT" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:2_58u12ePfd" resolve="arg1" />
+                <node concept="36biLy" id="5YqjVV7q8YU" role="2pJxcZ">
+                  <node concept="2OqwBi" id="5YqjVV7q8YV" role="36biLW">
+                    <node concept="37vLTw" id="5YqjVV7q8YW" role="2Oq$k0">
+                      <ref role="3cqZAo" node="5YqjVV7q8Z8" resolve="elements" />
+                    </node>
+                    <node concept="34jXtK" id="5YqjVV7q8YX" role="2OqNvi">
+                      <node concept="3cmrfG" id="5YqjVV7q8YY" role="25WWJ7">
+                        <property role="3cmrfH" value="0" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="2pIpSj" id="5YqjVV7q8YZ" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:2_58u12ePfe" resolve="arg2" />
+                <node concept="36biLy" id="5YqjVV7q8Z0" role="2pJxcZ">
+                  <node concept="2OqwBi" id="5YqjVV7q8Z1" role="36biLW">
+                    <node concept="37vLTw" id="5YqjVV7q8Z2" role="2Oq$k0">
+                      <ref role="3cqZAo" node="5YqjVV7q8Z8" resolve="elements" />
+                    </node>
+                    <node concept="34jXtK" id="5YqjVV7q8Z3" role="2OqNvi">
+                      <node concept="3cmrfG" id="5YqjVV7q8Z4" role="25WWJ7">
+                        <property role="3cmrfH" value="1" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="2pIpSj" id="5YqjVV7qaBS" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:2_58u12ePff" resolve="arg3" />
+                <node concept="36biLy" id="5YqjVV7qaFF" role="2pJxcZ">
+                  <node concept="2OqwBi" id="5YqjVV7qbYD" role="36biLW">
+                    <node concept="37vLTw" id="5YqjVV7qaG2" role="2Oq$k0">
+                      <ref role="3cqZAo" node="5YqjVV7q8Z8" resolve="elements" />
+                    </node>
+                    <node concept="34jXtK" id="5YqjVV7qemz" role="2OqNvi">
+                      <node concept="3cmrfG" id="5YqjVV7qenT" role="25WWJ7">
+                        <property role="3cmrfH" value="2" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="2pIpSj" id="5YqjVV7q8Z5" role="2pJxcM">
+                <ref role="2pIpSl" to="b83y:2_58u12ePfc" resolve="judgment" />
+                <node concept="36biLy" id="5YqjVV7q8Z6" role="2pJxcZ">
+                  <node concept="13iPFW" id="5YqjVV7q8Z7" role="36biLW" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="5YqjVV7q8Z8" role="3clF46">
+        <property role="TrG5h" value="elements" />
+        <node concept="_YKpA" id="5YqjVV7q8Z9" role="1tU5fm">
+          <node concept="3Tqbb2" id="5YqjVV7q8Za" role="_ZDj9">
+            <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tqbb2" id="5YqjVV7q8Zb" role="3clF45">
+        <ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
+      </node>
+    </node>
   </node>
   <node concept="13h7C7" id="2loaFuj7QiN">
     <property role="3GE5qa" value="judgment" />
@@ -1938,23 +2239,70 @@
       </node>
       <node concept="3cqZAl" id="iMPJyMLU59" role="3clF45" />
     </node>
+    <node concept="13i0hz" id="5YqjVV7s$G8" role="13h7CS">
+      <property role="TrG5h" value="getArguments" />
+      <ref role="13i0hy" node="5YqjVV7s$$Q" resolve="getArguments" />
+      <node concept="3Tm1VV" id="5YqjVV7s$G9" role="1B3o_S" />
+      <node concept="3clFbS" id="5YqjVV7s$Gd" role="3clF47">
+        <node concept="3cpWs8" id="5YqjVV7s$M1" role="3cqZAp">
+          <node concept="3cpWsn" id="5YqjVV7s$M4" role="3cpWs9">
+            <property role="TrG5h" value="arguments" />
+            <node concept="_YKpA" id="5YqjVV7s$LZ" role="1tU5fm">
+              <node concept="3Tqbb2" id="5YqjVV7s$N2" role="_ZDj9">
+                <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="5YqjVV7s$OW" role="33vP2m">
+              <node concept="Tc6Ow" id="5YqjVV7s$OS" role="2ShVmc">
+                <node concept="3Tqbb2" id="5YqjVV7s$OT" role="HW$YZ">
+                  <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5YqjVV7s$Sp" role="3cqZAp">
+          <node concept="2OqwBi" id="5YqjVV7sAbB" role="3clFbG">
+            <node concept="37vLTw" id="5YqjVV7s$Sn" role="2Oq$k0">
+              <ref role="3cqZAo" node="5YqjVV7s$M4" resolve="arguments" />
+            </node>
+            <node concept="TSZUe" id="5YqjVV7sDrq" role="2OqNvi">
+              <node concept="2OqwBi" id="5YqjVV7sDGf" role="25WWJ7">
+                <node concept="13iPFW" id="5YqjVV7sDv5" role="2Oq$k0" />
+                <node concept="3TrEf2" id="5YqjVV7sE3_" role="2OqNvi">
+                  <ref role="3Tt5mk" to="b83y:2_58u12eD0b" resolve="arg1" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs6" id="5YqjVV7s$Q9" role="3cqZAp">
+          <node concept="37vLTw" id="5YqjVV7s$QV" role="3cqZAk">
+            <ref role="3cqZAo" node="5YqjVV7s$M4" resolve="arguments" />
+          </node>
+        </node>
+      </node>
+      <node concept="_YKpA" id="5YqjVV7s$Ge" role="3clF45">
+        <node concept="3Tqbb2" id="5YqjVV7s$Gf" role="_ZDj9">
+          <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="13h7C7" id="2loaFuj7Qjz">
     <property role="3GE5qa" value="judgment" />
     <ref role="13h7C2" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
-    <node concept="13i0hz" id="2loaFuj7QjI" role="13h7CS">
+    <node concept="13i0hz" id="5YqjVV7s$$Q" role="13h7CS">
       <property role="13i0iv" value="true" />
       <property role="13i0it" value="true" />
-      <property role="TrG5h" value="removeSort" />
-      <node concept="3Tm1VV" id="2loaFuj7QjJ" role="1B3o_S" />
-      <node concept="3Tqbb2" id="2loaFuj7Qk6" role="3clF45">
-        <ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
-      </node>
-      <node concept="3clFbS" id="2loaFuj7QjL" role="3clF47" />
-      <node concept="37vLTG" id="2loaFuj7QkW" role="3clF46">
-        <property role="TrG5h" value="index" />
-        <node concept="10Oyi0" id="2loaFuj7QkV" role="1tU5fm" />
+      <property role="TrG5h" value="getArguments" />
+      <node concept="3Tm1VV" id="5YqjVV7s$$R" role="1B3o_S" />
+      <node concept="_YKpA" id="5YqjVV7s$_w" role="3clF45">
+        <node concept="3Tqbb2" id="5YqjVV7s$_K" role="_ZDj9">
+          <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+        </node>
       </node>
+      <node concept="3clFbS" id="5YqjVV7s$$T" role="3clF47" />
     </node>
     <node concept="13hLZK" id="2loaFuj7Qj$" role="13h7CW">
       <node concept="3clFbS" id="2loaFuj7Qj_" role="2VODD2" />
@@ -2156,6 +2504,70 @@
       </node>
       <node concept="3cqZAl" id="iMPJyMLV4S" role="3clF45" />
     </node>
+    <node concept="13i0hz" id="5YqjVV7sEEO" role="13h7CS">
+      <property role="TrG5h" value="getArguments" />
+      <ref role="13i0hy" node="5YqjVV7s$$Q" resolve="getArguments" />
+      <node concept="3Tm1VV" id="5YqjVV7sEEP" role="1B3o_S" />
+      <node concept="3clFbS" id="5YqjVV7sEEQ" role="3clF47">
+        <node concept="3cpWs8" id="5YqjVV7sEER" role="3cqZAp">
+          <node concept="3cpWsn" id="5YqjVV7sEES" role="3cpWs9">
+            <property role="TrG5h" value="arguments" />
+            <node concept="_YKpA" id="5YqjVV7sEET" role="1tU5fm">
+              <node concept="3Tqbb2" id="5YqjVV7sEEU" role="_ZDj9">
+                <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="5YqjVV7sEEV" role="33vP2m">
+              <node concept="Tc6Ow" id="5YqjVV7sEEW" role="2ShVmc">
+                <node concept="3Tqbb2" id="5YqjVV7sEEX" role="HW$YZ">
+                  <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5YqjVV7sEEY" role="3cqZAp">
+          <node concept="2OqwBi" id="5YqjVV7sEEZ" role="3clFbG">
+            <node concept="37vLTw" id="5YqjVV7sEF0" role="2Oq$k0">
+              <ref role="3cqZAo" node="5YqjVV7sEES" resolve="arguments" />
+            </node>
+            <node concept="TSZUe" id="5YqjVV7sEF1" role="2OqNvi">
+              <node concept="2OqwBi" id="5YqjVV7sEF2" role="25WWJ7">
+                <node concept="13iPFW" id="5YqjVV7sEF3" role="2Oq$k0" />
+                <node concept="3TrEf2" id="5YqjVV7sEF4" role="2OqNvi">
+                  <ref role="3Tt5mk" to="b83y:2_58u12eNuq" resolve="arg1" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5YqjVV7sF7v" role="3cqZAp">
+          <node concept="2OqwBi" id="5YqjVV7sGew" role="3clFbG">
+            <node concept="37vLTw" id="5YqjVV7sF7t" role="2Oq$k0">
+              <ref role="3cqZAo" node="5YqjVV7sEES" resolve="arguments" />
+            </node>
+            <node concept="TSZUe" id="5YqjVV7sJyi" role="2OqNvi">
+              <node concept="2OqwBi" id="5YqjVV7sJPX" role="25WWJ7">
+                <node concept="13iPFW" id="5YqjVV7sJDz" role="2Oq$k0" />
+                <node concept="3TrEf2" id="5YqjVV7sKdj" role="2OqNvi">
+                  <ref role="3Tt5mk" to="b83y:2_58u12eNur" resolve="arg2" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs6" id="5YqjVV7sEF5" role="3cqZAp">
+          <node concept="37vLTw" id="5YqjVV7sEF6" role="3cqZAk">
+            <ref role="3cqZAo" node="5YqjVV7sEES" resolve="arguments" />
+          </node>
+        </node>
+      </node>
+      <node concept="_YKpA" id="5YqjVV7sEF7" role="3clF45">
+        <node concept="3Tqbb2" id="5YqjVV7sEF8" role="_ZDj9">
+          <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="13h7C7" id="2loaFuj85QR">
     <property role="3GE5qa" value="judgment" />
@@ -2440,10 +2852,103 @@
       </node>
       <node concept="3cqZAl" id="iMPJyMLWCC" role="3clF45" />
     </node>
+    <node concept="13i0hz" id="5YqjVV7sKC3" role="13h7CS">
+      <property role="TrG5h" value="getArguments" />
+      <ref role="13i0hy" node="5YqjVV7s$$Q" resolve="getArguments" />
+      <node concept="3Tm1VV" id="5YqjVV7sKC4" role="1B3o_S" />
+      <node concept="3clFbS" id="5YqjVV7sKC5" role="3clF47">
+        <node concept="3cpWs8" id="5YqjVV7sKC6" role="3cqZAp">
+          <node concept="3cpWsn" id="5YqjVV7sKC7" role="3cpWs9">
+            <property role="TrG5h" value="arguments" />
+            <node concept="_YKpA" id="5YqjVV7sKC8" role="1tU5fm">
+              <node concept="3Tqbb2" id="5YqjVV7sKC9" role="_ZDj9">
+                <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="5YqjVV7sKCa" role="33vP2m">
+              <node concept="Tc6Ow" id="5YqjVV7sKCb" role="2ShVmc">
+                <node concept="3Tqbb2" id="5YqjVV7sKCc" role="HW$YZ">
+                  <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5YqjVV7sKCd" role="3cqZAp">
+          <node concept="2OqwBi" id="5YqjVV7sKCe" role="3clFbG">
+            <node concept="37vLTw" id="5YqjVV7sKCf" role="2Oq$k0">
+              <ref role="3cqZAo" node="5YqjVV7sKC7" resolve="arguments" />
+            </node>
+            <node concept="TSZUe" id="5YqjVV7sKCg" role="2OqNvi">
+              <node concept="2OqwBi" id="5YqjVV7sKCh" role="25WWJ7">
+                <node concept="13iPFW" id="5YqjVV7sKCi" role="2Oq$k0" />
+                <node concept="3TrEf2" id="5YqjVV7sKCj" role="2OqNvi">
+                  <ref role="3Tt5mk" to="b83y:2_58u12ePfd" resolve="arg1" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5YqjVV7sKCk" role="3cqZAp">
+          <node concept="2OqwBi" id="5YqjVV7sKCl" role="3clFbG">
+            <node concept="37vLTw" id="5YqjVV7sKCm" role="2Oq$k0">
+              <ref role="3cqZAo" node="5YqjVV7sKC7" resolve="arguments" />
+            </node>
+            <node concept="TSZUe" id="5YqjVV7sKCn" role="2OqNvi">
+              <node concept="2OqwBi" id="5YqjVV7sKCo" role="25WWJ7">
+                <node concept="13iPFW" id="5YqjVV7sKCp" role="2Oq$k0" />
+                <node concept="3TrEf2" id="5YqjVV7sKCq" role="2OqNvi">
+                  <ref role="3Tt5mk" to="b83y:2_58u12ePfe" resolve="arg2" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5YqjVV7sLAv" role="3cqZAp">
+          <node concept="2OqwBi" id="5YqjVV7sMOG" role="3clFbG">
+            <node concept="37vLTw" id="5YqjVV7sLAt" role="2Oq$k0">
+              <ref role="3cqZAo" node="5YqjVV7sKC7" resolve="arguments" />
+            </node>
+            <node concept="TSZUe" id="5YqjVV7sQ5R" role="2OqNvi">
+              <node concept="2OqwBi" id="5YqjVV7sQmS" role="25WWJ7">
+                <node concept="13iPFW" id="5YqjVV7sQ7N" role="2Oq$k0" />
+                <node concept="3TrEf2" id="5YqjVV7sQX0" role="2OqNvi">
+                  <ref role="3Tt5mk" to="b83y:2_58u12ePff" resolve="arg3" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs6" id="5YqjVV7sKCr" role="3cqZAp">
+          <node concept="37vLTw" id="5YqjVV7sKCs" role="3cqZAk">
+            <ref role="3cqZAo" node="5YqjVV7sKC7" resolve="arguments" />
+          </node>
+        </node>
+      </node>
+      <node concept="_YKpA" id="5YqjVV7sKCt" role="3clF45">
+        <node concept="3Tqbb2" id="5YqjVV7sKCu" role="_ZDj9">
+          <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="13h7C7" id="677Mj2_EQAl">
     <property role="3GE5qa" value="judgment" />
     <ref role="13h7C2" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
+    <node concept="13i0hz" id="2loaFuj7QjI" role="13h7CS">
+      <property role="13i0iv" value="true" />
+      <property role="13i0it" value="true" />
+      <property role="TrG5h" value="removeSort" />
+      <node concept="3Tm1VV" id="2loaFuj7QjJ" role="1B3o_S" />
+      <node concept="3Tqbb2" id="2loaFuj7Qk6" role="3clF45">
+        <ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
+      </node>
+      <node concept="3clFbS" id="2loaFuj7QjL" role="3clF47" />
+      <node concept="37vLTG" id="2loaFuj7QkW" role="3clF46">
+        <property role="TrG5h" value="index" />
+        <node concept="10Oyi0" id="2loaFuj7QkV" role="1tU5fm" />
+      </node>
+    </node>
     <node concept="13i0hz" id="iMPJyMM1Nb" role="13h7CS">
       <property role="13i0iv" value="true" />
       <property role="13i0it" value="true" />
@@ -2472,5 +2977,147 @@
       <node concept="3clFbS" id="677Mj2_EQAn" role="2VODD2" />
     </node>
   </node>
+  <node concept="13h7C7" id="5YqjVV7sR3Z">
+    <property role="3GE5qa" value="judgment" />
+    <ref role="13h7C2" to="b83y:2_58u12uQ7H" resolve="JudgmentInstanceNeq" />
+    <node concept="13hLZK" id="5YqjVV7sR40" role="13h7CW">
+      <node concept="3clFbS" id="5YqjVV7sR41" role="2VODD2" />
+    </node>
+    <node concept="13i0hz" id="5YqjVV7sWJ2" role="13h7CS">
+      <property role="TrG5h" value="getArguments" />
+      <ref role="13i0hy" node="5YqjVV7s$$Q" resolve="getArguments" />
+      <node concept="3Tm1VV" id="5YqjVV7sWJ3" role="1B3o_S" />
+      <node concept="3clFbS" id="5YqjVV7sWJ7" role="3clF47">
+        <node concept="3cpWs8" id="5YqjVV7sWJx" role="3cqZAp">
+          <node concept="3cpWsn" id="5YqjVV7sWJy" role="3cpWs9">
+            <property role="TrG5h" value="arguments" />
+            <node concept="_YKpA" id="5YqjVV7sWJz" role="1tU5fm">
+              <node concept="3Tqbb2" id="5YqjVV7sWJ$" role="_ZDj9">
+                <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="5YqjVV7sWJ_" role="33vP2m">
+              <node concept="Tc6Ow" id="5YqjVV7sWJA" role="2ShVmc">
+                <node concept="3Tqbb2" id="5YqjVV7sWJB" role="HW$YZ">
+                  <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5YqjVV7sWJC" role="3cqZAp">
+          <node concept="2OqwBi" id="5YqjVV7sWJD" role="3clFbG">
+            <node concept="37vLTw" id="5YqjVV7sWJE" role="2Oq$k0">
+              <ref role="3cqZAo" node="5YqjVV7sWJy" resolve="arguments" />
+            </node>
+            <node concept="TSZUe" id="5YqjVV7sWJF" role="2OqNvi">
+              <node concept="2OqwBi" id="5YqjVV7sWJG" role="25WWJ7">
+                <node concept="13iPFW" id="5YqjVV7sWJH" role="2Oq$k0" />
+                <node concept="3TrEf2" id="5YqjVV7sWJI" role="2OqNvi">
+                  <ref role="3Tt5mk" to="b83y:2_58u12uQ7I" resolve="arg1" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5YqjVV7sWJJ" role="3cqZAp">
+          <node concept="2OqwBi" id="5YqjVV7sWJK" role="3clFbG">
+            <node concept="37vLTw" id="5YqjVV7sWJL" role="2Oq$k0">
+              <ref role="3cqZAo" node="5YqjVV7sWJy" resolve="arguments" />
+            </node>
+            <node concept="TSZUe" id="5YqjVV7sWJM" role="2OqNvi">
+              <node concept="2OqwBi" id="5YqjVV7sWJN" role="25WWJ7">
+                <node concept="13iPFW" id="5YqjVV7sWJO" role="2Oq$k0" />
+                <node concept="3TrEf2" id="5YqjVV7sWJP" role="2OqNvi">
+                  <ref role="3Tt5mk" to="b83y:2_58u12uQ7J" resolve="arg2" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs6" id="5YqjVV7sWJQ" role="3cqZAp">
+          <node concept="37vLTw" id="5YqjVV7sWJR" role="3cqZAk">
+            <ref role="3cqZAo" node="5YqjVV7sWJy" resolve="arguments" />
+          </node>
+        </node>
+      </node>
+      <node concept="_YKpA" id="5YqjVV7sWJ8" role="3clF45">
+        <node concept="3Tqbb2" id="5YqjVV7sWJ9" role="_ZDj9">
+          <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="13h7C7" id="5YqjVV7sR97">
+    <property role="3GE5qa" value="judgment" />
+    <ref role="13h7C2" to="b83y:2_58u12t6cc" resolve="JudgmentInstanceEq" />
+    <node concept="13hLZK" id="5YqjVV7sR98" role="13h7CW">
+      <node concept="3clFbS" id="5YqjVV7sR99" role="2VODD2" />
+    </node>
+    <node concept="13i0hz" id="5YqjVV7sR9i" role="13h7CS">
+      <property role="TrG5h" value="getArguments" />
+      <ref role="13i0hy" node="5YqjVV7s$$Q" resolve="getArguments" />
+      <node concept="3Tm1VV" id="5YqjVV7sR9j" role="1B3o_S" />
+      <node concept="3clFbS" id="5YqjVV7sR9n" role="3clF47">
+        <node concept="3cpWs8" id="5YqjVV7sRlj" role="3cqZAp">
+          <node concept="3cpWsn" id="5YqjVV7sRlk" role="3cpWs9">
+            <property role="TrG5h" value="arguments" />
+            <node concept="_YKpA" id="5YqjVV7sRll" role="1tU5fm">
+              <node concept="3Tqbb2" id="5YqjVV7sRlm" role="_ZDj9">
+                <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="5YqjVV7sRln" role="33vP2m">
+              <node concept="Tc6Ow" id="5YqjVV7sRlo" role="2ShVmc">
+                <node concept="3Tqbb2" id="5YqjVV7sRlp" role="HW$YZ">
+                  <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5YqjVV7sRlq" role="3cqZAp">
+          <node concept="2OqwBi" id="5YqjVV7sRlr" role="3clFbG">
+            <node concept="37vLTw" id="5YqjVV7sRls" role="2Oq$k0">
+              <ref role="3cqZAo" node="5YqjVV7sRlk" resolve="arguments" />
+            </node>
+            <node concept="TSZUe" id="5YqjVV7sRlt" role="2OqNvi">
+              <node concept="2OqwBi" id="5YqjVV7sRlu" role="25WWJ7">
+                <node concept="13iPFW" id="5YqjVV7sRlv" role="2Oq$k0" />
+                <node concept="3TrEf2" id="5YqjVV7sRlw" role="2OqNvi">
+                  <ref role="3Tt5mk" to="b83y:2_58u12uP1Y" resolve="arg1" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5YqjVV7sR$0" role="3cqZAp">
+          <node concept="2OqwBi" id="5YqjVV7sSKp" role="3clFbG">
+            <node concept="37vLTw" id="5YqjVV7sRzY" role="2Oq$k0">
+              <ref role="3cqZAo" node="5YqjVV7sRlk" resolve="arguments" />
+            </node>
+            <node concept="TSZUe" id="5YqjVV7sW3W" role="2OqNvi">
+              <node concept="2OqwBi" id="5YqjVV7sWjz" role="25WWJ7">
+                <node concept="13iPFW" id="5YqjVV7sW89" role="2Oq$k0" />
+                <node concept="3TrEf2" id="5YqjVV7sWEZ" role="2OqNvi">
+                  <ref role="3Tt5mk" to="b83y:2_58u12uP1Z" resolve="arg2" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs6" id="5YqjVV7sRlx" role="3cqZAp">
+          <node concept="37vLTw" id="5YqjVV7sRly" role="3cqZAk">
+            <ref role="3cqZAo" node="5YqjVV7sRlk" resolve="arguments" />
+          </node>
+        </node>
+      </node>
+      <node concept="_YKpA" id="5YqjVV7sR9o" role="3clF45">
+        <node concept="3Tqbb2" id="5YqjVV7sR9p" role="_ZDj9">
+          <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+        </node>
+      </node>
+    </node>
+  </node>
 </model>
 
diff --git a/inca-translation/solutions/TypeLangTest/models/test.mps b/inca-translation/solutions/TypeLangTest/models/test.mps
index a2970ff..fe5f448 100644
--- a/inca-translation/solutions/TypeLangTest/models/test.mps
+++ b/inca-translation/solutions/TypeLangTest/models/test.mps
@@ -1296,6 +1296,14 @@
           <property role="TrG5h" value="e" />
         </node>
         <node concept="1FvUUU" id="6G$bWLkr_dH" role="1FvB8J">
+          <property role="TrG5h" value="tyInf" />
+        </node>
+      </node>
+      <node concept="1FckbG" id="5bZNdPkfZ2J" role="1FvUVk">
+        <node concept="1FvUUU" id="5bZNdPkfZ3g" role="1FfB6u">
+          <property role="TrG5h" value="tyInf" />
+        </node>
+        <node concept="1FvUUU" id="5bZNdPkfZ3s" role="1FfB6v">
           <property role="TrG5h" value="ty" />
         </node>
       </node>
-- 
2.22.0