diff --git a/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.types.mps b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.types.mps
index b8e04b0f..cfdb0818 100644
--- a/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.types.mps
+++ b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.types.mps
@@ -23,14 +23,10 @@
     <import index="6exd" ref="r:0f9b1fb3-00f9-4480-b235-1a906a087ab2(jetbrains.mps.logic.treeform)" />
     <import index="oy3s" ref="r:a6030cee-34eb-4503-b1bf-015fe5cd8c1a(jetbrains.mps.logic.builtin.unification)" />
     <import index="6pyv" ref="r:e418ad23-36dc-4ed0-b837-26a7fd157da3(jetbrains.mps.lang.typesystem2.program)" />
-    <import index="6bz1" ref="r:d3905048-7598-4a84-931a-cbbcbcda146d(jetbrains.mps.lang.intentions.methods)" implicit="true" />
     <import index="c17a" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.language(MPS.OpenAPI/)" implicit="true" />
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
-      <concept id="1219920932475" name="jetbrains.mps.baseLanguage.structure.VariableArityType" flags="in" index="8X2XB">
-        <child id="1219921048460" name="componentType" index="8Xvag" />
-      </concept>
       <concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
         <child id="1082485599096" name="statements" index="9aQI4" />
       </concept>
@@ -38,29 +34,18 @@
         <child id="1068498886297" name="rValue" index="37vLTx" />
         <child id="1068498886295" name="lValue" index="37vLTJ" />
       </concept>
-      <concept id="1215695189714" name="jetbrains.mps.baseLanguage.structure.PlusAssignmentExpression" flags="nn" index="d57v9" />
       <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
       <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
       <concept id="1239709250944" name="jetbrains.mps.baseLanguage.structure.PrefixIncrementExpression" flags="nn" index="2$rviw" />
-      <concept id="1076505808687" name="jetbrains.mps.baseLanguage.structure.WhileStatement" flags="nn" index="2$JKZl">
-        <child id="1076505808688" name="condition" index="2$JKZa" />
-      </concept>
       <concept id="1239714755177" name="jetbrains.mps.baseLanguage.structure.AbstractUnaryNumberOperation" flags="nn" index="2$Kvd9">
         <child id="1239714902950" name="expression" index="2$L3a6" />
       </concept>
-      <concept id="1173175405605" name="jetbrains.mps.baseLanguage.structure.ArrayAccessExpression" flags="nn" index="AH0OO">
-        <child id="1173175577737" name="index" index="AHEQo" />
-        <child id="1173175590490" name="array" index="AHHXb" />
-      </concept>
       <concept id="1188207840427" name="jetbrains.mps.baseLanguage.structure.AnnotationInstance" flags="nn" index="2AHcQZ">
         <reference id="1188208074048" name="annotation" index="2AI5Lk" />
       </concept>
       <concept id="1188208481402" name="jetbrains.mps.baseLanguage.structure.HasAnnotation" flags="ng" index="2AJDlI">
         <child id="1188208488637" name="annotation" index="2AJF6D" />
       </concept>
-      <concept id="1154032098014" name="jetbrains.mps.baseLanguage.structure.AbstractLoopStatement" flags="nn" index="2LF5Ji">
-        <child id="1154032183016" name="body" index="2LFqv$" />
-      </concept>
       <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
         <child id="1197027771414" name="operand" index="2Oq$k0" />
         <child id="1197027833540" name="operation" index="2OqNvi" />
@@ -96,9 +81,6 @@
       <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
       <concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
       <concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
-      <concept id="1070534760951" name="jetbrains.mps.baseLanguage.structure.ArrayType" flags="in" index="10Q1$e">
-        <child id="1070534760952" name="componentType" index="10Q1$1" />
-      </concept>
       <concept id="1070534934090" name="jetbrains.mps.baseLanguage.structure.CastExpression" flags="nn" index="10QFUN">
         <child id="1070534934091" name="type" index="10QFUM" />
         <child id="1070534934092" name="expression" index="10QFUP" />
@@ -129,7 +111,6 @@
       <concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
       <concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
       <concept id="1225271177708" name="jetbrains.mps.baseLanguage.structure.StringType" flags="in" index="17QB3L" />
-      <concept id="1225271283259" name="jetbrains.mps.baseLanguage.structure.NPEEqualsExpression" flags="nn" index="17R0WA" />
       <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
         <child id="5680397130376446158" name="type" index="1tU5fm" />
       </concept>
@@ -140,9 +121,7 @@
         <child id="1068580123134" name="parameter" index="3clF46" />
         <child id="1068580123135" name="body" index="3clF47" />
       </concept>
-      <concept id="1068580123165" name="jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" flags="ig" index="3clFb_">
-        <property id="1178608670077" name="isAbstract" index="1EzhhJ" />
-      </concept>
+      <concept id="1068580123165" name="jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" flags="ig" index="3clFb_" />
       <concept id="1068580123152" name="jetbrains.mps.baseLanguage.structure.EqualsExpression" flags="nn" index="3clFbC" />
       <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
         <child id="1068580123156" name="expression" index="3clFbG" />
@@ -177,9 +156,6 @@
       </concept>
       <concept id="1081506762703" name="jetbrains.mps.baseLanguage.structure.GreaterThanExpression" flags="nn" index="3eOSWO" />
       <concept id="1081506773034" name="jetbrains.mps.baseLanguage.structure.LessThanExpression" flags="nn" index="3eOVzh" />
-      <concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
-        <child id="1081516765348" name="expression" index="3fr31v" />
-      </concept>
       <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
         <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
         <child id="1068499141038" name="actualArgument" index="37wK5m" />
@@ -199,31 +175,14 @@
         <child id="1081773367579" name="rightExpression" index="3uHU7w" />
         <child id="1081773367580" name="leftExpression" index="3uHU7B" />
       </concept>
-      <concept id="1214918800624" name="jetbrains.mps.baseLanguage.structure.PostfixIncrementExpression" flags="nn" index="3uNrnE" />
-      <concept id="1073239437375" name="jetbrains.mps.baseLanguage.structure.NotEqualsExpression" flags="nn" index="3y3z36" />
-      <concept id="1184950988562" name="jetbrains.mps.baseLanguage.structure.ArrayCreator" flags="nn" index="3$_iS1">
-        <child id="1184951007469" name="componentType" index="3$_nBY" />
-        <child id="1184952969026" name="dimensionExpression" index="3$GQph" />
-      </concept>
-      <concept id="1184952934362" name="jetbrains.mps.baseLanguage.structure.DimensionExpression" flags="nn" index="3$GHV9">
-        <child id="1184953288404" name="expression" index="3$I4v7" />
-      </concept>
       <concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
         <child id="1178549979242" name="visibility" index="1B3o_S" />
       </concept>
-      <concept id="1144230876926" name="jetbrains.mps.baseLanguage.structure.AbstractForStatement" flags="nn" index="1DupvO">
-        <child id="1144230900587" name="variable" index="1Duv9x" />
-      </concept>
-      <concept id="1144231330558" name="jetbrains.mps.baseLanguage.structure.ForStatement" flags="nn" index="1Dw8fO">
-        <child id="1144231399730" name="condition" index="1Dwp0S" />
-        <child id="1144231408325" name="iteration" index="1Dwrff" />
-      </concept>
       <concept id="1163668896201" name="jetbrains.mps.baseLanguage.structure.TernaryOperatorExpression" flags="nn" index="3K4zz7">
         <child id="1163668914799" name="condition" index="3K4Cdx" />
         <child id="1163668922816" name="ifTrue" index="3K4E3e" />
         <child id="1163668934364" name="ifFalse" index="3K4GZi" />
       </concept>
-      <concept id="1208890769693" name="jetbrains.mps.baseLanguage.structure.ArrayLengthOperation" flags="nn" index="1Rwk04" />
       <concept id="6329021646629104957" name="jetbrains.mps.baseLanguage.structure.TextCommentPart" flags="nn" index="3SKdUq">
         <property id="6329021646629104958" name="text" index="3SKdUp" />
       </concept>
@@ -258,11 +217,6 @@
         <child id="6832197706140518123" name="parameter" index="zr_5Q" />
       </concept>
     </language>
-    <language id="c7d5b9dd-a05f-4be2-bc73-f2e16994cc67" name="jetbrains.mps.baseLanguage.lightweightdsl">
-      <concept id="8880393040217246788" name="jetbrains.mps.baseLanguage.lightweightdsl.structure.MethodParameterInstance" flags="ig" index="ffn8J">
-        <reference id="8880393040217294897" name="decl" index="ffrpq" />
-      </concept>
-    </language>
     <language id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation">
       <concept id="1196350785110" name="jetbrains.mps.lang.quotation.structure.AbstractAntiquotation" flags="ng" index="2c44t0">
         <property id="6489343236075007666" name="label" index="3hQQBS" />
@@ -298,9 +252,6 @@
       </concept>
     </language>
     <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
-      <concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
-        <child id="1145404616321" name="leftExpression" index="2JrQYb" />
-      </concept>
       <concept id="2644386474300074836" name="jetbrains.mps.lang.smodel.structure.ConceptIdRefExpression" flags="nn" index="35c_gC">
         <reference id="2644386474300074837" name="conceptDeclaration" index="35c_gD" />
       </concept>
@@ -1222,45 +1173,45 @@
           <node concept="17QB3L" id="WBEjvSTpvE" role="3vLBG7" />
         </node>
         <node concept="3I6sU6" id="N6wx6Hp2j6" role="3Ip0Jz">
-          <node concept="3IrJb3" id="WBEjvSTpwc" role="3I6sU7">
-            <node concept="3clFbS" id="WBEjvSTpwe" role="3IrJb0">
-              <node concept="3Aqczg" id="WBEjvSTpwP" role="3cqZAp">
-                <node concept="3wWvb2" id="WBEjvSTpwO" role="3Aqpz8">
-                  <node concept="2YIFZM" id="WBEjvSTpx4" role="3wWo3s">
-                    <ref role="37wK5l" node="WBEjvSTnJK" resolve="formatError" />
-                    <ref role="1Pybhc" node="4dPZ2m2jfZE" resolve="Util" />
-                    <node concept="1nq8_$" id="PoGdiA49Th" role="37wK5m">
-                      <node concept="a7P8L" id="WBEjvSTEK1" role="1nq8_t">
-                        <ref role="a7OzE" node="WBEjvSTpvo" resolve="E" />
-                      </node>
-                    </node>
-                    <node concept="Xl_RD" id="7Y$xuoibWin" role="37wK5m">
-                      <property role="Xl_RC" value="cannot unify '%s' and '%s'" />
-                    </node>
-                    <node concept="1nq8_$" id="PoGdiA49SV" role="37wK5m">
-                      <node concept="a7P8L" id="7Y$xuoibXwn" role="1nq8_t">
+          <node concept="3I6s7M" id="1AtJ$M5eVpJ" role="3I6sU7">
+            <node concept="3GeI9q" id="1AtJ$M5eVpD" role="3I6s78">
+              <node concept="a7P8L" id="1AtJ$M5eVzi" role="3GeI8F">
+                <ref role="a7OzE" node="WBEjvSTpvo" resolve="E" />
+              </node>
+              <node concept="HKQnh" id="1AtJ$M5eVzq" role="3GeI8D">
+                <node concept="2YIFZM" id="1AtJ$M5eVzH" role="HKQng">
+                  <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                  <ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...):java.lang.String" resolve="format" />
+                  <node concept="Xl_RD" id="1AtJ$M5eVzY" role="37wK5m">
+                    <property role="Xl_RC" value="cannot unify '%s' and '%s'" />
+                  </node>
+                  <node concept="1TmgYN" id="1AtJ$M5eVE1" role="37wK5m">
+                    <node concept="1nq8_$" id="1AtJ$M5eVEX" role="1Tms7$">
+                      <node concept="a7P8L" id="1AtJ$M5eVEV" role="1nq8_t">
                         <ref role="a7OzE" node="44a9n8Es2A7" resolve="FA" />
                       </node>
                     </node>
-                    <node concept="1nq8_$" id="PoGdiA49Tn" role="37wK5m">
-                      <node concept="a7P8L" id="7Y$xuoibXEO" role="1nq8_t">
+                  </node>
+                  <node concept="1TmgYN" id="1AtJ$M5eVPW" role="37wK5m">
+                    <node concept="1nq8_$" id="1AtJ$M5eW0n" role="1Tms7$">
+                      <node concept="a7P8L" id="1AtJ$M5eW0l" role="1nq8_t">
                         <ref role="a7OzE" node="44a9n8ErWrT" resolve="A" />
                       </node>
                     </node>
                   </node>
                 </node>
               </node>
-              <node concept="3Aqczg" id="WBEjvSTExb" role="3cqZAp">
-                <node concept="3Aqt3T" id="WBEjvSTEx7" role="3Aqpz8">
-                  <ref role="3AqCNq" node="WBEjvSTpuV" resolve="error" />
-                  <node concept="a7P8L" id="WBEjvSTEBi" role="3AunhB">
-                    <ref role="a7OzE" node="WBEjvSTpvo" resolve="E" />
-                  </node>
-                  <node concept="3BlFb$" id="2mKpIXwPhj3" role="3AunhB">
-                    <node concept="3A2sRY" id="2mKpIXwPhj5" role="3BlFb_">
-                      <ref role="3A2yKK" node="44a9n8ErWrh" resolve="app" />
-                    </node>
-                  </node>
+            </node>
+          </node>
+          <node concept="3I6s7M" id="1AtJ$M5eUjc" role="3I6sU7">
+            <node concept="3Aqt3T" id="WBEjvSTEx7" role="3I6s78">
+              <ref role="3AqCNq" node="WBEjvSTpuV" resolve="error" />
+              <node concept="a7P8L" id="WBEjvSTEBi" role="3AunhB">
+                <ref role="a7OzE" node="WBEjvSTpvo" resolve="E" />
+              </node>
+              <node concept="3BlFb$" id="2mKpIXwPhj3" role="3AunhB">
+                <node concept="3A2sRY" id="2mKpIXwPhj5" role="3BlFb_">
+                  <ref role="3A2yKK" node="44a9n8ErWrh" resolve="app" />
                 </node>
               </node>
             </node>
@@ -1381,35 +1332,27 @@
       </node>
       <node concept="3Aq9E8" id="6_p$mL23rks" role="3otmyu">
         <node concept="3I6sU6" id="6_p$mL23rkt" role="3Ip0Jz">
-          <node concept="3IrJb3" id="6_p$mL23rkS" role="3I6sU7">
-            <node concept="3clFbS" id="6_p$mL23rkT" role="3IrJb0">
-              <node concept="3Aqczg" id="6_p$mL23rkU" role="3cqZAp">
-                <node concept="3wWvb2" id="6_p$mL23rkV" role="3Aqpz8">
-                  <node concept="2YIFZM" id="6_p$mL23rkW" role="3wWo3s">
-                    <ref role="37wK5l" node="WBEjvSTnJK" resolve="formatError" />
-                    <ref role="1Pybhc" node="4dPZ2m2jfZE" resolve="Util" />
-                    <node concept="1nq8_$" id="PoGdiA49Tj" role="37wK5m">
-                      <node concept="a7P8L" id="6_p$mL23rxv" role="1nq8_t">
-                        <ref role="a7OzE" node="6_p$mL23rnG" resolve="E" />
-                      </node>
-                    </node>
-                    <node concept="Xl_RD" id="6_p$mL23rkZ" role="37wK5m">
-                      <property role="Xl_RC" value="mismatched type" />
-                    </node>
-                  </node>
+          <node concept="3I6s7M" id="1AtJ$M5eWle" role="3I6sU7">
+            <node concept="3GeI9q" id="1AtJ$M5eWl8" role="3I6s78">
+              <node concept="a7P8L" id="1AtJ$M5eWoL" role="3GeI8F">
+                <ref role="a7OzE" node="6_p$mL23rnG" resolve="E" />
+              </node>
+              <node concept="HKQnh" id="1AtJ$M5eWoT" role="3GeI8D">
+                <node concept="Xl_RD" id="1AtJ$M5eXoF" role="HKQng">
+                  <property role="Xl_RC" value="mismatched type" />
                 </node>
               </node>
-              <node concept="3Aqczg" id="6_p$mL23rl4" role="3cqZAp">
-                <node concept="3Aqt3T" id="6_p$mL23rl5" role="3Aqpz8">
-                  <ref role="3AqCNq" node="WBEjvSTpuV" resolve="error" />
-                  <node concept="a7P8L" id="6_p$mL23rJF" role="3AunhB">
-                    <ref role="a7OzE" node="6_p$mL23rnG" resolve="E" />
-                  </node>
-                  <node concept="3BlFb$" id="2mKpIXwPhoj" role="3AunhB">
-                    <node concept="3A2sRY" id="2mKpIXwPhvB" role="3BlFb_">
-                      <ref role="3A2yKK" node="6_p$mL23fzC" resolve="ite" />
-                    </node>
-                  </node>
+            </node>
+          </node>
+          <node concept="3I6s7M" id="1AtJ$M5eWe5" role="3I6sU7">
+            <node concept="3Aqt3T" id="6_p$mL23rl5" role="3I6s78">
+              <ref role="3AqCNq" node="WBEjvSTpuV" resolve="error" />
+              <node concept="a7P8L" id="6_p$mL23rJF" role="3AunhB">
+                <ref role="a7OzE" node="6_p$mL23rnG" resolve="E" />
+              </node>
+              <node concept="3BlFb$" id="2mKpIXwPhoj" role="3AunhB">
+                <node concept="3A2sRY" id="2mKpIXwPhvB" role="3BlFb_">
+                  <ref role="3A2yKK" node="6_p$mL23fzC" resolve="ite" />
                 </node>
               </node>
             </node>
@@ -1598,562 +1541,6 @@
       </node>
     </node>
   </node>
-  <node concept="312cEu" id="4rRw8_AtKo0">
-    <property role="TrG5h" value="VarUnionFind" />
-    <node concept="2tJIrI" id="4rRw8_AtKoQ" role="jymVt" />
-    <node concept="2YIFZL" id="4rRw8_AuyeV" role="jymVt">
-      <property role="TrG5h" value="find" />
-      <property role="DiZV1" value="false" />
-      <property role="od$2w" value="false" />
-      <node concept="3clFbS" id="4rRw8_AtKpM" role="3clF47">
-        <node concept="3cpWs8" id="4rRw8_AugfH" role="3cqZAp">
-          <node concept="3cpWsn" id="4rRw8_AugfI" role="3cpWs9">
-            <property role="TrG5h" value="rec" />
-            <node concept="3uibUv" id="4rRw8_AugfE" role="1tU5fm">
-              <ref role="3uigEE" node="4rRw8_AtKsM" resolve="VarUnionFind.Rec" />
-            </node>
-            <node concept="1rXfSq" id="4rRw8_AugfJ" role="33vP2m">
-              <ref role="37wK5l" node="4rRw8_Auzdl" resolve="rec" />
-              <node concept="37vLTw" id="4rRw8_AugfK" role="37wK5m">
-                <ref role="3cqZAo" node="4rRw8_AtKqr" resolve="var" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="2$JKZl" id="4rRw8_AugxV" role="3cqZAp">
-          <node concept="3clFbS" id="4rRw8_AugxX" role="2LFqv$">
-            <node concept="3cpWs8" id="4rRw8_AuhZ2" role="3cqZAp">
-              <node concept="3cpWsn" id="4rRw8_AuhZ3" role="3cpWs9">
-                <property role="TrG5h" value="tmp" />
-                <node concept="3uibUv" id="4rRw8_AuhYX" role="1tU5fm">
-                  <ref role="3uigEE" node="4rRw8_AtKsM" resolve="VarUnionFind.Rec" />
-                </node>
-                <node concept="1rXfSq" id="4rRw8_AuhZ4" role="33vP2m">
-                  <ref role="37wK5l" node="4rRw8_Auzdl" resolve="rec" />
-                  <node concept="2OqwBi" id="4rRw8_AuhZ5" role="37wK5m">
-                    <node concept="37vLTw" id="4rRw8_AuhZ6" role="2Oq$k0">
-                      <ref role="3cqZAo" node="4rRw8_AugfI" resolve="rec" />
-                    </node>
-                    <node concept="2OwXpG" id="4rRw8_AuhZ7" role="2OqNvi">
-                      <ref role="2Oxat5" node="4rRw8_AtTBj" resolve="parent" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbF" id="4rRw8_Aui6P" role="3cqZAp">
-              <node concept="37vLTI" id="4rRw8_AuiJK" role="3clFbG">
-                <node concept="2OqwBi" id="4rRw8_AuiWQ" role="37vLTx">
-                  <node concept="37vLTw" id="4rRw8_AuiOd" role="2Oq$k0">
-                    <ref role="3cqZAo" node="4rRw8_AuhZ3" resolve="tmp" />
-                  </node>
-                  <node concept="2OwXpG" id="4rRw8_Aumj9" role="2OqNvi">
-                    <ref role="2Oxat5" node="4rRw8_AujIZ" resolve="var" />
-                  </node>
-                </node>
-                <node concept="2OqwBi" id="4rRw8_AuidX" role="37vLTJ">
-                  <node concept="37vLTw" id="4rRw8_Aui6N" role="2Oq$k0">
-                    <ref role="3cqZAo" node="4rRw8_AugfI" resolve="rec" />
-                  </node>
-                  <node concept="2OwXpG" id="4rRw8_Auimh" role="2OqNvi">
-                    <ref role="2Oxat5" node="4rRw8_AtTBj" resolve="parent" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbF" id="4rRw8_AuhgR" role="3cqZAp">
-              <node concept="37vLTI" id="4rRw8_Auhsc" role="3clFbG">
-                <node concept="37vLTw" id="4rRw8_AuhZ8" role="37vLTx">
-                  <ref role="3cqZAo" node="4rRw8_AuhZ3" resolve="tmp" />
-                </node>
-                <node concept="37vLTw" id="4rRw8_AuhgP" role="37vLTJ">
-                  <ref role="3cqZAo" node="4rRw8_AugfI" resolve="rec" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3y3z36" id="4rRw8_Auhbn" role="2$JKZa">
-            <node concept="10Nm6u" id="4rRw8_AuhdU" role="3uHU7w" />
-            <node concept="2OqwBi" id="4rRw8_AugK1" role="3uHU7B">
-              <node concept="37vLTw" id="4rRw8_AugCC" role="2Oq$k0">
-                <ref role="3cqZAo" node="4rRw8_AugfI" resolve="rec" />
-              </node>
-              <node concept="2OwXpG" id="4rRw8_AugS6" role="2OqNvi">
-                <ref role="2Oxat5" node="4rRw8_AtTBj" resolve="parent" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="4rRw8_Aup1M" role="3cqZAp">
-          <node concept="2OqwBi" id="4rRw8_Aupv1" role="3clFbG">
-            <node concept="37vLTw" id="4rRw8_Aup1K" role="2Oq$k0">
-              <ref role="3cqZAo" node="4rRw8_AugfI" resolve="rec" />
-            </node>
-            <node concept="2OwXpG" id="4rRw8_AupAO" role="2OqNvi">
-              <ref role="2Oxat5" node="4rRw8_AujIZ" resolve="var" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="37vLTG" id="4rRw8_AtKqr" role="3clF46">
-        <property role="TrG5h" value="var" />
-        <node concept="3Tqbb2" id="4rRw8_AtKrh" role="1tU5fm">
-          <ref role="ehGHo" to="8tt8:7_8aRkgDGPo" resolve="Var" />
-        </node>
-      </node>
-      <node concept="3Tqbb2" id="4rRw8_Au8vk" role="3clF45">
-        <ref role="ehGHo" to="8tt8:7_8aRkgDGPo" resolve="Var" />
-      </node>
-      <node concept="3Tm1VV" id="4rRw8_AtKpL" role="1B3o_S" />
-    </node>
-    <node concept="2tJIrI" id="4rRw8_Au9Tw" role="jymVt" />
-    <node concept="2YIFZL" id="4rRw8_AuyI7" role="jymVt">
-      <property role="TrG5h" value="union" />
-      <property role="DiZV1" value="false" />
-      <property role="od$2w" value="false" />
-      <node concept="3clFbS" id="4rRw8_Au921" role="3clF47">
-        <node concept="3cpWs8" id="4rRw8_Aua4s" role="3cqZAp">
-          <node concept="3cpWsn" id="4rRw8_Aua4t" role="3cpWs9">
-            <property role="TrG5h" value="rec1" />
-            <node concept="3uibUv" id="4rRw8_Aua4r" role="1tU5fm">
-              <ref role="3uigEE" node="4rRw8_AtKsM" resolve="VarUnionFind.Rec" />
-            </node>
-            <node concept="1rXfSq" id="4rRw8_Aua4u" role="33vP2m">
-              <ref role="37wK5l" node="4rRw8_Auzdl" resolve="rec" />
-              <node concept="37vLTw" id="4rRw8_Aua4v" role="37wK5m">
-                <ref role="3cqZAo" node="4rRw8_Au9de" resolve="var1" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3cpWs8" id="4rRw8_Aua6j" role="3cqZAp">
-          <node concept="3cpWsn" id="4rRw8_Aua6k" role="3cpWs9">
-            <property role="TrG5h" value="rec2" />
-            <node concept="3uibUv" id="4rRw8_Aua6l" role="1tU5fm">
-              <ref role="3uigEE" node="4rRw8_AtKsM" resolve="VarUnionFind.Rec" />
-            </node>
-            <node concept="1rXfSq" id="4rRw8_Aua6m" role="33vP2m">
-              <ref role="37wK5l" node="4rRw8_Auzdl" resolve="rec" />
-              <node concept="37vLTw" id="4rRw8_Aua8Z" role="37wK5m">
-                <ref role="3cqZAo" node="4rRw8_Au9iU" resolve="var2" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="4rRw8_AuabN" role="3cqZAp" />
-        <node concept="3clFbJ" id="4rRw8_AuacL" role="3cqZAp">
-          <node concept="3clFbS" id="4rRw8_AuacN" role="3clFbx">
-            <node concept="3cpWs8" id="4rRw8_AudPh" role="3cqZAp">
-              <node concept="3cpWsn" id="4rRw8_AudPi" role="3cpWs9">
-                <property role="TrG5h" value="tmp" />
-                <node concept="3uibUv" id="4rRw8_AudNX" role="1tU5fm">
-                  <ref role="3uigEE" node="4rRw8_AtKsM" resolve="VarUnionFind.Rec" />
-                </node>
-                <node concept="37vLTw" id="4rRw8_AudPj" role="33vP2m">
-                  <ref role="3cqZAo" node="4rRw8_Aua4t" resolve="rec1" />
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbF" id="4rRw8_AudRO" role="3cqZAp">
-              <node concept="37vLTI" id="4rRw8_AudXV" role="3clFbG">
-                <node concept="37vLTw" id="4rRw8_AudYE" role="37vLTx">
-                  <ref role="3cqZAo" node="4rRw8_Aua6k" resolve="rec2" />
-                </node>
-                <node concept="37vLTw" id="4rRw8_AudRM" role="37vLTJ">
-                  <ref role="3cqZAo" node="4rRw8_Aua4t" resolve="rec1" />
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbF" id="4rRw8_Aue00" role="3cqZAp">
-              <node concept="37vLTI" id="4rRw8_Aue6i" role="3clFbG">
-                <node concept="37vLTw" id="4rRw8_Aue71" role="37vLTx">
-                  <ref role="3cqZAo" node="4rRw8_AudPi" resolve="tmp" />
-                </node>
-                <node concept="37vLTw" id="4rRw8_AudZY" role="37vLTJ">
-                  <ref role="3cqZAo" node="4rRw8_Aua6k" resolve="rec2" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3eOVzh" id="4rRw8_AuceB" role="3clFbw">
-            <node concept="2OqwBi" id="4rRw8_AucIq" role="3uHU7w">
-              <node concept="37vLTw" id="4rRw8_Aucjn" role="2Oq$k0">
-                <ref role="3cqZAo" node="4rRw8_Aua6k" resolve="rec2" />
-              </node>
-              <node concept="2OwXpG" id="4rRw8_AucUd" role="2OqNvi">
-                <ref role="2Oxat5" node="4rRw8_Au317" resolve="rank" />
-              </node>
-            </node>
-            <node concept="2OqwBi" id="4rRw8_Auav0" role="3uHU7B">
-              <node concept="37vLTw" id="4rRw8_AuanA" role="2Oq$k0">
-                <ref role="3cqZAo" node="4rRw8_Aua4t" resolve="rec1" />
-              </node>
-              <node concept="2OwXpG" id="4rRw8_AuaB6" role="2OqNvi">
-                <ref role="2Oxat5" node="4rRw8_Au317" resolve="rank" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="4rRw8_Au9oH" role="3cqZAp" />
-        <node concept="3clFbF" id="4rRw8_AurH_" role="3cqZAp">
-          <node concept="37vLTI" id="4rRw8_AutVb" role="3clFbG">
-            <node concept="2OqwBi" id="4rRw8_Auu8E" role="37vLTx">
-              <node concept="37vLTw" id="4rRw8_AutZL" role="2Oq$k0">
-                <ref role="3cqZAo" node="4rRw8_Aua4t" resolve="rec1" />
-              </node>
-              <node concept="2OwXpG" id="4rRw8_Auui9" role="2OqNvi">
-                <ref role="2Oxat5" node="4rRw8_AujIZ" resolve="var" />
-              </node>
-            </node>
-            <node concept="2OqwBi" id="4rRw8_AurZp" role="37vLTJ">
-              <node concept="37vLTw" id="4rRw8_AurHz" role="2Oq$k0">
-                <ref role="3cqZAo" node="4rRw8_Aua6k" resolve="rec2" />
-              </node>
-              <node concept="2OwXpG" id="4rRw8_Aus7u" role="2OqNvi">
-                <ref role="2Oxat5" node="4rRw8_AtTBj" resolve="parent" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="4rRw8_AuukK" role="3cqZAp">
-          <node concept="d57v9" id="4rRw8_Auv_z" role="3clFbG">
-            <node concept="3cpWs3" id="4rRw8_Auxkp" role="37vLTx">
-              <node concept="3cmrfG" id="4rRw8_AuxkU" role="3uHU7w">
-                <property role="3cmrfH" value="1" />
-              </node>
-              <node concept="2OqwBi" id="4rRw8_Auw4r" role="3uHU7B">
-                <node concept="37vLTw" id="4rRw8_AuvEo" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4rRw8_Aua6k" resolve="rec2" />
-                </node>
-                <node concept="2OwXpG" id="4rRw8_Auwg9" role="2OqNvi">
-                  <ref role="2Oxat5" node="4rRw8_Au317" resolve="rank" />
-                </node>
-              </node>
-            </node>
-            <node concept="2OqwBi" id="4rRw8_AuuC3" role="37vLTJ">
-              <node concept="37vLTw" id="4rRw8_AuukI" role="2Oq$k0">
-                <ref role="3cqZAo" node="4rRw8_Aua4t" resolve="rec1" />
-              </node>
-              <node concept="2OwXpG" id="4rRw8_AuuK8" role="2OqNvi">
-                <ref role="2Oxat5" node="4rRw8_Au317" resolve="rank" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="ffn8J" id="4rRw8_Au9de" role="3clF46">
-        <property role="TrG5h" value="var1" />
-        <ref role="ffrpq" to="6bz1:6yt8uwrpTKS" resolve="node" />
-        <node concept="3Tqbb2" id="4rRw8_Au9hU" role="1tU5fm">
-          <ref role="ehGHo" to="8tt8:7_8aRkgDGPo" resolve="Var" />
-        </node>
-      </node>
-      <node concept="37vLTG" id="4rRw8_Au9iU" role="3clF46">
-        <property role="TrG5h" value="var2" />
-        <node concept="3Tqbb2" id="4rRw8_Au9nF" role="1tU5fm">
-          <ref role="ehGHo" to="8tt8:7_8aRkgDGPo" resolve="Var" />
-        </node>
-      </node>
-      <node concept="3cqZAl" id="4rRw8_Au91Z" role="3clF45" />
-      <node concept="3Tm1VV" id="4rRw8_Au920" role="1B3o_S" />
-    </node>
-    <node concept="2tJIrI" id="4rRw8_Au3ze" role="jymVt" />
-    <node concept="2YIFZL" id="4rRw8_Auzdl" role="jymVt">
-      <property role="TrG5h" value="rec" />
-      <property role="DiZV1" value="false" />
-      <property role="od$2w" value="false" />
-      <node concept="3clFbS" id="4rRw8_Au9pE" role="3clF47">
-        <node concept="3cpWs8" id="4rRw8_Au9pH" role="3cqZAp">
-          <node concept="3cpWsn" id="4rRw8_Au9pI" role="3cpWs9">
-            <property role="TrG5h" value="key" />
-            <node concept="3uibUv" id="4rRw8_Au9pJ" role="1tU5fm">
-              <ref role="3uigEE" node="4rRw8_Au3jt" resolve="VarUnionFind.Key" />
-            </node>
-            <node concept="2ShNRf" id="4rRw8_Au9pK" role="33vP2m">
-              <node concept="1pGfFk" id="4rRw8_Au9pL" role="2ShVmc">
-                <ref role="37wK5l" node="4rRw8_Au3jC" resolve="VarUnionFind.Key" />
-                <node concept="37vLTw" id="4rRw8_Au9qc" role="37wK5m">
-                  <ref role="3cqZAo" node="4rRw8_Au9qa" resolve="var" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3cpWs8" id="4rRw8_Au9pN" role="3cqZAp">
-          <node concept="3cpWsn" id="4rRw8_Au9pO" role="3cpWs9">
-            <property role="TrG5h" value="rec" />
-            <node concept="3uibUv" id="4rRw8_Au9pP" role="1tU5fm">
-              <ref role="3uigEE" node="4rRw8_AtKsM" resolve="VarUnionFind.Rec" />
-            </node>
-            <node concept="10QFUN" id="4rRw8_Au9pQ" role="33vP2m">
-              <node concept="3uibUv" id="4rRw8_AulPd" role="10QFUM">
-                <ref role="3uigEE" node="4rRw8_AtKsM" resolve="VarUnionFind.Rec" />
-              </node>
-              <node concept="2YIFZM" id="4rRw8_Au9pS" role="10QFUP">
-                <ref role="37wK5l" to="hano:2tjs8VC2Csb" resolve="get" />
-                <ref role="1Pybhc" to="hano:2tjs8VC0K0m" resolve="Memoizer" />
-                <node concept="37vLTw" id="4rRw8_Au9pT" role="37wK5m">
-                  <ref role="3cqZAo" node="4rRw8_Au9pI" resolve="key" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbJ" id="4rRw8_Au9pU" role="3cqZAp">
-          <node concept="3clFbS" id="4rRw8_Au9pV" role="3clFbx">
-            <node concept="3clFbF" id="4rRw8_Au9pW" role="3cqZAp">
-              <node concept="2YIFZM" id="4rRw8_Au9pX" role="3clFbG">
-                <ref role="37wK5l" to="hano:2tjs8VC2_Fr" resolve="set" />
-                <ref role="1Pybhc" to="hano:2tjs8VC0K0m" resolve="Memoizer" />
-                <node concept="37vLTw" id="4rRw8_Au9pY" role="37wK5m">
-                  <ref role="3cqZAo" node="4rRw8_Au9pI" resolve="key" />
-                </node>
-                <node concept="1eOMI4" id="4rRw8_Au9pZ" role="37wK5m">
-                  <node concept="37vLTI" id="4rRw8_Au9q0" role="1eOMHV">
-                    <node concept="2ShNRf" id="4rRw8_Au9q1" role="37vLTx">
-                      <node concept="1pGfFk" id="4rRw8_Au9q2" role="2ShVmc">
-                        <ref role="37wK5l" node="4rRw8_AtTX9" resolve="VarUnionFind.Rec" />
-                        <node concept="37vLTw" id="4rRw8_Au9qd" role="37wK5m">
-                          <ref role="3cqZAo" node="4rRw8_Au9qa" resolve="var" />
-                        </node>
-                        <node concept="10Nm6u" id="4rRw8_Aum8f" role="37wK5m" />
-                      </node>
-                    </node>
-                    <node concept="37vLTw" id="4rRw8_Au9q4" role="37vLTJ">
-                      <ref role="3cqZAo" node="4rRw8_Au9pO" resolve="rec" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbC" id="4rRw8_Au9q5" role="3clFbw">
-            <node concept="10Nm6u" id="4rRw8_Au9q6" role="3uHU7w" />
-            <node concept="37vLTw" id="4rRw8_Au9q7" role="3uHU7B">
-              <ref role="3cqZAo" node="4rRw8_Au9pO" resolve="rec" />
-            </node>
-          </node>
-        </node>
-        <node concept="3cpWs6" id="4rRw8_Au9q8" role="3cqZAp">
-          <node concept="37vLTw" id="4rRw8_Au9q9" role="3cqZAk">
-            <ref role="3cqZAo" node="4rRw8_Au9pO" resolve="rec" />
-          </node>
-        </node>
-      </node>
-      <node concept="37vLTG" id="4rRw8_Au9qa" role="3clF46">
-        <property role="TrG5h" value="var" />
-        <node concept="3Tqbb2" id="4rRw8_Au9qb" role="1tU5fm">
-          <ref role="ehGHo" to="8tt8:7_8aRkgDGPo" resolve="Var" />
-        </node>
-      </node>
-      <node concept="3uibUv" id="4rRw8_Au9qi" role="3clF45">
-        <ref role="3uigEE" node="4rRw8_AtKsM" resolve="VarUnionFind.Rec" />
-      </node>
-      <node concept="3Tm6S6" id="4rRw8_Au9qh" role="1B3o_S" />
-    </node>
-    <node concept="2tJIrI" id="4rRw8_Au8TK" role="jymVt" />
-    <node concept="312cEu" id="4rRw8_Au3jt" role="jymVt">
-      <property role="2bfB8j" value="false" />
-      <property role="TrG5h" value="Key" />
-      <node concept="2tJIrI" id="4rRw8_Au3ju" role="jymVt" />
-      <node concept="312cEg" id="4rRw8_Au3jv" role="jymVt">
-        <property role="TrG5h" value="node" />
-        <node concept="3Tm6S6" id="4rRw8_Au3jw" role="1B3o_S" />
-        <node concept="3Tqbb2" id="4rRw8_Au3jx" role="1tU5fm" />
-      </node>
-      <node concept="2tJIrI" id="4rRw8_Au3jy" role="jymVt" />
-      <node concept="3clFbW" id="4rRw8_Au3jC" role="jymVt">
-        <node concept="37vLTG" id="4rRw8_Au3jD" role="3clF46">
-          <property role="TrG5h" value="node" />
-          <node concept="3Tqbb2" id="4rRw8_Au3jE" role="1tU5fm" />
-        </node>
-        <node concept="3cqZAl" id="4rRw8_Au3jF" role="3clF45" />
-        <node concept="3Tm1VV" id="4rRw8_Au3jG" role="1B3o_S" />
-        <node concept="3clFbS" id="4rRw8_Au3jH" role="3clF47">
-          <node concept="3clFbF" id="4rRw8_Au3jI" role="3cqZAp">
-            <node concept="37vLTI" id="4rRw8_Au3jJ" role="3clFbG">
-              <node concept="37vLTw" id="4rRw8_Au3jK" role="37vLTx">
-                <ref role="3cqZAo" node="4rRw8_Au3jD" resolve="node" />
-              </node>
-              <node concept="2OqwBi" id="4rRw8_Au3jL" role="37vLTJ">
-                <node concept="Xjq3P" id="4rRw8_Au3jM" role="2Oq$k0" />
-                <node concept="2OwXpG" id="4rRw8_Au3jN" role="2OqNvi">
-                  <ref role="2Oxat5" node="4rRw8_Au3jv" resolve="node" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2tJIrI" id="4rRw8_Au3jO" role="jymVt" />
-      <node concept="3clFb_" id="4rRw8_Au3jP" role="jymVt">
-        <property role="1EzhhJ" value="false" />
-        <property role="TrG5h" value="hashCode" />
-        <property role="DiZV1" value="false" />
-        <property role="od$2w" value="false" />
-        <node concept="3Tm1VV" id="4rRw8_Au3jQ" role="1B3o_S" />
-        <node concept="10Oyi0" id="4rRw8_Au3jR" role="3clF45" />
-        <node concept="3clFbS" id="4rRw8_Au3jS" role="3clF47">
-          <node concept="3clFbF" id="4rRw8_Au3jT" role="3cqZAp">
-            <node concept="2OqwBi" id="4rRw8_Au3jU" role="3clFbG">
-              <node concept="2JrnkZ" id="4rRw8_Au3jV" role="2Oq$k0">
-                <node concept="37vLTw" id="4rRw8_Au3jW" role="2JrQYb">
-                  <ref role="3cqZAo" node="4rRw8_Au3jv" resolve="node" />
-                </node>
-              </node>
-              <node concept="liA8E" id="4rRw8_Au3jX" role="2OqNvi">
-                <ref role="37wK5l" to="wyt6:~Object.hashCode():int" resolve="hashCode" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="2AHcQZ" id="4rRw8_Au3jY" role="2AJF6D">
-          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
-        </node>
-      </node>
-      <node concept="2tJIrI" id="4rRw8_Au3jZ" role="jymVt" />
-      <node concept="3clFb_" id="4rRw8_Au3k0" role="jymVt">
-        <property role="1EzhhJ" value="false" />
-        <property role="TrG5h" value="equals" />
-        <property role="DiZV1" value="false" />
-        <property role="od$2w" value="false" />
-        <node concept="3Tm1VV" id="4rRw8_Au3k1" role="1B3o_S" />
-        <node concept="10P_77" id="4rRw8_Au3k2" role="3clF45" />
-        <node concept="37vLTG" id="4rRw8_Au3k3" role="3clF46">
-          <property role="TrG5h" value="object" />
-          <node concept="3uibUv" id="4rRw8_Au3k4" role="1tU5fm">
-            <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-          </node>
-        </node>
-        <node concept="3clFbS" id="4rRw8_Au3k5" role="3clF47">
-          <node concept="3clFbJ" id="4rRw8_Au3k6" role="3cqZAp">
-            <node concept="3clFbS" id="4rRw8_Au3k7" role="3clFbx">
-              <node concept="3cpWs6" id="4rRw8_Au3k8" role="3cqZAp">
-                <node concept="3clFbT" id="4rRw8_Au3k9" role="3cqZAk">
-                  <property role="3clFbU" value="false" />
-                </node>
-              </node>
-            </node>
-            <node concept="3fqX7Q" id="4rRw8_Au3ka" role="3clFbw">
-              <node concept="1eOMI4" id="4rRw8_Au3kb" role="3fr31v">
-                <node concept="2ZW3vV" id="4rRw8_Au3kc" role="1eOMHV">
-                  <node concept="3uibUv" id="4rRw8_Au3kd" role="2ZW6by">
-                    <ref role="3uigEE" node="4rRw8_Au3jt" resolve="VarUnionFind.Key" />
-                  </node>
-                  <node concept="37vLTw" id="4rRw8_Au3ke" role="2ZW6bz">
-                    <ref role="3cqZAo" node="4rRw8_Au3k3" resolve="object" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3cpWs6" id="4rRw8_Au3kf" role="3cqZAp">
-            <node concept="17R0WA" id="4rRw8_Au3kg" role="3cqZAk">
-              <node concept="2OqwBi" id="4rRw8_Au3kh" role="3uHU7w">
-                <node concept="1eOMI4" id="4rRw8_Au3ki" role="2Oq$k0">
-                  <node concept="10QFUN" id="4rRw8_Au3kj" role="1eOMHV">
-                    <node concept="3uibUv" id="4rRw8_Au3kk" role="10QFUM">
-                      <ref role="3uigEE" node="4rRw8_Au3jt" resolve="VarUnionFind.Key" />
-                    </node>
-                    <node concept="37vLTw" id="4rRw8_Au3kl" role="10QFUP">
-                      <ref role="3cqZAo" node="4rRw8_Au3k3" resolve="object" />
-                    </node>
-                  </node>
-                </node>
-                <node concept="2OwXpG" id="4rRw8_Au3km" role="2OqNvi">
-                  <ref role="2Oxat5" node="4rRw8_Au3jv" resolve="node" />
-                </node>
-              </node>
-              <node concept="37vLTw" id="4rRw8_Au3kn" role="3uHU7B">
-                <ref role="3cqZAo" node="4rRw8_Au3jv" resolve="node" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="2AHcQZ" id="4rRw8_Au3ko" role="2AJF6D">
-          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
-        </node>
-      </node>
-      <node concept="3Tm6S6" id="4rRw8_AuzJj" role="1B3o_S" />
-    </node>
-    <node concept="2tJIrI" id="4rRw8_AtKp1" role="jymVt" />
-    <node concept="312cEu" id="4rRw8_AtKsM" role="jymVt">
-      <property role="2bfB8j" value="false" />
-      <property role="TrG5h" value="Rec" />
-      <node concept="2tJIrI" id="4rRw8_AtTAT" role="jymVt" />
-      <node concept="312cEg" id="4rRw8_AtTBj" role="jymVt">
-        <property role="TrG5h" value="parent" />
-        <node concept="3Tm6S6" id="4rRw8_AtTBk" role="1B3o_S" />
-        <node concept="3Tqbb2" id="4rRw8_AtTBG" role="1tU5fm">
-          <ref role="ehGHo" to="8tt8:7_8aRkgDGPo" resolve="Var" />
-        </node>
-      </node>
-      <node concept="312cEg" id="4rRw8_AujIZ" role="jymVt">
-        <property role="TrG5h" value="var" />
-        <node concept="3Tm6S6" id="4rRw8_AujJ0" role="1B3o_S" />
-        <node concept="3Tqbb2" id="4rRw8_AujJ1" role="1tU5fm">
-          <ref role="ehGHo" to="8tt8:7_8aRkgDGPo" resolve="Var" />
-        </node>
-      </node>
-      <node concept="312cEg" id="4rRw8_Au317" role="jymVt">
-        <property role="TrG5h" value="rank" />
-        <node concept="3Tm6S6" id="4rRw8_Au318" role="1B3o_S" />
-        <node concept="10Oyi0" id="4rRw8_Au39d" role="1tU5fm" />
-        <node concept="3cmrfG" id="4rRw8_Au3hr" role="33vP2m">
-          <property role="3cmrfH" value="0" />
-        </node>
-      </node>
-      <node concept="2tJIrI" id="4rRw8_AtTTm" role="jymVt" />
-      <node concept="3clFbW" id="4rRw8_AtTX9" role="jymVt">
-        <node concept="37vLTG" id="4rRw8_AtU0L" role="3clF46">
-          <property role="TrG5h" value="var" />
-          <node concept="3Tqbb2" id="4rRw8_AtU32" role="1tU5fm">
-            <ref role="ehGHo" to="8tt8:7_8aRkgDGPo" resolve="Var" />
-          </node>
-        </node>
-        <node concept="37vLTG" id="4rRw8_Aukbh" role="3clF46">
-          <property role="TrG5h" value="parent" />
-          <node concept="3Tqbb2" id="4rRw8_Aukbi" role="1tU5fm">
-            <ref role="ehGHo" to="8tt8:7_8aRkgDGPo" resolve="Var" />
-          </node>
-        </node>
-        <node concept="3cqZAl" id="4rRw8_AtTXb" role="3clF45" />
-        <node concept="3Tm1VV" id="4rRw8_AtTXc" role="1B3o_S" />
-        <node concept="3clFbS" id="4rRw8_AtTXd" role="3clF47">
-          <node concept="3clFbF" id="4rRw8_AtU3V" role="3cqZAp">
-            <node concept="37vLTI" id="4rRw8_AtUy7" role="3clFbG">
-              <node concept="37vLTw" id="4rRw8_AtU_F" role="37vLTx">
-                <ref role="3cqZAo" node="4rRw8_AtU0L" resolve="var" />
-              </node>
-              <node concept="2OqwBi" id="4rRw8_AtU9l" role="37vLTJ">
-                <node concept="Xjq3P" id="4rRw8_AtU3U" role="2Oq$k0" />
-                <node concept="2OwXpG" id="4rRw8_AukzK" role="2OqNvi">
-                  <ref role="2Oxat5" node="4rRw8_AujIZ" resolve="var" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbF" id="4rRw8_Aukgl" role="3cqZAp">
-            <node concept="37vLTI" id="4rRw8_Aukgm" role="3clFbG">
-              <node concept="37vLTw" id="4rRw8_AukCt" role="37vLTx">
-                <ref role="3cqZAo" node="4rRw8_Aukbh" resolve="parent" />
-              </node>
-              <node concept="2OqwBi" id="4rRw8_Aukgo" role="37vLTJ">
-                <node concept="Xjq3P" id="4rRw8_Aukgp" role="2Oq$k0" />
-                <node concept="2OwXpG" id="4rRw8_Aukgq" role="2OqNvi">
-                  <ref role="2Oxat5" node="4rRw8_AtTBj" resolve="parent" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2tJIrI" id="4rRw8_AtTBX" role="jymVt" />
-      <node concept="3Tm6S6" id="4rRw8_Au$fe" role="1B3o_S" />
-    </node>
-    <node concept="2tJIrI" id="4rRw8_AtKpv" role="jymVt" />
-    <node concept="3Tm1VV" id="4rRw8_AtKo1" role="1B3o_S" />
-  </node>
   <node concept="312cEu" id="492bFERos2W">
     <property role="TrG5h" value="Names" />
     <node concept="2tJIrI" id="492bFERos3m" role="jymVt" />
@@ -3243,284 +2630,6 @@
   <node concept="312cEu" id="4dPZ2m2jfZE">
     <property role="TrG5h" value="Util" />
     <node concept="2tJIrI" id="RRVBbp7hN5" role="jymVt" />
-    <node concept="2YIFZL" id="WBEjvSTnJK" role="jymVt">
-      <property role="TrG5h" value="formatError" />
-      <node concept="10P_77" id="WBEjvSTnQY" role="3clF45" />
-      <node concept="3Tm1VV" id="WBEjvSTnJN" role="1B3o_S" />
-      <node concept="3clFbS" id="WBEjvSTnJO" role="3clF47">
-        <node concept="3cpWs8" id="7Y$xuoibU6j" role="3cqZAp">
-          <node concept="3cpWsn" id="7Y$xuoibU6k" role="3cpWs9">
-            <property role="TrG5h" value="text" />
-            <node concept="3uibUv" id="7Y$xuoibU5T" role="1tU5fm">
-              <ref role="3uigEE" to="wyt6:~String" resolve="String" />
-            </node>
-            <node concept="37vLTw" id="7Y$xuoibVyA" role="33vP2m">
-              <ref role="3cqZAo" node="7Y$xuoibAUz" resolve="format" />
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbJ" id="7Y$xuoibHZV" role="3cqZAp">
-          <node concept="3clFbS" id="7Y$xuoibHZX" role="3clFbx">
-            <node concept="3cpWs8" id="7Y$xuoibFso" role="3cqZAp">
-              <node concept="3cpWsn" id="7Y$xuoibFsp" role="3cpWs9">
-                <property role="TrG5h" value="args" />
-                <node concept="10Q1$e" id="7Y$xuoibFsg" role="1tU5fm">
-                  <node concept="17QB3L" id="7Y$xuoibFsj" role="10Q1$1" />
-                </node>
-                <node concept="2ShNRf" id="7Y$xuoibFsq" role="33vP2m">
-                  <node concept="3$_iS1" id="7Y$xuoibFsr" role="2ShVmc">
-                    <node concept="3$GHV9" id="7Y$xuoibFss" role="3$GQph">
-                      <node concept="2OqwBi" id="7Y$xuoibFTn" role="3$I4v7">
-                        <node concept="37vLTw" id="7Y$xuoibFJE" role="2Oq$k0">
-                          <ref role="3cqZAo" node="WBEjvSTnXa" resolve="origins" />
-                        </node>
-                        <node concept="1Rwk04" id="7Y$xuoibGIX" role="2OqNvi" />
-                      </node>
-                    </node>
-                    <node concept="17QB3L" id="7Y$xuoibFst" role="3$_nBY" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="1Dw8fO" id="7Y$xuoibK_J" role="3cqZAp">
-              <node concept="3clFbS" id="7Y$xuoibK_L" role="2LFqv$">
-                <node concept="3cpWs8" id="7Y$xuoic1QF" role="3cqZAp">
-                  <node concept="3cpWsn" id="7Y$xuoic1QG" role="3cpWs9">
-                    <property role="TrG5h" value="value" />
-                    <node concept="3uibUv" id="7Y$xuoic1Qj" role="1tU5fm">
-                      <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
-                    </node>
-                    <node concept="2OqwBi" id="7Y$xuoic1QH" role="33vP2m">
-                      <node concept="2OqwBi" id="7Y$xuoic1QI" role="2Oq$k0">
-                        <node concept="1eOMI4" id="1z4HGmnUKko" role="2Oq$k0">
-                          <node concept="10QFUN" id="1z4HGmnUKkl" role="1eOMHV">
-                            <node concept="3uibUv" id="1z4HGmnUKp4" role="10QFUM">
-                              <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
-                              <node concept="3uibUv" id="1z4HGmnUKwE" role="11_B2D">
-                                <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
-                              </node>
-                            </node>
-                            <node concept="AH0OO" id="1z4HGmnUKkq" role="10QFUP">
-                              <node concept="37vLTw" id="1z4HGmnUKkr" role="AHEQo">
-                                <ref role="3cqZAo" node="7Y$xuoibK_M" resolve="i" />
-                              </node>
-                              <node concept="37vLTw" id="1z4HGmnUKks" role="AHHXb">
-                                <ref role="3cqZAo" node="WBEjvSTnXa" resolve="origins" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="liA8E" id="7Y$xuoic1QM" role="2OqNvi">
-                          <ref role="37wK5l" to="bj13:~Logical.findRoot():jetbrains.mps.logic.reactor.logical.Logical" resolve="findRoot" />
-                        </node>
-                      </node>
-                      <node concept="liA8E" id="7Y$xuoic1QN" role="2OqNvi">
-                        <ref role="37wK5l" to="bj13:~Logical.value():java.lang.Object" resolve="value" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbF" id="7Y$xuoibNL9" role="3cqZAp">
-                  <node concept="37vLTI" id="7Y$xuoibOwe" role="3clFbG">
-                    <node concept="AH0OO" id="7Y$xuoibNSB" role="37vLTJ">
-                      <node concept="37vLTw" id="7Y$xuoibNXX" role="AHEQo">
-                        <ref role="3cqZAo" node="7Y$xuoibK_M" resolve="i" />
-                      </node>
-                      <node concept="37vLTw" id="7Y$xuoibNL7" role="AHHXb">
-                        <ref role="3cqZAo" node="7Y$xuoibFsp" resolve="args" />
-                      </node>
-                    </node>
-                    <node concept="3K4zz7" id="7Y$xuoic2$4" role="37vLTx">
-                      <node concept="2OqwBi" id="7Y$xuoic2P6" role="3K4E3e">
-                        <node concept="37vLTw" id="7Y$xuoic2_I" role="2Oq$k0">
-                          <ref role="3cqZAo" node="7Y$xuoic1QG" resolve="value" />
-                        </node>
-                        <node concept="liA8E" id="7Y$xuoic3uu" role="2OqNvi">
-                          <ref role="37wK5l" to="wyt6:~Object.toString():java.lang.String" resolve="toString" />
-                        </node>
-                      </node>
-                      <node concept="3y3z36" id="7Y$xuoic2qG" role="3K4Cdx">
-                        <node concept="10Nm6u" id="7Y$xuoic2vw" role="3uHU7w" />
-                        <node concept="37vLTw" id="7Y$xuoic28d" role="3uHU7B">
-                          <ref role="3cqZAo" node="7Y$xuoic1QG" resolve="value" />
-                        </node>
-                      </node>
-                      <node concept="2OqwBi" id="7Y$xuoic3TG" role="3K4GZi">
-                        <node concept="2OqwBi" id="7Y$xuoic3$X" role="2Oq$k0">
-                          <node concept="AH0OO" id="7Y$xuoic3$Y" role="2Oq$k0">
-                            <node concept="37vLTw" id="7Y$xuoic3$Z" role="AHEQo">
-                              <ref role="3cqZAo" node="7Y$xuoibK_M" resolve="i" />
-                            </node>
-                            <node concept="37vLTw" id="7Y$xuoic3_0" role="AHHXb">
-                              <ref role="3cqZAo" node="WBEjvSTnXa" resolve="origins" />
-                            </node>
-                          </node>
-                          <node concept="liA8E" id="7Y$xuoic3_1" role="2OqNvi">
-                            <ref role="37wK5l" to="bj13:~Logical.findRoot():jetbrains.mps.logic.reactor.logical.Logical" resolve="findRoot" />
-                          </node>
-                        </node>
-                        <node concept="liA8E" id="7Y$xuoic4rP" role="2OqNvi">
-                          <ref role="37wK5l" to="wyt6:~Object.toString():java.lang.String" resolve="toString" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbH" id="7Y$xuoibQyn" role="3cqZAp" />
-              </node>
-              <node concept="3cpWsn" id="7Y$xuoibK_M" role="1Duv9x">
-                <property role="TrG5h" value="i" />
-                <node concept="10Oyi0" id="7Y$xuoibKAy" role="1tU5fm" />
-                <node concept="3cmrfG" id="7Y$xuoibKCh" role="33vP2m">
-                  <property role="3cmrfH" value="0" />
-                </node>
-              </node>
-              <node concept="3eOVzh" id="7Y$xuoibLrU" role="1Dwp0S">
-                <node concept="2OqwBi" id="7Y$xuoibLX3" role="3uHU7w">
-                  <node concept="37vLTw" id="7Y$xuoibLtm" role="2Oq$k0">
-                    <ref role="3cqZAo" node="WBEjvSTnXa" resolve="origins" />
-                  </node>
-                  <node concept="1Rwk04" id="7Y$xuoibMMg" role="2OqNvi" />
-                </node>
-                <node concept="37vLTw" id="7Y$xuoibKCG" role="3uHU7B">
-                  <ref role="3cqZAo" node="7Y$xuoibK_M" resolve="i" />
-                </node>
-              </node>
-              <node concept="3uNrnE" id="7Y$xuoibNCX" role="1Dwrff">
-                <node concept="37vLTw" id="7Y$xuoibNCZ" role="2$L3a6">
-                  <ref role="3cqZAo" node="7Y$xuoibK_M" resolve="i" />
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbF" id="7Y$xuoibUgs" role="3cqZAp">
-              <node concept="37vLTI" id="7Y$xuoibUgu" role="3clFbG">
-                <node concept="2YIFZM" id="7Y$xuoibU6l" role="37vLTx">
-                  <ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...):java.lang.String" resolve="format" />
-                  <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
-                  <node concept="37vLTw" id="7Y$xuoibU6m" role="37wK5m">
-                    <ref role="3cqZAo" node="7Y$xuoibAUz" resolve="format" />
-                  </node>
-                  <node concept="37vLTw" id="7Y$xuoibU6n" role="37wK5m">
-                    <ref role="3cqZAo" node="7Y$xuoibFsp" resolve="args" />
-                  </node>
-                </node>
-                <node concept="37vLTw" id="7Y$xuoibUgy" role="37vLTJ">
-                  <ref role="3cqZAo" node="7Y$xuoibU6k" resolve="text" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3y3z36" id="7Y$xuoibJMR" role="3clFbw">
-            <node concept="10Nm6u" id="7Y$xuoibK2E" role="3uHU7w" />
-            <node concept="37vLTw" id="7Y$xuoibIgD" role="3uHU7B">
-              <ref role="3cqZAo" node="WBEjvSTnXa" resolve="origins" />
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="7Y$xuoibs6R" role="3cqZAp" />
-        <node concept="3cpWs8" id="WBEjvSToJ$" role="3cqZAp">
-          <node concept="3cpWsn" id="WBEjvSToJ_" role="3cpWs9">
-            <property role="3TUv4t" value="false" />
-            <property role="TrG5h" value="sessionSolver" />
-            <node concept="3uibUv" id="WBEjvSToJA" role="1tU5fm">
-              <ref role="3uigEE" to="w7la:~SessionSolver" resolve="SessionSolver" />
-            </node>
-            <node concept="2OqwBi" id="WBEjvSToJB" role="33vP2m">
-              <node concept="2YIFZM" id="WBEjvSToJC" role="2Oq$k0">
-                <ref role="1Pybhc" to="w7la:~EvaluationSession" resolve="EvaluationSession" />
-                <ref role="37wK5l" to="w7la:~EvaluationSession.current():jetbrains.mps.logic.reactor.evaluation.EvaluationSession" resolve="current" />
-              </node>
-              <node concept="liA8E" id="WBEjvSToJD" role="2OqNvi">
-                <ref role="37wK5l" to="w7la:~EvaluationSession.sessionSolver():jetbrains.mps.logic.reactor.evaluation.SessionSolver" resolve="sessionSolver" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="WBEjvSToJE" role="3cqZAp">
-          <node concept="2OqwBi" id="WBEjvSToJF" role="3clFbG">
-            <node concept="37vLTw" id="WBEjvSToJG" role="2Oq$k0">
-              <ref role="3cqZAo" node="WBEjvSToJ_" resolve="sessionSolver" />
-            </node>
-            <node concept="liA8E" id="WBEjvSToJH" role="2OqNvi">
-              <ref role="37wK5l" to="w7la:~SessionSolver.tell(jetbrains.mps.logic.reactor.program.AndItem,jetbrains.mps.logic.reactor.logical.LogicalContext):void" resolve="tell" />
-              <node concept="2OqwBi" id="WBEjvSToJI" role="37wK5m">
-                <node concept="2OqwBi" id="WBEjvSToJJ" role="2Oq$k0">
-                  <node concept="2ShNRf" id="WBEjvSToJK" role="2Oq$k0">
-                    <node concept="1pGfFk" id="WBEjvSToJL" role="2ShVmc">
-                      <ref role="37wK5l" to="6pyv:4sSe4$oM2B4" resolve="PredicateBuilder" />
-                      <node concept="10M0yZ" id="WBEjvSToJM" role="37wK5m">
-                        <ref role="1PxDUh" to="cxk7:3HJTsBn4kk_" resolve="EqualsPredicate" />
-                        <ref role="3cqZAo" to="cxk7:5uFPQ7C23RV" resolve="EQ_SYM" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="liA8E" id="WBEjvSToJN" role="2OqNvi">
-                    <ref role="37wK5l" to="6pyv:4sSe4$oM2Bb" resolve="withArguments" />
-                    <node concept="37vLTw" id="WBEjvSToJO" role="37wK5m">
-                      <ref role="3cqZAo" node="WBEjvSTnS2" resolve="logical" />
-                    </node>
-                    <node concept="37vLTw" id="7Y$xuoibW6k" role="37wK5m">
-                      <ref role="3cqZAo" node="7Y$xuoibU6k" resolve="text" />
-                    </node>
-                  </node>
-                </node>
-                <node concept="liA8E" id="WBEjvSToJQ" role="2OqNvi">
-                  <ref role="37wK5l" to="6pyv:4sSe4$oM2Bs" resolve="toPredicate" />
-                </node>
-              </node>
-              <node concept="37vLTw" id="WBEjvSToJX" role="37wK5m">
-                <ref role="3cqZAo" node="WBEjvSTobm" resolve="NO_CONTEXT" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="3Lj6UsgF7O4" role="3cqZAp" />
-        <node concept="3clFbF" id="WBEjvSToJZ" role="3cqZAp">
-          <node concept="3clFbT" id="WBEjvSToK0" role="3clFbG">
-            <property role="3clFbU" value="true" />
-          </node>
-        </node>
-      </node>
-      <node concept="37vLTG" id="WBEjvSTnS2" role="3clF46">
-        <property role="TrG5h" value="logical" />
-        <node concept="3uibUv" id="WBEjvSTnS1" role="1tU5fm">
-          <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
-        </node>
-      </node>
-      <node concept="37vLTG" id="7Y$xuoibAUz" role="3clF46">
-        <property role="TrG5h" value="format" />
-        <node concept="17QB3L" id="7Y$xuoibBJv" role="1tU5fm" />
-      </node>
-      <node concept="37vLTG" id="WBEjvSTnXa" role="3clF46">
-        <property role="TrG5h" value="origins" />
-        <node concept="8X2XB" id="7Y$xuoibB7Q" role="1tU5fm">
-          <node concept="3uibUv" id="WBEjvSTnXH" role="8Xvag">
-            <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
-          </node>
-        </node>
-      </node>
-      <node concept="P$JXv" id="1z4HGmnUJUj" role="lGtFl">
-        <node concept="TUZQ0" id="1z4HGmnUJUm" role="3nqlJM">
-          <property role="TUZQ4" value="Logical&lt;string&gt;" />
-          <node concept="zr_55" id="1z4HGmnUJUo" role="zr_5Q">
-            <ref role="zr_51" node="WBEjvSTnS2" resolve="logical" />
-          </node>
-        </node>
-        <node concept="TUZQ0" id="1z4HGmnUJUp" role="3nqlJM">
-          <property role="TUZQ4" value="string" />
-          <node concept="zr_55" id="1z4HGmnUJUr" role="zr_5Q">
-            <ref role="zr_51" node="7Y$xuoibAUz" resolve="format" />
-          </node>
-        </node>
-        <node concept="TUZQ0" id="1z4HGmnUJUs" role="3nqlJM">
-          <property role="TUZQ4" value="Logical&lt;TreeForm&gt;..." />
-          <node concept="zr_55" id="1z4HGmnUJUu" role="zr_5Q">
-            <ref role="zr_51" node="WBEjvSTnXa" resolve="origins" />
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="2tJIrI" id="WBEjvSTmU4" role="jymVt" />
     <node concept="2YIFZL" id="12dHl3ZD0e_" role="jymVt">
       <property role="TrG5h" value="copy" />
       <node concept="37vLTG" id="12dHl3ZD0sZ" role="3clF46">