diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
index aacccf06..924ad6b6 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
@@ -13,6 +13,7 @@
     <import index="tp2c" ref="r:00000000-0000-4000-0000-011c89590338(jetbrains.mps.baseLanguage.closures.structure)" />
     <import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" implicit="true" />
     <import index="tpek" ref="r:00000000-0000-4000-0000-011c895902c0(jetbrains.mps.baseLanguage.behavior)" implicit="true" />
+    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@@ -167,6 +168,11 @@
         <child id="1196350785114" name="quotedNode" index="2c44tc" />
       </concept>
     </language>
+    <language id="446c26eb-2b7b-4bf0-9b35-f83fa582753e" name="jetbrains.mps.lang.modelapi">
+      <concept id="4733039728785194814" name="jetbrains.mps.lang.modelapi.structure.NamedNodeReference" flags="ng" index="ZC_QK">
+        <reference id="7256306938026143658" name="target" index="2aWVGs" />
+      </concept>
+    </language>
     <language id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic">
       <concept id="8456919074574710634" name="jetbrains.mps.logic.structure.ExpressionItem" flags="ng" index="37jhX">
         <child id="8456919074574710741" name="code" index="37jj2" />
@@ -212,6 +218,9 @@
         <child id="1803469493727536396" name="concept" index="hTh3Z" />
       </concept>
       <concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
+      <concept id="7400021826774799413" name="jetbrains.mps.lang.smodel.structure.NodePointerExpression" flags="ng" index="2tJFMh">
+        <child id="7400021826774799510" name="ref" index="2tJFKM" />
+      </concept>
       <concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
         <child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
         <child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
@@ -233,6 +242,7 @@
         <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="1144101972840" name="jetbrains.mps.lang.smodel.structure.OperationParm_Concept" flags="ng" index="1xMEDy">
         <child id="1207343664468" name="conceptArgument" index="ri$Ld" />
       </concept>
@@ -262,13 +272,6 @@
         <property id="8575328350543493365" name="message" index="huDt6" />
         <property id="2423417345669755629" name="filter" index="1eyWvh" />
       </concept>
-      <concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
-        <property id="709746936026609031" name="linkId" index="3V$3ak" />
-        <property id="709746936026609029" name="role_DebugInfo" index="3V$3am" />
-      </concept>
-      <concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
-        <child id="3078666699043039389" name="commentedNode" index="8Wnug" />
-      </concept>
     </language>
     <language id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text">
       <concept id="155656958578482948" name="jetbrains.mps.lang.text.structure.Word" flags="ng" index="3oM_SD">
@@ -325,6 +328,7 @@
         <reference id="6097203247219331496" name="extends" index="3tg4Y$" />
         <child id="1618328391714763070" name="macro" index="0oKgB" />
       </concept>
+      <concept id="6928531011217292466" name="jetbrains.mps.lang.coderules.structure.IsfreeVariableConstraint" flags="ng" index="2aLmEc" />
       <concept id="6928531011217258898" name="jetbrains.mps.lang.coderules.structure.LogicVariableConstraint" flags="ng" index="2aLIYG">
         <child id="6928531011217290187" name="variable" index="2aLmnP" />
       </concept>
@@ -804,390 +808,10 @@
       </node>
     </node>
   </node>
-  <node concept="ns1xd" id="4E290qPYB4i">
-    <property role="TrG5h" value="ClosureTerms" />
-    <node concept="ns1x$" id="4lCLOtwq2MF" role="ns1xc">
-      <property role="TrG5h" value="type" />
-      <property role="3uGXoX" value="true" />
-      <node concept="nspSf" id="4lCLOtwq2MG" role="ns1xx" />
-    </node>
-    <node concept="ns1x$" id="6$MmqWflYd6" role="ns1xc">
-      <property role="TrG5h" value="function" />
-      <ref role="ns1xW" node="4lCLOtwq2MF" resolve="type" />
-      <node concept="nspSf" id="6$MmqWflYd7" role="ns1xx">
-        <node concept="nstbe" id="6$MmqWflYdg" role="nspSe">
-          <property role="TrG5h" value="result" />
-        </node>
-        <node concept="nsiOd" id="6$MmqWflYdw" role="nspSe">
-          <property role="TrG5h" value="params" />
-        </node>
-      </node>
-    </node>
-    <node concept="ns1x$" id="5jbgz$E6ihs" role="ns1xc">
-      <property role="TrG5h" value="sequence" />
-      <ref role="ns1xW" node="4lCLOtwq2MF" resolve="type" />
-      <node concept="nspSf" id="5jbgz$E6iht" role="ns1xx">
-        <node concept="nstbe" id="5jbgz$E6ihE" role="nspSe">
-          <property role="TrG5h" value="parameter" />
-        </node>
-      </node>
-    </node>
-  </node>
-  <node concept="AVZre" id="6$MmqWfm_Qc">
-    <property role="3GE5qa" value="rule" />
-    <property role="TrG5h" value="ConversionFunctionTypes" />
-    <ref role="2YbDB9" to="kqnc:24Vro6cM_J$" resolve="ConversionMain" />
-    <node concept="3AqmO8" id="6$MmqWfmATa" role="8PkJo">
-      <property role="TrG5h" value="convertsLists" />
-      <node concept="1zAUYm" id="6$MmqWfmATh" role="1zAUyy">
-        <property role="TrG5h" value="left" />
-        <node concept="VbTHi" id="6$MmqWfmATm" role="3gTf24" />
-      </node>
-      <node concept="1zAUYm" id="6$MmqWfmATp" role="1zAUyy">
-        <property role="TrG5h" value="right" />
-        <node concept="VbTHi" id="6$MmqWfmATw" role="3gTf24" />
-      </node>
-    </node>
-    <node concept="1nLNMY" id="6$MmqWfm_Qd" role="1nK1Vg">
-      <property role="TrG5h" value="convertsTo_functionType" />
-      <node concept="3clFbS" id="6$MmqWfm_Qe" role="1nLNMH">
-        <node concept="1nLNNL" id="6$MmqWfm_Ql" role="3cqZAp">
-          <node concept="1nLNMm" id="6$MmqWfm_Qn" role="1nLNNK">
-            <node concept="3Aq93q" id="6$MmqWfm_Uv" role="1nLNMb">
-              <node concept="3I6sU6" id="6$MmqWfm_Uw" role="3Ip0Jz">
-                <node concept="3I6s7M" id="6$MmqWfmA9c" role="3I6sU7">
-                  <node concept="3Aqt3T" id="6$MmqWfmA9b" role="3I6s78">
-                    <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
-                    <node concept="1HFMs5" id="6$MmqWfmA9k" role="3AunhB">
-                      <node concept="a7P8L" id="6$MmqWfmA9h" role="1uarlU">
-                        <ref role="a7OzE" node="6$MmqWfm_Qu" resolve="FunL" />
-                      </node>
-                      <node concept="ns1u0" id="6$MmqWfmA9w" role="1uarlW">
-                        <ref role="ns1xF" node="6$MmqWflYd6" resolve="function" />
-                        <node concept="nsMwS" id="6$MmqWfmA9y" role="ns1xD">
-                          <ref role="nsMwP" node="6$MmqWflYdw" resolve="params" />
-                          <node concept="1nq8_$" id="6$MmqWfmA9B" role="nsMwV">
-                            <node concept="a7P8L" id="6$MmqWfmA9A" role="1nq8_t">
-                              <ref role="a7OzE" node="6$MmqWfm_Rk" resolve="ParamsL" />
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="nsMwS" id="6$MmqWfmAOi" role="ns1xD">
-                          <ref role="nsMwP" node="6$MmqWflYdg" resolve="result" />
-                          <node concept="1nq8_$" id="6$MmqWfmAOq" role="nsMwV">
-                            <node concept="a7P8L" id="6$MmqWfmAOp" role="1nq8_t">
-                              <ref role="a7OzE" node="6$MmqWfm_Tg" resolve="ResL" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="1HFMs5" id="6$MmqWfmAP5" role="3AunhB">
-                      <node concept="a7P8L" id="6$MmqWfmAOM" role="1uarlU">
-                        <ref role="a7OzE" node="6$MmqWfm_QO" resolve="FunR" />
-                      </node>
-                      <node concept="ns1u0" id="6$MmqWfmAPx" role="1uarlW">
-                        <ref role="ns1xF" node="6$MmqWflYd6" resolve="function" />
-                        <node concept="nsMwS" id="6$MmqWfmAPz" role="ns1xD">
-                          <ref role="nsMwP" node="6$MmqWflYdw" resolve="params" />
-                          <node concept="1nq8_$" id="6$MmqWfmAPC" role="nsMwV">
-                            <node concept="a7P8L" id="6$MmqWfmAPB" role="1nq8_t">
-                              <ref role="a7OzE" node="6$MmqWfm_SL" resolve="ParamsR" />
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="nsMwS" id="6$MmqWfmAPF" role="ns1xD">
-                          <ref role="nsMwP" node="6$MmqWflYdg" resolve="result" />
-                          <node concept="1nq8_$" id="6$MmqWfmAPX" role="nsMwV">
-                            <node concept="a7P8L" id="6$MmqWfmAPW" role="1nq8_t">
-                              <ref role="a7OzE" node="6$MmqWfm_TR" resolve="ResR" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="6$MmqWfm_Qt" role="0Rg$4">
-              <node concept="aZer4" id="6$MmqWfm_Qu" role="3XD1gS">
-                <property role="TrG5h" value="FunL" />
-              </node>
-              <node concept="aZer4" id="6$MmqWfm_QO" role="3XD1gS">
-                <property role="TrG5h" value="FunR" />
-              </node>
-              <node concept="aZer4" id="6$MmqWfm_Tg" role="3XD1gS">
-                <property role="TrG5h" value="ResL" />
-              </node>
-              <node concept="aZer4" id="6$MmqWfm_TR" role="3XD1gS">
-                <property role="TrG5h" value="ResR" />
-              </node>
-              <node concept="32pEOW" id="6$MmqWfm_QE" role="3vLBG7" />
-            </node>
-            <node concept="3NuqgR" id="6$MmqWfm_Rj" role="0Rg$4">
-              <node concept="aZer4" id="6$MmqWfm_Rk" role="3XD1gS">
-                <property role="TrG5h" value="ParamsL" />
-              </node>
-              <node concept="aZer4" id="6$MmqWfm_SL" role="3XD1gS">
-                <property role="TrG5h" value="ParamsR" />
-              </node>
-              <node concept="VbTHi" id="6$MmqWfm_R$" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="6$MmqWfmAQa" role="3xSepv">
-              <node concept="3Aq9E8" id="6$MmqWfmAQb" role="3xSepj">
-                <node concept="3I6sU6" id="6$MmqWfmAQc" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6$MmqWfmAQi" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6$MmqWfmAR5" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:ONSj15RYDg" resolve="compatibleWith" />
-                      <node concept="a7P8L" id="6$MmqWfmARa" role="3AunhB">
-                        <ref role="a7OzE" node="6$MmqWfm_Tg" resolve="ResL" />
-                      </node>
-                      <node concept="a7P8L" id="6$MmqWfmARk" role="3AunhB">
-                        <ref role="a7OzE" node="6$MmqWfm_TR" resolve="ResR" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="6$MmqWfmAT_" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6$MmqWfmATz" role="3I6s78">
-                      <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
-                      <node concept="a7P8L" id="6$MmqWfmBap" role="3AunhB">
-                        <ref role="a7OzE" node="6$MmqWfm_SL" resolve="ParamsR" />
-                      </node>
-                      <node concept="a7P8L" id="6$MmqWfmBcJ" role="3AunhB">
-                        <ref role="a7OzE" node="6$MmqWfm_Rk" resolve="ParamsL" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="1nLNMY" id="6$MmqWfmARy" role="1nK1Vg">
-      <property role="TrG5h" value="convertsLists_induction" />
-      <node concept="3clFbS" id="6$MmqWfmARz" role="1nLNMH">
-        <node concept="1nLNNL" id="6$MmqWfmASi" role="3cqZAp">
-          <node concept="1nLNMm" id="6$MmqWfmASj" role="1nLNNK">
-            <node concept="3Aq93q" id="6$MmqWfmAT6" role="1nLNMb">
-              <node concept="3I6sU6" id="6$MmqWfmAT7" role="3Ip0Jz">
-                <node concept="3I6s7M" id="6$MmqWfmAWl" role="3I6sU7">
-                  <node concept="3Aqt3T" id="6$MmqWfmAWk" role="3I6s78">
-                    <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
-                    <node concept="1HFMs5" id="6$MmqWfmB1J" role="3AunhB">
-                      <node concept="a7P8L" id="6$MmqWfmB1F" role="1uarlU">
-                        <ref role="a7OzE" node="6$MmqWfmASo" resolve="L" />
-                      </node>
-                      <node concept="Hz6ka" id="6$MmqWfmB2m" role="1uarlW">
-                        <node concept="1Pxxm1" id="6$MmqWfmB2v" role="Hz6kd">
-                          <node concept="3wAshV" id="6$MmqWfmB8p" role="1Pxxm0">
-                            <node concept="a7P8L" id="6$MmqWfmB8o" role="3wAq21">
-                              <ref role="a7OzE" node="6$MmqWfmB71" resolve="LHead" />
-                            </node>
-                          </node>
-                          <node concept="3wAshV" id="6$MmqWfmB8y" role="1Pxxm2">
-                            <node concept="a7P8L" id="6$MmqWfmB8x" role="3wAq21">
-                              <ref role="a7OzE" node="6$MmqWfmB5c" resolve="LTail" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="1HFMs5" id="6$MmqWfmB8F" role="3AunhB">
-                      <node concept="a7P8L" id="6$MmqWfmAYc" role="1uarlU">
-                        <ref role="a7OzE" node="6$MmqWfmASI" resolve="R" />
-                      </node>
-                      <node concept="Hz6ka" id="6$MmqWfmB9m" role="1uarlW">
-                        <node concept="1Pxxm1" id="6$MmqWfmB9q" role="Hz6kd">
-                          <node concept="3wAshV" id="6$MmqWfmB9t" role="1Pxxm2">
-                            <node concept="a7P8L" id="6$MmqWfmB9I" role="3wAq21">
-                              <ref role="a7OzE" node="6$MmqWfmB62" resolve="RTail" />
-                            </node>
-                          </node>
-                          <node concept="3wAshV" id="6$MmqWfmB9A" role="1Pxxm0">
-                            <node concept="a7P8L" id="6$MmqWfmB9_" role="3wAq21">
-                              <ref role="a7OzE" node="6$MmqWfmB7$" resolve="RHead" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="6$MmqWfmASn" role="0Rg$4">
-              <node concept="aZer4" id="6$MmqWfmASo" role="3XD1gS">
-                <property role="TrG5h" value="L" />
-              </node>
-              <node concept="aZer4" id="6$MmqWfmASI" role="3XD1gS">
-                <property role="TrG5h" value="R" />
-              </node>
-              <node concept="aZer4" id="6$MmqWfmB5c" role="3XD1gS">
-                <property role="TrG5h" value="LTail" />
-              </node>
-              <node concept="aZer4" id="6$MmqWfmB62" role="3XD1gS">
-                <property role="TrG5h" value="RTail" />
-              </node>
-              <node concept="VbTHi" id="6$MmqWfmAS$" role="3vLBG7" />
-            </node>
-            <node concept="3NuqgR" id="6$MmqWfmB70" role="0Rg$4">
-              <node concept="aZer4" id="6$MmqWfmB71" role="3XD1gS">
-                <property role="TrG5h" value="LHead" />
-              </node>
-              <node concept="aZer4" id="6$MmqWfmB7$" role="3XD1gS">
-                <property role="TrG5h" value="RHead" />
-              </node>
-              <node concept="32pEOW" id="6$MmqWfmB7j" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="6$MmqWfmAYE" role="3xSepv">
-              <node concept="3Aq9E8" id="6$MmqWfmAYF" role="3xSepj">
-                <node concept="3I6sU6" id="6$MmqWfmAYG" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6$MmqWfmBa2" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6$MmqWfmBa1" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
-                      <node concept="a7P8L" id="6$MmqWfmBa7" role="3AunhB">
-                        <ref role="a7OzE" node="6$MmqWfmB71" resolve="LHead" />
-                      </node>
-                      <node concept="a7P8L" id="6$MmqWfmBah" role="3AunhB">
-                        <ref role="a7OzE" node="6$MmqWfmB7$" resolve="RHead" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="6$MmqWfmBhZ" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6$MmqWfmBhX" role="3I6s78">
-                      <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
-                      <node concept="a7P8L" id="6$MmqWfmBia" role="3AunhB">
-                        <ref role="a7OzE" node="6$MmqWfmB5c" resolve="LTail" />
-                      </node>
-                      <node concept="a7P8L" id="6$MmqWfmBiL" role="3AunhB">
-                        <ref role="a7OzE" node="6$MmqWfmB62" resolve="RTail" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="1nLNMY" id="6$MmqWfmBjk" role="1nK1Vg">
-      <property role="TrG5h" value="convertsLists_trivial" />
-      <node concept="3clFbS" id="6$MmqWfmBjl" role="1nLNMH">
-        <node concept="1nLNNL" id="6$MmqWfmBjm" role="3cqZAp">
-          <node concept="1nLNMm" id="6$MmqWfmBjn" role="1nLNNK">
-            <node concept="3Aq93q" id="6$MmqWfmBjo" role="1nLNMb">
-              <node concept="3I6sU6" id="6$MmqWfmBjp" role="3Ip0Jz">
-                <node concept="3I6s7M" id="6$MmqWfmBjq" role="3I6sU7">
-                  <node concept="3Aqt3T" id="6$MmqWfmBjr" role="3I6s78">
-                    <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
-                    <node concept="1HFMs5" id="6$MmqWfmBjs" role="3AunhB">
-                      <node concept="a7P8L" id="6$MmqWfmBjt" role="1uarlU">
-                        <ref role="a7OzE" node="6$MmqWfmBjH" resolve="L" />
-                      </node>
-                      <node concept="Hz6ka" id="6$MmqWfmBju" role="1uarlW">
-                        <node concept="KCUsM" id="6$MmqWfmBri" role="Hz6kd" />
-                      </node>
-                    </node>
-                    <node concept="1HFMs5" id="6$MmqWfmBj$" role="3AunhB">
-                      <node concept="a7P8L" id="6$MmqWfmBj_" role="1uarlU">
-                        <ref role="a7OzE" node="6$MmqWfmBjI" resolve="R" />
-                      </node>
-                      <node concept="Hz6ka" id="6$MmqWfmBjA" role="1uarlW">
-                        <node concept="KCUsM" id="6$MmqWfmBrS" role="Hz6kd" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="6$MmqWfmBjG" role="0Rg$4">
-              <node concept="aZer4" id="6$MmqWfmBjH" role="3XD1gS">
-                <property role="TrG5h" value="L" />
-              </node>
-              <node concept="aZer4" id="6$MmqWfmBjI" role="3XD1gS">
-                <property role="TrG5h" value="R" />
-              </node>
-              <node concept="VbTHi" id="6$MmqWfmBjL" role="3vLBG7" />
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="1nLNMY" id="6$MmqWfmBwC" role="1nK1Vg">
-      <property role="TrG5h" value="convertsLists_default" />
-      <node concept="3clFbS" id="6$MmqWfmBwD" role="1nLNMH">
-        <node concept="1nLNNL" id="6$MmqWfmBwE" role="3cqZAp">
-          <node concept="1nLNMm" id="6$MmqWfmBwF" role="1nLNNK">
-            <node concept="3Aq93q" id="6$MmqWfmBwG" role="1nLNMb">
-              <node concept="3I6sU6" id="6$MmqWfmBwH" role="3Ip0Jz">
-                <node concept="3I6s7M" id="6$MmqWfmBwI" role="3I6sU7">
-                  <node concept="3Aqt3T" id="6$MmqWfmBwJ" role="3I6s78">
-                    <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
-                    <node concept="a7P8L" id="6$MmqWfmBwL" role="3AunhB">
-                      <ref role="a7OzE" node="6$MmqWfmBwT" resolve="L" />
-                    </node>
-                    <node concept="a7P8L" id="6$MmqWfmBwP" role="3AunhB">
-                      <ref role="a7OzE" node="6$MmqWfmBwU" resolve="R" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="6$MmqWfmBwS" role="0Rg$4">
-              <node concept="aZer4" id="6$MmqWfmBwT" role="3XD1gS">
-                <property role="TrG5h" value="L" />
-              </node>
-              <node concept="aZer4" id="6$MmqWfmBwU" role="3XD1gS">
-                <property role="TrG5h" value="R" />
-              </node>
-              <node concept="VbTHi" id="6$MmqWfmBwX" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="6$MmqWfmBDk" role="3xSepv">
-              <node concept="3Aq9E8" id="6$MmqWfmBDl" role="3xSepj">
-                <node concept="3I6sU6" id="6$MmqWfmBDm" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6$MmqWfmBDr" role="3I6sU7">
-                    <node concept="3wWvb2" id="6jkHA5M_Vme" role="3I6s78">
-                      <node concept="3clFbT" id="6jkHA5M_Vmg" role="3wWo3s" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-  </node>
   <node concept="AVZre" id="4S1mDSNOe5f">
     <property role="3GE5qa" value="rule" />
     <property role="TrG5h" value="Closures" />
     <ref role="2YbDB9" to="kqnc:6qJjpCjlmVR" resolve="CheckAll" />
-    <node concept="3AqmO8" id="4S1mDSNSsgi" role="8PkJo">
-      <property role="TrG5h" value="inferenceVar" />
-      <node concept="1zAUYm" id="4S1mDSNSskv" role="1zAUyy">
-        <property role="TrG5h" value="source" />
-        <node concept="3Tqbb2" id="4S1mDSNSskA" role="3gTf24" />
-      </node>
-      <node concept="1zAUYm" id="4S1mDSNSskn" role="1zAUyy">
-        <property role="TrG5h" value="var" />
-        <node concept="32pEOW" id="4S1mDSNSsks" role="3gTf24" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="zb1Nk6ZgeG" role="8PkJo">
-      <property role="TrG5h" value="recInvoke" />
-      <node concept="1zAUYm" id="zb1Nk6ZguR" role="1zAUyy">
-        <property role="TrG5h" value="expr" />
-        <node concept="3Tqbb2" id="zb1Nk6ZguW" role="3gTf24" />
-      </node>
-      <node concept="1zAUYm" id="zb1Nk6ZguZ" role="1zAUyy">
-        <property role="TrG5h" value="type" />
-        <node concept="32pEOW" id="zb1Nk6Zgv6" role="3gTf24" />
-      </node>
-    </node>
     <node concept="1nLNMY" id="4S1mDSNOe5g" role="1nK1Vg">
       <property role="TrG5h" value="closureLiteral" />
       <node concept="3clFbS" id="4S1mDSNOe5h" role="1nLNMH">
@@ -2108,47 +1732,141 @@
         </node>
       </node>
     </node>
-    <node concept="1X3_iC" id="zb1Nk6YYkJ" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="4Z0pyZIG0v6" role="8Wnug">
-        <property role="TrG5h" value="inferenceVar_discharge" />
-        <node concept="3clFbS" id="4Z0pyZIG0v7" role="1nLNMH">
-          <node concept="1nLNNL" id="4Z0pyZIG0Th" role="3cqZAp">
-            <node concept="1nLNMm" id="4Z0pyZIG0Ti" role="1nLNNK">
-              <node concept="3Aq93q" id="4Z0pyZIG0U$" role="1nLNMb">
-                <node concept="3I6sU6" id="4Z0pyZIG0U_" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4Z0pyZIG0Vl" role="3I6sU7">
-                    <node concept="3Aqt3T" id="4Z0pyZIG0Vk" role="3I6s78">
-                      <ref role="3AqCNq" node="4S1mDSNSsgi" resolve="inferenceVar" />
-                      <node concept="a7P8L" id="4Z0pyZIG0Vs" role="3AunhB">
-                        <ref role="a7OzE" node="4Z0pyZIG0TQ" resolve="Target" />
+    <node concept="1nLNMY" id="4S1mDSNQcAu" role="1nK1Vg">
+      <property role="TrG5h" value="invokeOp" />
+      <node concept="3clFbS" id="4S1mDSNQcAv" role="1nLNMH">
+        <node concept="3clFbH" id="4S1mDSNQcAw" role="3cqZAp" />
+        <node concept="3cpWs8" id="4S1mDSNQcAx" role="3cqZAp">
+          <node concept="3cpWsn" id="4S1mDSNQcAy" role="3cpWs9">
+            <property role="TrG5h" value="args" />
+            <node concept="2I9FWS" id="4S1mDSNQcAz" role="1tU5fm">
+              <ref role="2I9WkF" to="tpee:fz3vP1J" resolve="Expression" />
+            </node>
+            <node concept="2OqwBi" id="4S1mDSNQcA$" role="33vP2m">
+              <node concept="3A2sRY" id="4S1mDSNQcA_" role="2Oq$k0">
+                <ref role="3A2yKK" node="4S1mDSNQcCb" resolve="inv" />
+              </node>
+              <node concept="3Tsc0h" id="4S1mDSNQhVK" role="2OqNvi">
+                <ref role="3TtcxE" to="tp2c:hPBdPZc" resolve="parameter" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="4S1mDSNQcAB" role="3cqZAp" />
+        <node concept="1nLNNL" id="4S1mDSNQcAC" role="3cqZAp">
+          <node concept="1nLNMm" id="4S1mDSNQcAD" role="1nLNNK">
+            <node concept="3Aq93q" id="4S1mDSNQcAE" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="4S1mDSNQcAF" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4S1mDSNQcAG" role="3I6sU7">
+                  <node concept="3Aqt3T" id="4S1mDSNQcAH" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="37jhX" id="4S1mDSNQcAI" role="3AunhB">
+                      <node concept="2OqwBi" id="4S1mDSNQcAJ" role="37jj2">
+                        <node concept="3A2sRY" id="4S1mDSNQcAK" role="2Oq$k0">
+                          <ref role="3A2yKK" node="4S1mDSNQcCb" resolve="inv" />
+                        </node>
+                        <node concept="2qgKlT" id="4S1mDSNQjh8" role="2OqNvi">
+                          <ref role="37wK5l" to="tpek:hEwIP$m" resolve="getOperand" />
+                        </node>
                       </node>
-                      <node concept="a7P8L" id="4Z0pyZIG0Xf" role="3AunhB">
-                        <ref role="a7OzE" node="4Z0pyZIG0To" resolve="Var" />
+                    </node>
+                    <node concept="a7P8L" id="4S1mDSNQcAM" role="3AunhB">
+                      <ref role="a7OzE" node="4S1mDSNQcB5" resolve="FunT" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="4S1mDSNQcAN" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="4S1mDSNQcAO" role="3Ip0Jz">
+                <node concept="3IrJb3" id="4S1mDSNQcAP" role="3I6sU7">
+                  <node concept="3clFbS" id="4S1mDSNQcAQ" role="3IrJb0">
+                    <node concept="1DcWWT" id="4S1mDSNQcAR" role="3cqZAp">
+                      <node concept="3cpWsn" id="4S1mDSNQcAS" role="1Duv9x">
+                        <property role="TrG5h" value="arg" />
+                        <node concept="3Tqbb2" id="4S1mDSNQcAT" role="1tU5fm">
+                          <ref role="ehGHo" to="tpee:fz3vP1J" resolve="Expression" />
+                        </node>
+                      </node>
+                      <node concept="37vLTw" id="4S1mDSNQcAU" role="1DdaDG">
+                        <ref role="3cqZAo" node="4S1mDSNQcAy" resolve="args" />
+                      </node>
+                      <node concept="3clFbS" id="4S1mDSNQcAV" role="2LFqv$">
+                        <node concept="3Aqczg" id="4S1mDSNQcAW" role="3cqZAp">
+                          <node concept="3Aqt3T" id="4S1mDSNQcAX" role="3Aqpz8">
+                            <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                            <node concept="37jhX" id="4S1mDSNQcAY" role="3AunhB">
+                              <node concept="37vLTw" id="4S1mDSNQcAZ" role="37jj2">
+                                <ref role="3cqZAo" node="4S1mDSNQcAS" resolve="arg" />
+                              </node>
+                            </node>
+                            <node concept="a7P8L" id="4S1mDSNQcB0" role="3AunhB">
+                              <ref role="a7OzE" node="4S1mDSNQcB6" resolve="ArgsT" />
+                              <node concept="2OqwBi" id="4S1mDSNQcB1" role="3gCZO6">
+                                <node concept="37vLTw" id="4S1mDSNQcB2" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="4S1mDSNQcAS" resolve="arg" />
+                                </node>
+                                <node concept="2bSWHS" id="4S1mDSNQcB3" role="2OqNvi" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
                       </node>
                     </node>
                   </node>
                 </node>
               </node>
-              <node concept="3NuqgR" id="4Z0pyZIG0Tn" role="0Rg$4">
-                <node concept="aZer4" id="4Z0pyZIG0To" role="3XD1gS">
-                  <property role="TrG5h" value="Var" />
-                </node>
-                <node concept="32pEOW" id="4Z0pyZIG0T$" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="4S1mDSNQcB4" role="0Rg$4">
+              <node concept="aZer4" id="4S1mDSNQcB5" role="3XD1gS">
+                <property role="TrG5h" value="FunT" />
               </node>
-              <node concept="3NuqgR" id="4Z0pyZIG0TP" role="0Rg$4">
-                <node concept="aZer4" id="4Z0pyZIG0TQ" role="3XD1gS">
-                  <property role="TrG5h" value="Target" />
-                </node>
-                <node concept="3Tqbb2" id="4Z0pyZIG0U5" role="3vLBG7" />
+              <node concept="aZer4" id="5QlJgjTDLOq" role="3XD1gS">
+                <property role="TrG5h" value="RetT" />
               </node>
-              <node concept="3Aq9_M" id="4Z0pyZIG0ZP" role="1nLNMa">
-                <node concept="3I6sU6" id="4Z0pyZIG0ZQ" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4Z0pyZIG0ZU" role="3I6sU7">
-                    <node concept="2aM9Np" id="4Z0pyZIG0ZT" role="3I6s78">
-                      <node concept="a7P8L" id="4Z0pyZIG0ZZ" role="2aLmnP">
-                        <ref role="a7OzE" node="4Z0pyZIG0To" resolve="Var" />
+              <node concept="aZer4" id="4S1mDSNQcB6" role="3XD1gS">
+                <property role="TrG5h" value="ArgsT" />
+                <node concept="2OqwBi" id="4S1mDSNQcB7" role="3gj$pD">
+                  <node concept="37vLTw" id="4S1mDSNQcB8" role="2Oq$k0">
+                    <ref role="3cqZAo" node="4S1mDSNQcAy" resolve="args" />
+                  </node>
+                  <node concept="34oBXx" id="4S1mDSNQcB9" role="2OqNvi" />
+                </node>
+              </node>
+              <node concept="32pEOW" id="4S1mDSNQcBe" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="4S1mDSNQcBn" role="3xSepv">
+              <node concept="3Aq9E8" id="4S1mDSNQcBo" role="3xSepj">
+                <node concept="3I6sU6" id="4S1mDSNQcBp" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="4S1mDSNQyrH" role="3I6sU7">
+                    <node concept="3jm4v3" id="4S1mDSNQyrM" role="3I6s78">
+                      <ref role="3jm46O" node="4S1mDSNQjm4" resolve="checkInvoke" />
+                      <node concept="37vLTw" id="4S1mDSNQyrO" role="3jicU7">
+                        <ref role="3cqZAo" node="4S1mDSNQcAy" resolve="args" />
+                      </node>
+                      <node concept="a7P8L" id="5QlJgjTDN5m" role="3jm6SO">
+                        <ref role="a7OzE" node="5QlJgjTDLOq" resolve="RetT" />
+                      </node>
+                      <node concept="a7P8L" id="4S1mDSNQyrP" role="3jm6SO">
+                        <ref role="a7OzE" node="4S1mDSNQcB5" resolve="FunT" />
+                      </node>
+                      <node concept="a7P8L" id="4S1mDSNQyrQ" role="3jm6SO">
+                        <ref role="a7OzE" node="4S1mDSNQcB6" resolve="ArgsT" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="5QlJgjTDN5D" role="3I6sU7">
+                    <node concept="3Aqt3T" id="5QlJgjTDN5B" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="5QlJgjTDN5Q" role="3AunhB">
+                        <node concept="3A2sRY" id="5QlJgjTDN5O" role="37jj2">
+                          <ref role="3A2yKK" node="4S1mDSNQcCb" resolve="inv" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="5QlJgjTDN66" role="3AunhB">
+                        <ref role="a7OzE" node="5QlJgjTDLOq" resolve="RetT" />
                       </node>
                     </node>
                   </node>
@@ -2158,82 +1876,57 @@
           </node>
         </node>
       </node>
+      <node concept="2t___k" id="4S1mDSNQcCa" role="1nLNMg">
+        <ref role="2t_S0q" to="tp2c:hPBd92j" resolve="InvokeFunctionOperation" />
+        <node concept="3A20r5" id="4S1mDSNQcCb" role="2t_VXX">
+          <property role="TrG5h" value="inv" />
+        </node>
+      </node>
     </node>
-    <node concept="1nLNMY" id="4S1mDSNPDSl" role="1nK1Vg">
-      <property role="TrG5h" value="invokeExpr" />
-      <node concept="3clFbS" id="4S1mDSNPDSm" role="1nLNMH">
-        <node concept="3clFbH" id="4S1mDSNQ4Pc" role="3cqZAp" />
-        <node concept="3SKdUt" id="4Z0pyZICXqt" role="3cqZAp">
-          <node concept="1PaTwC" id="4Z0pyZICXs8" role="3ndbpf">
-            <node concept="3oM_SD" id="4Z0pyZICXqw" role="1PaTwD">
-              <property role="3oM_SC" value="todo:" />
-            </node>
-            <node concept="3oM_SD" id="4Z0pyZICXs0" role="1PaTwD">
-              <property role="3oM_SC" value="recursive" />
-            </node>
-            <node concept="3oM_SD" id="4Z0pyZICXsf" role="1PaTwD">
-              <property role="3oM_SC" value="call" />
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="4Z0pyZICXsn" role="3cqZAp" />
-        <node concept="3cpWs8" id="4S1mDSNQ4DN" role="3cqZAp">
-          <node concept="3cpWsn" id="4S1mDSNQ4DO" role="3cpWs9">
-            <property role="TrG5h" value="args" />
-            <node concept="2I9FWS" id="4S1mDSNQ4DP" role="1tU5fm">
-              <ref role="2I9WkF" to="tpee:fz3vP1J" resolve="Expression" />
-            </node>
-            <node concept="2OqwBi" id="4S1mDSNQ4DQ" role="33vP2m">
-              <node concept="3A2sRY" id="4S1mDSNQ4DR" role="2Oq$k0">
-                <ref role="3A2yKK" node="4S1mDSNPDU5" resolve="inv" />
-              </node>
-              <node concept="3Tsc0h" id="4S1mDSNQ4DS" role="2OqNvi">
-                <ref role="3TtcxE" to="tp2c:htkn_zo" resolve="parameter" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3cpWs8" id="htkotF5" role="3cqZAp">
-          <node concept="3cpWsn" id="htkotF6" role="3cpWs9">
+    <node concept="1nLNMY" id="5QlJgjTDQ0Q" role="1nK1Vg">
+      <property role="TrG5h" value="invokeExpr_invalid" />
+      <node concept="3clFbS" id="5QlJgjTDQ0R" role="1nLNMH">
+        <node concept="3cpWs8" id="5QlJgjTDQ0Y" role="3cqZAp">
+          <node concept="3cpWsn" id="5QlJgjTDQ0Z" role="3cpWs9">
             <property role="TrG5h" value="cl" />
             <property role="3TUv4t" value="true" />
-            <node concept="3Tqbb2" id="htkotF7" role="1tU5fm" />
-            <node concept="2OqwBi" id="hxx$VLb" role="33vP2m">
-              <node concept="2Xjw5R" id="htkotFa" role="2OqNvi">
-                <node concept="1xMEDy" id="htkotFb" role="1xVPHs">
-                  <node concept="chp4Y" id="hA2lvyc" role="ri$Ld">
+            <node concept="3Tqbb2" id="5QlJgjTDQ10" role="1tU5fm" />
+            <node concept="2OqwBi" id="5QlJgjTDQ11" role="33vP2m">
+              <node concept="2Xjw5R" id="5QlJgjTDQ12" role="2OqNvi">
+                <node concept="1xMEDy" id="5QlJgjTDQ13" role="1xVPHs">
+                  <node concept="chp4Y" id="5QlJgjTDQ14" role="ri$Ld">
                     <ref role="cht4Q" to="tp2c:htbVj4_" resolve="ClosureLiteral" />
                   </node>
                 </node>
               </node>
-              <node concept="3A2sRY" id="4S1mDSNPK4l" role="2Oq$k0">
-                <ref role="3A2yKK" node="4S1mDSNPDU5" resolve="inv" />
+              <node concept="3A2sRY" id="5QlJgjTDQ15" role="2Oq$k0">
+                <ref role="3A2yKK" node="5QlJgjTDQ4j" resolve="inv" />
               </node>
             </node>
           </node>
         </node>
-        <node concept="3clFbJ" id="4S1mDSNPK6_" role="3cqZAp">
-          <node concept="3clFbS" id="4S1mDSNPK6B" role="3clFbx">
-            <node concept="3clFbH" id="4Z0pyZICXu6" role="3cqZAp" />
-            <node concept="1nLNNL" id="4S1mDSNPKpT" role="3cqZAp">
-              <node concept="1nLNMm" id="4S1mDSNPKpV" role="1nLNNK">
-                <node concept="3Aq93q" id="4S1mDSNPKpZ" role="1nLNMb">
+        <node concept="3clFbJ" id="5QlJgjTDQ16" role="3cqZAp">
+          <node concept="3clFbS" id="5QlJgjTDQ17" role="3clFbx">
+            <node concept="3clFbH" id="5QlJgjTDQ18" role="3cqZAp" />
+            <node concept="1nLNNL" id="5QlJgjTDQ19" role="3cqZAp">
+              <node concept="1nLNMm" id="5QlJgjTDQ1a" role="1nLNNK">
+                <node concept="3Aq93q" id="5QlJgjTDQ1b" role="1nLNMb">
                   <property role="3ArMco" value="true" />
-                  <node concept="3I6sU6" id="4S1mDSNPKq0" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="4S1mDSNPKq4" role="3I6sU7">
-                      <node concept="3Aqt3T" id="4S1mDSNPKq3" role="3I6s78">
+                  <node concept="3I6sU6" id="5QlJgjTDQ1c" role="3Ip0Jz">
+                    <node concept="3I6s7M" id="5QlJgjTDQ1d" role="3I6sU7">
+                      <node concept="3Aqt3T" id="5QlJgjTDQ1e" role="3I6s78">
                         <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
                       </node>
                     </node>
                   </node>
                 </node>
-                <node concept="3xSepi" id="4S1mDSNPKql" role="3xSepv">
-                  <node concept="3Aq9E8" id="4S1mDSNPKqm" role="3xSepj">
-                    <node concept="3I6sU6" id="4S1mDSNPKqn" role="3Ip0Jz">
-                      <node concept="3I6s7M" id="4S1mDSNPKqs" role="3I6sU7">
-                        <node concept="1lHd6T" id="4S1mDSNPKqr" role="3I6s78">
+                <node concept="3xSepi" id="5QlJgjTDQ1f" role="3xSepv">
+                  <node concept="3Aq9E8" id="5QlJgjTDQ1g" role="3xSepj">
+                    <node concept="3I6sU6" id="5QlJgjTDQ1h" role="3Ip0Jz">
+                      <node concept="3I6s7M" id="5QlJgjTDQ1i" role="3I6sU7">
+                        <node concept="1lHd6T" id="5QlJgjTDQ1j" role="3I6s78">
                           <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
-                          <node concept="Xl_RD" id="4S1mDSNPKqv" role="1ljv2e">
+                          <node concept="Xl_RD" id="5QlJgjTDQ1k" role="1ljv2e">
                             <property role="Xl_RC" value="must be within closure" />
                           </node>
                         </node>
@@ -2243,396 +1936,621 @@
                 </node>
               </node>
             </node>
-            <node concept="3clFbH" id="4Z0pyZICXtS" role="3cqZAp" />
+            <node concept="3clFbH" id="5QlJgjTDQ1l" role="3cqZAp" />
           </node>
-          <node concept="2OqwBi" id="4S1mDSNPKgM" role="3clFbw">
-            <node concept="37vLTw" id="4S1mDSNPK8F" role="2Oq$k0">
-              <ref role="3cqZAo" node="htkotF6" resolve="cl" />
+          <node concept="2OqwBi" id="5QlJgjTDQ1m" role="3clFbw">
+            <node concept="37vLTw" id="5QlJgjTDQ1n" role="2Oq$k0">
+              <ref role="3cqZAo" node="5QlJgjTDQ0Z" resolve="cl" />
             </node>
-            <node concept="3w_OXm" id="4S1mDSNPKmr" role="2OqNvi" />
+            <node concept="3w_OXm" id="5QlJgjTDQ1o" role="2OqNvi" />
           </node>
-          <node concept="9aQIb" id="4S1mDSNPKr6" role="9aQIa">
-            <node concept="3clFbS" id="4S1mDSNPKr7" role="9aQI4">
-              <node concept="3clFbH" id="zb1Nk6ZbCd" role="3cqZAp" />
-              <node concept="3SKdUt" id="zb1Nk6Zd5w" role="3cqZAp">
-                <node concept="1PaTwC" id="zb1Nk6Zd5x" role="3ndbpf">
-                  <node concept="3oM_SD" id="zb1Nk6Zd5z" role="1PaTwD">
-                    <property role="3oM_SC" value="break" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zgbn" role="1PaTwD">
-                    <property role="3oM_SC" value="recursive" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zgb$" role="1PaTwD">
-                    <property role="3oM_SC" value="type" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6ZgbM" role="1PaTwD">
-                    <property role="3oM_SC" value="dependency:" />
-                  </node>
-                </node>
-                <node concept="1PaTwC" id="zb1Nk6Zgc2" role="3ndbpf">
-                  <node concept="3oM_SD" id="zb1Nk6Zgc1" role="1PaTwD">
-                    <property role="3oM_SC" value="type" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zgco" role="1PaTwD">
-                    <property role="3oM_SC" value="of" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zgc_" role="1PaTwD">
-                    <property role="3oM_SC" value="invoke" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6ZgcN" role="1PaTwD">
-                    <property role="3oM_SC" value="can" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zgd2" role="1PaTwD">
-                    <property role="3oM_SC" value="be" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zgdi" role="1PaTwD">
-                    <property role="3oM_SC" value="needed" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zgdz" role="1PaTwD">
-                    <property role="3oM_SC" value="to" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zd6M" role="1PaTwD">
-                    <property role="3oM_SC" value="build" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zd6P" role="1PaTwD">
-                    <property role="3oM_SC" value="closure" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zd6T" role="1PaTwD">
-                    <property role="3oM_SC" value="type" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zd7b" role="1PaTwD">
-                    <property role="3oM_SC" value="" />
+        </node>
+      </node>
+      <node concept="2t___k" id="5QlJgjTDQ4i" role="1nLNMg">
+        <ref role="2t_S0q" to="tp2c:htknjxq" resolve="InvokeExpression" />
+        <node concept="3A20r5" id="5QlJgjTDQ4j" role="2t_VXX">
+          <property role="TrG5h" value="inv" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="5QlJgjTDXeX" role="1nK1Vg">
+      <property role="TrG5h" value="invokeExpr_recUnbound" />
+      <node concept="3clFbS" id="5QlJgjTDXeY" role="1nLNMH">
+        <node concept="3cpWs8" id="5QlJgjTDXf5" role="3cqZAp">
+          <node concept="3cpWsn" id="5QlJgjTDXf6" role="3cpWs9">
+            <property role="TrG5h" value="cl" />
+            <property role="3TUv4t" value="true" />
+            <node concept="3Tqbb2" id="5QlJgjTDXf7" role="1tU5fm" />
+            <node concept="2OqwBi" id="5QlJgjTDXf8" role="33vP2m">
+              <node concept="2Xjw5R" id="5QlJgjTDXf9" role="2OqNvi">
+                <node concept="1xMEDy" id="5QlJgjTDXfa" role="1xVPHs">
+                  <node concept="chp4Y" id="5QlJgjTDXfb" role="ri$Ld">
+                    <ref role="cht4Q" to="tp2c:htbVj4_" resolve="ClosureLiteral" />
                   </node>
                 </node>
               </node>
-              <node concept="1nLNNL" id="zb1Nk6ZbE0" role="3cqZAp">
-                <node concept="1nLNMm" id="zb1Nk6ZbE2" role="1nLNNK">
-                  <node concept="3Aq93q" id="zb1Nk6ZbFF" role="1nLNMb">
-                    <property role="3ArMco" value="true" />
-                    <node concept="3I6sU6" id="zb1Nk6ZbFG" role="3Ip0Jz">
-                      <node concept="3I6s7M" id="zb1Nk6ZbFK" role="3I6sU7">
-                        <node concept="3Aqt3T" id="zb1Nk6ZbFJ" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3NuqgR" id="zb1Nk6ZbEZ" role="0Rg$4">
-                    <node concept="aZer4" id="zb1Nk6ZbF0" role="3XD1gS">
-                      <property role="TrG5h" value="UnboundRetT" />
-                    </node>
-                    <node concept="32pEOW" id="zb1Nk6ZbFc" role="3vLBG7" />
-                  </node>
-                  <node concept="3xSepi" id="zb1Nk6ZbFN" role="3xSepv">
-                    <node concept="3Aq9E8" id="zb1Nk6ZbFO" role="3xSepj">
-                      <node concept="3I6sU6" id="zb1Nk6ZbFP" role="3Ip0Jz">
-                        <node concept="3I6s7M" id="zb1Nk6ZbFU" role="3I6sU7">
-                          <node concept="3Aqt3T" id="zb1Nk6ZbFT" role="3I6s78">
-                            <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
-                            <node concept="37jhX" id="zb1Nk6ZbG1" role="3AunhB">
-                              <node concept="3A2sRY" id="zb1Nk6ZbFZ" role="37jj2">
-                                <ref role="3A2yKK" node="4S1mDSNPDU5" resolve="inv" />
-                              </node>
-                            </node>
-                            <node concept="a7P8L" id="zb1Nk6ZbGo" role="3AunhB">
-                              <ref role="a7OzE" node="zb1Nk6ZbF0" resolve="UnboundRetT" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3clFbH" id="4S1mDSNQbVU" role="3cqZAp" />
-              <node concept="3SKdUt" id="zb1Nk6Zg3r" role="3cqZAp">
-                <node concept="1PaTwC" id="zb1Nk6Zg8j" role="3ndbpf">
-                  <node concept="3oM_SD" id="zb1Nk6Zg7C" role="1PaTwD">
-                    <property role="3oM_SC" value="when" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zg7F" role="1PaTwD">
-                    <property role="3oM_SC" value="closure" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zg7J" role="1PaTwD">
-                    <property role="3oM_SC" value="type" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zg7O" role="1PaTwD">
-                    <property role="3oM_SC" value="is" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zg7U" role="1PaTwD">
-                    <property role="3oM_SC" value="already" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zg81" role="1PaTwD">
-                    <property role="3oM_SC" value="available" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zgal" role="1PaTwD">
-                    <property role="3oM_SC" value="but" />
-                  </node>
-                </node>
-                <node concept="1PaTwC" id="zb1Nk6Zga$" role="3ndbpf">
-                  <node concept="3oM_SD" id="zb1Nk6Zgaz" role="1PaTwD">
-                    <property role="3oM_SC" value="there're" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zg8E" role="1PaTwD">
-                    <property role="3oM_SC" value="free" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zg8P" role="1PaTwD">
-                    <property role="3oM_SC" value="variables" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zg8U" role="1PaTwD">
-                    <property role="3oM_SC" value="--" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zg90" role="1PaTwD">
-                    <property role="3oM_SC" value="not" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zg97" role="1PaTwD">
-                    <property role="3oM_SC" value="enough" />
-                  </node>
-                  <node concept="3oM_SD" id="zb1Nk6Zg9f" role="1PaTwD">
-                    <property role="3oM_SC" value="information" />
-                  </node>
-                </node>
-              </node>
-              <node concept="1nLNNL" id="zb1Nk6Zdcg" role="3cqZAp">
-                <node concept="1nLNMm" id="zb1Nk6Zdch" role="1nLNNK">
-                  <node concept="3Aq93q" id="zb1Nk6Zdci" role="1nLNMb">
-                    <property role="3ArMco" value="true" />
-                    <node concept="3I6sU6" id="zb1Nk6Zdcj" role="3Ip0Jz">
-                      <node concept="3I6s7M" id="zb1Nk6Zdck" role="3I6sU7">
-                        <node concept="3Aqt3T" id="zb1Nk6Zdgv" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
-                          <node concept="37jhX" id="zb1Nk6ZdgA" role="3AunhB">
-                            <node concept="3A2sRY" id="zb1Nk6Zdg$" role="37jj2">
-                              <ref role="3A2yKK" node="4S1mDSNPDU5" resolve="inv" />
-                            </node>
-                          </node>
-                          <node concept="a7P8L" id="zb1Nk6ZdgQ" role="3AunhB">
-                            <ref role="a7OzE" node="zb1Nk6Zdcn" resolve="InvokeRetT" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3Aq93q" id="zb1Nk6ZdgZ" role="1nLNMb">
-                    <property role="3ArMco" value="true" />
-                    <node concept="3I6sU6" id="zb1Nk6Zdh0" role="3Ip0Jz">
-                      <node concept="3I6s7M" id="zb1Nk6Zdhb" role="3I6sU7">
-                        <node concept="3Aqt3T" id="zb1Nk6Zdha" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
-                          <node concept="37jhX" id="zb1Nk6Zdhi" role="3AunhB">
-                            <node concept="37vLTw" id="zb1Nk6ZdiX" role="37jj2">
-                              <ref role="3cqZAo" node="htkotF6" resolve="cl" />
-                            </node>
-                          </node>
-                          <node concept="1HFMs5" id="zb1Nk6ZeDv" role="3AunhB">
-                            <node concept="a7P8L" id="zb1Nk6ZdiH" role="1uarlU">
-                              <ref role="a7OzE" node="zb1Nk6Zdhy" resolve="FunT" />
-                            </node>
-                            <node concept="ns1u0" id="zb1Nk6ZeDO" role="1uarlW">
-                              <ref role="ns1xF" node="6$MmqWflYd6" resolve="function" />
-                              <node concept="nsMwS" id="zb1Nk6ZeE2" role="ns1xD">
-                                <ref role="nsMwP" node="6$MmqWflYdg" resolve="result" />
-                                <node concept="1nq8_$" id="zb1Nk6ZeEJ" role="nsMwV">
-                                  <node concept="a7P8L" id="zb1Nk6ZeEI" role="1nq8_t">
-                                    <ref role="a7OzE" node="zb1Nk6ZeE6" resolve="RetT" />
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3NuqgR" id="zb1Nk6Zdcm" role="0Rg$4">
-                    <node concept="aZer4" id="zb1Nk6Zdcn" role="3XD1gS">
-                      <property role="TrG5h" value="InvokeRetT" />
-                    </node>
-                    <node concept="aZer4" id="zb1Nk6Zdhy" role="3XD1gS">
-                      <property role="TrG5h" value="FunT" />
-                    </node>
-                    <node concept="aZer4" id="zb1Nk6ZeE6" role="3XD1gS">
-                      <property role="TrG5h" value="RetT" />
-                    </node>
-                    <node concept="32pEOW" id="zb1Nk6Zdco" role="3vLBG7" />
-                  </node>
-                  <node concept="3xSepi" id="zb1Nk6Zdcp" role="3xSepv">
-                    <node concept="3Aq9E8" id="zb1Nk6Zdcq" role="3xSepj">
-                      <node concept="3I6sU6" id="zb1Nk6Zdcr" role="3Ip0Jz">
-                        <node concept="3I6s7M" id="zb1Nk6ZeFH" role="3I6sU7">
-                          <node concept="3Aqt3T" id="zb1Nk6ZeFF" role="3I6s78">
-                            <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
-                            <node concept="a7P8L" id="zb1Nk6ZeFR" role="3AunhB">
-                              <ref role="a7OzE" node="zb1Nk6Zdcn" resolve="InvokeRetT" />
-                            </node>
-                            <node concept="a7P8L" id="zb1Nk6ZeG1" role="3AunhB">
-                              <ref role="a7OzE" node="zb1Nk6ZeE6" resolve="RetT" />
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="3I6s7M" id="zb1Nk6Zdcs" role="3I6sU7">
-                          <node concept="2aM9Np" id="zb1Nk6Zg1k" role="3I6s78">
-                            <node concept="a7P8L" id="zb1Nk6Zg1n" role="2aLmnP">
-                              <ref role="a7OzE" node="zb1Nk6ZeE6" resolve="RetT" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3xSepi" id="zb1Nk6Zg6T" role="3xSepv">
-                    <node concept="3Aq9E8" id="zb1Nk6Zg6U" role="3xSepj">
-                      <node concept="3I6sU6" id="zb1Nk6Zg6V" role="3Ip0Jz">
-                        <node concept="3I6s7M" id="zb1Nk6Zg7a" role="3I6sU7">
-                          <node concept="1lHd6T" id="zb1Nk6Zg79" role="3I6s78">
-                            <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
-                            <node concept="Xl_RD" id="zb1Nk6Zg7d" role="1ljv2e">
-                              <property role="Xl_RC" value="closure return type can't be inferred" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3clFbH" id="zb1Nk6ZdaR" role="3cqZAp" />
-              <node concept="1nLNNL" id="4S1mDSNPDSo" role="3cqZAp">
-                <node concept="1nLNMm" id="4S1mDSNPDSp" role="1nLNNK">
-                  <node concept="3Aq93q" id="zb1Nk6ZbHJ" role="1nLNMb">
-                    <property role="3ArMco" value="true" />
-                    <node concept="3I6sU6" id="zb1Nk6ZbHK" role="3Ip0Jz">
-                      <node concept="3I6s7M" id="zb1Nk6ZbIo" role="3I6sU7">
-                        <node concept="3Aqt3T" id="zb1Nk6ZbIn" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
-                          <node concept="37jhX" id="zb1Nk6ZbIz" role="3AunhB">
-                            <node concept="37vLTw" id="zb1Nk6ZbIx" role="37jj2">
-                              <ref role="3cqZAo" node="htkotF6" resolve="cl" />
-                            </node>
-                          </node>
-                          <node concept="a7P8L" id="zb1Nk6ZbIK" role="3AunhB">
-                            <ref role="a7OzE" node="4S1mDSNPS4d" resolve="FunT" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3Aq93q" id="4S1mDSNPDSz" role="1nLNMb">
-                    <property role="3ArMco" value="true" />
-                    <node concept="3I6sU6" id="4S1mDSNPDS$" role="3Ip0Jz">
-                      <node concept="3IrJb3" id="4S1mDSNPDS_" role="3I6sU7">
-                        <node concept="3clFbS" id="4S1mDSNPDSA" role="3IrJb0">
-                          <node concept="1DcWWT" id="4S1mDSNPDSB" role="3cqZAp">
-                            <node concept="3cpWsn" id="4S1mDSNPDSC" role="1Duv9x">
-                              <property role="TrG5h" value="arg" />
-                              <node concept="3Tqbb2" id="4S1mDSNPDSD" role="1tU5fm">
-                                <ref role="ehGHo" to="tpee:fz3vP1J" resolve="Expression" />
-                              </node>
-                            </node>
-                            <node concept="37vLTw" id="4S1mDSNQ5hs" role="1DdaDG">
-                              <ref role="3cqZAo" node="4S1mDSNQ4DO" resolve="args" />
-                            </node>
-                            <node concept="3clFbS" id="4S1mDSNPDSH" role="2LFqv$">
-                              <node concept="3Aqczg" id="4S1mDSNPDSI" role="3cqZAp">
-                                <node concept="3Aqt3T" id="4S1mDSNPDSJ" role="3Aqpz8">
-                                  <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
-                                  <node concept="37jhX" id="4S1mDSNPDSK" role="3AunhB">
-                                    <node concept="37vLTw" id="4S1mDSNPDSL" role="37jj2">
-                                      <ref role="3cqZAo" node="4S1mDSNPDSC" resolve="arg" />
-                                    </node>
-                                  </node>
-                                  <node concept="a7P8L" id="4S1mDSNPDSM" role="3AunhB">
-                                    <ref role="a7OzE" node="4S1mDSNPDSS" resolve="ArgsT" />
-                                    <node concept="2OqwBi" id="4S1mDSNPDSN" role="3gCZO6">
-                                      <node concept="37vLTw" id="4S1mDSNPDSO" role="2Oq$k0">
-                                        <ref role="3cqZAo" node="4S1mDSNPDSC" resolve="arg" />
-                                      </node>
-                                      <node concept="2bSWHS" id="4S1mDSNPDSP" role="2OqNvi" />
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3NuqgR" id="4S1mDSNPDSQ" role="0Rg$4">
-                    <node concept="aZer4" id="4S1mDSNPS4d" role="3XD1gS">
-                      <property role="TrG5h" value="FunT" />
-                    </node>
-                    <node concept="aZer4" id="4S1mDSNPDSS" role="3XD1gS">
-                      <property role="TrG5h" value="ArgsT" />
-                      <node concept="2OqwBi" id="4S1mDSNPDST" role="3gj$pD">
-                        <node concept="37vLTw" id="4S1mDSNQ7Pz" role="2Oq$k0">
-                          <ref role="3cqZAo" node="4S1mDSNQ4DO" resolve="args" />
-                        </node>
-                        <node concept="34oBXx" id="4S1mDSNPDSX" role="2OqNvi" />
-                      </node>
-                    </node>
-                    <node concept="aZer4" id="4S1mDSNPDSY" role="3XD1gS">
-                      <property role="TrG5h" value="CapArgsT" />
-                      <node concept="2OqwBi" id="4S1mDSNPDSZ" role="3gj$pD">
-                        <node concept="37vLTw" id="4S1mDSNQ8WB" role="2Oq$k0">
-                          <ref role="3cqZAo" node="4S1mDSNQ4DO" resolve="args" />
-                        </node>
-                        <node concept="34oBXx" id="4S1mDSNPDT3" role="2OqNvi" />
-                      </node>
-                    </node>
-                    <node concept="32pEOW" id="4S1mDSNPDT4" role="3vLBG7" />
-                  </node>
-                  <node concept="3NuqgR" id="4S1mDSNPDT5" role="0Rg$4">
-                    <node concept="aZer4" id="4S1mDSNPDT6" role="3XD1gS">
-                      <property role="TrG5h" value="RetT" />
-                    </node>
-                    <node concept="aZer4" id="4S1mDSNPDT7" role="3XD1gS">
-                      <property role="TrG5h" value="CapRetT" />
-                    </node>
-                    <node concept="aZer4" id="4S1mDSNPDT8" role="3XD1gS">
-                      <property role="TrG5h" value="ParamsT" />
-                      <node concept="2OqwBi" id="4S1mDSNPDT9" role="3gj$pD">
-                        <node concept="37vLTw" id="4S1mDSNQap8" role="2Oq$k0">
-                          <ref role="3cqZAo" node="4S1mDSNQ4DO" resolve="args" />
-                        </node>
-                        <node concept="34oBXx" id="4S1mDSNPDTd" role="2OqNvi" />
-                      </node>
-                    </node>
-                    <node concept="32pEOW" id="4S1mDSNPDTe" role="3vLBG7" />
-                  </node>
-                  <node concept="3xSepi" id="4S1mDSNPDTf" role="3xSepv">
-                    <node concept="3Aq9E8" id="4S1mDSNPDTg" role="3xSepj">
-                      <node concept="3I6sU6" id="4S1mDSNPDTh" role="3Ip0Jz">
-                        <node concept="3I6s7M" id="4S1mDSNQx9m" role="3I6sU7">
-                          <node concept="3jm4v3" id="4S1mDSNQx9r" role="3I6s78">
-                            <ref role="3jm46O" node="4S1mDSNQjm4" resolve="typeOfInvoke" />
-                            <node concept="3A2sRY" id="4S1mDSNQx9s" role="3jicU7">
-                              <ref role="3A2yKK" node="4S1mDSNPDU5" resolve="inv" />
-                            </node>
-                            <node concept="37vLTw" id="4S1mDSNQx9t" role="3jicU7">
-                              <ref role="3cqZAo" node="4S1mDSNQ4DO" resolve="args" />
-                            </node>
-                            <node concept="a7P8L" id="4S1mDSNQx9u" role="3jm6SO">
-                              <ref role="a7OzE" node="4S1mDSNPS4d" resolve="FunT" />
-                            </node>
-                            <node concept="a7P8L" id="4S1mDSNQx9v" role="3jm6SO">
-                              <ref role="a7OzE" node="4S1mDSNPDSS" resolve="ArgsT" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
+              <node concept="3A2sRY" id="5QlJgjTDXfc" role="2Oq$k0">
+                <ref role="3A2yKK" node="5QlJgjTDXiq" resolve="inv" />
               </node>
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="4S1mDSNQcv_" role="3cqZAp" />
+        <node concept="3clFbJ" id="5QlJgjTDXfd" role="3cqZAp">
+          <node concept="2OqwBi" id="5QlJgjTE343" role="3clFbw">
+            <node concept="37vLTw" id="5QlJgjTE344" role="2Oq$k0">
+              <ref role="3cqZAo" node="5QlJgjTDXf6" resolve="cl" />
+            </node>
+            <node concept="3x8VRR" id="5QlJgjTE345" role="2OqNvi" />
+          </node>
+          <node concept="3clFbS" id="5QlJgjTDXfx" role="3clFbx">
+            <node concept="3clFbH" id="5QlJgjTDXfy" role="3cqZAp" />
+            <node concept="3SKdUt" id="5QlJgjTDXfz" role="3cqZAp">
+              <node concept="1PaTwC" id="5QlJgjTDXf$" role="3ndbpf">
+                <node concept="3oM_SD" id="5QlJgjTDXf_" role="1PaTwD">
+                  <property role="3oM_SC" value="break" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfA" role="1PaTwD">
+                  <property role="3oM_SC" value="possible" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfB" role="1PaTwD">
+                  <property role="3oM_SC" value="recursive" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfC" role="1PaTwD">
+                  <property role="3oM_SC" value="type" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfD" role="1PaTwD">
+                  <property role="3oM_SC" value="dependency:" />
+                </node>
+              </node>
+              <node concept="1PaTwC" id="5QlJgjTDXfE" role="3ndbpf">
+                <node concept="3oM_SD" id="5QlJgjTDXfF" role="1PaTwD">
+                  <property role="3oM_SC" value="type" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfG" role="1PaTwD">
+                  <property role="3oM_SC" value="of" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfH" role="1PaTwD">
+                  <property role="3oM_SC" value="invoke" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfI" role="1PaTwD">
+                  <property role="3oM_SC" value="can" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfJ" role="1PaTwD">
+                  <property role="3oM_SC" value="be" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfK" role="1PaTwD">
+                  <property role="3oM_SC" value="needed" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfL" role="1PaTwD">
+                  <property role="3oM_SC" value="to" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfM" role="1PaTwD">
+                  <property role="3oM_SC" value="build" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfN" role="1PaTwD">
+                  <property role="3oM_SC" value="closure" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfO" role="1PaTwD">
+                  <property role="3oM_SC" value="type" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTDXfP" role="1PaTwD">
+                  <property role="3oM_SC" value="" />
+                </node>
+              </node>
+            </node>
+            <node concept="1nLNNL" id="5QlJgjTDXfQ" role="3cqZAp">
+              <node concept="1nLNMm" id="5QlJgjTDXfR" role="1nLNNK">
+                <node concept="3Aq93q" id="5QlJgjTDXfS" role="1nLNMb">
+                  <property role="3ArMco" value="true" />
+                  <node concept="3I6sU6" id="5QlJgjTDXfT" role="3Ip0Jz">
+                    <node concept="3I6s7M" id="5QlJgjTDXfU" role="3I6sU7">
+                      <node concept="3Aqt3T" id="5QlJgjTDXfV" role="3I6s78">
+                        <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3NuqgR" id="5QlJgjTDXfW" role="0Rg$4">
+                  <node concept="aZer4" id="5QlJgjTDXfX" role="3XD1gS">
+                    <property role="TrG5h" value="UnboundRetT" />
+                  </node>
+                  <node concept="32pEOW" id="5QlJgjTDXfY" role="3vLBG7" />
+                </node>
+                <node concept="3xSepi" id="5QlJgjTDXfZ" role="3xSepv">
+                  <node concept="3Aq9E8" id="5QlJgjTDXg0" role="3xSepj">
+                    <node concept="3I6sU6" id="5QlJgjTDXg1" role="3Ip0Jz">
+                      <node concept="3I6s7M" id="5QlJgjTDXg2" role="3I6sU7">
+                        <node concept="3Aqt3T" id="5QlJgjTDXg3" role="3I6s78">
+                          <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                          <node concept="37jhX" id="5QlJgjTDXg4" role="3AunhB">
+                            <node concept="3A2sRY" id="5QlJgjTDXg5" role="37jj2">
+                              <ref role="3A2yKK" node="5QlJgjTDXiq" resolve="inv" />
+                            </node>
+                          </node>
+                          <node concept="a7P8L" id="5QlJgjTDXg6" role="3AunhB">
+                            <ref role="a7OzE" node="5QlJgjTDXfX" resolve="UnboundRetT" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="5QlJgjTDXg7" role="3cqZAp" />
+          </node>
+        </node>
       </node>
-      <node concept="2t___k" id="4S1mDSNPDU4" role="1nLNMg">
+      <node concept="2t___k" id="5QlJgjTDXip" role="1nLNMg">
         <ref role="2t_S0q" to="tp2c:htknjxq" resolve="InvokeExpression" />
-        <node concept="3A20r5" id="4S1mDSNPDU5" role="2t_VXX">
+        <node concept="3A20r5" id="5QlJgjTDXiq" role="2t_VXX">
+          <property role="TrG5h" value="inv" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="5QlJgjTEhKH" role="1nK1Vg">
+      <property role="TrG5h" value="invokeExpr_fallbackRet" />
+      <node concept="3clFbS" id="5QlJgjTEhKI" role="1nLNMH">
+        <node concept="3cpWs8" id="5QlJgjTEhKP" role="3cqZAp">
+          <node concept="3cpWsn" id="5QlJgjTEhKQ" role="3cpWs9">
+            <property role="TrG5h" value="cl" />
+            <property role="3TUv4t" value="true" />
+            <node concept="3Tqbb2" id="5QlJgjTEhKR" role="1tU5fm" />
+            <node concept="2OqwBi" id="5QlJgjTEhKS" role="33vP2m">
+              <node concept="2Xjw5R" id="5QlJgjTEhKT" role="2OqNvi">
+                <node concept="1xMEDy" id="5QlJgjTEhKU" role="1xVPHs">
+                  <node concept="chp4Y" id="5QlJgjTEhKV" role="ri$Ld">
+                    <ref role="cht4Q" to="tp2c:htbVj4_" resolve="ClosureLiteral" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3A2sRY" id="5QlJgjTEhKW" role="2Oq$k0">
+                <ref role="3A2yKK" node="5QlJgjTEhNk" resolve="inv" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="5QlJgjTEhKX" role="3cqZAp">
+          <node concept="2OqwBi" id="5QlJgjTEhKY" role="3clFbw">
+            <node concept="37vLTw" id="5QlJgjTEhKZ" role="2Oq$k0">
+              <ref role="3cqZAo" node="5QlJgjTEhKQ" resolve="cl" />
+            </node>
+            <node concept="3x8VRR" id="5QlJgjTEhL0" role="2OqNvi" />
+          </node>
+          <node concept="3clFbS" id="5QlJgjTEhL1" role="3clFbx">
+            <node concept="3clFbH" id="5QlJgjTEhL2" role="3cqZAp" />
+            <node concept="3SKdUt" id="5QlJgjTEhL3" role="3cqZAp">
+              <node concept="1PaTwC" id="5QlJgjTEhL4" role="3ndbpf">
+                <node concept="3oM_SD" id="5QlJgjTEhL5" role="1PaTwD">
+                  <property role="3oM_SC" value="when" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhL6" role="1PaTwD">
+                  <property role="3oM_SC" value="closure" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhL7" role="1PaTwD">
+                  <property role="3oM_SC" value="type" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhL8" role="1PaTwD">
+                  <property role="3oM_SC" value="is" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhL9" role="1PaTwD">
+                  <property role="3oM_SC" value="already" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLa" role="1PaTwD">
+                  <property role="3oM_SC" value="available" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLb" role="1PaTwD">
+                  <property role="3oM_SC" value="but" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLc" role="1PaTwD">
+                  <property role="3oM_SC" value="ret" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLd" role="1PaTwD">
+                  <property role="3oM_SC" value="type" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLe" role="1PaTwD">
+                  <property role="3oM_SC" value="is" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLf" role="1PaTwD">
+                  <property role="3oM_SC" value="unbound" />
+                </node>
+              </node>
+              <node concept="1PaTwC" id="5QlJgjTEhLg" role="3ndbpf">
+                <node concept="3oM_SD" id="5QlJgjTEhLh" role="1PaTwD">
+                  <property role="3oM_SC" value="--" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLi" role="1PaTwD">
+                  <property role="3oM_SC" value="there's" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLj" role="1PaTwD">
+                  <property role="3oM_SC" value="not" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLk" role="1PaTwD">
+                  <property role="3oM_SC" value="enough" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLl" role="1PaTwD">
+                  <property role="3oM_SC" value="information," />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLm" role="1PaTwD">
+                  <property role="3oM_SC" value="infer" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLn" role="1PaTwD">
+                  <property role="3oM_SC" value="fallback" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLo" role="1PaTwD">
+                  <property role="3oM_SC" value="Object" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTEhLp" role="1PaTwD">
+                  <property role="3oM_SC" value="type" />
+                </node>
+              </node>
+            </node>
+            <node concept="1nLNNL" id="5QlJgjTEhLq" role="3cqZAp">
+              <node concept="1nLNMm" id="5QlJgjTEhLr" role="1nLNNK">
+                <node concept="3Aq93q" id="5QlJgjTEhLs" role="1nLNMb">
+                  <property role="3ArMco" value="true" />
+                  <node concept="3I6sU6" id="5QlJgjTEhLt" role="3Ip0Jz">
+                    <node concept="3I6s7M" id="5QlJgjTEhLu" role="3I6sU7">
+                      <node concept="3Aqt3T" id="5QlJgjTEhLv" role="3I6s78">
+                        <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                        <node concept="37jhX" id="5QlJgjTEhLw" role="3AunhB">
+                          <node concept="3A2sRY" id="5QlJgjTEhLx" role="37jj2">
+                            <ref role="3A2yKK" node="5QlJgjTEhNk" resolve="inv" />
+                          </node>
+                        </node>
+                        <node concept="a7P8L" id="5QlJgjTEhLy" role="3AunhB">
+                          <ref role="a7OzE" node="5QlJgjTEhLK" resolve="InvokeT" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3Aq93q" id="5QlJgjTEhLz" role="1nLNMb">
+                  <property role="3ArMco" value="true" />
+                  <node concept="3I6sU6" id="5QlJgjTEhL$" role="3Ip0Jz">
+                    <node concept="3I6s7M" id="5QlJgjTEhL_" role="3I6sU7">
+                      <node concept="3Aqt3T" id="5QlJgjTEhLA" role="3I6s78">
+                        <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                        <node concept="37jhX" id="5QlJgjTEhLB" role="3AunhB">
+                          <node concept="37vLTw" id="5QlJgjTEhLC" role="37jj2">
+                            <ref role="3cqZAo" node="5QlJgjTEhKQ" resolve="cl" />
+                          </node>
+                        </node>
+                        <node concept="1HFMs5" id="5QlJgjTEhLD" role="3AunhB">
+                          <node concept="a7P8L" id="5QlJgjTEhLE" role="1uarlU">
+                            <ref role="a7OzE" node="5QlJgjTEhLL" resolve="FunT" />
+                          </node>
+                          <node concept="ns1u0" id="5QlJgjTEhLF" role="1uarlW">
+                            <ref role="ns1xF" node="6$MmqWflYd6" resolve="function" />
+                            <node concept="nsMwS" id="5QlJgjTEhLG" role="ns1xD">
+                              <ref role="nsMwP" node="6$MmqWflYdg" resolve="result" />
+                              <node concept="1nq8_$" id="5QlJgjTEhLH" role="nsMwV">
+                                <node concept="a7P8L" id="5QlJgjTEhLI" role="1nq8_t">
+                                  <ref role="a7OzE" node="5QlJgjTEhLM" resolve="RetT" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3NuqgR" id="5QlJgjTEhLJ" role="0Rg$4">
+                  <node concept="aZer4" id="5QlJgjTEhLK" role="3XD1gS">
+                    <property role="TrG5h" value="InvokeT" />
+                  </node>
+                  <node concept="aZer4" id="5QlJgjTEhLL" role="3XD1gS">
+                    <property role="TrG5h" value="FunT" />
+                  </node>
+                  <node concept="aZer4" id="5QlJgjTEhLM" role="3XD1gS">
+                    <property role="TrG5h" value="RetT" />
+                  </node>
+                  <node concept="32pEOW" id="5QlJgjTEhLN" role="3vLBG7" />
+                </node>
+                <node concept="3xSepi" id="5QlJgjTEhLO" role="3xSepv">
+                  <node concept="3Aq9E8" id="5QlJgjTEhLP" role="3xSepj">
+                    <node concept="3I6sU6" id="5QlJgjTEhLQ" role="3Ip0Jz">
+                      <node concept="3I6s7M" id="5QlJgjTEhLV" role="3I6sU7">
+                        <node concept="3A8Hvi" id="5QlJgjTEhLW" role="3I6s78">
+                          <node concept="ns1u0" id="5QlJgjTEhLX" role="3A8w4Q">
+                            <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                            <node concept="nsMwS" id="5QlJgjTEhLY" role="ns1xD">
+                              <ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
+                              <node concept="2tJFMh" id="5QlJgjTEhLZ" role="nsMwV">
+                                <node concept="ZC_QK" id="5QlJgjTEhM0" role="2tJFKM">
+                                  <ref role="2aWVGs" to="wyt6:~Object" resolve="Object" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="a7P8L" id="5QlJgjTEhM1" role="3A8wtg">
+                            <ref role="a7OzE" node="5QlJgjTEhLM" resolve="RetT" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3I6s7M" id="5QlJgjTEhLR" role="3I6sU7">
+                        <node concept="3A8Hvi" id="5QlJgjTEhLS" role="3I6s78">
+                          <node concept="a7P8L" id="5QlJgjTEhLT" role="3A8wtg">
+                            <ref role="a7OzE" node="5QlJgjTEhLK" resolve="InvokeT" />
+                          </node>
+                          <node concept="a7P8L" id="5QlJgjTEhLU" role="3A8w4Q">
+                            <ref role="a7OzE" node="5QlJgjTEhLM" resolve="RetT" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3Aq9_M" id="5QlJgjTEhM2" role="1nLNMa">
+                  <node concept="3I6sU6" id="5QlJgjTEhM3" role="3Ip0Jz">
+                    <node concept="3I6s7M" id="5QlJgjTEhM4" role="3I6sU7">
+                      <node concept="2aLmEc" id="5QlJgjTEhM5" role="3I6s78">
+                        <node concept="a7P8L" id="5QlJgjTEhM6" role="2aLmnP">
+                          <ref role="a7OzE" node="5QlJgjTEhLM" resolve="RetT" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="5QlJgjTEkPX" role="3cqZAp" />
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="5QlJgjTEhNj" role="1nLNMg">
+        <ref role="2t_S0q" to="tp2c:htknjxq" resolve="InvokeExpression" />
+        <node concept="3A20r5" id="5QlJgjTEhNk" role="2t_VXX">
+          <property role="TrG5h" value="inv" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="5QlJgjTE4sC" role="1nK1Vg">
+      <property role="TrG5h" value="invokeExpr_resultType" />
+      <node concept="3clFbS" id="5QlJgjTE4sD" role="1nLNMH">
+        <node concept="3cpWs8" id="5QlJgjTE4sE" role="3cqZAp">
+          <node concept="3cpWsn" id="5QlJgjTE4sF" role="3cpWs9">
+            <property role="TrG5h" value="args" />
+            <node concept="2I9FWS" id="5QlJgjTE4sG" role="1tU5fm">
+              <ref role="2I9WkF" to="tpee:fz3vP1J" resolve="Expression" />
+            </node>
+            <node concept="2OqwBi" id="5QlJgjTE4sH" role="33vP2m">
+              <node concept="3A2sRY" id="5QlJgjTE4sI" role="2Oq$k0">
+                <ref role="3A2yKK" node="5QlJgjTE4vS" resolve="inv" />
+              </node>
+              <node concept="3Tsc0h" id="5QlJgjTE4sJ" role="2OqNvi">
+                <ref role="3TtcxE" to="tp2c:htkn_zo" resolve="parameter" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="5QlJgjTE4sK" role="3cqZAp">
+          <node concept="3cpWsn" id="5QlJgjTE4sL" role="3cpWs9">
+            <property role="TrG5h" value="cl" />
+            <property role="3TUv4t" value="true" />
+            <node concept="3Tqbb2" id="5QlJgjTE4sM" role="1tU5fm" />
+            <node concept="2OqwBi" id="5QlJgjTE4sN" role="33vP2m">
+              <node concept="2Xjw5R" id="5QlJgjTE4sO" role="2OqNvi">
+                <node concept="1xMEDy" id="5QlJgjTE4sP" role="1xVPHs">
+                  <node concept="chp4Y" id="5QlJgjTE4sQ" role="ri$Ld">
+                    <ref role="cht4Q" to="tp2c:htbVj4_" resolve="ClosureLiteral" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3A2sRY" id="5QlJgjTE4sR" role="2Oq$k0">
+                <ref role="3A2yKK" node="5QlJgjTE4vS" resolve="inv" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="5QlJgjTE4sS" role="3cqZAp">
+          <node concept="2OqwBi" id="5QlJgjTE4sT" role="3clFbw">
+            <node concept="37vLTw" id="5QlJgjTE4sU" role="2Oq$k0">
+              <ref role="3cqZAo" node="5QlJgjTE4sL" resolve="cl" />
+            </node>
+            <node concept="3x8VRR" id="5QlJgjTE4sV" role="2OqNvi" />
+          </node>
+          <node concept="3clFbS" id="5QlJgjTE4sW" role="3clFbx">
+            <node concept="3clFbH" id="5QlJgjTE4uB" role="3cqZAp" />
+            <node concept="3SKdUt" id="5QlJgjTE4uC" role="3cqZAp">
+              <node concept="1PaTwC" id="5QlJgjTE4uD" role="3ndbpf">
+                <node concept="3oM_SD" id="5QlJgjTE4uE" role="1PaTwD">
+                  <property role="3oM_SC" value="fixme:" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTE4uF" role="1PaTwD">
+                  <property role="3oM_SC" value="if" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTE4uG" role="1PaTwD">
+                  <property role="3oM_SC" value="RetT" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTE4uH" role="1PaTwD">
+                  <property role="3oM_SC" value="is" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTE4uI" role="1PaTwD">
+                  <property role="3oM_SC" value="unbound" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTE4uJ" role="1PaTwD">
+                  <property role="3oM_SC" value="then" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTE4uK" role="1PaTwD">
+                  <property role="3oM_SC" value="isAssigned" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTE4uL" role="1PaTwD">
+                  <property role="3oM_SC" value="" />
+                </node>
+              </node>
+              <node concept="1PaTwC" id="5QlJgjTE4uM" role="3ndbpf">
+                <node concept="3oM_SD" id="5QlJgjTE4uN" role="1PaTwD">
+                  <property role="3oM_SC" value="throws" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTE4uO" role="1PaTwD">
+                  <property role="3oM_SC" value="exception" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTE4uP" role="1PaTwD">
+                  <property role="3oM_SC" value="when" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTE4uQ" role="1PaTwD">
+                  <property role="3oM_SC" value="evaluated" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTE4uR" role="1PaTwD">
+                  <property role="3oM_SC" value="in" />
+                </node>
+                <node concept="3oM_SD" id="5QlJgjTE4uS" role="1PaTwD">
+                  <property role="3oM_SC" value="body!" />
+                </node>
+              </node>
+            </node>
+            <node concept="1nLNNL" id="5QlJgjTE4uT" role="3cqZAp">
+              <node concept="1nLNMm" id="5QlJgjTE4uU" role="1nLNNK">
+                <node concept="3Aq93q" id="5QlJgjTE4uV" role="1nLNMb">
+                  <property role="3ArMco" value="true" />
+                  <node concept="3I6sU6" id="5QlJgjTE4uW" role="3Ip0Jz">
+                    <node concept="3I6s7M" id="5QlJgjTE4uX" role="3I6sU7">
+                      <node concept="3Aqt3T" id="5QlJgjTE4uY" role="3I6s78">
+                        <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                        <node concept="37jhX" id="5QlJgjTE4uZ" role="3AunhB">
+                          <node concept="3A2sRY" id="5QlJgjTE4v0" role="37jj2">
+                            <ref role="3A2yKK" node="5QlJgjTE4vS" resolve="inv" />
+                          </node>
+                        </node>
+                        <node concept="a7P8L" id="5QlJgjTE4v1" role="3AunhB">
+                          <ref role="a7OzE" node="5QlJgjTE4vr" resolve="InvokeT" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3Aq93q" id="5QlJgjTE4v2" role="1nLNMb">
+                  <property role="3ArMco" value="true" />
+                  <node concept="3I6sU6" id="5QlJgjTE4v3" role="3Ip0Jz">
+                    <node concept="3I6s7M" id="5QlJgjTE4v4" role="3I6sU7">
+                      <node concept="3Aqt3T" id="5QlJgjTE4v5" role="3I6s78">
+                        <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                        <node concept="37jhX" id="5QlJgjTE4v6" role="3AunhB">
+                          <node concept="37vLTw" id="5QlJgjTE4v7" role="37jj2">
+                            <ref role="3cqZAo" node="5QlJgjTE4sL" resolve="cl" />
+                          </node>
+                        </node>
+                        <node concept="a7P8L" id="5QlJgjTE4v8" role="3AunhB">
+                          <ref role="a7OzE" node="5QlJgjTE4vs" resolve="FunT" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3Aq93q" id="5QlJgjTE4v9" role="1nLNMb">
+                  <property role="3ArMco" value="true" />
+                  <node concept="3I6sU6" id="5QlJgjTE4va" role="3Ip0Jz">
+                    <node concept="3IrJb3" id="5QlJgjTE4vb" role="3I6sU7">
+                      <node concept="3clFbS" id="5QlJgjTE4vc" role="3IrJb0">
+                        <node concept="1DcWWT" id="5QlJgjTE4vd" role="3cqZAp">
+                          <node concept="3cpWsn" id="5QlJgjTE4ve" role="1Duv9x">
+                            <property role="TrG5h" value="arg" />
+                            <node concept="3Tqbb2" id="5QlJgjTE4vf" role="1tU5fm">
+                              <ref role="ehGHo" to="tpee:fz3vP1J" resolve="Expression" />
+                            </node>
+                          </node>
+                          <node concept="37vLTw" id="5QlJgjTE4vg" role="1DdaDG">
+                            <ref role="3cqZAo" node="5QlJgjTE4sF" resolve="args" />
+                          </node>
+                          <node concept="3clFbS" id="5QlJgjTE4vh" role="2LFqv$">
+                            <node concept="3Aqczg" id="5QlJgjTE4vi" role="3cqZAp">
+                              <node concept="3Aqt3T" id="5QlJgjTE4vj" role="3Aqpz8">
+                                <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                                <node concept="37jhX" id="5QlJgjTE4vk" role="3AunhB">
+                                  <node concept="37vLTw" id="5QlJgjTE4vl" role="37jj2">
+                                    <ref role="3cqZAo" node="5QlJgjTE4ve" resolve="arg" />
+                                  </node>
+                                </node>
+                                <node concept="a7P8L" id="5QlJgjTE4vm" role="3AunhB">
+                                  <ref role="a7OzE" node="5QlJgjTE4vu" resolve="ArgsT" />
+                                  <node concept="2OqwBi" id="5QlJgjTE4vn" role="3gCZO6">
+                                    <node concept="37vLTw" id="5QlJgjTE4vo" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="5QlJgjTE4ve" resolve="arg" />
+                                    </node>
+                                    <node concept="2bSWHS" id="5QlJgjTE4vp" role="2OqNvi" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3NuqgR" id="5QlJgjTE4vq" role="0Rg$4">
+                  <node concept="aZer4" id="5QlJgjTE4vr" role="3XD1gS">
+                    <property role="TrG5h" value="InvokeT" />
+                  </node>
+                  <node concept="aZer4" id="5QlJgjTE4vs" role="3XD1gS">
+                    <property role="TrG5h" value="FunT" />
+                  </node>
+                  <node concept="aZer4" id="5QlJgjTE4vt" role="3XD1gS">
+                    <property role="TrG5h" value="RetT" />
+                  </node>
+                  <node concept="aZer4" id="5QlJgjTE4vu" role="3XD1gS">
+                    <property role="TrG5h" value="ArgsT" />
+                    <node concept="2OqwBi" id="5QlJgjTE4vv" role="3gj$pD">
+                      <node concept="37vLTw" id="5QlJgjTE4vw" role="2Oq$k0">
+                        <ref role="3cqZAo" node="5QlJgjTE4sF" resolve="args" />
+                      </node>
+                      <node concept="34oBXx" id="5QlJgjTE4vx" role="2OqNvi" />
+                    </node>
+                  </node>
+                  <node concept="32pEOW" id="5QlJgjTE4vy" role="3vLBG7" />
+                </node>
+                <node concept="3xSepi" id="5QlJgjTE4vz" role="3xSepv">
+                  <node concept="3Aq9E8" id="5QlJgjTE4v$" role="3xSepj">
+                    <node concept="3I6sU6" id="5QlJgjTE4v_" role="3Ip0Jz">
+                      <node concept="3I6s7M" id="5QlJgjTE4vA" role="3I6sU7">
+                        <node concept="3jm4v3" id="5QlJgjTE4vB" role="3I6s78">
+                          <ref role="3jm46O" node="4S1mDSNQjm4" resolve="checkInvoke" />
+                          <node concept="37vLTw" id="5QlJgjTE4vC" role="3jicU7">
+                            <ref role="3cqZAo" node="5QlJgjTE4sF" resolve="args" />
+                          </node>
+                          <node concept="a7P8L" id="5QlJgjTE4vD" role="3jm6SO">
+                            <ref role="a7OzE" node="5QlJgjTE4vt" resolve="RetT" />
+                          </node>
+                          <node concept="a7P8L" id="5QlJgjTE4vE" role="3jm6SO">
+                            <ref role="a7OzE" node="5QlJgjTE4vs" resolve="FunT" />
+                          </node>
+                          <node concept="a7P8L" id="5QlJgjTE4vF" role="3jm6SO">
+                            <ref role="a7OzE" node="5QlJgjTE4vu" resolve="ArgsT" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3I6s7M" id="5QlJgjTE4vG" role="3I6sU7">
+                        <node concept="3Aqt3T" id="5QlJgjTE4vH" role="3I6s78">
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <node concept="a7P8L" id="5QlJgjTE4vI" role="3AunhB">
+                            <ref role="a7OzE" node="5QlJgjTE4vr" resolve="InvokeT" />
+                          </node>
+                          <node concept="a7P8L" id="5QlJgjTE4vJ" role="3AunhB">
+                            <ref role="a7OzE" node="5QlJgjTE4vt" resolve="RetT" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3I6s7M" id="5QlJgjTE4vK" role="3I6sU7">
+                        <node concept="2aM9Np" id="5QlJgjTE4vL" role="3I6s78">
+                          <node concept="a7P8L" id="5QlJgjTE4vM" role="2aLmnP">
+                            <ref role="a7OzE" node="5QlJgjTE4vt" resolve="RetT" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="5QlJgjTEm8B" role="3cqZAp" />
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="5QlJgjTE4vR" role="1nLNMg">
+        <ref role="2t_S0q" to="tp2c:htknjxq" resolve="InvokeExpression" />
+        <node concept="3A20r5" id="5QlJgjTE4vS" role="2t_VXX">
           <property role="TrG5h" value="inv" />
         </node>
       </node>
@@ -2728,6 +2646,9 @@
               <node concept="aZer4" id="4S1mDSNODiV" role="3XD1gS">
                 <property role="TrG5h" value="FunT" />
               </node>
+              <node concept="aZer4" id="5QlJgjTDK$c" role="3XD1gS">
+                <property role="TrG5h" value="RetT" />
+              </node>
               <node concept="aZer4" id="4S1mDSNODjo" role="3XD1gS">
                 <property role="TrG5h" value="ArgsT" />
                 <node concept="2OqwBi" id="4S1mDSNOEWl" role="3gj$pD">
@@ -2737,47 +2658,20 @@
                   <node concept="34oBXx" id="4S1mDSNOGzL" role="2OqNvi" />
                 </node>
               </node>
-              <node concept="aZer4" id="4S1mDSNP9NK" role="3XD1gS">
-                <property role="TrG5h" value="CapArgsT" />
-                <node concept="2OqwBi" id="4S1mDSNPbHy" role="3gj$pD">
-                  <node concept="37vLTw" id="4S1mDSNPY7o" role="2Oq$k0">
-                    <ref role="3cqZAo" node="4S1mDSNPTKO" resolve="args" />
-                  </node>
-                  <node concept="34oBXx" id="4S1mDSNPe9X" role="2OqNvi" />
-                </node>
-              </node>
               <node concept="32pEOW" id="4S1mDSNODj7" role="3vLBG7" />
             </node>
-            <node concept="3NuqgR" id="4S1mDSNOOzG" role="0Rg$4">
-              <node concept="aZer4" id="4S1mDSNOOzH" role="3XD1gS">
-                <property role="TrG5h" value="RetT" />
-              </node>
-              <node concept="aZer4" id="4S1mDSNPeeW" role="3XD1gS">
-                <property role="TrG5h" value="CapRetT" />
-              </node>
-              <node concept="aZer4" id="4S1mDSNOPra" role="3XD1gS">
-                <property role="TrG5h" value="ParamsT" />
-                <node concept="2OqwBi" id="4S1mDSNOS7A" role="3gj$pD">
-                  <node concept="37vLTw" id="4S1mDSNPZkU" role="2Oq$k0">
-                    <ref role="3cqZAo" node="4S1mDSNPTKO" resolve="args" />
-                  </node>
-                  <node concept="34oBXx" id="4S1mDSNOUZ5" role="2OqNvi" />
-                </node>
-              </node>
-              <node concept="32pEOW" id="4S1mDSNOO$2" role="3vLBG7" />
-            </node>
             <node concept="3xSepi" id="4S1mDSNOGTj" role="3xSepv">
               <node concept="3Aq9E8" id="4S1mDSNOGTk" role="3xSepj">
                 <node concept="3I6sU6" id="4S1mDSNOGTl" role="3Ip0Jz">
                   <node concept="3I6s7M" id="4S1mDSNQvOh" role="3I6sU7">
                     <node concept="3jm4v3" id="4S1mDSNQvNB" role="3I6s78">
-                      <ref role="3jm46O" node="4S1mDSNQjm4" resolve="typeOfInvoke" />
-                      <node concept="3A2sRY" id="4S1mDSNQvO3" role="3jicU7">
-                        <ref role="3A2yKK" node="4S1mDSNODix" resolve="inv" />
-                      </node>
+                      <ref role="3jm46O" node="4S1mDSNQjm4" resolve="checkInvoke" />
                       <node concept="37vLTw" id="4S1mDSNQvOb" role="3jicU7">
                         <ref role="3cqZAo" node="4S1mDSNPTKO" resolve="args" />
                       </node>
+                      <node concept="a7P8L" id="5QlJgjTDK_c" role="3jm6SO">
+                        <ref role="a7OzE" node="5QlJgjTDK$c" resolve="RetT" />
+                      </node>
                       <node concept="a7P8L" id="4S1mDSNQvNL" role="3jm6SO">
                         <ref role="a7OzE" node="4S1mDSNODiV" resolve="FunT" />
                       </node>
@@ -2786,6 +2680,19 @@
                       </node>
                     </node>
                   </node>
+                  <node concept="3I6s7M" id="5QlJgjTDLN9" role="3I6sU7">
+                    <node concept="3Aqt3T" id="5QlJgjTDLN7" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="5QlJgjTDLNm" role="3AunhB">
+                        <node concept="3A2sRY" id="5QlJgjTDLNk" role="37jj2">
+                          <ref role="3A2yKK" node="4S1mDSNODix" resolve="inv" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="5QlJgjTDLNA" role="3AunhB">
+                        <ref role="a7OzE" node="5QlJgjTDK$c" resolve="RetT" />
+                      </node>
+                    </node>
+                  </node>
                 </node>
               </node>
             </node>
@@ -2799,177 +2706,11 @@
         </node>
       </node>
     </node>
-    <node concept="1nLNMY" id="4S1mDSNQcAu" role="1nK1Vg">
-      <property role="TrG5h" value="invokeOp" />
-      <node concept="3clFbS" id="4S1mDSNQcAv" role="1nLNMH">
-        <node concept="3clFbH" id="4S1mDSNQcAw" role="3cqZAp" />
-        <node concept="3cpWs8" id="4S1mDSNQcAx" role="3cqZAp">
-          <node concept="3cpWsn" id="4S1mDSNQcAy" role="3cpWs9">
-            <property role="TrG5h" value="args" />
-            <node concept="2I9FWS" id="4S1mDSNQcAz" role="1tU5fm">
-              <ref role="2I9WkF" to="tpee:fz3vP1J" resolve="Expression" />
-            </node>
-            <node concept="2OqwBi" id="4S1mDSNQcA$" role="33vP2m">
-              <node concept="3A2sRY" id="4S1mDSNQcA_" role="2Oq$k0">
-                <ref role="3A2yKK" node="4S1mDSNQcCb" resolve="inv" />
-              </node>
-              <node concept="3Tsc0h" id="4S1mDSNQhVK" role="2OqNvi">
-                <ref role="3TtcxE" to="tp2c:hPBdPZc" resolve="parameter" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="4S1mDSNQcAB" role="3cqZAp" />
-        <node concept="1nLNNL" id="4S1mDSNQcAC" role="3cqZAp">
-          <node concept="1nLNMm" id="4S1mDSNQcAD" role="1nLNNK">
-            <node concept="3Aq93q" id="4S1mDSNQcAE" role="1nLNMb">
-              <property role="3ArMco" value="true" />
-              <node concept="3I6sU6" id="4S1mDSNQcAF" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4S1mDSNQcAG" role="3I6sU7">
-                  <node concept="3Aqt3T" id="4S1mDSNQcAH" role="3I6s78">
-                    <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
-                    <node concept="37jhX" id="4S1mDSNQcAI" role="3AunhB">
-                      <node concept="2OqwBi" id="4S1mDSNQcAJ" role="37jj2">
-                        <node concept="3A2sRY" id="4S1mDSNQcAK" role="2Oq$k0">
-                          <ref role="3A2yKK" node="4S1mDSNQcCb" resolve="inv" />
-                        </node>
-                        <node concept="2qgKlT" id="4S1mDSNQjh8" role="2OqNvi">
-                          <ref role="37wK5l" to="tpek:hEwIP$m" resolve="getOperand" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="a7P8L" id="4S1mDSNQcAM" role="3AunhB">
-                      <ref role="a7OzE" node="4S1mDSNQcB5" resolve="FunT" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq93q" id="4S1mDSNQcAN" role="1nLNMb">
-              <property role="3ArMco" value="true" />
-              <node concept="3I6sU6" id="4S1mDSNQcAO" role="3Ip0Jz">
-                <node concept="3IrJb3" id="4S1mDSNQcAP" role="3I6sU7">
-                  <node concept="3clFbS" id="4S1mDSNQcAQ" role="3IrJb0">
-                    <node concept="1DcWWT" id="4S1mDSNQcAR" role="3cqZAp">
-                      <node concept="3cpWsn" id="4S1mDSNQcAS" role="1Duv9x">
-                        <property role="TrG5h" value="arg" />
-                        <node concept="3Tqbb2" id="4S1mDSNQcAT" role="1tU5fm">
-                          <ref role="ehGHo" to="tpee:fz3vP1J" resolve="Expression" />
-                        </node>
-                      </node>
-                      <node concept="37vLTw" id="4S1mDSNQcAU" role="1DdaDG">
-                        <ref role="3cqZAo" node="4S1mDSNQcAy" resolve="args" />
-                      </node>
-                      <node concept="3clFbS" id="4S1mDSNQcAV" role="2LFqv$">
-                        <node concept="3Aqczg" id="4S1mDSNQcAW" role="3cqZAp">
-                          <node concept="3Aqt3T" id="4S1mDSNQcAX" role="3Aqpz8">
-                            <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
-                            <node concept="37jhX" id="4S1mDSNQcAY" role="3AunhB">
-                              <node concept="37vLTw" id="4S1mDSNQcAZ" role="37jj2">
-                                <ref role="3cqZAo" node="4S1mDSNQcAS" resolve="arg" />
-                              </node>
-                            </node>
-                            <node concept="a7P8L" id="4S1mDSNQcB0" role="3AunhB">
-                              <ref role="a7OzE" node="4S1mDSNQcB6" resolve="ArgsT" />
-                              <node concept="2OqwBi" id="4S1mDSNQcB1" role="3gCZO6">
-                                <node concept="37vLTw" id="4S1mDSNQcB2" role="2Oq$k0">
-                                  <ref role="3cqZAo" node="4S1mDSNQcAS" resolve="arg" />
-                                </node>
-                                <node concept="2bSWHS" id="4S1mDSNQcB3" role="2OqNvi" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="4S1mDSNQcB4" role="0Rg$4">
-              <node concept="aZer4" id="4S1mDSNQcB5" role="3XD1gS">
-                <property role="TrG5h" value="FunT" />
-              </node>
-              <node concept="aZer4" id="4S1mDSNQcB6" role="3XD1gS">
-                <property role="TrG5h" value="ArgsT" />
-                <node concept="2OqwBi" id="4S1mDSNQcB7" role="3gj$pD">
-                  <node concept="37vLTw" id="4S1mDSNQcB8" role="2Oq$k0">
-                    <ref role="3cqZAo" node="4S1mDSNQcAy" resolve="args" />
-                  </node>
-                  <node concept="34oBXx" id="4S1mDSNQcB9" role="2OqNvi" />
-                </node>
-              </node>
-              <node concept="aZer4" id="4S1mDSNQcBa" role="3XD1gS">
-                <property role="TrG5h" value="CapArgsT" />
-                <node concept="2OqwBi" id="4S1mDSNQcBb" role="3gj$pD">
-                  <node concept="37vLTw" id="4S1mDSNQcBc" role="2Oq$k0">
-                    <ref role="3cqZAo" node="4S1mDSNQcAy" resolve="args" />
-                  </node>
-                  <node concept="34oBXx" id="4S1mDSNQcBd" role="2OqNvi" />
-                </node>
-              </node>
-              <node concept="32pEOW" id="4S1mDSNQcBe" role="3vLBG7" />
-            </node>
-            <node concept="3NuqgR" id="4S1mDSNQcBf" role="0Rg$4">
-              <node concept="aZer4" id="4S1mDSNQcBg" role="3XD1gS">
-                <property role="TrG5h" value="RetT" />
-              </node>
-              <node concept="aZer4" id="4S1mDSNQcBh" role="3XD1gS">
-                <property role="TrG5h" value="CapRetT" />
-              </node>
-              <node concept="aZer4" id="4S1mDSNQcBi" role="3XD1gS">
-                <property role="TrG5h" value="ParamsT" />
-                <node concept="2OqwBi" id="4S1mDSNQcBj" role="3gj$pD">
-                  <node concept="37vLTw" id="4S1mDSNQcBk" role="2Oq$k0">
-                    <ref role="3cqZAo" node="4S1mDSNQcAy" resolve="args" />
-                  </node>
-                  <node concept="34oBXx" id="4S1mDSNQcBl" role="2OqNvi" />
-                </node>
-              </node>
-              <node concept="32pEOW" id="4S1mDSNQcBm" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="4S1mDSNQcBn" role="3xSepv">
-              <node concept="3Aq9E8" id="4S1mDSNQcBo" role="3xSepj">
-                <node concept="3I6sU6" id="4S1mDSNQcBp" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4S1mDSNQyrH" role="3I6sU7">
-                    <node concept="3jm4v3" id="4S1mDSNQyrM" role="3I6s78">
-                      <ref role="3jm46O" node="4S1mDSNQjm4" resolve="typeOfInvoke" />
-                      <node concept="3A2sRY" id="4S1mDSNQyrN" role="3jicU7">
-                        <ref role="3A2yKK" node="4S1mDSNQcCb" resolve="inv" />
-                      </node>
-                      <node concept="37vLTw" id="4S1mDSNQyrO" role="3jicU7">
-                        <ref role="3cqZAo" node="4S1mDSNQcAy" resolve="args" />
-                      </node>
-                      <node concept="a7P8L" id="4S1mDSNQyrP" role="3jm6SO">
-                        <ref role="a7OzE" node="4S1mDSNQcB5" resolve="FunT" />
-                      </node>
-                      <node concept="a7P8L" id="4S1mDSNQyrQ" role="3jm6SO">
-                        <ref role="a7OzE" node="4S1mDSNQcB6" resolve="ArgsT" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="4S1mDSNQcCa" role="1nLNMg">
-        <ref role="2t_S0q" to="tp2c:hPBd92j" resolve="InvokeFunctionOperation" />
-        <node concept="3A20r5" id="4S1mDSNQcCb" role="2t_VXX">
-          <property role="TrG5h" value="inv" />
-        </node>
-      </node>
-    </node>
   </node>
   <node concept="0oKg$" id="4S1mDSNQjm1">
     <property role="TrG5h" value="ClosureRuleMacros" />
     <node concept="3hwh0R" id="4S1mDSNQjm4" role="0oKgB">
-      <property role="TrG5h" value="typeOfInvoke" />
-      <node concept="3hPv5a" id="4S1mDSNQsJy" role="3hP23H">
-        <property role="TrG5h" value="inv" />
-        <node concept="3Tqbb2" id="4S1mDSNQsJC" role="3hPmi9" />
-      </node>
+      <property role="TrG5h" value="checkInvoke" />
       <node concept="3hPv5a" id="4S1mDSNQjma" role="3hP23H">
         <property role="TrG5h" value="args" />
         <node concept="2I9FWS" id="4S1mDSNQjxp" role="3hPmi9">
@@ -3032,20 +2773,32 @@
                 </node>
               </node>
             </node>
-            <node concept="3Aqczg" id="4S1mDSNQpsF" role="3cqZAp">
-              <node concept="3Aqt3T" id="4S1mDSNQpsG" role="3Aqpz8">
-                <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
-                <node concept="a7P8L" id="4S1mDSNQpsH" role="3AunhB">
-                  <ref role="a7OzE" node="4S1mDSNQmuw" resolve="CapArgsT" />
-                  <node concept="37vLTw" id="4S1mDSNQpsI" role="3gCZO6">
-                    <ref role="3cqZAo" node="4S1mDSNQpsL" resolve="i" />
+            <node concept="3Hbl2A" id="5QlJgjTEg6v" role="3cqZAp">
+              <node concept="3clFbS" id="5QlJgjTEg6x" role="9aQI4">
+                <node concept="3Aqczg" id="4S1mDSNQpsF" role="3cqZAp">
+                  <node concept="3Aqt3T" id="4S1mDSNQpsG" role="3Aqpz8">
+                    <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                    <node concept="a7P8L" id="4S1mDSNQpsH" role="3AunhB">
+                      <ref role="a7OzE" node="4S1mDSNQmuw" resolve="CapArgsT" />
+                      <node concept="37vLTw" id="4S1mDSNQpsI" role="3gCZO6">
+                        <ref role="3cqZAo" node="4S1mDSNQpsL" resolve="i" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="4S1mDSNQpsJ" role="3AunhB">
+                      <ref role="a7OzE" node="4S1mDSNQpAr" resolve="ParamsT" />
+                      <node concept="37vLTw" id="4S1mDSNQpsK" role="3gCZO6">
+                        <ref role="3cqZAo" node="4S1mDSNQpsL" resolve="i" />
+                      </node>
+                    </node>
                   </node>
                 </node>
-                <node concept="a7P8L" id="4S1mDSNQpsJ" role="3AunhB">
-                  <ref role="a7OzE" node="4S1mDSNQpAr" resolve="ParamsT" />
-                  <node concept="37vLTw" id="4S1mDSNQpsK" role="3gCZO6">
-                    <ref role="3cqZAo" node="4S1mDSNQpsL" resolve="i" />
-                  </node>
+              </node>
+              <node concept="1y4W85" id="5QlJgjTEhG_" role="3Hbm9W">
+                <node concept="37vLTw" id="5QlJgjTEhHU" role="1y58nS">
+                  <ref role="3cqZAo" node="4S1mDSNQpsL" resolve="i" />
+                </node>
+                <node concept="3hN9Ij" id="5QlJgjTEg6N" role="1y566C">
+                  <ref role="3hLkJx" node="4S1mDSNQjma" resolve="args" />
                 </node>
               </node>
             </node>
@@ -3069,33 +2822,22 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="4S1mDSNQpsT" role="3cqZAp" />
         <node concept="3Aqczg" id="4S1mDSNQpsU" role="3cqZAp">
           <node concept="3Aqt3T" id="4S1mDSNQpsV" role="3Aqpz8">
             <ref role="3AqCNq" to="kqnc:3wxtToEiJ2p" resolve="capture" />
-            <node concept="a7P8L" id="4S1mDSNQpsW" role="3AunhB">
-              <ref role="a7OzE" node="4S1mDSNQpr2" resolve="CapRetT" />
+            <node concept="a7P8L" id="5QlJgjTDJ5T" role="3AunhB">
+              <ref role="a7OzE" node="5QlJgjTDJ2B" resolve="CapRetT" />
             </node>
             <node concept="a7P8L" id="4S1mDSNQpsX" role="3AunhB">
               <ref role="a7OzE" node="4S1mDSNQprM" resolve="RetT" />
             </node>
           </node>
         </node>
-        <node concept="3Aqczg" id="4S1mDSNQpsY" role="3cqZAp">
-          <node concept="3Aqt3T" id="4S1mDSNQpsZ" role="3Aqpz8">
-            <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
-            <node concept="37jhX" id="4S1mDSNQpt0" role="3AunhB">
-              <node concept="3hN9Ij" id="4S1mDSNQuqe" role="37jj2">
-                <ref role="3hLkJx" node="4S1mDSNQsJy" resolve="inv" />
-              </node>
-            </node>
-            <node concept="a7P8L" id="4S1mDSNQpt2" role="3AunhB">
-              <ref role="a7OzE" node="4S1mDSNQpr2" resolve="CapRetT" />
-            </node>
-          </node>
-        </node>
       </node>
       <node concept="3uniRu" id="4S1mDSNQjxt" role="3h32gL">
+        <node concept="aZer4" id="5QlJgjTDJ2B" role="3XD1gS">
+          <property role="TrG5h" value="CapRetT" />
+        </node>
         <node concept="aZer4" id="4S1mDSNQmtW" role="3XD1gS">
           <property role="TrG5h" value="FunT" />
         </node>
@@ -3114,9 +2856,6 @@
         <node concept="aZer4" id="4S1mDSNQprM" role="3XD1gS">
           <property role="TrG5h" value="RetT" />
         </node>
-        <node concept="aZer4" id="4S1mDSNQpr2" role="3XD1gS">
-          <property role="TrG5h" value="CapRetT" />
-        </node>
         <node concept="aZer4" id="4S1mDSNQpAr" role="3XD1gS">
           <property role="TrG5h" value="ParamsT" />
           <node concept="2OqwBi" id="4S1mDSNQqWN" role="3gj$pD">
@@ -4268,5 +4007,363 @@
     </node>
     <node concept="3Tm1VV" id="4S1mDSNUxux" role="1B3o_S" />
   </node>
+  <node concept="AVZre" id="6$MmqWfm_Qc">
+    <property role="3GE5qa" value="rule" />
+    <property role="TrG5h" value="ConversionFunctionTypes" />
+    <ref role="2YbDB9" to="kqnc:24Vro6cM_J$" resolve="ConversionMain" />
+    <node concept="3AqmO8" id="6$MmqWfmATa" role="8PkJo">
+      <property role="TrG5h" value="convertsLists" />
+      <node concept="1zAUYm" id="6$MmqWfmATh" role="1zAUyy">
+        <property role="TrG5h" value="left" />
+        <node concept="VbTHi" id="6$MmqWfmATm" role="3gTf24" />
+      </node>
+      <node concept="1zAUYm" id="6$MmqWfmATp" role="1zAUyy">
+        <property role="TrG5h" value="right" />
+        <node concept="VbTHi" id="6$MmqWfmATw" role="3gTf24" />
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6$MmqWfm_Qd" role="1nK1Vg">
+      <property role="TrG5h" value="convertsTo_functionType" />
+      <node concept="3clFbS" id="6$MmqWfm_Qe" role="1nLNMH">
+        <node concept="1nLNNL" id="6$MmqWfm_Ql" role="3cqZAp">
+          <node concept="1nLNMm" id="6$MmqWfm_Qn" role="1nLNNK">
+            <node concept="3Aq93q" id="6$MmqWfm_Uv" role="1nLNMb">
+              <node concept="3I6sU6" id="6$MmqWfm_Uw" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6$MmqWfmA9c" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6$MmqWfmA9b" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                    <node concept="1HFMs5" id="6$MmqWfmA9k" role="3AunhB">
+                      <node concept="a7P8L" id="6$MmqWfmA9h" role="1uarlU">
+                        <ref role="a7OzE" node="6$MmqWfm_Qu" resolve="FunL" />
+                      </node>
+                      <node concept="ns1u0" id="6$MmqWfmA9w" role="1uarlW">
+                        <ref role="ns1xF" node="6$MmqWflYd6" resolve="function" />
+                        <node concept="nsMwS" id="6$MmqWfmA9y" role="ns1xD">
+                          <ref role="nsMwP" node="6$MmqWflYdw" resolve="params" />
+                          <node concept="1nq8_$" id="6$MmqWfmA9B" role="nsMwV">
+                            <node concept="a7P8L" id="6$MmqWfmA9A" role="1nq8_t">
+                              <ref role="a7OzE" node="6$MmqWfm_Rk" resolve="ParamsL" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="nsMwS" id="6$MmqWfmAOi" role="ns1xD">
+                          <ref role="nsMwP" node="6$MmqWflYdg" resolve="result" />
+                          <node concept="1nq8_$" id="6$MmqWfmAOq" role="nsMwV">
+                            <node concept="a7P8L" id="6$MmqWfmAOp" role="1nq8_t">
+                              <ref role="a7OzE" node="6$MmqWfm_Tg" resolve="ResL" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="1HFMs5" id="6$MmqWfmAP5" role="3AunhB">
+                      <node concept="a7P8L" id="6$MmqWfmAOM" role="1uarlU">
+                        <ref role="a7OzE" node="6$MmqWfm_QO" resolve="FunR" />
+                      </node>
+                      <node concept="ns1u0" id="6$MmqWfmAPx" role="1uarlW">
+                        <ref role="ns1xF" node="6$MmqWflYd6" resolve="function" />
+                        <node concept="nsMwS" id="6$MmqWfmAPz" role="ns1xD">
+                          <ref role="nsMwP" node="6$MmqWflYdw" resolve="params" />
+                          <node concept="1nq8_$" id="6$MmqWfmAPC" role="nsMwV">
+                            <node concept="a7P8L" id="6$MmqWfmAPB" role="1nq8_t">
+                              <ref role="a7OzE" node="6$MmqWfm_SL" resolve="ParamsR" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="nsMwS" id="6$MmqWfmAPF" role="ns1xD">
+                          <ref role="nsMwP" node="6$MmqWflYdg" resolve="result" />
+                          <node concept="1nq8_$" id="6$MmqWfmAPX" role="nsMwV">
+                            <node concept="a7P8L" id="6$MmqWfmAPW" role="1nq8_t">
+                              <ref role="a7OzE" node="6$MmqWfm_TR" resolve="ResR" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6$MmqWfm_Qt" role="0Rg$4">
+              <node concept="aZer4" id="6$MmqWfm_Qu" role="3XD1gS">
+                <property role="TrG5h" value="FunL" />
+              </node>
+              <node concept="aZer4" id="6$MmqWfm_QO" role="3XD1gS">
+                <property role="TrG5h" value="FunR" />
+              </node>
+              <node concept="aZer4" id="6$MmqWfm_Tg" role="3XD1gS">
+                <property role="TrG5h" value="ResL" />
+              </node>
+              <node concept="aZer4" id="6$MmqWfm_TR" role="3XD1gS">
+                <property role="TrG5h" value="ResR" />
+              </node>
+              <node concept="32pEOW" id="6$MmqWfm_QE" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6$MmqWfm_Rj" role="0Rg$4">
+              <node concept="aZer4" id="6$MmqWfm_Rk" role="3XD1gS">
+                <property role="TrG5h" value="ParamsL" />
+              </node>
+              <node concept="aZer4" id="6$MmqWfm_SL" role="3XD1gS">
+                <property role="TrG5h" value="ParamsR" />
+              </node>
+              <node concept="VbTHi" id="6$MmqWfm_R$" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="6$MmqWfmAQa" role="3xSepv">
+              <node concept="3Aq9E8" id="6$MmqWfmAQb" role="3xSepj">
+                <node concept="3I6sU6" id="6$MmqWfmAQc" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6$MmqWfmAQi" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6$MmqWfmAR5" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:ONSj15RYDg" resolve="compatibleWith" />
+                      <node concept="a7P8L" id="6$MmqWfmARa" role="3AunhB">
+                        <ref role="a7OzE" node="6$MmqWfm_Tg" resolve="ResL" />
+                      </node>
+                      <node concept="a7P8L" id="6$MmqWfmARk" role="3AunhB">
+                        <ref role="a7OzE" node="6$MmqWfm_TR" resolve="ResR" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="6$MmqWfmAT_" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6$MmqWfmATz" role="3I6s78">
+                      <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
+                      <node concept="a7P8L" id="6$MmqWfmBap" role="3AunhB">
+                        <ref role="a7OzE" node="6$MmqWfm_SL" resolve="ParamsR" />
+                      </node>
+                      <node concept="a7P8L" id="6$MmqWfmBcJ" role="3AunhB">
+                        <ref role="a7OzE" node="6$MmqWfm_Rk" resolve="ParamsL" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6$MmqWfmARy" role="1nK1Vg">
+      <property role="TrG5h" value="convertsLists_induction" />
+      <node concept="3clFbS" id="6$MmqWfmARz" role="1nLNMH">
+        <node concept="1nLNNL" id="6$MmqWfmASi" role="3cqZAp">
+          <node concept="1nLNMm" id="6$MmqWfmASj" role="1nLNNK">
+            <node concept="3Aq93q" id="6$MmqWfmAT6" role="1nLNMb">
+              <node concept="3I6sU6" id="6$MmqWfmAT7" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6$MmqWfmAWl" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6$MmqWfmAWk" role="3I6s78">
+                    <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
+                    <node concept="1HFMs5" id="6$MmqWfmB1J" role="3AunhB">
+                      <node concept="a7P8L" id="6$MmqWfmB1F" role="1uarlU">
+                        <ref role="a7OzE" node="6$MmqWfmASo" resolve="L" />
+                      </node>
+                      <node concept="Hz6ka" id="6$MmqWfmB2m" role="1uarlW">
+                        <node concept="1Pxxm1" id="6$MmqWfmB2v" role="Hz6kd">
+                          <node concept="3wAshV" id="6$MmqWfmB8p" role="1Pxxm0">
+                            <node concept="a7P8L" id="6$MmqWfmB8o" role="3wAq21">
+                              <ref role="a7OzE" node="6$MmqWfmB71" resolve="LHead" />
+                            </node>
+                          </node>
+                          <node concept="3wAshV" id="6$MmqWfmB8y" role="1Pxxm2">
+                            <node concept="a7P8L" id="6$MmqWfmB8x" role="3wAq21">
+                              <ref role="a7OzE" node="6$MmqWfmB5c" resolve="LTail" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="1HFMs5" id="6$MmqWfmB8F" role="3AunhB">
+                      <node concept="a7P8L" id="6$MmqWfmAYc" role="1uarlU">
+                        <ref role="a7OzE" node="6$MmqWfmASI" resolve="R" />
+                      </node>
+                      <node concept="Hz6ka" id="6$MmqWfmB9m" role="1uarlW">
+                        <node concept="1Pxxm1" id="6$MmqWfmB9q" role="Hz6kd">
+                          <node concept="3wAshV" id="6$MmqWfmB9t" role="1Pxxm2">
+                            <node concept="a7P8L" id="6$MmqWfmB9I" role="3wAq21">
+                              <ref role="a7OzE" node="6$MmqWfmB62" resolve="RTail" />
+                            </node>
+                          </node>
+                          <node concept="3wAshV" id="6$MmqWfmB9A" role="1Pxxm0">
+                            <node concept="a7P8L" id="6$MmqWfmB9_" role="3wAq21">
+                              <ref role="a7OzE" node="6$MmqWfmB7$" resolve="RHead" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6$MmqWfmASn" role="0Rg$4">
+              <node concept="aZer4" id="6$MmqWfmASo" role="3XD1gS">
+                <property role="TrG5h" value="L" />
+              </node>
+              <node concept="aZer4" id="6$MmqWfmASI" role="3XD1gS">
+                <property role="TrG5h" value="R" />
+              </node>
+              <node concept="aZer4" id="6$MmqWfmB5c" role="3XD1gS">
+                <property role="TrG5h" value="LTail" />
+              </node>
+              <node concept="aZer4" id="6$MmqWfmB62" role="3XD1gS">
+                <property role="TrG5h" value="RTail" />
+              </node>
+              <node concept="VbTHi" id="6$MmqWfmAS$" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6$MmqWfmB70" role="0Rg$4">
+              <node concept="aZer4" id="6$MmqWfmB71" role="3XD1gS">
+                <property role="TrG5h" value="LHead" />
+              </node>
+              <node concept="aZer4" id="6$MmqWfmB7$" role="3XD1gS">
+                <property role="TrG5h" value="RHead" />
+              </node>
+              <node concept="32pEOW" id="6$MmqWfmB7j" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="6$MmqWfmAYE" role="3xSepv">
+              <node concept="3Aq9E8" id="6$MmqWfmAYF" role="3xSepj">
+                <node concept="3I6sU6" id="6$MmqWfmAYG" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6$MmqWfmBa2" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6$MmqWfmBa1" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <node concept="a7P8L" id="6$MmqWfmBa7" role="3AunhB">
+                        <ref role="a7OzE" node="6$MmqWfmB71" resolve="LHead" />
+                      </node>
+                      <node concept="a7P8L" id="6$MmqWfmBah" role="3AunhB">
+                        <ref role="a7OzE" node="6$MmqWfmB7$" resolve="RHead" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="6$MmqWfmBhZ" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6$MmqWfmBhX" role="3I6s78">
+                      <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
+                      <node concept="a7P8L" id="6$MmqWfmBia" role="3AunhB">
+                        <ref role="a7OzE" node="6$MmqWfmB5c" resolve="LTail" />
+                      </node>
+                      <node concept="a7P8L" id="6$MmqWfmBiL" role="3AunhB">
+                        <ref role="a7OzE" node="6$MmqWfmB62" resolve="RTail" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6$MmqWfmBjk" role="1nK1Vg">
+      <property role="TrG5h" value="convertsLists_trivial" />
+      <node concept="3clFbS" id="6$MmqWfmBjl" role="1nLNMH">
+        <node concept="1nLNNL" id="6$MmqWfmBjm" role="3cqZAp">
+          <node concept="1nLNMm" id="6$MmqWfmBjn" role="1nLNNK">
+            <node concept="3Aq93q" id="6$MmqWfmBjo" role="1nLNMb">
+              <node concept="3I6sU6" id="6$MmqWfmBjp" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6$MmqWfmBjq" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6$MmqWfmBjr" role="3I6s78">
+                    <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
+                    <node concept="1HFMs5" id="6$MmqWfmBjs" role="3AunhB">
+                      <node concept="a7P8L" id="6$MmqWfmBjt" role="1uarlU">
+                        <ref role="a7OzE" node="6$MmqWfmBjH" resolve="L" />
+                      </node>
+                      <node concept="Hz6ka" id="6$MmqWfmBju" role="1uarlW">
+                        <node concept="KCUsM" id="6$MmqWfmBri" role="Hz6kd" />
+                      </node>
+                    </node>
+                    <node concept="1HFMs5" id="6$MmqWfmBj$" role="3AunhB">
+                      <node concept="a7P8L" id="6$MmqWfmBj_" role="1uarlU">
+                        <ref role="a7OzE" node="6$MmqWfmBjI" resolve="R" />
+                      </node>
+                      <node concept="Hz6ka" id="6$MmqWfmBjA" role="1uarlW">
+                        <node concept="KCUsM" id="6$MmqWfmBrS" role="Hz6kd" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6$MmqWfmBjG" role="0Rg$4">
+              <node concept="aZer4" id="6$MmqWfmBjH" role="3XD1gS">
+                <property role="TrG5h" value="L" />
+              </node>
+              <node concept="aZer4" id="6$MmqWfmBjI" role="3XD1gS">
+                <property role="TrG5h" value="R" />
+              </node>
+              <node concept="VbTHi" id="6$MmqWfmBjL" role="3vLBG7" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6$MmqWfmBwC" role="1nK1Vg">
+      <property role="TrG5h" value="convertsLists_default" />
+      <node concept="3clFbS" id="6$MmqWfmBwD" role="1nLNMH">
+        <node concept="1nLNNL" id="6$MmqWfmBwE" role="3cqZAp">
+          <node concept="1nLNMm" id="6$MmqWfmBwF" role="1nLNNK">
+            <node concept="3Aq93q" id="6$MmqWfmBwG" role="1nLNMb">
+              <node concept="3I6sU6" id="6$MmqWfmBwH" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6$MmqWfmBwI" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6$MmqWfmBwJ" role="3I6s78">
+                    <ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
+                    <node concept="a7P8L" id="6$MmqWfmBwL" role="3AunhB">
+                      <ref role="a7OzE" node="6$MmqWfmBwT" resolve="L" />
+                    </node>
+                    <node concept="a7P8L" id="6$MmqWfmBwP" role="3AunhB">
+                      <ref role="a7OzE" node="6$MmqWfmBwU" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6$MmqWfmBwS" role="0Rg$4">
+              <node concept="aZer4" id="6$MmqWfmBwT" role="3XD1gS">
+                <property role="TrG5h" value="L" />
+              </node>
+              <node concept="aZer4" id="6$MmqWfmBwU" role="3XD1gS">
+                <property role="TrG5h" value="R" />
+              </node>
+              <node concept="VbTHi" id="6$MmqWfmBwX" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="6$MmqWfmBDk" role="3xSepv">
+              <node concept="3Aq9E8" id="6$MmqWfmBDl" role="3xSepj">
+                <node concept="3I6sU6" id="6$MmqWfmBDm" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6$MmqWfmBDr" role="3I6sU7">
+                    <node concept="3wWvb2" id="6jkHA5M_Vme" role="3I6s78">
+                      <node concept="3clFbT" id="6jkHA5M_Vmg" role="3wWo3s" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="ns1xd" id="4E290qPYB4i">
+    <property role="TrG5h" value="ClosureTerms" />
+    <node concept="ns1x$" id="4lCLOtwq2MF" role="ns1xc">
+      <property role="TrG5h" value="type" />
+      <property role="3uGXoX" value="true" />
+      <node concept="nspSf" id="4lCLOtwq2MG" role="ns1xx" />
+    </node>
+    <node concept="ns1x$" id="6$MmqWflYd6" role="ns1xc">
+      <property role="TrG5h" value="function" />
+      <ref role="ns1xW" node="4lCLOtwq2MF" resolve="type" />
+      <node concept="nspSf" id="6$MmqWflYd7" role="ns1xx">
+        <node concept="nstbe" id="6$MmqWflYdg" role="nspSe">
+          <property role="TrG5h" value="result" />
+        </node>
+        <node concept="nsiOd" id="6$MmqWflYdw" role="nspSe">
+          <property role="TrG5h" value="params" />
+        </node>
+      </node>
+    </node>
+    <node concept="ns1x$" id="5jbgz$E6ihs" role="ns1xc">
+      <property role="TrG5h" value="sequence" />
+      <ref role="ns1xW" node="4lCLOtwq2MF" resolve="type" />
+      <node concept="nspSf" id="5jbgz$E6iht" role="ns1xx">
+        <node concept="nstbe" id="5jbgz$E6ihE" role="nspSe">
+          <property role="TrG5h" value="parameter" />
+        </node>
+      </node>
+    </node>
+  </node>
 </model>
 
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps
index 50cd8dc3..5f38de44 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps
@@ -20,6 +20,7 @@
         <child id="1068498886297" name="rValue" index="37vLTx" />
         <child id="1068498886295" name="lValue" index="37vLTJ" />
       </concept>
+      <concept id="1153422305557" name="jetbrains.mps.baseLanguage.structure.LessThanOrEqualsExpression" flags="nn" index="2dkUwp" />
       <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
       <concept id="2820489544401957797" name="jetbrains.mps.baseLanguage.structure.DefaultClassCreator" flags="nn" index="HV5vD">
         <reference id="2820489544401957798" name="classifier" index="HV5vE" />
@@ -32,6 +33,7 @@
         <child id="1145553007750" name="creator" index="2ShVmc" />
       </concept>
       <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
+      <concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
       <concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
       <concept id="1068390468198" name="jetbrains.mps.baseLanguage.structure.ClassConcept" flags="ig" index="312cEu">
         <child id="1165602531693" name="superclass" index="1zkMxy" />
@@ -56,6 +58,9 @@
       <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
         <child id="5680397130376446158" name="type" index="1tU5fm" />
       </concept>
+      <concept id="1111509017652" name="jetbrains.mps.baseLanguage.structure.FloatingPointConstant" flags="nn" index="3b6qkQ">
+        <property id="1113006610751" name="value" index="$nhwW" />
+      </concept>
       <concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
         <child id="1068580123133" name="returnType" index="3clF45" />
         <child id="1068580123134" name="parameter" index="3clF46" />
@@ -75,18 +80,24 @@
       <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
         <child id="1068581517665" name="statement" index="3cqZAp" />
       </concept>
+      <concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
+        <property id="1068580320021" name="value" index="3cmrfH" />
+      </concept>
+      <concept id="1068581242875" name="jetbrains.mps.baseLanguage.structure.PlusExpression" flags="nn" index="3cpWs3" />
       <concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
         <child id="1068581517676" name="expression" index="3cqZAk" />
       </concept>
       <concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
         <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
       </concept>
+      <concept id="1068581242869" name="jetbrains.mps.baseLanguage.structure.MinusExpression" flags="nn" index="3cpWsd" />
       <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="1206060495898" name="jetbrains.mps.baseLanguage.structure.ElsifClause" flags="ng" index="3eNFk2">
         <child id="1206060619838" name="condition" index="3eO9$A" />
         <child id="1206060644605" name="statementList" index="3eOfB_" />
       </concept>
+      <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>
@@ -102,12 +113,21 @@
       <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
         <reference id="1107535924139" name="classifier" index="3uigEE" />
       </concept>
+      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
+        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
+        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
+      </concept>
       <concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
         <child id="1178549979242" name="visibility" index="1B3o_S" />
       </concept>
       <concept id="1107796713796" name="jetbrains.mps.baseLanguage.structure.Interface" flags="ig" index="3HP615">
         <child id="1107797138135" name="extendedInterface" index="3HQHJm" />
       </concept>
+      <concept id="1163668896201" name="jetbrains.mps.baseLanguage.structure.TernaryOperatorExpression" flags="nn" index="3K4zz7">
+        <child id="1163668914799" name="condition" index="3K4Cdx" />
+        <child id="1163668922816" name="ifTrue" index="3K4E3e" />
+        <child id="1163668934364" name="ifFalse" index="3K4GZi" />
+      </concept>
       <concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
         <child id="1350122676458893092" name="text" index="3ndbpf" />
       </concept>
@@ -126,6 +146,9 @@
         <child id="1199569906740" name="parameter" index="1bW2Oz" />
         <child id="1199569916463" name="body" index="1bW5cS" />
       </concept>
+      <concept id="1199711271002" name="jetbrains.mps.baseLanguage.closures.structure.InvokeExpression" flags="nn" index="1knj_d">
+        <child id="1199711344856" name="parameter" index="1kn_Bf" />
+      </concept>
       <concept id="1225797177491" name="jetbrains.mps.baseLanguage.closures.structure.InvokeFunctionOperation" flags="nn" index="1Bd96e">
         <child id="1225797361612" name="parameter" index="1BdPVh" />
       </concept>
@@ -731,8 +754,8 @@
               <node concept="37vLTw" id="4S1mDSNPDD2" role="2SgHGx">
                 <ref role="3cqZAo" node="4S1mDSNPBFp" resolve="c" />
               </node>
-              <node concept="37vLTw" id="4S1mDSNPBVC" role="2SgG2M">
-                <ref role="3cqZAo" node="4S1mDSNPBuC" resolve="f1" />
+              <node concept="37vLTw" id="2MpDLe9IXbt" role="2SgG2M">
+                <ref role="3cqZAo" node="4S1mDSNPBvL" resolve="f2" />
               </node>
             </node>
           </node>
@@ -749,12 +772,12 @@
               </node>
               <node concept="37vLTw" id="4S1mDSNPDFY" role="2SgHGx">
                 <ref role="3cqZAo" node="4S1mDSNPBCP" resolve="a" />
+                <node concept="1U20sH" id="2MpDLe9IXHg" role="lGtFl">
+                  <property role="1U20sK" value="error" />
+                </node>
               </node>
-              <node concept="37vLTw" id="4S1mDSNPBVH" role="2SgG2M">
-                <ref role="3cqZAo" node="4S1mDSNPBuC" resolve="f1" />
-              </node>
-              <node concept="1U20sH" id="4S1mDSNPDH2" role="lGtFl">
-                <property role="1U20sK" value="error" />
+              <node concept="37vLTw" id="2MpDLe9IXpK" role="2SgG2M">
+                <ref role="3cqZAo" node="4S1mDSNPBvL" resolve="f2" />
               </node>
             </node>
           </node>
@@ -930,8 +953,8 @@
               <ref role="3uigEE" node="4S1mDSNPBAO" resolve="ClosureInvocations.B" />
             </node>
             <node concept="2OqwBi" id="4yZzE4kOIO2" role="33vP2m">
-              <node concept="37vLTw" id="4yZzE4kOF4H" role="2Oq$k0">
-                <ref role="3cqZAo" node="4yZzE4kOF3R" resolve="f1" />
+              <node concept="37vLTw" id="2MpDLe9IY7c" role="2Oq$k0">
+                <ref role="3cqZAo" node="4yZzE4kOF3U" resolve="f2" />
               </node>
               <node concept="1Bd96e" id="4yZzE4kOIQK" role="2OqNvi">
                 <node concept="37vLTw" id="4yZzE4kOISx" role="1BdPVh">
@@ -951,8 +974,8 @@
               <ref role="3uigEE" node="4S1mDSNPBAM" resolve="ClosureInvocations.A" />
             </node>
             <node concept="2OqwBi" id="4yZzE4kOIXg" role="33vP2m">
-              <node concept="37vLTw" id="4yZzE4kOF4O" role="2Oq$k0">
-                <ref role="3cqZAo" node="4yZzE4kOF3R" resolve="f1" />
+              <node concept="37vLTw" id="2MpDLe9IYly" role="2Oq$k0">
+                <ref role="3cqZAo" node="4yZzE4kOF3U" resolve="f2" />
               </node>
               <node concept="1Bd96e" id="4yZzE4kOIZY" role="2OqNvi">
                 <node concept="37vLTw" id="4yZzE4kOJ2l" role="1BdPVh">
@@ -960,9 +983,9 @@
                 </node>
                 <node concept="37vLTw" id="4yZzE4kOJ4w" role="1BdPVh">
                   <ref role="3cqZAo" node="4yZzE4kOF3L" resolve="a" />
-                </node>
-                <node concept="1U20sH" id="4yZzE4kOJ84" role="lGtFl">
-                  <property role="1U20sK" value="error" />
+                  <node concept="1U20sH" id="2MpDLe9IYD8" role="lGtFl">
+                    <property role="1U20sK" value="error" />
+                  </node>
                 </node>
               </node>
             </node>
@@ -1506,9 +1529,9 @@
                       <node concept="3cpWs6" id="4yZzE4kNitQ" role="3cqZAp">
                         <node concept="37vLTw" id="4yZzE4kNldg" role="3cqZAk">
                           <ref role="3cqZAo" node="zb1Nk79_m3" resolve="a" />
-                          <node concept="1U20sH" id="4yZzE4kO1NU" role="lGtFl">
-                            <property role="1U20sK" value="error" />
-                          </node>
+                        </node>
+                        <node concept="1U20sH" id="2MpDLe9FmOl" role="lGtFl">
+                          <property role="1U20sK" value="error" />
                         </node>
                       </node>
                     </node>
@@ -1529,5 +1552,975 @@
     <node concept="2tJIrI" id="4yZzE4kOCxK" role="jymVt" />
     <node concept="3Tm1VV" id="zb1Nk79_na" role="1B3o_S" />
   </node>
+  <node concept="312cEu" id="4yZzE4kOJc5">
+    <property role="TrG5h" value="ClosureLiteralsInvoke" />
+    <node concept="2tJIrI" id="4yZzE4kOJc6" role="jymVt" />
+    <node concept="312cEu" id="4yZzE4kOJc7" role="jymVt">
+      <property role="TrG5h" value="A" />
+      <node concept="3Tm1VV" id="4yZzE4kOJc8" role="1B3o_S" />
+    </node>
+    <node concept="312cEu" id="4yZzE4kOJc9" role="jymVt">
+      <property role="TrG5h" value="B" />
+      <node concept="3Tm1VV" id="4yZzE4kOJca" role="1B3o_S" />
+      <node concept="3uibUv" id="4yZzE4kOJcb" role="1zkMxy">
+        <ref role="3uigEE" node="4yZzE4kOJc7" resolve="ClosureLiteralsInvoke.A" />
+      </node>
+    </node>
+    <node concept="312cEu" id="4yZzE4kOJcc" role="jymVt">
+      <property role="TrG5h" value="C" />
+      <node concept="3Tm1VV" id="4yZzE4kOJcd" role="1B3o_S" />
+      <node concept="3uibUv" id="4yZzE4kOJce" role="1zkMxy">
+        <ref role="3uigEE" node="4yZzE4kOJc9" resolve="ClosureLiteralsInvoke.B" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4yZzE4kOJcf" role="jymVt" />
+    <node concept="2tJIrI" id="4yZzE4kOJcg" role="jymVt" />
+    <node concept="3clFb_" id="4yZzE4kOJch" role="jymVt">
+      <property role="TrG5h" value="accept0" />
+      <node concept="37vLTG" id="4yZzE4kOJci" role="3clF46">
+        <property role="TrG5h" value="voidy" />
+        <node concept="1ajhzC" id="4yZzE4kOJcj" role="1tU5fm">
+          <node concept="3cqZAl" id="4yZzE4kOJck" role="1ajl9A" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="4yZzE4kOJcl" role="3clF47">
+        <node concept="3clFbF" id="4yZzE4kOJcm" role="3cqZAp">
+          <node concept="2Sg_IR" id="4yZzE4kONwD" role="3clFbG">
+            <node concept="1bVj0M" id="4yZzE4kONwE" role="2SgG2M">
+              <node concept="3clFbS" id="4yZzE4kONwF" role="1bW5cS">
+                <node concept="3cpWs6" id="4yZzE4kONwG" role="3cqZAp" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="4yZzE4kOJcp" role="1B3o_S" />
+      <node concept="3cqZAl" id="4yZzE4kOJcq" role="3clF45" />
+    </node>
+    <node concept="2tJIrI" id="4yZzE4kONxS" role="jymVt" />
+    <node concept="3clFb_" id="4yZzE4kOJcz" role="jymVt">
+      <property role="TrG5h" value="acceptT1" />
+      <node concept="3clFbS" id="4yZzE4kOJc$" role="3clF47" />
+      <node concept="3Tm1VV" id="4yZzE4kOJc_" role="1B3o_S" />
+      <node concept="3cqZAl" id="4yZzE4kOJcA" role="3clF45" />
+      <node concept="37vLTG" id="4yZzE4kOJcB" role="3clF46">
+        <property role="TrG5h" value="block" />
+        <node concept="1ajhzC" id="4yZzE4kOJcC" role="1tU5fm">
+          <node concept="16syzq" id="4yZzE4kOJcD" role="1ajw0F">
+            <ref role="16sUi3" node="4yZzE4kOJcG" resolve="TA" />
+          </node>
+          <node concept="16syzq" id="4yZzE4kOJcE" role="1ajl9A">
+            <ref role="16sUi3" node="4yZzE4kOJcF" resolve="TR" />
+          </node>
+        </node>
+      </node>
+      <node concept="16euLQ" id="4yZzE4kOJcF" role="16eVyc">
+        <property role="TrG5h" value="TR" />
+      </node>
+      <node concept="16euLQ" id="4yZzE4kOJcG" role="16eVyc">
+        <property role="TrG5h" value="TA" />
+        <node concept="16syzq" id="4yZzE4kOJcH" role="3ztrMU">
+          <ref role="16sUi3" node="4yZzE4kOJcF" resolve="TR" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4yZzE4kORZ3" role="jymVt" />
+    <node concept="3clFb_" id="4yZzE4kOSg8" role="jymVt">
+      <property role="TrG5h" value="intDomain" />
+      <node concept="3clFbS" id="4yZzE4kOSgb" role="3clF47">
+        <node concept="3clFbF" id="4yZzE4kOSKo" role="3cqZAp">
+          <node concept="2Sg_IR" id="4yZzE4kOSLs" role="3clFbG">
+            <node concept="37vLTw" id="4yZzE4kOSMC" role="2SgHGx">
+              <ref role="3cqZAo" node="4yZzE4kOSrT" resolve="base" />
+            </node>
+            <node concept="37vLTw" id="4yZzE4kOSLt" role="2SgG2M">
+              <ref role="3cqZAo" node="4yZzE4kOSlU" resolve="impl" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="4yZzE4kOSa6" role="1B3o_S" />
+      <node concept="10Oyi0" id="4yZzE4kOSFV" role="3clF45" />
+      <node concept="37vLTG" id="4yZzE4kOSlU" role="3clF46">
+        <property role="TrG5h" value="impl" />
+        <node concept="1ajhzC" id="4yZzE4kOSlS" role="1tU5fm">
+          <node concept="10Oyi0" id="4yZzE4kOSwp" role="1ajl9A" />
+          <node concept="10Oyi0" id="4yZzE4kOSpO" role="1ajw0F" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="4yZzE4kOSrT" role="3clF46">
+        <property role="TrG5h" value="base" />
+        <node concept="10Oyi0" id="4yZzE4kOSvg" role="1tU5fm" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4yZzE4kONY$" role="jymVt" />
+    <node concept="2tJIrI" id="4yZzE4kOJcR" role="jymVt" />
+    <node concept="2tJIrI" id="4yZzE4kOJcS" role="jymVt" />
+    <node concept="3clFb_" id="4yZzE4kOJcT" role="jymVt">
+      <property role="TrG5h" value="basicInplaceInvoke" />
+      <node concept="37vLTG" id="4yZzE4kOJcW" role="3clF46">
+        <property role="TrG5h" value="bool" />
+        <node concept="10P_77" id="4yZzE4kOJcX" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="4yZzE4kOJcY" role="3clF46">
+        <property role="TrG5h" value="a" />
+        <node concept="3uibUv" id="4yZzE4kOJcZ" role="1tU5fm">
+          <ref role="3uigEE" node="4yZzE4kOJc7" resolve="ClosureLiteralsInvoke.A" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="4yZzE4kOJd0" role="3clF46">
+        <property role="TrG5h" value="b" />
+        <node concept="3uibUv" id="4yZzE4kOJd1" role="1tU5fm">
+          <ref role="3uigEE" node="4yZzE4kOJc9" resolve="ClosureLiteralsInvoke.B" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="4yZzE4kOJd2" role="3clF46">
+        <property role="TrG5h" value="c" />
+        <node concept="3uibUv" id="4yZzE4kOJd3" role="1tU5fm">
+          <ref role="3uigEE" node="4yZzE4kOJcc" resolve="ClosureLiteralsInvoke.C" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="4yZzE4kOJd7" role="3clF46">
+        <property role="TrG5h" value="obj" />
+        <node concept="3uibUv" id="4yZzE4kOJd8" role="1tU5fm">
+          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="4yZzE4kOJd9" role="3clF47">
+        <node concept="3SKdUt" id="4yZzE4kOJda" role="3cqZAp">
+          <node concept="1PaTwC" id="4yZzE4kOJdb" role="3ndbpf">
+            <node concept="3oM_SD" id="4yZzE4kOJdc" role="1PaTwD">
+              <property role="3oM_SC" value="void" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kOJdd" role="1PaTwD">
+              <property role="3oM_SC" value="return" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="4yZzE4kOOVO" role="3cqZAp">
+          <node concept="3cpWsn" id="4yZzE4kOOVP" role="3cpWs9">
+            <property role="TrG5h" value="smth" />
+            <node concept="3uibUv" id="4yZzE4kOOVQ" role="1tU5fm">
+              <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+            </node>
+            <node concept="2Sg_IR" id="4yZzE4kOP7n" role="33vP2m">
+              <node concept="1bVj0M" id="4yZzE4kOP7o" role="2SgG2M">
+                <node concept="3clFbS" id="4yZzE4kOP7p" role="1bW5cS">
+                  <node concept="3cpWs6" id="4yZzE4kOP8M" role="3cqZAp" />
+                </node>
+              </node>
+            </node>
+            <node concept="1U20sH" id="4yZzE4kOPkp" role="lGtFl">
+              <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4yZzE4kOPsv" role="3cqZAp">
+          <node concept="1rXfSq" id="4yZzE4kOPst" role="3clFbG">
+            <ref role="37wK5l" node="4yZzE4kOJch" resolve="accept0" />
+            <node concept="2Sg_IR" id="4yZzE4kOPtV" role="37wK5m">
+              <node concept="1bVj0M" id="4yZzE4kOPtW" role="2SgG2M">
+                <node concept="3clFbS" id="4yZzE4kOPtX" role="1bW5cS" />
+              </node>
+              <node concept="1U20sH" id="4yZzE4kOPyd" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="4yZzE4kOJds" role="3cqZAp" />
+        <node concept="3SKdUt" id="4yZzE4kOJdt" role="3cqZAp">
+          <node concept="1PaTwC" id="4yZzE4kOJdu" role="3ndbpf">
+            <node concept="3oM_SD" id="4yZzE4kOJdv" role="1PaTwD">
+              <property role="3oM_SC" value="basic" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kONpB" role="1PaTwD">
+              <property role="3oM_SC" value="invoke" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="4yZzE4kOLM7" role="3cqZAp">
+          <node concept="3cpWsn" id="4yZzE4kOLM8" role="3cpWs9">
+            <property role="TrG5h" value="a1" />
+            <node concept="3uibUv" id="4yZzE4kOM7z" role="1tU5fm">
+              <ref role="3uigEE" node="4yZzE4kOJc7" resolve="ClosureLiteralsInvoke.A" />
+            </node>
+            <node concept="2Sg_IR" id="4yZzE4kOMnT" role="33vP2m">
+              <node concept="37vLTw" id="4yZzE4kOMsy" role="2SgHGx">
+                <ref role="3cqZAo" node="4yZzE4kOJd0" resolve="b" />
+              </node>
+              <node concept="1bVj0M" id="4yZzE4kOMnU" role="2SgG2M">
+                <node concept="37vLTG" id="4yZzE4kOMnV" role="1bW2Oz">
+                  <property role="TrG5h" value="smth" />
+                  <node concept="3uibUv" id="4yZzE4kOMnW" role="1tU5fm">
+                    <ref role="3uigEE" node="4yZzE4kOJc9" resolve="ClosureLiteralsInvoke.B" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="4yZzE4kOMnX" role="1bW5cS">
+                  <node concept="3clFbF" id="4yZzE4kOMnY" role="3cqZAp">
+                    <node concept="37vLTw" id="4yZzE4kOPII" role="3clFbG">
+                      <ref role="3cqZAo" node="4yZzE4kOJcY" resolve="a" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="4yZzE4kOMYh" role="3cqZAp">
+          <node concept="3cpWsn" id="4yZzE4kOMYi" role="3cpWs9">
+            <property role="TrG5h" value="a2" />
+            <node concept="3uibUv" id="4yZzE4kOMYj" role="1tU5fm">
+              <ref role="3uigEE" node="4yZzE4kOJc7" resolve="ClosureLiteralsInvoke.A" />
+            </node>
+            <node concept="2Sg_IR" id="4yZzE4kOMYk" role="33vP2m">
+              <node concept="1bVj0M" id="4yZzE4kOMYm" role="2SgG2M">
+                <node concept="37vLTG" id="4yZzE4kOMYn" role="1bW2Oz">
+                  <property role="TrG5h" value="smth" />
+                  <node concept="3uibUv" id="4yZzE4kOMYo" role="1tU5fm">
+                    <ref role="3uigEE" node="4yZzE4kOJc9" resolve="ClosureLiteralsInvoke.B" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="4yZzE4kOMYp" role="1bW5cS">
+                  <node concept="3clFbF" id="4yZzE4kOPMN" role="3cqZAp">
+                    <node concept="37vLTw" id="4yZzE4kOPOS" role="3clFbG">
+                      <ref role="3cqZAo" node="4yZzE4kOMYn" resolve="smth" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTw" id="4yZzE4kONl3" role="2SgHGx">
+                <ref role="3cqZAo" node="4yZzE4kOJcY" resolve="a" />
+                <node concept="1U20sH" id="4yZzE4kONo5" role="lGtFl">
+                  <property role="1U20sK" value="error" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="4yZzE4kOQCq" role="3cqZAp">
+          <node concept="3cpWsn" id="4yZzE4kOQCr" role="3cpWs9">
+            <property role="TrG5h" value="a1b" />
+            <node concept="3uibUv" id="4yZzE4kOQCs" role="1tU5fm">
+              <ref role="3uigEE" node="4yZzE4kOJc7" resolve="ClosureLiteralsInvoke.A" />
+            </node>
+            <node concept="2OqwBi" id="4yZzE4kOQWV" role="33vP2m">
+              <node concept="1bVj0M" id="4yZzE4kOQCv" role="2Oq$k0">
+                <node concept="37vLTG" id="4yZzE4kOQCw" role="1bW2Oz">
+                  <property role="TrG5h" value="smth" />
+                  <node concept="3uibUv" id="4yZzE4kOQCx" role="1tU5fm">
+                    <ref role="3uigEE" node="4yZzE4kOJc9" resolve="ClosureLiteralsInvoke.B" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="4yZzE4kOQCy" role="1bW5cS">
+                  <node concept="3clFbF" id="4yZzE4kOQCz" role="3cqZAp">
+                    <node concept="37vLTw" id="4yZzE4kOQC$" role="3clFbG">
+                      <ref role="3cqZAo" node="4yZzE4kOJcY" resolve="a" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="1Bd96e" id="4yZzE4kOR3u" role="2OqNvi">
+                <node concept="37vLTw" id="4yZzE4kOR4i" role="1BdPVh">
+                  <ref role="3cqZAo" node="4yZzE4kOJd0" resolve="b" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="4yZzE4kOQC_" role="3cqZAp">
+          <node concept="3cpWsn" id="4yZzE4kOQCA" role="3cpWs9">
+            <property role="TrG5h" value="a2b" />
+            <node concept="3uibUv" id="4yZzE4kOQCB" role="1tU5fm">
+              <ref role="3uigEE" node="4yZzE4kOJc7" resolve="ClosureLiteralsInvoke.A" />
+            </node>
+            <node concept="2OqwBi" id="4yZzE4kORdC" role="33vP2m">
+              <node concept="1bVj0M" id="4yZzE4kOQCD" role="2Oq$k0">
+                <node concept="37vLTG" id="4yZzE4kOQCE" role="1bW2Oz">
+                  <property role="TrG5h" value="smth" />
+                  <node concept="3uibUv" id="4yZzE4kOQCF" role="1tU5fm">
+                    <ref role="3uigEE" node="4yZzE4kOJc9" resolve="ClosureLiteralsInvoke.B" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="4yZzE4kOQCG" role="1bW5cS">
+                  <node concept="3clFbF" id="4yZzE4kOQCH" role="3cqZAp">
+                    <node concept="37vLTw" id="4yZzE4kOQCI" role="3clFbG">
+                      <ref role="3cqZAo" node="4yZzE4kOQCE" resolve="smth" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="1Bd96e" id="4yZzE4kORkC" role="2OqNvi">
+                <node concept="37vLTw" id="4yZzE4kORs6" role="1BdPVh">
+                  <ref role="3cqZAo" node="4yZzE4kOJcY" resolve="a" />
+                  <node concept="1U20sH" id="4yZzE4kORvd" role="lGtFl">
+                    <property role="1U20sK" value="error" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="4yZzE4kORmF" role="3cqZAp" />
+      </node>
+      <node concept="3Tm1VV" id="4yZzE4kOJfL" role="1B3o_S" />
+      <node concept="3cqZAl" id="4yZzE4kOJfM" role="3clF45" />
+    </node>
+    <node concept="2tJIrI" id="4yZzE4kOPT2" role="jymVt" />
+    <node concept="3clFb_" id="4yZzE4kOPWd" role="jymVt">
+      <property role="TrG5h" value="recursiveInvoke" />
+      <node concept="37vLTG" id="4yZzE4kOPWe" role="3clF46">
+        <property role="TrG5h" value="bool" />
+        <node concept="10P_77" id="4yZzE4kOPWf" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="4yZzE4kOPWg" role="3clF46">
+        <property role="TrG5h" value="a" />
+        <node concept="3uibUv" id="4yZzE4kOPWh" role="1tU5fm">
+          <ref role="3uigEE" node="4yZzE4kOJc7" resolve="ClosureLiteralsInvoke.A" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="4yZzE4kOPWi" role="3clF46">
+        <property role="TrG5h" value="b" />
+        <node concept="3uibUv" id="4yZzE4kOPWj" role="1tU5fm">
+          <ref role="3uigEE" node="4yZzE4kOJc9" resolve="ClosureLiteralsInvoke.B" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="4yZzE4kOPWk" role="3clF46">
+        <property role="TrG5h" value="c" />
+        <node concept="3uibUv" id="4yZzE4kOPWl" role="1tU5fm">
+          <ref role="3uigEE" node="4yZzE4kOJcc" resolve="ClosureLiteralsInvoke.C" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="4yZzE4kOPWm" role="3clF46">
+        <property role="TrG5h" value="obj" />
+        <node concept="3uibUv" id="4yZzE4kOPWn" role="1tU5fm">
+          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="4yZzE4kOPWo" role="3clF47">
+        <node concept="3clFbH" id="4yZzE4kOUsZ" role="3cqZAp" />
+        <node concept="3SKdUt" id="4yZzE4kP5s4" role="3cqZAp">
+          <node concept="1PaTwC" id="4yZzE4kP5s5" role="3ndbpf">
+            <node concept="3oM_SD" id="4yZzE4kP5s7" role="1PaTwD">
+              <property role="3oM_SC" value="not" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kP5z4" role="1PaTwD">
+              <property role="3oM_SC" value="enough" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kP5z7" role="1PaTwD">
+              <property role="3oM_SC" value="information" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kP5zj" role="1PaTwD">
+              <property role="3oM_SC" value="for" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kP5zo" role="1PaTwD">
+              <property role="3oM_SC" value="return" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kP5zA" role="1PaTwD">
+              <property role="3oM_SC" value="type" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kP5zH" role="1PaTwD">
+              <property role="3oM_SC" value="inference" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="4yZzE4kOUyO" role="3cqZAp">
+          <node concept="3cpWsn" id="4yZzE4kOUyR" role="3cpWs9">
+            <property role="TrG5h" value="findInfinity1" />
+            <node concept="10Oyi0" id="4yZzE4kOUyM" role="1tU5fm" />
+            <node concept="2Sg_IR" id="4yZzE4kOUH6" role="33vP2m">
+              <node concept="1bVj0M" id="4yZzE4kOUH7" role="2SgG2M">
+                <node concept="37vLTG" id="4yZzE4kOUOk" role="1bW2Oz">
+                  <property role="TrG5h" value="i" />
+                  <node concept="10Oyi0" id="4yZzE4kOUYK" role="1tU5fm" />
+                </node>
+                <node concept="3clFbS" id="4yZzE4kOUH8" role="1bW5cS">
+                  <node concept="3clFbF" id="4yZzE4kOUKY" role="3cqZAp">
+                    <node concept="1knj_d" id="4yZzE4kOUKX" role="3clFbG">
+                      <node concept="3cpWsd" id="4yZzE4kOVIM" role="1kn_Bf">
+                        <node concept="37vLTw" id="4yZzE4kOV2f" role="3uHU7B">
+                          <ref role="3cqZAo" node="4yZzE4kOUOk" resolve="i" />
+                        </node>
+                        <node concept="3cmrfG" id="4yZzE4kOVyV" role="3uHU7w">
+                          <property role="3cmrfH" value="1" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3cmrfG" id="4yZzE4kOV5I" role="2SgHGx">
+                <property role="3cmrfH" value="42" />
+              </node>
+            </node>
+            <node concept="1U20sH" id="4yZzE4kP55B" role="lGtFl">
+              <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
+        <node concept="3SKdUt" id="4yZzE4kP5Ju" role="3cqZAp">
+          <node concept="1PaTwC" id="4yZzE4kP5Jv" role="3ndbpf">
+            <node concept="3oM_SD" id="4yZzE4kP5Jx" role="1PaTwD">
+              <property role="3oM_SC" value="fallback" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kP5QB" role="1PaTwD">
+              <property role="3oM_SC" value="type" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kP5Rw" role="1PaTwD">
+              <property role="3oM_SC" value="is" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kP5R$" role="1PaTwD">
+              <property role="3oM_SC" value="Object" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="4yZzE4kP561" role="3cqZAp">
+          <node concept="3cpWsn" id="4yZzE4kP562" role="3cpWs9">
+            <property role="TrG5h" value="findInfinity2" />
+            <node concept="3uibUv" id="4yZzE4kP5eM" role="1tU5fm">
+              <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+            </node>
+            <node concept="2Sg_IR" id="4yZzE4kP564" role="33vP2m">
+              <node concept="1bVj0M" id="4yZzE4kP565" role="2SgG2M">
+                <node concept="37vLTG" id="4yZzE4kP566" role="1bW2Oz">
+                  <property role="TrG5h" value="i" />
+                  <node concept="10Oyi0" id="4yZzE4kP567" role="1tU5fm" />
+                </node>
+                <node concept="3clFbS" id="4yZzE4kP568" role="1bW5cS">
+                  <node concept="3clFbF" id="4yZzE4kP569" role="3cqZAp">
+                    <node concept="1knj_d" id="4yZzE4kP56a" role="3clFbG">
+                      <node concept="3cpWsd" id="4yZzE4kP56b" role="1kn_Bf">
+                        <node concept="37vLTw" id="4yZzE4kP56c" role="3uHU7B">
+                          <ref role="3cqZAo" node="4yZzE4kP566" resolve="i" />
+                        </node>
+                        <node concept="3cmrfG" id="4yZzE4kP56d" role="3uHU7w">
+                          <property role="3cmrfH" value="1" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3cmrfG" id="4yZzE4kP56e" role="2SgHGx">
+                <property role="3cmrfH" value="42" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="4yZzE4kOSZc" role="3cqZAp" />
+        <node concept="3clFbH" id="5QlJgjTF2sG" role="3cqZAp" />
+        <node concept="3SKdUt" id="4yZzE4kPbA6" role="3cqZAp">
+          <node concept="1PaTwC" id="4yZzE4kPbA7" role="3ndbpf">
+            <node concept="3oM_SD" id="4yZzE4kPbA9" role="1PaTwD">
+              <property role="3oM_SC" value="todo:" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPbNJ" role="1PaTwD">
+              <property role="3oM_SC" value="inference" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPbO2" role="1PaTwD">
+              <property role="3oM_SC" value="for" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPbOe" role="1PaTwD">
+              <property role="3oM_SC" value="free" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPbOr" role="1PaTwD">
+              <property role="3oM_SC" value="variables" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPbOD" role="1PaTwD">
+              <property role="3oM_SC" value="inside" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPbOK" role="1PaTwD">
+              <property role="3oM_SC" value="other" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPbTq" role="1PaTwD">
+              <property role="3oM_SC" value="expression" />
+            </node>
+          </node>
+          <node concept="1PaTwC" id="4yZzE4kPbTG" role="3ndbpf">
+            <node concept="3oM_SD" id="4yZzE4kPbTF" role="1PaTwD">
+              <property role="3oM_SC" value="not" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPc8h" role="1PaTwD">
+              <property role="3oM_SC" value="designed" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPc8k" role="1PaTwD">
+              <property role="3oM_SC" value="to" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPc8o" role="1PaTwD">
+              <property role="3oM_SC" value="handle" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPc8t" role="1PaTwD">
+              <property role="3oM_SC" value="free" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPc9a" role="1PaTwD">
+              <property role="3oM_SC" value="vars" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPc9h" role="1PaTwD">
+              <property role="3oM_SC" value="case" />
+            </node>
+          </node>
+          <node concept="1PaTwC" id="4yZzE4kPc9E" role="3ndbpf">
+            <node concept="3oM_SD" id="4yZzE4kPc9D" role="1PaTwD">
+              <property role="3oM_SC" value="e.g." />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPcon" role="1PaTwD">
+              <property role="3oM_SC" value="here" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPcoq" role="1PaTwD">
+              <property role="3oM_SC" value="PlusExpression" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPcoI" role="1PaTwD">
+              <property role="3oM_SC" value="and" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPcoN" role="1PaTwD">
+              <property role="3oM_SC" value="unbox" />
+            </node>
+            <node concept="3oM_SD" id="4yZzE4kPcp1" role="1PaTwD">
+              <property role="3oM_SC" value="handler" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4yZzE4kOYy_" role="3cqZAp">
+          <node concept="1rXfSq" id="4yZzE4kOYyA" role="3clFbG">
+            <ref role="37wK5l" node="4yZzE4kOSg8" resolve="intDomain" />
+            <node concept="1bVj0M" id="4yZzE4kOYyB" role="37wK5m">
+              <node concept="3clFbS" id="4yZzE4kOYyC" role="1bW5cS">
+                <node concept="3clFbJ" id="4yZzE4kOYQw" role="3cqZAp">
+                  <node concept="2dkUwp" id="4yZzE4kOZu0" role="3clFbw">
+                    <node concept="3cmrfG" id="4yZzE4kOZvH" role="3uHU7w">
+                      <property role="3cmrfH" value="1" />
+                    </node>
+                    <node concept="37vLTw" id="4yZzE4kOYS8" role="3uHU7B">
+                      <ref role="3cqZAo" node="4yZzE4kOYyS" resolve="x" />
+                    </node>
+                  </node>
+                  <node concept="3clFbS" id="4yZzE4kOYQy" role="3clFbx">
+                    <node concept="3cpWs6" id="4yZzE4kOZxs" role="3cqZAp">
+                      <node concept="3cmrfG" id="4yZzE4kOZzj" role="3cqZAk">
+                        <property role="3cmrfH" value="1" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="9aQIb" id="4yZzE4kOZ_c" role="9aQIa">
+                    <node concept="3clFbS" id="4yZzE4kOZ_d" role="9aQI4">
+                      <node concept="3cpWs6" id="4yZzE4kOZB5" role="3cqZAp">
+                        <node concept="3cpWs3" id="4yZzE4kOYyJ" role="3cqZAk">
+                          <node concept="1knj_d" id="4yZzE4kOYyK" role="3uHU7w">
+                            <node concept="3cpWsd" id="4yZzE4kOYyL" role="1kn_Bf">
+                              <node concept="3cmrfG" id="4yZzE4kOYyM" role="3uHU7w">
+                                <property role="3cmrfH" value="2" />
+                              </node>
+                              <node concept="37vLTw" id="4yZzE4kOYyN" role="3uHU7B">
+                                <ref role="3cqZAo" node="4yZzE4kOYyS" resolve="x" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="1knj_d" id="4yZzE4kOYyO" role="3uHU7B">
+                            <node concept="3cpWsd" id="4yZzE4kOYyP" role="1kn_Bf">
+                              <node concept="3cmrfG" id="4yZzE4kOYyQ" role="3uHU7w">
+                                <property role="3cmrfH" value="1" />
+                              </node>
+                              <node concept="37vLTw" id="4yZzE4kOYyR" role="3uHU7B">
+                                <ref role="3cqZAo" node="4yZzE4kOYyS" resolve="x" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTG" id="4yZzE4kOYyS" role="1bW2Oz">
+                <property role="TrG5h" value="x" />
+                <node concept="10Oyi0" id="4yZzE4kOYyT" role="1tU5fm" />
+              </node>
+            </node>
+            <node concept="3cmrfG" id="4yZzE4kOYyU" role="37wK5m">
+              <property role="3cmrfH" value="5" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4yZzE4kOT16" role="3cqZAp">
+          <node concept="1rXfSq" id="4yZzE4kOT14" role="3clFbG">
+            <ref role="37wK5l" node="4yZzE4kOSg8" resolve="intDomain" />
+            <node concept="1bVj0M" id="4yZzE4kOT5U" role="37wK5m">
+              <node concept="3clFbS" id="4yZzE4kOT5W" role="1bW5cS">
+                <node concept="3clFbF" id="4yZzE4kOVUa" role="3cqZAp">
+                  <node concept="3K4zz7" id="4yZzE4kOX4X" role="3clFbG">
+                    <node concept="3cmrfG" id="4yZzE4kOX6V" role="3K4E3e">
+                      <property role="3cmrfH" value="1" />
+                    </node>
+                    <node concept="2dkUwp" id="4yZzE4kOWsp" role="3K4Cdx">
+                      <node concept="37vLTw" id="4yZzE4kOVU9" role="3uHU7B">
+                        <ref role="3cqZAo" node="4yZzE4kOT72" resolve="x" />
+                      </node>
+                      <node concept="3cmrfG" id="4yZzE4kOXbf" role="3uHU7w">
+                        <property role="3cmrfH" value="1" />
+                      </node>
+                    </node>
+                    <node concept="3cpWs3" id="4yZzE4kOTV7" role="3K4GZi">
+                      <node concept="1knj_d" id="4yZzE4kOTX5" role="3uHU7w">
+                        <node concept="3cpWsd" id="4yZzE4kOUqJ" role="1kn_Bf">
+                          <node concept="3cmrfG" id="4yZzE4kOUqU" role="3uHU7w">
+                            <property role="3cmrfH" value="2" />
+                          </node>
+                          <node concept="37vLTw" id="4yZzE4kOU0u" role="3uHU7B">
+                            <ref role="3cqZAo" node="4yZzE4kOT72" resolve="x" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="1knj_d" id="4yZzE4kOTli" role="3uHU7B">
+                        <node concept="3cpWsd" id="4yZzE4kOTNS" role="1kn_Bf">
+                          <node concept="3cmrfG" id="4yZzE4kOTPP" role="3uHU7w">
+                            <property role="3cmrfH" value="1" />
+                          </node>
+                          <node concept="37vLTw" id="4yZzE4kOTnO" role="3uHU7B">
+                            <ref role="3cqZAo" node="4yZzE4kOT72" resolve="x" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTG" id="4yZzE4kOT72" role="1bW2Oz">
+                <property role="TrG5h" value="x" />
+                <node concept="10Oyi0" id="4yZzE4kOTiv" role="1tU5fm" />
+              </node>
+            </node>
+            <node concept="3cmrfG" id="4yZzE4kOT4A" role="37wK5m">
+              <property role="3cmrfH" value="5" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="4yZzE4kP28g" role="3cqZAp" />
+        <node concept="3clFbF" id="5QlJgjTFwX6" role="3cqZAp">
+          <node concept="1rXfSq" id="5QlJgjTFwX7" role="3clFbG">
+            <ref role="37wK5l" node="4yZzE4kOSg8" resolve="intDomain" />
+            <node concept="1bVj0M" id="5QlJgjTFwX8" role="37wK5m">
+              <node concept="3clFbS" id="5QlJgjTFwX9" role="1bW5cS">
+                <node concept="3clFbF" id="5QlJgjTFxGu" role="3cqZAp">
+                  <node concept="3K4zz7" id="5QlJgjTFyjP" role="3clFbG">
+                    <node concept="1knj_d" id="5QlJgjTFymx" role="3K4E3e">
+                      <node concept="3cpWsd" id="5QlJgjTFyuF" role="1kn_Bf">
+                        <node concept="3cmrfG" id="5QlJgjTFyuQ" role="3uHU7w">
+                          <property role="3cmrfH" value="1" />
+                        </node>
+                        <node concept="37vLTw" id="5QlJgjTFyrQ" role="3uHU7B">
+                          <ref role="3cqZAo" node="5QlJgjTFwXm" resolve="x" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3cmrfG" id="5QlJgjTFyxM" role="3K4GZi">
+                      <property role="3cmrfH" value="0" />
+                    </node>
+                    <node concept="3eOSWO" id="5QlJgjTFyeX" role="3K4Cdx">
+                      <node concept="3cmrfG" id="5QlJgjTFyhk" role="3uHU7w">
+                        <property role="3cmrfH" value="1" />
+                      </node>
+                      <node concept="37vLTw" id="5QlJgjTFxGs" role="3uHU7B">
+                        <ref role="3cqZAo" node="5QlJgjTFwXm" resolve="x" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTG" id="5QlJgjTFwXm" role="1bW2Oz">
+                <property role="TrG5h" value="x" />
+                <node concept="10Oyi0" id="5QlJgjTFwXn" role="1tU5fm" />
+              </node>
+            </node>
+            <node concept="3cmrfG" id="5QlJgjTFwXo" role="37wK5m">
+              <property role="3cmrfH" value="666" />
+            </node>
+          </node>
+        </node>
+        <node concept="3SKdUt" id="2MpDLe9ISsV" role="3cqZAp">
+          <node concept="1PaTwC" id="2MpDLe9ISsW" role="3ndbpf">
+            <node concept="3oM_SD" id="2MpDLe9ISsY" role="1PaTwD">
+              <property role="3oM_SC" value="fixme:" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9ITfs" role="1PaTwD">
+              <property role="3oM_SC" value="incr:" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9ITvv" role="1PaTwD">
+              <property role="3oM_SC" value="err" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9ITBz" role="1PaTwD">
+              <property role="3oM_SC" value="appears" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9ITBC" role="1PaTwD">
+              <property role="3oM_SC" value="on" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9ITBI" role="1PaTwD">
+              <property role="3oM_SC" value="'invoke'" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9ITJP" role="1PaTwD">
+              <property role="3oM_SC" value="when" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9IUWW" role="1PaTwD">
+              <property role="3oM_SC" value="type" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9IVdQ" role="1PaTwD">
+              <property role="3oM_SC" value="of" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9IVi1" role="1PaTwD">
+              <property role="3oM_SC" value="'else'" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9IVkh" role="1PaTwD">
+              <property role="3oM_SC" value="branch" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9IVku" role="1PaTwD">
+              <property role="3oM_SC" value="is" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9IVkG" role="1PaTwD">
+              <property role="3oM_SC" value="changed" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9IVA7" role="1PaTwD">
+              <property role="3oM_SC" value="(double/int)" />
+            </node>
+            <node concept="3oM_SD" id="2MpDLe9ITNX" role="1PaTwD">
+              <property role="3oM_SC" value="" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="2MpDLe9IGOo" role="3cqZAp">
+          <node concept="1rXfSq" id="2MpDLe9IGOp" role="3clFbG">
+            <ref role="37wK5l" node="4yZzE4kOSg8" resolve="intDomain" />
+            <node concept="1bVj0M" id="2MpDLe9IGOq" role="37wK5m">
+              <node concept="3clFbS" id="2MpDLe9IGOr" role="1bW5cS">
+                <node concept="3clFbF" id="2MpDLe9IGOs" role="3cqZAp">
+                  <node concept="3K4zz7" id="2MpDLe9IGOt" role="3clFbG">
+                    <node concept="1knj_d" id="2MpDLe9IGOu" role="3K4E3e">
+                      <node concept="3cpWsd" id="2MpDLe9IGOv" role="1kn_Bf">
+                        <node concept="3cmrfG" id="2MpDLe9IGOw" role="3uHU7w">
+                          <property role="3cmrfH" value="1" />
+                        </node>
+                        <node concept="37vLTw" id="2MpDLe9IGOx" role="3uHU7B">
+                          <ref role="3cqZAo" node="2MpDLe9IGOA" resolve="x" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3eOSWO" id="2MpDLe9IGOz" role="3K4Cdx">
+                      <node concept="3cmrfG" id="2MpDLe9IGO$" role="3uHU7w">
+                        <property role="3cmrfH" value="1" />
+                      </node>
+                      <node concept="37vLTw" id="2MpDLe9IGO_" role="3uHU7B">
+                        <ref role="3cqZAo" node="2MpDLe9IGOA" resolve="x" />
+                      </node>
+                    </node>
+                    <node concept="3b6qkQ" id="2MpDLe9IU$4" role="3K4GZi">
+                      <property role="$nhwW" value="222.22" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTG" id="2MpDLe9IGOA" role="1bW2Oz">
+                <property role="TrG5h" value="x" />
+                <node concept="10Oyi0" id="2MpDLe9IGOB" role="1tU5fm" />
+              </node>
+              <node concept="1U20sH" id="2MpDLe9ILkL" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+            </node>
+            <node concept="3cmrfG" id="2MpDLe9IGOC" role="37wK5m">
+              <property role="3cmrfH" value="666" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="4yZzE4kP9Q8" role="3cqZAp" />
+        <node concept="3clFbF" id="4yZzE4kP792" role="3cqZAp">
+          <node concept="1rXfSq" id="4yZzE4kP790" role="3clFbG">
+            <ref role="37wK5l" node="4yZzE4kOSg8" resolve="intDomain" />
+            <node concept="1bVj0M" id="4yZzE4kP6Ha" role="37wK5m">
+              <node concept="3clFbS" id="4yZzE4kP6Hb" role="1bW5cS">
+                <node concept="3clFbJ" id="4yZzE4kP6Hc" role="3cqZAp">
+                  <node concept="3eOSWO" id="4yZzE4kP6Hd" role="3clFbw">
+                    <node concept="37vLTw" id="4yZzE4kP6He" role="3uHU7B">
+                      <ref role="3cqZAo" node="4yZzE4kP6Hm" resolve="x" />
+                    </node>
+                    <node concept="3cmrfG" id="4yZzE4kP6Hf" role="3uHU7w">
+                      <property role="3cmrfH" value="1" />
+                    </node>
+                  </node>
+                  <node concept="3clFbS" id="4yZzE4kP6Hg" role="3clFbx">
+                    <node concept="3cpWs6" id="4yZzE4kP6Hh" role="3cqZAp">
+                      <node concept="1knj_d" id="4yZzE4kP6Hi" role="3cqZAk">
+                        <node concept="3cpWsd" id="4yZzE4kP6Hj" role="1kn_Bf">
+                          <node concept="3cmrfG" id="4yZzE4kP6Hk" role="3uHU7w">
+                            <property role="3cmrfH" value="1" />
+                          </node>
+                          <node concept="37vLTw" id="4yZzE4kP6Hl" role="3uHU7B">
+                            <ref role="3cqZAo" node="4yZzE4kP6Hm" resolve="x" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3cpWs6" id="4yZzE4kP6MM" role="3cqZAp">
+                  <node concept="3cmrfG" id="4yZzE4kP6S2" role="3cqZAk">
+                    <property role="3cmrfH" value="0" />
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTG" id="4yZzE4kP6Hm" role="1bW2Oz">
+                <property role="TrG5h" value="x" />
+                <node concept="10Oyi0" id="4yZzE4kP6Hn" role="1tU5fm" />
+              </node>
+            </node>
+            <node concept="3cmrfG" id="4yZzE4kP7yQ" role="37wK5m">
+              <property role="3cmrfH" value="666" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="5QlJgjTF1g6" role="3cqZAp" />
+        <node concept="3clFbF" id="4yZzE4kP6uO" role="3cqZAp">
+          <node concept="1rXfSq" id="4yZzE4kP6uM" role="3clFbG">
+            <ref role="37wK5l" node="4yZzE4kOSg8" resolve="intDomain" />
+            <node concept="1bVj0M" id="4yZzE4kP32x" role="37wK5m">
+              <node concept="3clFbS" id="4yZzE4kP32y" role="1bW5cS">
+                <node concept="3clFbJ" id="4yZzE4kP32z" role="3cqZAp">
+                  <node concept="3eOSWO" id="4yZzE4kP32$" role="3clFbw">
+                    <node concept="37vLTw" id="4yZzE4kP32_" role="3uHU7B">
+                      <ref role="3cqZAo" node="4yZzE4kP32Q" resolve="x" />
+                    </node>
+                    <node concept="3cmrfG" id="4yZzE4kP32A" role="3uHU7w">
+                      <property role="3cmrfH" value="1" />
+                    </node>
+                  </node>
+                  <node concept="3clFbS" id="4yZzE4kP32B" role="3clFbx">
+                    <node concept="3cpWs6" id="4yZzE4kP32C" role="3cqZAp">
+                      <node concept="1knj_d" id="4yZzE4kP32I" role="3cqZAk">
+                        <node concept="3cpWsd" id="4yZzE4kP32J" role="1kn_Bf">
+                          <node concept="3cmrfG" id="4yZzE4kP32K" role="3uHU7w">
+                            <property role="3cmrfH" value="1" />
+                          </node>
+                          <node concept="37vLTw" id="4yZzE4kP32L" role="3uHU7B">
+                            <ref role="3cqZAo" node="4yZzE4kP32Q" resolve="x" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTG" id="4yZzE4kP32Q" role="1bW2Oz">
+                <property role="TrG5h" value="x" />
+                <node concept="10Oyi0" id="4yZzE4kP32R" role="1tU5fm" />
+              </node>
+              <node concept="1U20sH" id="4yZzE4kP8kd" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+            </node>
+            <node concept="3cmrfG" id="4yZzE4kP88V" role="37wK5m">
+              <property role="3cmrfH" value="666" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="5QlJgjTF2eK" role="3cqZAp" />
+        <node concept="3SKdUt" id="5QlJgjTF7Vs" role="3cqZAp">
+          <node concept="1PaTwC" id="5QlJgjTF7Vt" role="3ndbpf">
+            <node concept="3oM_SD" id="5QlJgjTF7Vv" role="1PaTwD">
+              <property role="3oM_SC" value="void" />
+            </node>
+            <node concept="3oM_SD" id="5QlJgjTF89p" role="1PaTwD">
+              <property role="3oM_SC" value="invoke" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5QlJgjTF89$" role="3cqZAp">
+          <node concept="2Sg_IR" id="5QlJgjTFaGQ" role="3clFbG">
+            <node concept="3cmrfG" id="5QlJgjTFaVH" role="2SgHGx">
+              <property role="3cmrfH" value="42" />
+            </node>
+            <node concept="1bVj0M" id="5QlJgjTFaGR" role="2SgG2M">
+              <node concept="3clFbS" id="5QlJgjTFaGS" role="1bW5cS">
+                <node concept="3clFbJ" id="5QlJgjTFaGT" role="3cqZAp">
+                  <node concept="3eOSWO" id="5QlJgjTFaGU" role="3clFbw">
+                    <node concept="37vLTw" id="5QlJgjTFaGV" role="3uHU7B">
+                      <ref role="3cqZAo" node="5QlJgjTFaH4" resolve="x" />
+                    </node>
+                    <node concept="3cmrfG" id="5QlJgjTFaGW" role="3uHU7w">
+                      <property role="3cmrfH" value="1" />
+                    </node>
+                  </node>
+                  <node concept="3clFbS" id="5QlJgjTFaGX" role="3clFbx">
+                    <node concept="3cpWs6" id="5QlJgjTFaGY" role="3cqZAp">
+                      <node concept="1knj_d" id="5QlJgjTFaGZ" role="3cqZAk">
+                        <node concept="3cpWsd" id="5QlJgjTFaH0" role="1kn_Bf">
+                          <node concept="3cmrfG" id="5QlJgjTFaH1" role="3uHU7w">
+                            <property role="3cmrfH" value="1" />
+                          </node>
+                          <node concept="37vLTw" id="5QlJgjTFaH2" role="3uHU7B">
+                            <ref role="3cqZAo" node="5QlJgjTFaH4" resolve="x" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3cpWs6" id="5QlJgjTFaH3" role="3cqZAp" />
+              </node>
+              <node concept="37vLTG" id="5QlJgjTFaH4" role="1bW2Oz">
+                <property role="TrG5h" value="x" />
+                <node concept="10Oyi0" id="5QlJgjTFaH5" role="1tU5fm" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4yZzE4kP8T0" role="3cqZAp">
+          <node concept="1rXfSq" id="4yZzE4kP8T1" role="3clFbG">
+            <ref role="37wK5l" node="4yZzE4kOSg8" resolve="intDomain" />
+            <node concept="1bVj0M" id="4yZzE4kP8T2" role="37wK5m">
+              <node concept="3clFbS" id="4yZzE4kP8T3" role="1bW5cS">
+                <node concept="3clFbJ" id="4yZzE4kP8T4" role="3cqZAp">
+                  <node concept="3eOSWO" id="4yZzE4kP8T5" role="3clFbw">
+                    <node concept="37vLTw" id="4yZzE4kP8T6" role="3uHU7B">
+                      <ref role="3cqZAo" node="4yZzE4kP8Tg" resolve="x" />
+                    </node>
+                    <node concept="3cmrfG" id="4yZzE4kP8T7" role="3uHU7w">
+                      <property role="3cmrfH" value="1" />
+                    </node>
+                  </node>
+                  <node concept="3clFbS" id="4yZzE4kP8T8" role="3clFbx">
+                    <node concept="3cpWs6" id="4yZzE4kP8T9" role="3cqZAp">
+                      <node concept="1knj_d" id="4yZzE4kP8Ta" role="3cqZAk">
+                        <node concept="3cpWsd" id="4yZzE4kP8Tb" role="1kn_Bf">
+                          <node concept="3cmrfG" id="4yZzE4kP8Tc" role="3uHU7w">
+                            <property role="3cmrfH" value="1" />
+                          </node>
+                          <node concept="37vLTw" id="4yZzE4kP8Td" role="3uHU7B">
+                            <ref role="3cqZAo" node="4yZzE4kP8Tg" resolve="x" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3cpWs6" id="4yZzE4kP8Te" role="3cqZAp" />
+              </node>
+              <node concept="37vLTG" id="4yZzE4kP8Tg" role="1bW2Oz">
+                <property role="TrG5h" value="x" />
+                <node concept="10Oyi0" id="4yZzE4kP8Th" role="1tU5fm" />
+              </node>
+              <node concept="1U20sH" id="5QlJgjTFb88" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+            </node>
+            <node concept="3cmrfG" id="4yZzE4kP8Ti" role="37wK5m">
+              <property role="3cmrfH" value="666" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="4yZzE4kOPX7" role="1B3o_S" />
+      <node concept="3cqZAl" id="4yZzE4kOPX8" role="3clF45" />
+    </node>
+    <node concept="2tJIrI" id="4yZzE4kOPUB" role="jymVt" />
+    <node concept="2tJIrI" id="4yZzE4kOJfN" role="jymVt" />
+    <node concept="3Tm1VV" id="4yZzE4kOJfO" role="1B3o_S" />
+  </node>
 </model>
 
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures@tests.mps
index 5f910de9..ae4b757d 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures@tests.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures@tests.mps
@@ -221,6 +221,35 @@
         </node>
       </node>
     </node>
+    <node concept="1LZb2c" id="5QlJgjTF$RH" role="1SL9yI">
+      <property role="TrG5h" value="literalsAndRecInvocations" />
+      <node concept="3cqZAl" id="5QlJgjTF$RI" role="3clF45" />
+      <node concept="3clFbS" id="5QlJgjTF$RJ" role="3clF47">
+        <node concept="2Hmddi" id="5QlJgjTF$RK" role="3cqZAp">
+          <node concept="2OqwBi" id="5QlJgjTF$RL" role="2Hmdds">
+            <node concept="2YIFZM" id="5QlJgjTF$RM" role="2Oq$k0">
+              <ref role="37wK5l" to="tj24:27bTNFfaOo$" resolve="ofNode" />
+              <ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TypecheckingTestHelper" />
+              <node concept="2OqwBi" id="5QlJgjTF$RN" role="37wK5m">
+                <node concept="2WthIp" id="5QlJgjTF$RO" role="2Oq$k0" />
+                <node concept="2XshWL" id="5QlJgjTF$RP" role="2OqNvi">
+                  <ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
+                  <node concept="2tJFMh" id="5QlJgjTF$RQ" role="2XxRq1">
+                    <node concept="ZC_QK" id="5QlJgjTF_4C" role="2tJFKM">
+                      <ref role="2aWVGs" to="anco:4yZzE4kOJc5" resolve="ClosureLiteralsInvoke" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="1jxXqW" id="5QlJgjTF$RS" role="37wK5m" />
+            </node>
+            <node concept="liA8E" id="5QlJgjTF$RT" role="2OqNvi">
+              <ref role="37wK5l" to="tj24:27bTNFfaYS2" resolve="checkTypes" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="2XrIbr" id="35YJGAJTxCf" role="1qtyYc">
       <property role="TrG5h" value="resolve" />
       <node concept="37vLTG" id="35YJGAJTxCF" role="3clF46">
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence.mps
index ac35efbc..25600e38 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence.mps
@@ -13,8 +13,15 @@
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
+        <child id="1068498886297" name="rValue" index="37vLTx" />
+        <child id="1068498886295" name="lValue" index="37vLTJ" />
+      </concept>
       <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
       <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
+      <concept id="1070534760951" name="jetbrains.mps.baseLanguage.structure.ArrayType" flags="in" index="10Q1$e">
+        <child id="1070534760952" name="componentType" index="10Q1$1" />
+      </concept>
       <concept id="1068390468198" name="jetbrains.mps.baseLanguage.structure.ClassConcept" flags="ig" index="312cEu">
         <child id="1165602531693" name="superclass" index="1zkMxy" />
       </concept>
@@ -34,6 +41,7 @@
         <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
       </concept>
       <concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
+      <concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
       <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
         <child id="5680397130376446158" name="type" index="1tU5fm" />
       </concept>
@@ -43,6 +51,9 @@
         <child id="1068580123135" name="body" index="3clF47" />
       </concept>
       <concept id="1068580123165" name="jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" flags="ig" index="3clFb_" />
+      <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
+        <child id="1068580123156" name="expression" index="3clFbG" />
+      </concept>
       <concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
       <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
         <child id="1068581517665" name="statement" index="3cqZAp" />
@@ -120,6 +131,55 @@
       </node>
     </node>
     <node concept="2tJIrI" id="3MFPGC52gL5" role="jymVt" />
+    <node concept="3clFb_" id="6BFOg89Ju5T" role="jymVt">
+      <property role="TrG5h" value="array" />
+      <node concept="37vLTG" id="6BFOg89Jv5c" role="3clF46">
+        <property role="TrG5h" value="aas" />
+        <node concept="10Q1$e" id="6BFOg89Jvwj" role="1tU5fm">
+          <node concept="3uibUv" id="6BFOg89Jvwg" role="10Q1$1">
+            <ref role="3uigEE" node="3MFPGC51QOV" resolve="SequenceConversions.A" />
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="6BFOg89Jwfz" role="3clF46">
+        <property role="TrG5h" value="sas" />
+        <node concept="A3Dl8" id="6BFOg89JwGD" role="1tU5fm">
+          <node concept="3uibUv" id="6BFOg89Jx6m" role="A3Ik2">
+            <ref role="3uigEE" node="3MFPGC51QOV" resolve="SequenceConversions.A" />
+          </node>
+        </node>
+      </node>
+      <node concept="3clFbS" id="6BFOg89Ju5W" role="3clF47">
+        <node concept="3clFbF" id="6BFOg89Jyck" role="3cqZAp">
+          <node concept="37vLTI" id="6BFOg89JyIS" role="3clFbG">
+            <node concept="37vLTw" id="6BFOg89Jzb2" role="37vLTx">
+              <ref role="3cqZAo" node="6BFOg89Jv5c" resolve="aas" />
+            </node>
+            <node concept="37vLTw" id="6BFOg89Jycj" role="37vLTJ">
+              <ref role="3cqZAo" node="6BFOg89Jwfz" resolve="sas" />
+            </node>
+            <node concept="1U20sH" id="6BFOg89J$Aj" role="lGtFl">
+              <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="6BFOg89J_8D" role="3cqZAp">
+          <node concept="37vLTI" id="6BFOg89J_AK" role="3clFbG">
+            <node concept="37vLTw" id="6BFOg89JA2S" role="37vLTx">
+              <ref role="3cqZAo" node="6BFOg89Jwfz" resolve="sas" />
+            </node>
+            <node concept="37vLTw" id="6BFOg89J_8B" role="37vLTJ">
+              <ref role="3cqZAo" node="6BFOg89Jv5c" resolve="aas" />
+            </node>
+            <node concept="1U20sH" id="6BFOg89JAxr" role="lGtFl">
+              <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="6BFOg89Jt_D" role="1B3o_S" />
+      <node concept="3cqZAl" id="6BFOg89JtF1" role="3clF45" />
+    </node>
     <node concept="2tJIrI" id="3MFPGC52yiK" role="jymVt" />
     <node concept="3clFb_" id="3MFPGC52fKG" role="jymVt">
       <property role="TrG5h" value="foo" />