From 06b1de52f9dfac12a3fad783f9c7c640dabc3bc4 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Wed, 11 Nov 2015 17:08:32 +0100
Subject: [PATCH] Get rid of check() constraint, switched to using headless
 rules to be combined in main()

---
 .../typesystem2/samplechecker/template.mps    | 1590 +----------------
 1 file changed, 49 insertions(+), 1541 deletions(-)

diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
index 47b2813a..acebda07 100644
--- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
+++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
@@ -157,9 +157,6 @@
       <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
       <concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
       <concept id="1081506762703" name="jetbrains.mps.baseLanguage.structure.GreaterThanExpression" flags="nn" index="3eOSWO" />
-      <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" />
@@ -200,7 +197,6 @@
       </concept>
       <concept id="2580416627845338977" name="jetbrains.mps.baseLanguage.structure.ImplicitAnnotationInstanceValue" flags="ng" index="1SXeKx" />
       <concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
-      <concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
     </language>
     <language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
       <concept id="1046929382682558545" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteralType" flags="ig" index="9cv3F" />
@@ -315,7 +311,6 @@
       <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="1171999116870" name="jetbrains.mps.lang.smodel.structure.Node_IsNullOperation" flags="nn" index="3w_OXm" />
       <concept id="1172008320231" name="jetbrains.mps.lang.smodel.structure.Node_IsNotNullOperation" flags="nn" index="3x8VRR" />
       <concept id="1144100932627" name="jetbrains.mps.lang.smodel.structure.OperationParm_Inclusion" flags="ng" index="1xIGOp" />
       <concept id="1144101972840" name="jetbrains.mps.lang.smodel.structure.OperationParm_Concept" flags="ng" index="1xMEDy">
@@ -333,9 +328,6 @@
         <reference id="1219352800908" name="referentNode" index="3B5MYn" />
       </concept>
       <concept id="1172323065820" name="jetbrains.mps.lang.smodel.structure.Node_GetConceptOperation" flags="nn" index="3NT_Vc" />
-      <concept id="1172326502327" name="jetbrains.mps.lang.smodel.structure.Concept_IsExactlyOperation" flags="nn" index="3O6GUB">
-        <child id="1206733650006" name="conceptArgument" index="3QVz_e" />
-      </concept>
       <concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI">
         <reference id="1140138128738" name="concept" index="1PxNhF" />
         <child id="1140138123956" name="leftExpression" index="1PxMeX" />
@@ -553,33 +545,18 @@
     <property role="3GE5qa" value="expression" />
     <node concept="AVZhu" id="6KkyQm3VbF6" role="3ArX_J">
       <property role="TrG5h" value="dotExpression" />
-      <node concept="3Aq93q" id="5bC6UNlEJrO" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="5bC6UNlEJrP" role="3Aqf5P">
-          <node concept="3Aqczg" id="5bC6UNlEJs7" role="3cqZAp">
-            <node concept="3Aqt3T" id="5bC6UNlEJs5" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5bC6UNlEJsb" role="3AunhB">
-                <node concept="3A2sRY" id="5bC6UNlEJsh" role="aYrYs">
-                  <ref role="3A2yKK" node="6KkyQm3Vda$" resolve="de" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq93q" id="6KkyQm3VbF9" role="3orSU4">
         <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="6KkyQm3VbFa" role="3Aqf5P">
-          <node concept="3X$14a" id="6KkyQm3VdBh" role="3cqZAp">
-            <node concept="aZer4" id="6KkyQm3VdBr" role="3XD1gS">
-              <property role="TrG5h" value="OptnType" />
-            </node>
+        <node concept="3NuqgR" id="7nkyKX7$yeM" role="3Nuqhd">
+          <node concept="aZer4" id="7nkyKX7$yeN" role="3XD1gS">
+            <property role="TrG5h" value="OptnType" />
           </node>
+        </node>
+        <node concept="3clFbS" id="6KkyQm3VbFa" role="3Aqf5P">
           <node concept="3Aqczg" id="6KkyQm3VdaH" role="3cqZAp">
             <node concept="3XxkQB" id="6KkyQm3VdaL" role="3Aqpz8">
               <node concept="a7P8L" id="6KkyQm3VdBt" role="3Xxm5W">
-                <ref role="a7OzE" node="6KkyQm3VdBr" resolve="OptnType" />
+                <ref role="a7OzE" node="7nkyKX7$yeN" resolve="OptnType" />
               </node>
               <node concept="aYllk" id="6KkyQm3VdaP" role="3XxmmS">
                 <node concept="2OqwBi" id="6KkyQm3Vdd4" role="aYrYs">
@@ -600,7 +577,7 @@
           <node concept="3Aqczg" id="6KkyQm3VfVH" role="3cqZAp">
             <node concept="3XxkQB" id="6KkyQm3VfVL" role="3Aqpz8">
               <node concept="a7P8L" id="6KkyQm3VfW2" role="3Xxm5W">
-                <ref role="a7OzE" node="6KkyQm3VdBr" resolve="OptnType" />
+                <ref role="a7OzE" node="7nkyKX7$yeN" resolve="OptnType" />
               </node>
               <node concept="aYllk" id="6KkyQm3VfVP" role="3XxmmS">
                 <node concept="3A2sRY" id="6KkyQm3VfVX" role="aYrYs">
@@ -625,7 +602,7 @@
           <node concept="3Aqczg" id="5bC6UNlNouL" role="3cqZAp">
             <node concept="3XxkQB" id="5bC6UNlNouH" role="3Aqpz8">
               <node concept="a7P8L" id="5bC6UNlNouW" role="3Xxm5W">
-                <ref role="a7OzE" node="5bC6UNlNoul" resolve="Type" />
+                <ref role="a7OzE" node="7nkyKX7$yb$" resolve="Type" />
               </node>
               <node concept="aYllk" id="5bC6UNlNouJ" role="3XxmmS">
                 <node concept="3A2sRY" id="5bC6UNlNouR" role="aYrYs">
@@ -636,33 +613,18 @@
           </node>
         </node>
       </node>
-      <node concept="3Aq93q" id="5bC6UNlNoeb" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="5bC6UNlNoeh" role="3Aqf5P">
-          <node concept="3Aqczg" id="5bC6UNlNojW" role="3cqZAp">
-            <node concept="3Aqt3T" id="5bC6UNlNojU" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5bC6UNlNok0" role="3AunhB">
-                <node concept="3A2sRY" id="5bC6UNlNok6" role="aYrYs">
-                  <ref role="3A2yKK" node="5bC6UNlNojw" resolve="gne" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq93q" id="5bC6UNlNokb" role="3orSU4">
         <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="5bC6UNlNokc" role="3Aqf5P">
-          <node concept="3X$14a" id="5bC6UNlNouc" role="3cqZAp">
-            <node concept="aZer4" id="5bC6UNlNoul" role="3XD1gS">
-              <property role="TrG5h" value="Type" />
-            </node>
+        <node concept="3NuqgR" id="7nkyKX7$ybz" role="3Nuqhd">
+          <node concept="aZer4" id="7nkyKX7$yb$" role="3XD1gS">
+            <property role="TrG5h" value="Type" />
           </node>
+        </node>
+        <node concept="3clFbS" id="5bC6UNlNokc" role="3Aqf5P">
           <node concept="3Aqczg" id="5bC6UNlNokp" role="3cqZAp">
             <node concept="3XxkQB" id="5bC6UNlNokl" role="3Aqpz8">
               <node concept="a7P8L" id="5bC6UNlNouw" role="3Xxm5W">
-                <ref role="a7OzE" node="5bC6UNlNoul" resolve="Type" />
+                <ref role="a7OzE" node="7nkyKX7$yb$" resolve="Type" />
               </node>
               <node concept="aYllk" id="5bC6UNlNokn" role="3XxmmS">
                 <node concept="2OqwBi" id="5bC6UNlNolU" role="aYrYs">
@@ -748,21 +710,6 @@
           </node>
         </node>
       </node>
-      <node concept="3Aq93q" id="1PFbZN6fT_d" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="1PFbZN6fT_j" role="3Aqf5P">
-          <node concept="3Aqczg" id="1PFbZN6fUhO" role="3cqZAp">
-            <node concept="3Aqt3T" id="1PFbZN6fUhS" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="1PFbZN6fUhY" role="3AunhB">
-                <node concept="3A2sRY" id="1PFbZN6fUi4" role="aYrYs">
-                  <ref role="3A2yKK" node="1PFbZN6fTO$" resolve="intConst" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="2t___k" id="1PFbZN6fTOz" role="20_v8_">
         <ref role="2t_S0q" to="tpee:fzcmrck" resolve="IntegerConstant" />
         <node concept="3A20r5" id="1PFbZN6fTO$" role="2t_VXX">
@@ -786,21 +733,6 @@
           </node>
         </node>
       </node>
-      <node concept="3Aq93q" id="3Qp4N06bUDk" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="3Qp4N06bUDl" role="3Aqf5P">
-          <node concept="3Aqczg" id="6qJjpCjmjb_" role="3cqZAp">
-            <node concept="3Aqt3T" id="6qJjpCjmjbD" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQs$M" role="3AunhB">
-                <node concept="3A2sRY" id="6qJjpCjmjen" role="aYrYs">
-                  <ref role="3A2yKK" node="3Qp4N06bUDj" resolve="str" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq9E8" id="3Qp4N06bUDr" role="3otmyu">
         <node concept="3clFbS" id="3Qp4N06bUDs" role="3Aqf5P">
           <node concept="3X$Joe" id="3Qp4N06bUDt" role="3cqZAp">
@@ -900,21 +832,6 @@
           <node concept="3clFbH" id="2yOynGeZGL3" role="3cqZAp" />
         </node>
       </node>
-      <node concept="3Aq93q" id="3Qp4N06bUDN" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="3Qp4N06bUDO" role="3Aqf5P">
-          <node concept="3Aqczg" id="6qJjpCjmjA3" role="3cqZAp">
-            <node concept="3Aqt3T" id="6qJjpCjmjA7" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQs$e" role="3AunhB">
-                <node concept="3A2sRY" id="6qJjpCjmjFn" role="aYrYs">
-                  <ref role="3A2yKK" node="3Qp4N06bUDM" resolve="sfr" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq9E8" id="3Qp4N06bUDU" role="3otmyu">
         <node concept="3clFbS" id="3Qp4N06bUDV" role="3Aqf5P">
           <node concept="3X$Joe" id="2yOynGeW79b" role="3cqZAp">
@@ -1037,21 +954,6 @@
     </node>
     <node concept="AVZhu" id="7gr_romnvqq" role="3ArX_J">
       <property role="TrG5h" value="variableReference" />
-      <node concept="3Aq93q" id="7gr_romnvqr" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="7gr_romnvqs" role="3Aqf5P">
-          <node concept="3Aqczg" id="7gr_romnvOd" role="3cqZAp">
-            <node concept="3Aqt3T" id="7gr_romnvP7" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQsAM" role="3AunhB">
-                <node concept="3A2sRY" id="7gr_romnvR3" role="aYrYs">
-                  <ref role="3A2yKK" node="7gr_romnvxW" resolve="vref" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq9E8" id="7gr_romnvqt" role="3otmyu">
         <node concept="3clFbS" id="7gr_romnvqu" role="3Aqf5P">
           <node concept="3X$Joe" id="7mm1a3qT1Jt" role="3cqZAp">
@@ -1174,33 +1076,18 @@
     </node>
     <node concept="AVZhu" id="7KcYPxpXtAm" role="3ArX_J">
       <property role="TrG5h" value="fieldReferenceOperation" />
-      <node concept="3Aq93q" id="3g$8GQC7WNO" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="3g$8GQC7WNP" role="3Aqf5P">
-          <node concept="3Aqczg" id="3g$8GQC7WSV" role="3cqZAp">
-            <node concept="3Aqt3T" id="3g$8GQC7WST" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="3g$8GQC7WSZ" role="3AunhB">
-                <node concept="3A2sRY" id="3g$8GQC7WT5" role="aYrYs">
-                  <ref role="3A2yKK" node="7KcYPxpXuF3" resolve="fro" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq93q" id="7KcYPxpXtAp" role="3orSU4">
         <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="7KcYPxpXtAq" role="3Aqf5P">
-          <node concept="3X$14a" id="7KcYPxpXwJQ" role="3cqZAp">
-            <node concept="aZer4" id="7KcYPxpXwJV" role="3XD1gS">
-              <property role="TrG5h" value="OpndType" />
-            </node>
+        <node concept="3NuqgR" id="7nkyKX7$Edn" role="3Nuqhd">
+          <node concept="aZer4" id="7nkyKX7$Edo" role="3XD1gS">
+            <property role="TrG5h" value="OpndType" />
           </node>
+        </node>
+        <node concept="3clFbS" id="7KcYPxpXtAq" role="3Aqf5P">
           <node concept="3Aqczg" id="7KcYPxpXwJI" role="3cqZAp">
             <node concept="3XxkQB" id="7KcYPxpXwJX" role="3Aqpz8">
               <node concept="a7P8L" id="7KcYPxpXx6h" role="3Xxm5W">
-                <ref role="a7OzE" node="7KcYPxpXwJV" resolve="OpndType" />
+                <ref role="a7OzE" node="7nkyKX7$Edo" resolve="OpndType" />
               </node>
               <node concept="aYllk" id="7KcYPxpXwK1" role="3XxmmS">
                 <node concept="2OqwBi" id="7KcYPxpXwMV" role="aYrYs">
@@ -1290,7 +1177,7 @@
             <node concept="3Aqt3T" id="7KcYPxpXRyT" role="3Aqpz8">
               <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
               <node concept="a7P8L" id="7KcYPxpXRz2" role="3AunhB">
-                <ref role="a7OzE" node="7KcYPxpXwJV" resolve="OpndType" />
+                <ref role="a7OzE" node="7nkyKX7$Edo" resolve="OpndType" />
               </node>
               <node concept="a7P8L" id="7KcYPxpXRzc" role="3AunhB">
                 <ref role="a7OzE" node="7KcYPxpXOlx" resolve="OpndCls" />
@@ -1386,21 +1273,6 @@
     </node>
     <node concept="AVZhu" id="3XExYyWW4Iq" role="3ArX_J">
       <property role="TrG5h" value="null_literal" />
-      <node concept="3Aq93q" id="3XExYyWW4Ir" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="3XExYyWW4Is" role="3Aqf5P">
-          <node concept="3Aqczg" id="3XExYyWW4Zi" role="3cqZAp">
-            <node concept="3Aqt3T" id="3XExYyWW50c" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQs$R" role="3AunhB">
-                <node concept="3A2sRY" id="3XExYyWW52S" role="aYrYs">
-                  <ref role="3A2yKK" node="3XExYyWW4Rl" resolve="nl" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq9E8" id="3XExYyWW4It" role="3otmyu">
         <node concept="3clFbS" id="3XExYyWW4Iu" role="3Aqf5P">
           <node concept="3X$Joe" id="1zN1RIlpvqS" role="3cqZAp">
@@ -1451,21 +1323,6 @@
     </node>
     <node concept="AVZhu" id="2QE4RCG8WvS" role="3ArX_J">
       <property role="TrG5h" value="this_expression" />
-      <node concept="3Aq93q" id="2QE4RCG8WvT" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="2QE4RCG8WvU" role="3Aqf5P">
-          <node concept="3Aqczg" id="2QE4RCG9i$U" role="3cqZAp">
-            <node concept="3Aqt3T" id="2QE4RCG9i_O" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQs_g" role="3AunhB">
-                <node concept="3A2sRY" id="2QE4RCG9iBG" role="aYrYs">
-                  <ref role="3A2yKK" node="2QE4RCG91q8" resolve="te" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq9E8" id="2QE4RCG8WvV" role="3otmyu">
         <node concept="3clFbS" id="2QE4RCG8WvW" role="3Aqf5P">
           <node concept="3cpWs8" id="2QE4RCG9t_V" role="3cqZAp">
@@ -3251,32 +3108,6 @@
     </node>
     <node concept="AVZhu" id="2U6QFnZ_s2I" role="3ArX_J">
       <property role="TrG5h" value="classifierType" />
-      <node concept="3Aq9E8" id="2U6QFnZ_s2O" role="3otmyu">
-        <node concept="3clFbS" id="2U6QFnZ_s2U" role="3Aqf5P">
-          <node concept="3Aqczg" id="2U6QFnZBShg" role="3cqZAp">
-            <node concept="3wWvb2" id="2U6QFnZBShf" role="3Aqpz8">
-              <node concept="3clFbT" id="2U6QFnZBShe" role="3wWo3s">
-                <property role="3clFbU" value="true" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq93q" id="2U6QFnZ_s30" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="2U6QFnZ_s36" role="3Aqf5P">
-          <node concept="3Aqczg" id="2U6QFnZBSqW" role="3cqZAp">
-            <node concept="3Aqt3T" id="2U6QFnZBSqU" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="2U6QFnZBSr0" role="3AunhB">
-                <node concept="3A2sRY" id="2U6QFnZBSr4" role="aYrYs">
-                  <ref role="3A2yKK" node="2U6QFnZ_unU" resolve="ct" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="16LskP" id="2U6QFnZ_uo6" role="3oyLzy">
         <node concept="3clFbS" id="2U6QFnZ_uo7" role="16YjZG">
           <node concept="3clFbF" id="2U6QFnZA6En" role="3cqZAp">
@@ -3315,18 +3146,6 @@
         </node>
       </node>
     </node>
-    <node concept="3AqmO8" id="6qJjpCjlcU_" role="3AqmFx">
-      <property role="TrG5h" value="check" />
-      <property role="3AqDzJ" value="1" />
-      <node concept="1zAUYm" id="5bC6UNltC84" role="1zAUyy">
-        <property role="TrG5h" value="nodeToCheck" />
-      </node>
-      <node concept="1zAsnw" id="5bC6UNlyGin" role="lGtFl">
-        <node concept="3SKdUq" id="5bC6UNlyGio" role="27qylF">
-          <property role="3SKdUp" value="initial constraint from which checking and inferring of the node starts" />
-        </node>
-      </node>
-    </node>
     <node concept="3AqmO8" id="3Qp4N06bUPr" role="3AqmFx">
       <property role="TrG5h" value="ubound" />
       <property role="3AqDzJ" value="2" />
@@ -3487,49 +3306,8 @@
     </node>
     <node concept="AVZhu" id="6qJjpCjoULL" role="3ArX_J">
       <property role="TrG5h" value="checkClassifier" />
-      <node concept="3Aq93q" id="6qJjpCjoULN" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="6qJjpCjoULO" role="3Aqf5P">
-          <node concept="3Aqczg" id="6qJjpCjp0Di" role="3cqZAp">
-            <node concept="3Aqt3T" id="6qJjpCjp0Ec" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQszY" role="3AunhB">
-                <node concept="3A2sRY" id="6qJjpCjp0Fe" role="aYrYs">
-                  <ref role="3A2yKK" node="6qJjpCjoULM" resolve="cls" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq9E8" id="6qJjpCjoULP" role="3otmyu">
         <node concept="3clFbS" id="6qJjpCjoULQ" role="3Aqf5P">
-          <node concept="1DcWWT" id="6qJjpCjp5Un" role="3cqZAp">
-            <node concept="3clFbS" id="6qJjpCjp5Uo" role="2LFqv$">
-              <node concept="3Aqczg" id="6qJjpCjp8Xw" role="3cqZAp">
-                <node concept="3Aqt3T" id="6qJjpCjp8Yq" role="3Aqpz8">
-                  <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-                  <node concept="aYllk" id="5JTOzCQQszL" role="3AunhB">
-                    <node concept="37vLTw" id="6qJjpCjp8Zs" role="aYrYs">
-                      <ref role="3cqZAo" node="6qJjpCjp5Ur" resolve="member" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3cpWsn" id="6qJjpCjp5Ur" role="1Duv9x">
-              <property role="TrG5h" value="member" />
-              <node concept="3Tqbb2" id="6qJjpCjp6w9" role="1tU5fm" />
-            </node>
-            <node concept="2OqwBi" id="6qJjpCjp5Uw" role="1DdaDG">
-              <node concept="3A2sRY" id="6qJjpCjp5Ux" role="2Oq$k0">
-                <ref role="3A2yKK" node="6qJjpCjoULM" resolve="cls" />
-              </node>
-              <node concept="2qgKlT" id="6qJjpCjp5Uy" role="2OqNvi">
-                <ref role="37wK5l" to="tpek:hEwJjl2" resolve="getMembers" />
-              </node>
-            </node>
-          </node>
           <node concept="3cpWs8" id="7gr_romt_7Z" role="3cqZAp">
             <node concept="3cpWsn" id="7gr_romt_80" role="3cpWs9">
               <property role="TrG5h" value="tvds" />
@@ -3559,6 +3337,7 @@
               </node>
             </node>
           </node>
+          <node concept="3clFbH" id="7nkyKX7$pnh" role="3cqZAp" />
           <node concept="3cpWs8" id="7gr_romtKK$" role="3cqZAp">
             <node concept="3cpWsn" id="7gr_romtKKB" role="3cpWs9">
               <property role="TrG5h" value="i" />
@@ -3605,39 +3384,6 @@
               <ref role="3cqZAo" node="7gr_romt_80" resolve="tvds" />
             </node>
           </node>
-          <node concept="3SKdUt" id="2QE4RCGpbVr" role="3cqZAp">
-            <node concept="3SKdUq" id="2QE4RCGpcxO" role="3SKWNk">
-              <property role="3SKdUp" value="else" />
-            </node>
-          </node>
-          <node concept="3clFbJ" id="2QE4RCGpaRK" role="3cqZAp">
-            <node concept="3clFbS" id="2QE4RCGpaRM" role="3clFbx">
-              <node concept="3Aqczg" id="2QE4RCGps9l" role="3cqZAp">
-                <node concept="2I7zNU" id="2QE4RCGpsb5" role="3Aqpz8">
-                  <property role="2I7zs$" value="true" />
-                </node>
-              </node>
-            </node>
-            <node concept="1Wc70l" id="2QE4RCGplHk" role="3clFbw">
-              <node concept="2OqwBi" id="2QE4RCGpn31" role="3uHU7w">
-                <node concept="37vLTw" id="2QE4RCGplUv" role="2Oq$k0">
-                  <ref role="3cqZAo" node="7gr_romt_80" resolve="tvds" />
-                </node>
-                <node concept="1v1jN8" id="2QE4RCGprZR" role="2OqNvi" />
-              </node>
-              <node concept="2OqwBi" id="2QE4RCGpfIi" role="3uHU7B">
-                <node concept="2OqwBi" id="2QE4RCGpcLX" role="2Oq$k0">
-                  <node concept="3A2sRY" id="2QE4RCGpczy" role="2Oq$k0">
-                    <ref role="3A2yKK" node="6qJjpCjoULM" resolve="cls" />
-                  </node>
-                  <node concept="2qgKlT" id="2QE4RCGpfd_" role="2OqNvi">
-                    <ref role="37wK5l" to="tpek:hEwJjl2" resolve="getMembers" />
-                  </node>
-                </node>
-                <node concept="1v1jN8" id="2QE4RCGpklX" role="2OqNvi" />
-              </node>
-            </node>
-          </node>
         </node>
       </node>
       <node concept="2t___k" id="5NuEpF1jvVP" role="20_v8_">
@@ -3649,81 +3395,8 @@
     </node>
     <node concept="AVZhu" id="6qJjpCjoNmg" role="3ArX_J">
       <property role="TrG5h" value="checkBaseMethodDeclaration" />
-      <node concept="3Aq93q" id="6qJjpCjoNmi" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="6qJjpCjoNmj" role="3Aqf5P">
-          <node concept="3Aqczg" id="6qJjpCjoQg2" role="3cqZAp">
-            <node concept="3Aqt3T" id="6qJjpCjoQgW" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQsAm" role="3AunhB">
-                <node concept="3A2sRY" id="6qJjpCjoQkw" role="aYrYs">
-                  <ref role="3A2yKK" node="6qJjpCjoNmh" resolve="bmd" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq9E8" id="6qJjpCjoNmk" role="3otmyu">
         <node concept="3clFbS" id="6qJjpCjoNml" role="3Aqf5P">
-          <node concept="1DcWWT" id="7gr_romoxBs" role="3cqZAp">
-            <node concept="3clFbS" id="7gr_romoxBu" role="2LFqv$">
-              <node concept="3Aqczg" id="7gr_romoD8P" role="3cqZAp">
-                <node concept="3Aqt3T" id="7gr_romoD9J" role="3Aqpz8">
-                  <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-                  <node concept="aYllk" id="5JTOzCQQs_9" role="3AunhB">
-                    <node concept="37vLTw" id="7gr_romoDaL" role="aYrYs">
-                      <ref role="3cqZAo" node="7gr_romoxBw" resolve="pdecl" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3cpWsn" id="7gr_romoxBw" role="1Duv9x">
-              <property role="TrG5h" value="pdecl" />
-              <node concept="3Tqbb2" id="7gr_romozds" role="1tU5fm">
-                <ref role="ehGHo" to="tpee:fz7vLUk" resolve="ParameterDeclaration" />
-              </node>
-            </node>
-            <node concept="2OqwBi" id="7gr_romoxB_" role="1DdaDG">
-              <node concept="3A2sRY" id="7gr_romoxBA" role="2Oq$k0">
-                <ref role="3A2yKK" node="6qJjpCjoNmh" resolve="bmd" />
-              </node>
-              <node concept="3Tsc0h" id="7gr_romoxBB" role="2OqNvi">
-                <ref role="3TtcxE" to="tpee:fzclF7Y" />
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbJ" id="6qJjpCjoV18" role="3cqZAp">
-            <node concept="3clFbS" id="6qJjpCjoV1b" role="3clFbx">
-              <node concept="3Aqczg" id="6qJjpCjoQnZ" role="3cqZAp">
-                <node concept="3Aqt3T" id="6qJjpCjoQpJ" role="3Aqpz8">
-                  <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-                  <node concept="aYllk" id="5JTOzCQQsA1" role="3AunhB">
-                    <node concept="2OqwBi" id="6qJjpCjoQxz" role="aYrYs">
-                      <node concept="3A2sRY" id="6qJjpCjoQrB" role="2Oq$k0">
-                        <ref role="3A2yKK" node="6qJjpCjoNmh" resolve="bmd" />
-                      </node>
-                      <node concept="3TrEf2" id="6qJjpCjoTdN" role="2OqNvi">
-                        <ref role="3Tt5mk" to="tpee:fzclF7Z" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="2OqwBi" id="6qJjpCjoZo2" role="3clFbw">
-              <node concept="2OqwBi" id="6qJjpCjoVcA" role="2Oq$k0">
-                <node concept="3A2sRY" id="6qJjpCjoV2q" role="2Oq$k0">
-                  <ref role="3A2yKK" node="6qJjpCjoNmh" resolve="bmd" />
-                </node>
-                <node concept="3TrEf2" id="6qJjpCjoY6K" role="2OqNvi">
-                  <ref role="3Tt5mk" to="tpee:fzclF7Z" />
-                </node>
-              </node>
-              <node concept="3x8VRR" id="6qJjpCjoZYb" role="2OqNvi" />
-            </node>
-          </node>
           <node concept="3cpWs8" id="7gr_romtR2n" role="3cqZAp">
             <node concept="3cpWsn" id="7gr_romtR2o" role="3cpWs9">
               <property role="TrG5h" value="tvds" />
@@ -3753,6 +3426,7 @@
               </node>
             </node>
           </node>
+          <node concept="3clFbH" id="7nkyKX7$ssP" role="3cqZAp" />
           <node concept="3cpWs8" id="7gr_romtRkw" role="3cqZAp">
             <node concept="3cpWsn" id="7gr_romtRkx" role="3cpWs9">
               <property role="TrG5h" value="i" />
@@ -3852,28 +3526,6 @@
               <property role="3SKdUp" value="todo: check something" />
             </node>
           </node>
-          <node concept="3Aqczg" id="485pdrSJC1Y" role="3cqZAp">
-            <node concept="3wWvb2" id="485pdrSJC1X" role="3Aqpz8">
-              <node concept="3clFbT" id="485pdrSJC1W" role="3wWo3s">
-                <property role="3clFbU" value="true" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq93q" id="485pdrSJASe" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="485pdrSJASk" role="3Aqf5P">
-          <node concept="3Aqczg" id="485pdrSJC1H" role="3cqZAp">
-            <node concept="3Aqt3T" id="485pdrSJC1F" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="485pdrSJC1L" role="3AunhB">
-                <node concept="3A2sRY" id="485pdrSJC1R" role="aYrYs">
-                  <ref role="3A2yKK" node="485pdrSJBvX" resolve="cd" />
-                </node>
-              </node>
-            </node>
-          </node>
         </node>
       </node>
       <node concept="2t___k" id="485pdrSJBvW" role="20_v8_">
@@ -3883,200 +3535,23 @@
         </node>
       </node>
     </node>
-    <node concept="AVZhu" id="6qJjpCjlmZg" role="3ArX_J">
-      <property role="TrG5h" value="checkStatementList" />
-      <node concept="3Aq93q" id="6qJjpCjlmZi" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="6qJjpCjlmZj" role="3Aqf5P">
-          <node concept="3Aqczg" id="6qJjpCjlsed" role="3cqZAp">
-            <node concept="3Aqt3T" id="6qJjpCjlsfX" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQs_2" role="3AunhB">
-                <node concept="3A2sRY" id="6qJjpCjlslk" role="aYrYs">
-                  <ref role="3A2yKK" node="6qJjpCjlmZh" resolve="slist" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="6qJjpCjlmZk" role="3otmyu">
-        <node concept="3clFbS" id="6qJjpCjlmZl" role="3Aqf5P">
-          <node concept="1DcWWT" id="6qJjpCjlBVo" role="3cqZAp">
-            <node concept="3clFbS" id="6qJjpCjlBVp" role="2LFqv$">
-              <node concept="3Aqczg" id="6qJjpCjlD68" role="3cqZAp">
-                <node concept="3Aqt3T" id="6qJjpCjlD72" role="3Aqpz8">
-                  <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-                  <node concept="aYllk" id="5JTOzCQQs_b" role="3AunhB">
-                    <node concept="37vLTw" id="6qJjpCjlDe2" role="aYrYs">
-                      <ref role="3cqZAo" node="6qJjpCjlBVs" resolve="stmt" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3cpWsn" id="6qJjpCjlBVs" role="1Duv9x">
-              <property role="TrG5h" value="stmt" />
-              <node concept="3Tqbb2" id="6qJjpCjlBVw" role="1tU5fm" />
-            </node>
-            <node concept="2OqwBi" id="5HGqmA_KCeI" role="1DdaDG">
-              <node concept="2OqwBi" id="6qJjpCjlBVx" role="2Oq$k0">
-                <node concept="3A2sRY" id="6qJjpCjlBVy" role="2Oq$k0">
-                  <ref role="3A2yKK" node="6qJjpCjlmZh" resolve="slist" />
-                </node>
-                <node concept="3Tsc0h" id="485pdrSJynT" role="2OqNvi">
-                  <ref role="3TtcxE" to="tpee:fzcqZ_x" />
-                </node>
-              </node>
-              <node concept="3zZkjj" id="5HGqmA_KGDK" role="2OqNvi">
-                <node concept="1bVj0M" id="5HGqmA_KGDM" role="23t8la">
-                  <node concept="3clFbS" id="5HGqmA_KGDN" role="1bW5cS">
-                    <node concept="3clFbF" id="5HGqmA_KGME" role="3cqZAp">
-                      <node concept="1Wc70l" id="6lpwCiZe0I8" role="3clFbG">
-                        <node concept="3fqX7Q" id="6lpwCiZe0S7" role="3uHU7w">
-                          <node concept="2OqwBi" id="6lpwCiZe11w" role="3fr31v">
-                            <node concept="37vLTw" id="6lpwCiZe0Sb" role="2Oq$k0">
-                              <ref role="3cqZAo" node="5HGqmA_KGDO" resolve="it" />
-                            </node>
-                            <node concept="1mIQ4w" id="6lpwCiZe1t2" role="2OqNvi">
-                              <node concept="chp4Y" id="6lpwCiZe1BO" role="cj9EA">
-                                <ref role="cht4Q" to="tpee:5vlcUuJ5uOU" resolve="SingleLineComment" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="3fqX7Q" id="5HGqmA_KGMC" role="3uHU7B">
-                          <node concept="2OqwBi" id="5HGqmA_KHJC" role="3fr31v">
-                            <node concept="2OqwBi" id="5HGqmA_KGXK" role="2Oq$k0">
-                              <node concept="37vLTw" id="5HGqmA_KGMJ" role="2Oq$k0">
-                                <ref role="3cqZAo" node="5HGqmA_KGDO" resolve="it" />
-                              </node>
-                              <node concept="2yIwOk" id="5HGqmA_KHtG" role="2OqNvi" />
-                            </node>
-                            <node concept="3O6GUB" id="5HGqmA_KIqy" role="2OqNvi">
-                              <node concept="chp4Y" id="5HGqmA_KI_4" role="3QVz_e">
-                                <ref role="cht4Q" to="tpee:fzclF8l" resolve="Statement" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="Rh6nW" id="5HGqmA_KGDO" role="1bW2Oz">
-                    <property role="TrG5h" value="it" />
-                    <node concept="2jxLKc" id="5HGqmA_KGDP" role="1tU5fm" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbJ" id="485pdrSM8kP" role="3cqZAp">
-            <node concept="3clFbS" id="485pdrSM8kR" role="3clFbx">
-              <node concept="3Aqczg" id="485pdrSMdIn" role="3cqZAp">
-                <node concept="3wWvb2" id="485pdrSMdIm" role="3Aqpz8">
-                  <node concept="3clFbT" id="485pdrSMdIl" role="3wWo3s">
-                    <property role="3clFbU" value="true" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="2OqwBi" id="485pdrSMa51" role="3clFbw">
-              <node concept="2OqwBi" id="485pdrSM8v0" role="2Oq$k0">
-                <node concept="3A2sRY" id="485pdrSM8mi" role="2Oq$k0">
-                  <ref role="3A2yKK" node="6qJjpCjlmZh" resolve="slist" />
-                </node>
-                <node concept="3Tsc0h" id="485pdrSM8Wx" role="2OqNvi">
-                  <ref role="3TtcxE" to="tpee:fzcqZ_x" />
-                </node>
-              </node>
-              <node concept="1v1jN8" id="485pdrSMdHr" role="2OqNvi" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="5NuEpF1jvW1" role="20_v8_">
-        <ref role="2t_S0q" to="tpee:fzclF80" resolve="StatementList" />
-        <node concept="3A20r5" id="6qJjpCjlmZh" role="2t_VXX">
-          <property role="TrG5h" value="slist" />
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="6lpwCiZ9lHV" role="3ArX_J">
-      <property role="TrG5h" value="checkLocalVariableDeclaration" />
-      <node concept="3Aq93q" id="6lpwCiZ9lHW" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="6lpwCiZ9lHX" role="3Aqf5P">
-          <node concept="3Aqczg" id="6lpwCiZ9muN" role="3cqZAp">
-            <node concept="3Aqt3T" id="6lpwCiZ9mvH" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQsA5" role="3AunhB">
-                <node concept="3A2sRY" id="6lpwCiZ9myr" role="aYrYs">
-                  <ref role="3A2yKK" node="6lpwCiZ9mr8" resolve="lvds" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="6lpwCiZbFf1" role="3otmyu">
-        <node concept="3clFbS" id="6lpwCiZbFf2" role="3Aqf5P">
-          <node concept="3Aqczg" id="6lpwCiZbJaS" role="3cqZAp">
-            <node concept="3Aqt3T" id="6lpwCiZbJgC" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQsAc" role="3AunhB">
-                <node concept="2OqwBi" id="6lpwCiZbJrY" role="aYrYs">
-                  <node concept="3A2sRY" id="6lpwCiZbJrZ" role="2Oq$k0">
-                    <ref role="3A2yKK" node="6lpwCiZ9mr8" resolve="lvds" />
-                  </node>
-                  <node concept="3TrEf2" id="6lpwCiZbJs0" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:fzcpWvL" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="6lpwCiZ9mr7" role="20_v8_">
-        <ref role="2t_S0q" to="tpee:fzcpWvK" resolve="LocalVariableDeclarationStatement" />
-        <node concept="3A20r5" id="6lpwCiZ9mr8" role="2t_VXX">
-          <property role="TrG5h" value="lvds" />
-        </node>
-      </node>
-    </node>
     <node concept="AVZhu" id="6lpwCiZbvEv" role="3ArX_J">
       <property role="TrG5h" value="typeLocalVariable" />
-      <node concept="3Aq93q" id="5bC6UNlFgZ2" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="5bC6UNlFgZ3" role="3Aqf5P">
-          <node concept="3Aqczg" id="5bC6UNlFgZr" role="3cqZAp">
-            <node concept="3Aqt3T" id="5bC6UNlFgZp" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5bC6UNlFgZv" role="3AunhB">
-                <node concept="3A2sRY" id="5bC6UNlFgZ_" role="aYrYs">
-                  <ref role="3A2yKK" node="6lpwCiZbwid" resolve="lvd" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq93q" id="6lpwCiZbvEw" role="3orSU4">
         <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="6lpwCiZbvEx" role="3Aqf5P">
-          <node concept="3X$14a" id="6lpwCiZbzVC" role="3cqZAp">
-            <node concept="aZer4" id="5JTOzCQRR4Q" role="3XD1gS">
-              <property role="TrG5h" value="T" />
-            </node>
-            <node concept="aZer4" id="5JTOzCQRR4A" role="3XD1gS">
-              <property role="TrG5h" value="IT" />
-            </node>
+        <node concept="3NuqgR" id="7nkyKX7$t63" role="3Nuqhd">
+          <node concept="aZer4" id="7nkyKX7$t64" role="3XD1gS">
+            <property role="TrG5h" value="VariableType" />
           </node>
+          <node concept="aZer4" id="7nkyKX7$t6o" role="3XD1gS">
+            <property role="TrG5h" value="InizrType" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="6lpwCiZbvEx" role="3Aqf5P">
           <node concept="3Aqczg" id="6lpwCiZbwmo" role="3cqZAp">
             <node concept="3XxkQB" id="6lpwCiZbzRC" role="3Aqpz8">
               <node concept="a7P8L" id="5JTOzCQSkHM" role="3Xxm5W">
-                <ref role="a7OzE" node="5JTOzCQRR4Q" resolve="T" />
+                <ref role="a7OzE" node="7nkyKX7$t64" resolve="VariableType" />
               </node>
               <node concept="aYllk" id="5JTOzCQQsAn" role="3XxmmS">
                 <node concept="3A2sRY" id="6lpwCiZbzUA" role="aYrYs">
@@ -4088,7 +3563,7 @@
           <node concept="3Aqczg" id="6lpwCiZb$6Q" role="3cqZAp">
             <node concept="3XxkQB" id="6lpwCiZb$6R" role="3Aqpz8">
               <node concept="a7P8L" id="5JTOzCQSkFq" role="3Xxm5W">
-                <ref role="a7OzE" node="5JTOzCQRR4A" resolve="IT" />
+                <ref role="a7OzE" node="7nkyKX7$t6o" resolve="InizrType" />
               </node>
               <node concept="aYllk" id="5JTOzCQQs_Z" role="3XxmmS">
                 <node concept="2OqwBi" id="6lpwCiZb$gP" role="aYrYs">
@@ -4110,10 +3585,10 @@
             <node concept="3Aqt3T" id="6lpwCiZbAfb" role="3Aqpz8">
               <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
               <node concept="a7P8L" id="5JTOzCQSkHQ" role="3AunhB">
-                <ref role="a7OzE" node="5JTOzCQRR4A" resolve="IT" />
+                <ref role="a7OzE" node="7nkyKX7$t6o" resolve="InizrType" />
               </node>
               <node concept="a7P8L" id="5JTOzCQSkH4" role="3AunhB">
-                <ref role="a7OzE" node="5JTOzCQRR4Q" resolve="T" />
+                <ref role="a7OzE" node="7nkyKX7$t64" resolve="VariableType" />
               </node>
             </node>
           </node>
@@ -4145,105 +3620,6 @@
     </node>
     <node concept="AVZhu" id="7gr_romprsk" role="3ArX_J">
       <property role="TrG5h" value="checkVariableDeclaration" />
-      <node concept="3Aq93q" id="7gr_romprsl" role="3orSU4">
-        <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="7gr_romprsm" role="3Aqf5P">
-          <node concept="3SKdUt" id="3g$8GQCcufe" role="3cqZAp">
-            <node concept="3SKdUq" id="3g$8GQCcufs" role="3SKWNk">
-              <property role="3SKdUp" value="todo: this hack is required until we will be able to distinguish chacking and inferring" />
-            </node>
-          </node>
-          <node concept="3clFbJ" id="3g$8GQCct66" role="3cqZAp">
-            <node concept="3clFbS" id="3g$8GQCct68" role="3clFbx">
-              <node concept="3Aqczg" id="7gr_rompth2" role="3cqZAp">
-                <node concept="3Aqt3T" id="7gr_rompthW" role="3Aqpz8">
-                  <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-                  <node concept="aYllk" id="5JTOzCQQsAf" role="3AunhB">
-                    <node concept="3A2sRY" id="7gr_romptjO" role="aYrYs">
-                      <ref role="3A2yKK" node="7gr_rompslL" resolve="vdecl" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="2OqwBi" id="3g$8GQCctPt" role="3clFbw">
-              <node concept="2OqwBi" id="3g$8GQCctbg" role="2Oq$k0">
-                <node concept="3A2sRY" id="3g$8GQCct6p" role="2Oq$k0">
-                  <ref role="3A2yKK" node="7gr_rompslL" resolve="vdecl" />
-                </node>
-                <node concept="3TrEf2" id="3g$8GQCctwj" role="2OqNvi">
-                  <ref role="3Tt5mk" to="tpee:fz3vP1I" />
-                </node>
-              </node>
-              <node concept="3x8VRR" id="3g$8GQCctYf" role="2OqNvi" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq93q" id="3g$8GQCcu1I" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="3g$8GQCcu1J" role="3Aqf5P">
-          <node concept="3clFbJ" id="3g$8GQCcu5l" role="3cqZAp">
-            <node concept="3clFbS" id="3g$8GQCcu5m" role="3clFbx">
-              <node concept="3Aqczg" id="3g$8GQCcu5n" role="3cqZAp">
-                <node concept="3Aqt3T" id="3g$8GQCcu5o" role="3Aqpz8">
-                  <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-                  <node concept="aYllk" id="3g$8GQCcu5p" role="3AunhB">
-                    <node concept="3A2sRY" id="3g$8GQCcu5q" role="aYrYs">
-                      <ref role="3A2yKK" node="7gr_rompslL" resolve="vdecl" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="2OqwBi" id="3g$8GQCcu5r" role="3clFbw">
-              <node concept="2OqwBi" id="3g$8GQCcu5s" role="2Oq$k0">
-                <node concept="3A2sRY" id="3g$8GQCcu5t" role="2Oq$k0">
-                  <ref role="3A2yKK" node="7gr_rompslL" resolve="vdecl" />
-                </node>
-                <node concept="3TrEf2" id="3g$8GQCcu5u" role="2OqNvi">
-                  <ref role="3Tt5mk" to="tpee:fz3vP1I" />
-                </node>
-              </node>
-              <node concept="3w_OXm" id="3g$8GQCcud$" role="2OqNvi" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="7gr_romprsn" role="3otmyu">
-        <node concept="3clFbS" id="7gr_romprso" role="3Aqf5P">
-          <node concept="3clFbJ" id="7gr_rompvnC" role="3cqZAp">
-            <node concept="3clFbS" id="7gr_rompvnD" role="3clFbx">
-              <node concept="3Aqczg" id="7gr_rompvnE" role="3cqZAp">
-                <node concept="3Aqt3T" id="7gr_rompvnF" role="3Aqpz8">
-                  <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-                  <node concept="aYllk" id="5JTOzCQQs_d" role="3AunhB">
-                    <node concept="2OqwBi" id="7gr_rompvnH" role="aYrYs">
-                      <node concept="3A2sRY" id="7gr_rompvM_" role="2Oq$k0">
-                        <ref role="3A2yKK" node="7gr_rompslL" resolve="vdecl" />
-                      </node>
-                      <node concept="3TrEf2" id="7gr_rompvnL" role="2OqNvi">
-                        <ref role="3Tt5mk" to="tpee:fz3vP1I" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="2OqwBi" id="7gr_rompvnM" role="3clFbw">
-              <node concept="2OqwBi" id="7gr_rompvnN" role="2Oq$k0">
-                <node concept="3A2sRY" id="7gr_rompvFa" role="2Oq$k0">
-                  <ref role="3A2yKK" node="7gr_rompslL" resolve="vdecl" />
-                </node>
-                <node concept="3TrEf2" id="7gr_rompvnR" role="2OqNvi">
-                  <ref role="3Tt5mk" to="tpee:fz3vP1I" />
-                </node>
-              </node>
-              <node concept="3x8VRR" id="7gr_rompvnS" role="2OqNvi" />
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq9E8" id="7gr_rompwNZ" role="3otmyu">
         <node concept="3clFbS" id="7gr_rompwO0" role="3Aqf5P">
           <node concept="3X$Joe" id="7gr_rompwQ2" role="3cqZAp">
@@ -4293,709 +3669,6 @@
         </node>
       </node>
     </node>
-    <node concept="AVZhu" id="4EfgX2EMA2I" role="3ArX_J">
-      <property role="TrG5h" value="checkIfStatement" />
-      <node concept="3Aq93q" id="4EfgX2EMA2L" role="3orSU4">
-        <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="4EfgX2EMA2M" role="3Aqf5P">
-          <node concept="3Aqczg" id="4EfgX2EMADr" role="3cqZAp">
-            <node concept="3Aqt3T" id="4EfgX2EMADv" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="4EfgX2EMADK" role="3AunhB">
-                <node concept="3A2sRY" id="4EfgX2EMADQ" role="aYrYs">
-                  <ref role="3A2yKK" node="1ffsG7bwwDB" resolve="ifs" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="4EfgX2EMA2J" role="3otmyu">
-        <node concept="3clFbS" id="4EfgX2EMA2K" role="3Aqf5P">
-          <node concept="3Aqczg" id="4EfgX2EQ5_I" role="3cqZAp">
-            <node concept="3Aqt3T" id="4EfgX2EQ69R" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="4EfgX2EQ69X" role="3AunhB">
-                <node concept="2OqwBi" id="4EfgX2EQ6dc" role="aYrYs">
-                  <node concept="3A2sRY" id="4EfgX2EQ6a3" role="2Oq$k0">
-                    <ref role="3A2yKK" node="1ffsG7bwwDB" resolve="ifs" />
-                  </node>
-                  <node concept="3TrEf2" id="1ffsG7bwCHV" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:fzclF8o" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbJ" id="4EfgX2EMBjS" role="3cqZAp">
-            <node concept="3clFbS" id="4EfgX2EMBjT" role="3clFbx">
-              <node concept="3Aqczg" id="4EfgX2EMCG4" role="3cqZAp">
-                <node concept="3Aqt3T" id="4EfgX2EMCG8" role="3Aqpz8">
-                  <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-                  <node concept="aYllk" id="4EfgX2EMCGe" role="3AunhB">
-                    <node concept="2OqwBi" id="4EfgX2EMCJt" role="aYrYs">
-                      <node concept="3A2sRY" id="4EfgX2EMCGk" role="2Oq$k0">
-                        <ref role="3A2yKK" node="1ffsG7bwwDB" resolve="ifs" />
-                      </node>
-                      <node concept="3TrEf2" id="1ffsG7bwDjz" role="2OqNvi">
-                        <ref role="3Tt5mk" to="tpee:fK9aQHQ" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="2OqwBi" id="4EfgX2EMCh6" role="3clFbw">
-              <node concept="2OqwBi" id="4EfgX2EMBnZ" role="2Oq$k0">
-                <node concept="3A2sRY" id="4EfgX2EMBk4" role="2Oq$k0">
-                  <ref role="3A2yKK" node="1ffsG7bwwDB" resolve="ifs" />
-                </node>
-                <node concept="3TrEf2" id="1ffsG7bwD0J" role="2OqNvi">
-                  <ref role="3Tt5mk" to="tpee:fK9aQHQ" />
-                </node>
-              </node>
-              <node concept="3x8VRR" id="4EfgX2EMCFd" role="2OqNvi" />
-            </node>
-          </node>
-          <node concept="1DcWWT" id="4EfgX2EMEav" role="3cqZAp">
-            <node concept="3clFbS" id="4EfgX2EMEax" role="2LFqv$">
-              <node concept="3Aqczg" id="4EfgX2EMFHG" role="3cqZAp">
-                <node concept="3Aqt3T" id="4EfgX2EMFHK" role="3Aqpz8">
-                  <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-                  <node concept="aYllk" id="4EfgX2EMFHQ" role="3AunhB">
-                    <node concept="37vLTw" id="4EfgX2EMFHW" role="aYrYs">
-                      <ref role="3cqZAo" node="4EfgX2EMEaz" resolve="cl" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3cpWsn" id="4EfgX2EMEaz" role="1Duv9x">
-              <property role="TrG5h" value="cl" />
-              <node concept="3Tqbb2" id="4EfgX2EMEHT" role="1tU5fm" />
-            </node>
-            <node concept="2OqwBi" id="4EfgX2EMEaC" role="1DdaDG">
-              <node concept="3A2sRY" id="4EfgX2EMEaD" role="2Oq$k0">
-                <ref role="3A2yKK" node="1ffsG7bwwDB" resolve="ifs" />
-              </node>
-              <node concept="3Tsc0h" id="1ffsG7bwDTb" role="2OqNvi">
-                <ref role="3TtcxE" to="tpee:hzeNLa7" />
-              </node>
-            </node>
-          </node>
-          <node concept="3Aqczg" id="4EfgX2EMGhW" role="3cqZAp">
-            <node concept="3Aqt3T" id="4EfgX2EMGMb" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="4EfgX2EMGPZ" role="3AunhB">
-                <node concept="2OqwBi" id="4EfgX2EMGTe" role="aYrYs">
-                  <node concept="3A2sRY" id="4EfgX2EMGQ5" role="2Oq$k0">
-                    <ref role="3A2yKK" node="1ffsG7bwwDB" resolve="ifs" />
-                  </node>
-                  <node concept="3TrEf2" id="1ffsG7bwDAn" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:fzclF8p" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="1ffsG7bwwDA" role="20_v8_">
-        <ref role="2t_S0q" to="tpee:fzclF8n" resolve="IfStatement" />
-        <node concept="3A20r5" id="1ffsG7bwwDB" role="2t_VXX">
-          <property role="TrG5h" value="ifs" />
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="6qJjpCjlE3W" role="3ArX_J">
-      <property role="TrG5h" value="checkExpressionStatement" />
-      <node concept="3Aq93q" id="6qJjpCjlE3Y" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="6qJjpCjlE3Z" role="3Aqf5P">
-          <node concept="3Aqczg" id="6qJjpCjlEil" role="3cqZAp">
-            <node concept="3Aqt3T" id="6qJjpCjlEjf" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQs_I" role="3AunhB">
-                <node concept="3A2sRY" id="6qJjpCjlElX" role="aYrYs">
-                  <ref role="3A2yKK" node="6qJjpCjlE3X" resolve="estmt" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="6qJjpCjlE40" role="3otmyu">
-        <node concept="3clFbS" id="6qJjpCjlE41" role="3Aqf5P">
-          <node concept="3Aqczg" id="6qJjpCjlEmU" role="3cqZAp">
-            <node concept="3Aqt3T" id="6qJjpCjlEnO" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQs$5" role="3AunhB">
-                <node concept="2OqwBi" id="6qJjpCjlEy6" role="aYrYs">
-                  <node concept="3A2sRY" id="6qJjpCjlEuO" role="2Oq$k0">
-                    <ref role="3A2yKK" node="6qJjpCjlE3X" resolve="estmt" />
-                  </node>
-                  <node concept="3TrEf2" id="6qJjpCjlF2Z" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:fzclF8k" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="5NuEpF1jvVR" role="20_v8_">
-        <ref role="2t_S0q" to="tpee:fzclF8j" resolve="ExpressionStatement" />
-        <node concept="3A20r5" id="6qJjpCjlE3X" role="2t_VXX">
-          <property role="TrG5h" value="estmt" />
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="4EfgX2EL9ii" role="3ArX_J">
-      <property role="TrG5h" value="checkReturnStatement" />
-      <node concept="3Aq93q" id="4EfgX2EL9ij" role="3orSU4">
-        <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="4EfgX2EL9ik" role="3Aqf5P">
-          <node concept="3Aqczg" id="4EfgX2EL9il" role="3cqZAp">
-            <node concept="3Aqt3T" id="4EfgX2EL9im" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="4EfgX2EL9in" role="3AunhB">
-                <node concept="3A2sRY" id="4EfgX2EL9io" role="aYrYs">
-                  <ref role="3A2yKK" node="1ffsG7bwo6u" resolve="rstmt" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="4EfgX2EL9ip" role="3otmyu">
-        <node concept="3clFbS" id="4EfgX2EL9iq" role="3Aqf5P">
-          <node concept="3Aqczg" id="4EfgX2EL9ir" role="3cqZAp">
-            <node concept="3Aqt3T" id="4EfgX2EL9is" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="4EfgX2EL9it" role="3AunhB">
-                <node concept="2OqwBi" id="4EfgX2EL9iu" role="aYrYs">
-                  <node concept="3A2sRY" id="4EfgX2EL9iv" role="2Oq$k0">
-                    <ref role="3A2yKK" node="1ffsG7bwo6u" resolve="rstmt" />
-                  </node>
-                  <node concept="3TrEf2" id="1ffsG7bwvFl" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:fzcqZ_G" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="1ffsG7bwo6t" role="20_v8_">
-        <ref role="2t_S0q" to="tpee:fzcpWvY" resolve="ReturnStatement" />
-        <node concept="3A20r5" id="1ffsG7bwo6u" role="2t_VXX">
-          <property role="TrG5h" value="rstmt" />
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="6qJjpCjlFqa" role="3ArX_J">
-      <property role="TrG5h" value="checkDotExpression" />
-      <node concept="3Aq93q" id="6qJjpCjlFqc" role="3orSU4">
-        <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="6qJjpCjlFqd" role="3Aqf5P">
-          <node concept="3Aqczg" id="6qJjpCjlGqL" role="3cqZAp">
-            <node concept="3Aqt3T" id="6qJjpCjlGqP" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQsA8" role="3AunhB">
-                <node concept="3A2sRY" id="6qJjpCjlGsH" role="aYrYs">
-                  <ref role="3A2yKK" node="6qJjpCjlFqb" resolve="de" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="6qJjpCjlFqe" role="3otmyu">
-        <node concept="3clFbS" id="6qJjpCjlFqf" role="3Aqf5P">
-          <node concept="3Aqczg" id="6qJjpCjlGuw" role="3cqZAp">
-            <node concept="3Aqt3T" id="6qJjpCjlGu$" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQs_i" role="3AunhB">
-                <node concept="2OqwBi" id="6qJjpCjlGyk" role="aYrYs">
-                  <node concept="3A2sRY" id="6qJjpCjlGws" role="2Oq$k0">
-                    <ref role="3A2yKK" node="6qJjpCjlFqb" resolve="de" />
-                  </node>
-                  <node concept="3TrEf2" id="6qJjpCjlHdn" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:hqOq$gm" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3Aqczg" id="6qJjpCjlHfX" role="3cqZAp">
-            <node concept="3Aqt3T" id="6qJjpCjlHfY" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQsAv" role="3AunhB">
-                <node concept="2OqwBi" id="6qJjpCjlHg0" role="aYrYs">
-                  <node concept="3A2sRY" id="6qJjpCjlHg1" role="2Oq$k0">
-                    <ref role="3A2yKK" node="6qJjpCjlFqb" resolve="de" />
-                  </node>
-                  <node concept="3TrEf2" id="6qJjpCjlHvE" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:hqOqNr4" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="5NuEpF1jvVJ" role="20_v8_">
-        <ref role="2t_S0q" to="tpee:hqOqwz4" resolve="DotExpression" />
-        <node concept="3A20r5" id="6qJjpCjlFqb" role="2t_VXX">
-          <property role="TrG5h" value="de" />
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="6qJjpCjlHRb" role="3ArX_J">
-      <property role="TrG5h" value="checkBaseMethodCall" />
-      <node concept="3Aq93q" id="6qJjpCjlHRd" role="3orSU4">
-        <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="6qJjpCjlHRe" role="3Aqf5P">
-          <node concept="3Aqczg" id="6qJjpCjm3Qj" role="3cqZAp">
-            <node concept="3Aqt3T" id="6qJjpCjm3Rd" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQs$7" role="3AunhB">
-                <node concept="3A2sRY" id="6qJjpCjm3T5" role="aYrYs">
-                  <ref role="3A2yKK" node="6qJjpCjlHRc" resolve="bmc" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="6qJjpCjlHRf" role="3otmyu">
-        <node concept="3clFbS" id="6qJjpCjlHRg" role="3Aqf5P">
-          <node concept="1DcWWT" id="6qJjpCjmaIG" role="3cqZAp">
-            <node concept="3clFbS" id="6qJjpCjmaIH" role="2LFqv$">
-              <node concept="3Aqczg" id="6qJjpCjm3US" role="3cqZAp">
-                <node concept="3Aqt3T" id="6qJjpCjmdJe" role="3Aqpz8">
-                  <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-                  <node concept="aYllk" id="5JTOzCQQs_M" role="3AunhB">
-                    <node concept="37vLTw" id="6qJjpCjmdKg" role="aYrYs">
-                      <ref role="3cqZAo" node="6qJjpCjmaIK" resolve="arg" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3cpWsn" id="6qJjpCjmaIK" role="1Duv9x">
-              <property role="TrG5h" value="arg" />
-              <node concept="3Tqbb2" id="6qJjpCjmc85" role="1tU5fm" />
-            </node>
-            <node concept="2OqwBi" id="6qJjpCjmaIP" role="1DdaDG">
-              <node concept="3A2sRY" id="6qJjpCjmaIQ" role="2Oq$k0">
-                <ref role="3A2yKK" node="6qJjpCjlHRc" resolve="bmc" />
-              </node>
-              <node concept="3Tsc0h" id="6qJjpCjmaIR" role="2OqNvi">
-                <ref role="3TtcxE" to="tpee:fz7wK6I" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="cBwPQ" id="5bC6UNl$Wzw" role="30RCb4">
-        <node concept="3clFbS" id="5bC6UNl$Wzx" role="16YjZG">
-          <node concept="3clFbF" id="5bC6UNl$Wz$" role="3cqZAp">
-            <node concept="2OqwBi" id="5bC6UNl_2pq" role="3clFbG">
-              <node concept="2OqwBi" id="5bC6UNl$WzA" role="2Oq$k0">
-                <node concept="3A2sRY" id="5bC6UNl$WzB" role="2Oq$k0">
-                  <ref role="3A2yKK" node="6qJjpCjlHRc" resolve="bmc" />
-                </node>
-                <node concept="3Tsc0h" id="5bC6UNl$WzC" role="2OqNvi">
-                  <ref role="3TtcxE" to="tpee:fz7wK6I" />
-                </node>
-              </node>
-              <node concept="3GX2aA" id="5bC6UNl_57m" role="2OqNvi" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="5NuEpF1jvVW" role="20_v8_">
-        <ref role="2t_S0q" to="tpee:fz7wK6G" resolve="BaseMethodCall" />
-        <node concept="3A20r5" id="6qJjpCjlHRc" role="2t_VXX">
-          <property role="TrG5h" value="bmc" />
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="6qJjpCjmfAu" role="3ArX_J">
-      <property role="TrG5h" value="checkInstanceMethodCallOp" />
-      <node concept="3Aq93q" id="6qJjpCjmfAw" role="3orSU4">
-        <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="6qJjpCjmfAx" role="3Aqf5P">
-          <node concept="3Aqczg" id="6qJjpCjmn9I" role="3cqZAp">
-            <node concept="3Aqt3T" id="6qJjpCjmnbu" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQs$1" role="3AunhB">
-                <node concept="3A2sRY" id="6qJjpCjmncw" role="aYrYs">
-                  <ref role="3A2yKK" node="6qJjpCjmfAv" resolve="imco" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="6qJjpCjmfAy" role="3otmyu">
-        <node concept="3clFbS" id="6qJjpCjmfAz" role="3Aqf5P">
-          <node concept="1DcWWT" id="6qJjpCjmnUp" role="3cqZAp">
-            <node concept="3clFbS" id="6qJjpCjmnUq" role="2LFqv$">
-              <node concept="3Aqczg" id="6qJjpCjmqzQ" role="3cqZAp">
-                <node concept="3Aqt3T" id="6qJjpCjmq$K" role="3Aqpz8">
-                  <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-                  <node concept="aYllk" id="5JTOzCQQs$C" role="3AunhB">
-                    <node concept="37vLTw" id="6qJjpCjmqAC" role="aYrYs">
-                      <ref role="3cqZAo" node="6qJjpCjmnUt" resolve="arg" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3cpWsn" id="6qJjpCjmnUt" role="1Duv9x">
-              <property role="TrG5h" value="arg" />
-              <node concept="3Tqbb2" id="6qJjpCjmoYv" role="1tU5fm" />
-            </node>
-            <node concept="2OqwBi" id="6qJjpCjmnUy" role="1DdaDG">
-              <node concept="3A2sRY" id="6qJjpCjmnUz" role="2Oq$k0">
-                <ref role="3A2yKK" node="6qJjpCjmfAv" resolve="imco" />
-              </node>
-              <node concept="3Tsc0h" id="6qJjpCjmnU$" role="2OqNvi">
-                <ref role="3TtcxE" to="tpee:fz7wK6I" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="cBwPQ" id="tIwzd1SDhp" role="30RCb4">
-        <node concept="3clFbS" id="tIwzd1SDhq" role="16YjZG">
-          <node concept="3clFbF" id="2Rw7mr8V3ca" role="3cqZAp">
-            <node concept="2OqwBi" id="2Rw7mr8V3UQ" role="3clFbG">
-              <node concept="2OqwBi" id="2Rw7mr8V3cc" role="2Oq$k0">
-                <node concept="3A2sRY" id="2Rw7mr8V3cd" role="2Oq$k0">
-                  <ref role="3A2yKK" node="6qJjpCjmfAv" resolve="imco" />
-                </node>
-                <node concept="3Tsc0h" id="2Rw7mr8V3ce" role="2OqNvi">
-                  <ref role="3TtcxE" to="tpee:fz7wK6I" />
-                </node>
-              </node>
-              <node concept="3GX2aA" id="2Rw7mr8V6lF" role="2OqNvi" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="5NuEpF1jvVQ" role="20_v8_">
-        <ref role="2t_S0q" to="tpee:hwliAcM" resolve="InstanceMethodCallOperation" />
-        <node concept="3A20r5" id="6qJjpCjmfAv" role="2t_VXX">
-          <property role="TrG5h" value="imco" />
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="7gr_romgj6P" role="3ArX_J">
-      <property role="TrG5h" value="checkGenericNewExpression" />
-      <node concept="3Aq93q" id="7gr_romgj6Q" role="3orSU4">
-        <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="7gr_romgj6R" role="3Aqf5P">
-          <node concept="3Aqczg" id="7gr_romgjUX" role="3cqZAp">
-            <node concept="3Aqt3T" id="7gr_romgjWH" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQs_5" role="3AunhB">
-                <node concept="3A2sRY" id="7gr_romgk6d" role="aYrYs">
-                  <ref role="3A2yKK" node="7gr_romgjQk" resolve="gne" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="7gr_romgj6S" role="3otmyu">
-        <node concept="3clFbS" id="7gr_romgj6T" role="3Aqf5P">
-          <node concept="3Aqczg" id="7gr_rommP$_" role="3cqZAp">
-            <node concept="3Aqt3T" id="7gr_rommP_Z" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQsA4" role="3AunhB">
-                <node concept="2OqwBi" id="7gr_rommPDm" role="aYrYs">
-                  <node concept="3A2sRY" id="7gr_rommPBR" role="2Oq$k0">
-                    <ref role="3A2yKK" node="7gr_romgjQk" resolve="gne" />
-                  </node>
-                  <node concept="3TrEf2" id="7gr_rommPPw" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:gEShVi6" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="7gr_romgjQj" role="20_v8_">
-        <ref role="2t_S0q" to="tpee:gEShNN5" resolve="GenericNewExpression" />
-        <node concept="3A20r5" id="7gr_romgjQk" role="2t_VXX">
-          <property role="TrG5h" value="gne" />
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="7gr_rommvwB" role="3ArX_J">
-      <property role="TrG5h" value="classCreator" />
-      <node concept="3Aq93q" id="7gr_rommvwC" role="3orSU4">
-        <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="7gr_rommvwD" role="3Aqf5P">
-          <node concept="3Aqczg" id="7gr_rommDqk" role="3cqZAp">
-            <node concept="3Aqt3T" id="7gr_rommDql" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5JTOzCQQsAg" role="3AunhB">
-                <node concept="3A2sRY" id="7gr_rommHdh" role="aYrYs">
-                  <ref role="3A2yKK" node="7gr_rommweu" resolve="cc" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="7gr_rommvwE" role="3otmyu">
-        <node concept="3clFbS" id="7gr_rommvwF" role="3Aqf5P">
-          <node concept="1DcWWT" id="7gr_rommwmw" role="3cqZAp">
-            <node concept="3clFbS" id="7gr_rommwmx" role="2LFqv$">
-              <node concept="3Aqczg" id="7gr_rommwmy" role="3cqZAp">
-                <node concept="3Aqt3T" id="7gr_rommwmz" role="3Aqpz8">
-                  <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-                  <node concept="aYllk" id="5JTOzCQQs_$" role="3AunhB">
-                    <node concept="37vLTw" id="7gr_rommwm_" role="aYrYs">
-                      <ref role="3cqZAo" node="7gr_rommwmA" resolve="arg" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3cpWsn" id="7gr_rommwmA" role="1Duv9x">
-              <property role="TrG5h" value="arg" />
-              <node concept="3Tqbb2" id="7gr_rommwmB" role="1tU5fm" />
-            </node>
-            <node concept="2OqwBi" id="7gr_rommwmC" role="1DdaDG">
-              <node concept="3A2sRY" id="7gr_romm$yX" role="2Oq$k0">
-                <ref role="3A2yKK" node="7gr_rommweu" resolve="cc" />
-              </node>
-              <node concept="3Tsc0h" id="7gr_rommMrn" role="2OqNvi">
-                <ref role="3TtcxE" to="tpee:fz7wK6I" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="cBwPQ" id="5bC6UNl_59O" role="30RCb4">
-        <node concept="3clFbS" id="5bC6UNl_59P" role="16YjZG">
-          <node concept="3clFbF" id="5bC6UNl_5b0" role="3cqZAp">
-            <node concept="2OqwBi" id="5bC6UNl_b2I" role="3clFbG">
-              <node concept="2OqwBi" id="5bC6UNl_5b2" role="2Oq$k0">
-                <node concept="3A2sRY" id="5bC6UNl_5b3" role="2Oq$k0">
-                  <ref role="3A2yKK" node="7gr_rommweu" resolve="cc" />
-                </node>
-                <node concept="3Tsc0h" id="5bC6UNl_5b4" role="2OqNvi">
-                  <ref role="3TtcxE" to="tpee:fz7wK6I" />
-                </node>
-              </node>
-              <node concept="3GX2aA" id="5bC6UNl_dKE" role="2OqNvi" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="7gr_rommwet" role="20_v8_">
-        <ref role="2t_S0q" to="tpee:hDpGfJe" resolve="ClassCreator" />
-        <node concept="3A20r5" id="7gr_rommweu" role="2t_VXX">
-          <property role="TrG5h" value="cc" />
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="8VaLZR_fIv" role="3ArX_J">
-      <property role="TrG5h" value="checkAssignment" />
-      <node concept="3Aq93q" id="8VaLZR_fKd" role="3orSU4">
-        <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="8VaLZR_fKe" role="3Aqf5P">
-          <node concept="3Aqczg" id="8VaLZR_fKl" role="3cqZAp">
-            <node concept="3Aqt3T" id="8VaLZR_fKp" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="8VaLZR_lI2" role="3AunhB">
-                <node concept="3A2sRY" id="8VaLZR_lI8" role="aYrYs">
-                  <ref role="3A2yKK" node="8VaLZR_fJz" resolve="bae" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq9E8" id="8VaLZR_fI_" role="3otmyu">
-        <node concept="3clFbS" id="8VaLZR_fIF" role="3Aqf5P">
-          <node concept="3Aqczg" id="8VaLZRA5bI" role="3cqZAp">
-            <node concept="3Aqt3T" id="8VaLZRA5bM" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="8VaLZRA5bS" role="3AunhB">
-                <node concept="2OqwBi" id="8VaLZRA5er" role="aYrYs">
-                  <node concept="3A2sRY" id="8VaLZRA5bY" role="2Oq$k0">
-                    <ref role="3A2yKK" node="8VaLZR_fJz" resolve="bae" />
-                  </node>
-                  <node concept="3TrEf2" id="8VaLZRAcCP" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:fz7vLUn" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3Aqczg" id="8VaLZRAcDL" role="3cqZAp">
-            <node concept="3Aqt3T" id="8VaLZRAcDM" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="8VaLZRAcDN" role="3AunhB">
-                <node concept="2OqwBi" id="8VaLZRAcDO" role="aYrYs">
-                  <node concept="3A2sRY" id="8VaLZRAcDP" role="2Oq$k0">
-                    <ref role="3A2yKK" node="8VaLZR_fJz" resolve="bae" />
-                  </node>
-                  <node concept="3TrEf2" id="8VaLZRAd2A" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:fz7vLUp" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="8VaLZR_fJm" role="20_v8_">
-        <ref role="2t_S0q" to="tpee:hGd03cG" resolve="BaseAssignmentExpression" />
-        <node concept="3A20r5" id="8VaLZR_fJz" role="2t_VXX">
-          <property role="TrG5h" value="bae" />
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="1PFbZN6tPFC" role="3ArX_J">
-      <property role="TrG5h" value="checkBinary" />
-      <node concept="3Aq9E8" id="1PFbZN6tPFI" role="3otmyu">
-        <node concept="3clFbS" id="1PFbZN6tPFO" role="3Aqf5P">
-          <node concept="3Aqczg" id="1PFbZN6tQk6" role="3cqZAp">
-            <node concept="3Aqt3T" id="1PFbZN6tQka" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="1PFbZN6tQkg" role="3AunhB">
-                <node concept="2OqwBi" id="1PFbZN6tQm6" role="aYrYs">
-                  <node concept="3A2sRY" id="1PFbZN6tQkm" role="2Oq$k0">
-                    <ref role="3A2yKK" node="1PFbZN6tQj$" resolve="bo" />
-                  </node>
-                  <node concept="3TrEf2" id="1PFbZN6tQvd" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:fJuHU4s" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3Aqczg" id="1PFbZN6tQvR" role="3cqZAp">
-            <node concept="3Aqt3T" id="1PFbZN6tQvS" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="1PFbZN6tQvT" role="3AunhB">
-                <node concept="2OqwBi" id="1PFbZN6tQvU" role="aYrYs">
-                  <node concept="3A2sRY" id="1PFbZN6tQvV" role="2Oq$k0">
-                    <ref role="3A2yKK" node="1PFbZN6tQj$" resolve="bo" />
-                  </node>
-                  <node concept="3TrEf2" id="1PFbZN6tQMi" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:fJuHU4r" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq93q" id="1PFbZN6tPFU" role="3orSU4">
-        <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="1PFbZN6tPG0" role="3Aqf5P">
-          <node concept="3Aqczg" id="1PFbZN6tQjH" role="3cqZAp">
-            <node concept="3Aqt3T" id="1PFbZN6tQjL" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="1PFbZN6tQjV" role="3AunhB">
-                <node concept="3A2sRY" id="1PFbZN6tQk1" role="aYrYs">
-                  <ref role="3A2yKK" node="1PFbZN6tQj$" resolve="bo" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="1PFbZN6tQjz" role="20_v8_">
-        <ref role="2t_S0q" to="tpee:fJuHJVf" resolve="BinaryOperation" />
-        <node concept="3A20r5" id="1PFbZN6tQj$" role="2t_VXX">
-          <property role="TrG5h" value="bo" />
-        </node>
-      </node>
-    </node>
-    <node concept="AVZhu" id="1PFbZN6sIn7" role="3ArX_J">
-      <property role="TrG5h" value="checkTernary" />
-      <node concept="3Aq9E8" id="1PFbZN6sInd" role="3otmyu">
-        <node concept="3clFbS" id="1PFbZN6sInj" role="3Aqf5P">
-          <node concept="3Aqczg" id="1PFbZN6sKmt" role="3cqZAp">
-            <node concept="3Aqt3T" id="1PFbZN6sKmx" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="1PFbZN6sKmB" role="3AunhB">
-                <node concept="2OqwBi" id="1PFbZN6sKoO" role="aYrYs">
-                  <node concept="3A2sRY" id="1PFbZN6sKmH" role="2Oq$k0">
-                    <ref role="3A2yKK" node="1PFbZN6sKlU" resolve="toe" />
-                  </node>
-                  <node concept="3TrEf2" id="1PFbZN6sKzt" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:gVK4C9J" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3Aqczg" id="1PFbZN6sK$l" role="3cqZAp">
-            <node concept="3Aqt3T" id="1PFbZN6sK$v" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="1PFbZN6sK$G" role="3AunhB">
-                <node concept="2OqwBi" id="1PFbZN6sKAT" role="aYrYs">
-                  <node concept="3A2sRY" id="1PFbZN6sK$M" role="2Oq$k0">
-                    <ref role="3A2yKK" node="1PFbZN6sKlU" resolve="toe" />
-                  </node>
-                  <node concept="3TrEf2" id="1PFbZN6sKVS" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:gVK4E70" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3Aqczg" id="1PFbZN6sKW0" role="3cqZAp">
-            <node concept="3Aqt3T" id="1PFbZN6sKW1" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="1PFbZN6sKW2" role="3AunhB">
-                <node concept="2OqwBi" id="1PFbZN6sKW3" role="aYrYs">
-                  <node concept="3A2sRY" id="1PFbZN6sKW4" role="2Oq$k0">
-                    <ref role="3A2yKK" node="1PFbZN6sKlU" resolve="toe" />
-                  </node>
-                  <node concept="3TrEf2" id="1PFbZN6sL7t" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:gVK4GVs" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Aq93q" id="1PFbZN6sInp" role="3orSU4">
-        <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="1PFbZN6sInv" role="3Aqf5P">
-          <node concept="3Aqczg" id="1PFbZN6sKm8" role="3cqZAp">
-            <node concept="3Aqt3T" id="1PFbZN6sKmc" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="1PFbZN6sKmi" role="3AunhB">
-                <node concept="3A2sRY" id="1PFbZN6sKmo" role="aYrYs">
-                  <ref role="3A2yKK" node="1PFbZN6sKlU" resolve="toe" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="1PFbZN6sKlT" role="20_v8_">
-        <ref role="2t_S0q" to="tpee:gVK4zB9" resolve="TernaryOperatorExpression" />
-        <node concept="3A20r5" id="1PFbZN6sKlU" role="2t_VXX">
-          <property role="TrG5h" value="toe" />
-        </node>
-      </node>
-    </node>
   </node>
   <node concept="AVZre" id="5MHpiylysUh">
     <property role="TrG5h" value="SubtypingPaths" />
@@ -6650,21 +5323,6 @@
           </node>
         </node>
       </node>
-      <node concept="3Aq93q" id="5bC6UNlEFiw" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="5bC6UNlEFix" role="3Aqf5P">
-          <node concept="3Aqczg" id="5bC6UNlEF_$" role="3cqZAp">
-            <node concept="3Aqt3T" id="5bC6UNlEF_y" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5bC6UNlEF_C" role="3AunhB">
-                <node concept="3A2sRY" id="5bC6UNlEF_I" role="aYrYs">
-                  <ref role="3A2yKK" node="1zN1RIlreLm" resolve="imcop" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq93q" id="1zN1RIlreLe" role="3orSU4">
         <property role="3ArMco" value="true" />
         <node concept="3NuqgR" id="6YKq674srLC" role="3Nuqhd">
@@ -7197,21 +5855,6 @@
           </node>
         </node>
       </node>
-      <node concept="3Aq93q" id="2yOynGeSGk1" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="2yOynGeSGk2" role="3Aqf5P">
-          <node concept="3Aqczg" id="2yOynGeSQKj" role="3cqZAp">
-            <node concept="3Aqt3T" id="2yOynGeSQKk" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="2yOynGeSQKl" role="3AunhB">
-                <node concept="3A2sRY" id="2yOynGeSQKm" role="aYrYs">
-                  <ref role="3A2yKK" node="2yOynGeS_nA" resolve="bmc" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="2t___k" id="2yOynGeS_n_" role="20_v8_">
         <ref role="2t_S0q" to="tpee:fz7wK6G" resolve="BaseMethodCall" />
         <node concept="3A20r5" id="2yOynGeS_nA" role="2t_VXX">
@@ -7341,21 +5984,6 @@
           </node>
         </node>
       </node>
-      <node concept="3Aq93q" id="3m6K8XLd3xZ" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="3m6K8XLd3y0" role="3Aqf5P">
-          <node concept="3Aqczg" id="3m6K8XLd3y1" role="3cqZAp">
-            <node concept="3Aqt3T" id="3m6K8XLd3y2" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="3m6K8XLd3y3" role="3AunhB">
-                <node concept="3A2sRY" id="3m6K8XLd3yd" role="aYrYs">
-                  <ref role="3A2yKK" node="3m6K8XLd3xH" resolve="dcc" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="20WI10" id="3m6K8XLd3xW" role="20WMwH">
         <ref role="20WI11" node="136nqBWrTcO" resolve="abstractMethodCall" />
       </node>
@@ -7374,21 +6002,6 @@
           <property role="TrG5h" value="cc" />
         </node>
       </node>
-      <node concept="3Aq93q" id="3m6K8XLcDFH" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="3m6K8XLcDFI" role="3Aqf5P">
-          <node concept="3Aqczg" id="3m6K8XLcDFN" role="3cqZAp">
-            <node concept="3Aqt3T" id="3m6K8XLcDFO" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="3m6K8XLcDFP" role="3AunhB">
-                <node concept="3A2sRY" id="3m6K8XLcDFQ" role="aYrYs">
-                  <ref role="3A2yKK" node="3m6K8XLcDEQ" resolve="cc" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="20WI10" id="3m6K8XLcDFX" role="20WMwH">
         <ref role="20WI11" node="136nqBWrTcO" resolve="abstractMethodCall" />
       </node>
@@ -8426,21 +7039,6 @@
       <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/7368070394767441299" />
       <node concept="AVZhu" id="7t5VLKGTNCp" role="8Wnug">
         <property role="TrG5h" value="methodDeclaration_returnCheck" />
-        <node concept="3Aq93q" id="5bC6UNlFrn6" role="3orSU4">
-          <property role="3ArMco" value="false" />
-          <node concept="3clFbS" id="5bC6UNlFrn7" role="3Aqf5P">
-            <node concept="3Aqczg" id="5bC6UNlFrr3" role="3cqZAp">
-              <node concept="3Aqt3T" id="5bC6UNlFrr1" role="3Aqpz8">
-                <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-                <node concept="aYllk" id="5bC6UNlFrr7" role="3AunhB">
-                  <node concept="3A2sRY" id="5bC6UNlFrrd" role="aYrYs">
-                    <ref role="3A2yKK" node="1ffsG7bsOze" resolve="bmd" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
         <node concept="3Aq93q" id="7t5VLKGTNCs" role="3orSU4">
           <property role="3ArMco" value="true" />
           <node concept="3clFbS" id="7t5VLKGTNCt" role="3Aqf5P">
@@ -8924,33 +7522,18 @@
     <property role="3GE5qa" value="code" />
     <node concept="AVZhu" id="4EfgX2EQdbZ" role="3ArX_J">
       <property role="TrG5h" value="ifStatementCondition" />
-      <node concept="3Aq93q" id="5bC6UNlET2_" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="5bC6UNlET2A" role="3Aqf5P">
-          <node concept="3Aqczg" id="5bC6UNlET2S" role="3cqZAp">
-            <node concept="3Aqt3T" id="5bC6UNlET2Q" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5bC6UNlET2W" role="3AunhB">
-                <node concept="3A2sRY" id="5bC6UNlET32" role="aYrYs">
-                  <ref role="3A2yKK" node="1ffsG7btxK3" resolve="ifs" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq93q" id="4EfgX2EMADV" role="3orSU4">
         <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="4EfgX2EMADW" role="3Aqf5P">
-          <node concept="3X$14a" id="4EfgX2EMB0L" role="3cqZAp">
-            <node concept="aZer4" id="4EfgX2EMB0V" role="3XD1gS">
-              <property role="TrG5h" value="Condition" />
-            </node>
+        <node concept="3NuqgR" id="7nkyKX7$CUW" role="3Nuqhd">
+          <node concept="aZer4" id="7nkyKX7$CUX" role="3XD1gS">
+            <property role="TrG5h" value="Condition" />
           </node>
+        </node>
+        <node concept="3clFbS" id="4EfgX2EMADW" role="3Aqf5P">
           <node concept="3Aqczg" id="4EfgX2EMAE5" role="3cqZAp">
             <node concept="3XxkQB" id="4EfgX2EMAE9" role="3Aqpz8">
               <node concept="a7P8L" id="4EfgX2EMB0X" role="3Xxm5W">
-                <ref role="a7OzE" node="4EfgX2EMB0V" resolve="Condition" />
+                <ref role="a7OzE" node="7nkyKX7$CUX" resolve="Condition" />
               </node>
               <node concept="aYllk" id="4EfgX2EMAEd" role="3XxmmS">
                 <node concept="2OqwBi" id="4EfgX2EMAHu" role="aYrYs">
@@ -8997,7 +7580,7 @@
             <node concept="3Aqt3T" id="4EfgX2EMI0_" role="3Aqpz8">
               <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
               <node concept="a7P8L" id="4EfgX2EMI0I" role="3AunhB">
-                <ref role="a7OzE" node="4EfgX2EMB0V" resolve="Condition" />
+                <ref role="a7OzE" node="7nkyKX7$CUX" resolve="Condition" />
               </node>
               <node concept="a7P8L" id="4EfgX2ENLeZ" role="3AunhB">
                 <ref role="a7OzE" node="4EfgX2ENLdR" resolve="BoolType" />
@@ -9020,7 +7603,7 @@
           <node concept="3Aqczg" id="6BU$YTNKLgI" role="3cqZAp">
             <node concept="3XxkQB" id="6BU$YTNKLgM" role="3Aqpz8">
               <node concept="a7P8L" id="6BU$YTNKLh1" role="3Xxm5W">
-                <ref role="a7OzE" node="6BU$YTNKIzL" resolve="RetExprType" />
+                <ref role="a7OzE" node="7nkyKX7$D08" resolve="RetExprType" />
               </node>
               <node concept="aYllk" id="6BU$YTNKLgQ" role="3XxmmS">
                 <node concept="3A2sRY" id="6BU$YTNKLgY" role="aYrYs">
@@ -9031,33 +7614,18 @@
           </node>
         </node>
       </node>
-      <node concept="3Aq93q" id="5bC6UNlEMHB" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="5bC6UNlEMHC" role="3Aqf5P">
-          <node concept="3Aqczg" id="5bC6UNlEMHU" role="3cqZAp">
-            <node concept="3Aqt3T" id="5bC6UNlEMHS" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5bC6UNlEMHY" role="3AunhB">
-                <node concept="3A2sRY" id="5bC6UNlEMI4" role="aYrYs">
-                  <ref role="3A2yKK" node="6BU$YTNKHsd" resolve="retstmt" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq93q" id="6BU$YTNKHro" role="3orSU4">
         <property role="3ArMco" value="true" />
-        <node concept="3clFbS" id="6BU$YTNKHru" role="3Aqf5P">
-          <node concept="3X$14a" id="6BU$YTNKIzG" role="3cqZAp">
-            <node concept="aZer4" id="6BU$YTNKIzL" role="3XD1gS">
-              <property role="TrG5h" value="RetExprType" />
-            </node>
+        <node concept="3NuqgR" id="7nkyKX7$D07" role="3Nuqhd">
+          <node concept="aZer4" id="7nkyKX7$D08" role="3XD1gS">
+            <property role="TrG5h" value="RetExprType" />
           </node>
+        </node>
+        <node concept="3clFbS" id="6BU$YTNKHru" role="3Aqf5P">
           <node concept="3Aqczg" id="6BU$YTNKIzo" role="3cqZAp">
             <node concept="3XxkQB" id="6BU$YTNKJAw" role="3Aqpz8">
               <node concept="a7P8L" id="6BU$YTNKK9O" role="3Xxm5W">
-                <ref role="a7OzE" node="6BU$YTNKIzL" resolve="RetExprType" />
+                <ref role="a7OzE" node="7nkyKX7$D08" resolve="RetExprType" />
               </node>
               <node concept="aYllk" id="6BU$YTNKJA$" role="3XxmmS">
                 <node concept="2OqwBi" id="6BU$YTNKJD$" role="aYrYs">
@@ -9149,21 +7717,6 @@
           </node>
         </node>
       </node>
-      <node concept="3Aq93q" id="5bC6UNl_uut" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="5bC6UNl_uuu" role="3Aqf5P">
-          <node concept="3Aqczg" id="5bC6UNl_uuS" role="3cqZAp">
-            <node concept="3Aqt3T" id="5bC6UNl_uuQ" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5bC6UNl_uuW" role="3AunhB">
-                <node concept="3A2sRY" id="5bC6UNl_uv2" role="aYrYs">
-                  <ref role="3A2yKK" node="1PFbZN6tQXC" resolve="ee" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq93q" id="1PFbZN6tO4W" role="3orSU4">
         <property role="3ArMco" value="true" />
         <node concept="3clFbS" id="1PFbZN6tO52" role="3Aqf5P">
@@ -9235,21 +7788,6 @@
           </node>
         </node>
       </node>
-      <node concept="3Aq93q" id="5bC6UNl_Pbl" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="5bC6UNl_Pbm" role="3Aqf5P">
-          <node concept="3Aqczg" id="5bC6UNl_PbK" role="3cqZAp">
-            <node concept="3Aqt3T" id="5bC6UNl_PbI" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5bC6UNl_PbO" role="3AunhB">
-                <node concept="3A2sRY" id="5bC6UNl_PbU" role="aYrYs">
-                  <ref role="3A2yKK" node="1PFbZN6eQsN" resolve="ae" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq93q" id="1PFbZN6ez$L" role="3orSU4">
         <property role="3ArMco" value="true" />
         <node concept="3clFbS" id="1PFbZN6ez$R" role="3Aqf5P">
@@ -9399,21 +7937,6 @@
           <node concept="3clFbH" id="1PFbZN6fRRF" role="3cqZAp" />
         </node>
       </node>
-      <node concept="3Aq93q" id="5bC6UNl_PaF" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="5bC6UNl_PaG" role="3Aqf5P">
-          <node concept="3Aqczg" id="5bC6UNl_Pb6" role="3cqZAp">
-            <node concept="3Aqt3T" id="5bC6UNl_Pb4" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5bC6UNl_Pba" role="3AunhB">
-                <node concept="3A2sRY" id="5bC6UNl_Pbg" role="aYrYs">
-                  <ref role="3A2yKK" node="1PFbZN6fRHP" resolve="oae" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq93q" id="1PFbZN6fRH7" role="3orSU4">
         <property role="3ArMco" value="true" />
         <node concept="3clFbS" id="1PFbZN6fRHd" role="3Aqf5P">
@@ -9540,21 +8063,6 @@
           </node>
         </node>
       </node>
-      <node concept="3Aq93q" id="5bC6UNl_dTE" role="3orSU4">
-        <property role="3ArMco" value="false" />
-        <node concept="3clFbS" id="5bC6UNl_dTF" role="3Aqf5P">
-          <node concept="3Aqczg" id="5bC6UNl_dUd" role="3cqZAp">
-            <node concept="3Aqt3T" id="5bC6UNl_dUb" role="3Aqpz8">
-              <ref role="3AqCNq" node="6qJjpCjlcU_" resolve="check" />
-              <node concept="aYllk" id="5bC6UNl_dUo" role="3AunhB">
-                <node concept="3A2sRY" id="5bC6UNl_dUu" role="aYrYs">
-                  <ref role="3A2yKK" node="1PFbZN6sLbB" resolve="toe" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="3Aq93q" id="1PFbZN6sL9Z" role="3orSU4">
         <property role="3ArMco" value="true" />
         <node concept="3NuqgR" id="7nkyKX6XThp" role="3Nuqhd">