From 148223a842bb38ad4a6f63df1315451a32ea09f3 Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Mon, 28 Dec 2020 14:13:19 +0300
Subject: [PATCH] Add incremental tests for lambda calc. Enable ignored tests
 for closures.

---
 .../models/jetbrains.mps.coderules.build.mps  |   11 +-
 ...s.mps.coderules.typechecking.test.util.mps |  286 ++-
 .../samples.lambdacalc/models/structure.mps   |    1 +
 .../samples.lambdacalc/models/types.mps       |   56 +-
 .../models/samples.lamdacalc.build.mps        |   11 +-
 .../models/samples.lambdacalc.demo.mps        |  124 +-
 .../samples.lambdacalc.incremental@tests.mps  | 1948 +++++++++++++++++
 .../samples.lambdacalc.demo.msd               |    3 +
 ....collectionsExt.test.incremental@tests.mps |  894 ++++----
 9 files changed, 2723 insertions(+), 611 deletions(-)
 create mode 100644 samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.incremental@tests.mps

diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
index ca9e1976..a9b9f883 100644
--- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
@@ -16,14 +16,14 @@
   </imports>
   <registry>
     <language id="3600cb0a-44dd-4a5b-9968-22924406419e" name="jetbrains.mps.build.mps.tests">
-      <concept id="4560297596904469355" name="jetbrains.mps.build.mps.tests.structure.BuildMps_TestModuleGroup" flags="ng" index="22LTRF">
+      <concept id="4560297596904469355" name="jetbrains.mps.build.mps.tests.structure.BuildMpsLayout_TestModuleGroup" flags="ng" index="22LTRF">
         <reference id="4560297596904469356" name="group" index="22LTRG" />
       </concept>
-      <concept id="4560297596904469357" name="jetbrains.mps.build.mps.tests.structure.BuildAspect_MpsTestModules" flags="nn" index="22LTRH">
+      <concept id="4560297596904469357" name="jetbrains.mps.build.mps.tests.structure.BuildMpsLayout_TestModules" flags="nn" index="22LTRH">
         <child id="4560297596904469360" name="modules" index="22LTRK" />
         <child id="6593674873639474544" name="options" index="24cAkG" />
       </concept>
-      <concept id="6593674873639474400" name="jetbrains.mps.build.mps.tests.structure.BuildMps_TestModules_Options" flags="ng" index="24cAiW">
+      <concept id="6593674873639474400" name="jetbrains.mps.build.mps.tests.structure.BuildMpsLayout_TestModules_Options" flags="ng" index="24cAiW">
         <child id="6593674873639478221" name="haltonfailure" index="24c_eh" />
         <child id="3609768169816292377" name="jvmArgs" index="1psgkv" />
       </concept>
@@ -1718,6 +1718,11 @@
             <ref role="3bR37D" node="7BVjoXzUxoR" resolve="jetbrains.mps.logic.reactor" />
           </node>
         </node>
+        <node concept="1SiIV0" id="5SC$dmoIokH" role="3bR37C">
+          <node concept="3bR9La" id="5SC$dmoIokI" role="1SiIV1">
+            <ref role="3bR37D" to="ffeo:ymnOULAU0H" resolve="jetbrains.mps.lang.test" />
+          </node>
+        </node>
       </node>
     </node>
     <node concept="2G$12M" id="78H58oeeFzd" role="3989C9">
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps
index 634852f4..dc462d4a 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps
@@ -68,7 +68,7 @@
       </concept>
       <concept id="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
       <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
-      <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="nn" index="2tJIrI" />
+      <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
       <concept id="1239709250944" name="jetbrains.mps.baseLanguage.structure.PrefixIncrementExpression" flags="nn" index="2$rviw" />
       <concept id="1239714755177" name="jetbrains.mps.baseLanguage.structure.AbstractUnaryNumberOperation" flags="nn" index="2$Kvd9">
         <child id="1239714902950" name="expression" index="2$L3a6" />
@@ -357,10 +357,10 @@
       </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="nn" index="3oM_SD">
+      <concept id="155656958578482948" name="jetbrains.mps.lang.text.structure.Word" flags="ng" index="3oM_SD">
         <property id="155656958578482949" name="value" index="3oM_SC" />
       </concept>
-      <concept id="2535923850359271782" name="jetbrains.mps.lang.text.structure.Line" flags="nn" index="1PaTwC">
+      <concept id="2535923850359271782" name="jetbrains.mps.lang.text.structure.Line" flags="ng" index="1PaTwC">
         <child id="2535923850359271783" name="elements" index="1PaTwD" />
       </concept>
     </language>
@@ -1059,23 +1059,31 @@
         <node concept="3clFbF" id="5tAk4yVPpUQ" role="3cqZAp">
           <node concept="37vLTI" id="5tAk4yVPr1B" role="3clFbG">
             <node concept="2OqwBi" id="6VRLMeOw3ff" role="37vLTx">
-              <node concept="2OqwBi" id="6VRLMeOvQoN" role="2Oq$k0">
-                <node concept="2OqwBi" id="5tAk4yVPrzY" role="2Oq$k0">
-                  <node concept="37vLTw" id="5tAk4yVPr90" role="2Oq$k0">
-                    <ref role="3cqZAo" node="6OXbTD_o6iv" resolve="session" />
+              <node concept="2OqwBi" id="5SC$dmoHFki" role="2Oq$k0">
+                <node concept="2OqwBi" id="6VRLMeOvQoN" role="2Oq$k0">
+                  <node concept="2OqwBi" id="5tAk4yVPrzY" role="2Oq$k0">
+                    <node concept="37vLTw" id="5tAk4yVPr90" role="2Oq$k0">
+                      <ref role="3cqZAo" node="6OXbTD_o6iv" resolve="session" />
+                    </node>
+                    <node concept="liA8E" id="6VRLMeOvQgH" role="2OqNvi">
+                      <ref role="37wK5l" to="hano:5tAk4yW01VJ" resolve="programSpecBuilder" />
+                    </node>
                   </node>
-                  <node concept="liA8E" id="6VRLMeOvQgH" role="2OqNvi">
-                    <ref role="37wK5l" to="hano:5tAk4yW01VJ" resolve="programSpecBuilder" />
+                  <node concept="liA8E" id="6VRLMeOvQBE" role="2OqNvi">
+                    <ref role="37wK5l" to="xnrr:57Rdq$NuMzc" resolve="setLevel" />
+                    <node concept="37vLTw" id="6VRLMeOw2$r" role="37wK5m">
+                      <ref role="3cqZAo" node="6VRLMeOvRQb" resolve="incrLevel" />
+                    </node>
                   </node>
                 </node>
-                <node concept="liA8E" id="6VRLMeOvQBE" role="2OqNvi">
-                  <ref role="37wK5l" to="xnrr:57Rdq$NuMzc" resolve="setLevel" />
-                  <node concept="37vLTw" id="6VRLMeOw2$r" role="37wK5m">
-                    <ref role="3cqZAo" node="6VRLMeOvRQb" resolve="incrLevel" />
+                <node concept="liA8E" id="5SC$dmoHGmk" role="2OqNvi">
+                  <ref role="37wK5l" to="xnrr:5tAk4yVVXiF" resolve="assertingContracts" />
+                  <node concept="3clFbT" id="5SC$dmoHGAz" role="37wK5m">
+                    <property role="3clFbU" value="true" />
                   </node>
                 </node>
               </node>
-              <node concept="liA8E" id="6VRLMeOw3X1" role="2OqNvi">
+              <node concept="liA8E" id="5SC$dmoHGIw" role="2OqNvi">
                 <ref role="37wK5l" to="xnrr:5tAk4yVVZZP" resolve="toSpec" />
               </node>
             </node>
@@ -5271,42 +5279,23 @@
         </node>
         <node concept="1DcWWT" id="1z4$59jegXA" role="3cqZAp">
           <node concept="3clFbS" id="1z4$59jegXB" role="2LFqv$">
-            <node concept="3clFbJ" id="1z4$59jeKKb" role="3cqZAp">
-              <node concept="3clFbS" id="1z4$59jeKKd" role="3clFbx">
-                <node concept="3clFbJ" id="1z4$59jeLmn" role="3cqZAp">
-                  <node concept="3clFbS" id="1z4$59jeLmp" role="3clFbx">
-                    <node concept="3N13vt" id="1z4$59jePLy" role="3cqZAp" />
-                  </node>
-                  <node concept="2OqwBi" id="1z4$59jeOOS" role="3clFbw">
-                    <node concept="37vLTw" id="1z4$59jeObs" role="2Oq$k0">
-                      <ref role="3cqZAo" node="WJTIIoZGPL" resolve="invalidatedFeedbackKeys" />
-                    </node>
-                    <node concept="3JPx81" id="1z4$59jePsF" role="2OqNvi">
-                      <node concept="2OqwBi" id="1z4$59jeM93" role="25WWJ7">
-                        <node concept="1eOMI4" id="1z4$59jeLqt" role="2Oq$k0">
-                          <node concept="10QFUN" id="1z4$59jeLqq" role="1eOMHV">
-                            <node concept="3uibUv" id="1z4$59jeLqv" role="10QFUM">
-                              <ref role="3uigEE" to="tj24:1FOQehwovmW" resolve="TypecheckingReportItem" />
-                            </node>
-                            <node concept="37vLTw" id="1z4$59jeLqw" role="10QFUP">
-                              <ref role="3cqZAo" node="1z4$59jegXF" resolve="it" />
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="liA8E" id="1z4$59jeMQ5" role="2OqNvi">
-                          <ref role="37wK5l" to="tj24:5b5WPl4QD9T" resolve="getFeedbackIdentity" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
+            <node concept="3clFbJ" id="1z4$59jeLmn" role="3cqZAp">
+              <node concept="3clFbS" id="1z4$59jeLmp" role="3clFbx">
+                <node concept="3N13vt" id="362mGRZM5LS" role="3cqZAp" />
               </node>
-              <node concept="2ZW3vV" id="1z4$59jeL08" role="3clFbw">
-                <node concept="3uibUv" id="1z4$59jeL4e" role="2ZW6by">
-                  <ref role="3uigEE" to="tj24:1FOQehwovmW" resolve="TypecheckingReportItem" />
+              <node concept="2OqwBi" id="362mGRZLKCM" role="3clFbw">
+                <node concept="37vLTw" id="362mGRZLKCN" role="2Oq$k0">
+                  <ref role="3cqZAo" node="WJTIIoZGPL" resolve="invalidatedFeedbackKeys" />
                 </node>
-                <node concept="37vLTw" id="1z4$59jeKNT" role="2ZW6bz">
-                  <ref role="3cqZAo" node="1z4$59jegXF" resolve="it" />
+                <node concept="3JPx81" id="362mGRZLKCO" role="2OqNvi">
+                  <node concept="2OqwBi" id="362mGRZLKCP" role="25WWJ7">
+                    <node concept="37vLTw" id="362mGRZLKCQ" role="2Oq$k0">
+                      <ref role="3cqZAo" node="1z4$59jegXF" resolve="it" />
+                    </node>
+                    <node concept="liA8E" id="362mGRZLKCR" role="2OqNvi">
+                      <ref role="37wK5l" to="tj24:5b5WPl4QD9T" resolve="getFeedbackIdentity" />
+                    </node>
+                  </node>
                 </node>
               </node>
             </node>
@@ -5326,16 +5315,23 @@
           </node>
           <node concept="3cpWsn" id="1z4$59jegXF" role="1Duv9x">
             <property role="TrG5h" value="it" />
-            <node concept="3uibUv" id="1z4$59jegXG" role="1tU5fm">
-              <ref role="3uigEE" to="d6hs:~ReportItem" resolve="ReportItem" />
+            <node concept="3uibUv" id="362mGRZLJxO" role="1tU5fm">
+              <ref role="3uigEE" to="tj24:1FOQehwovmW" resolve="TypecheckingReportItem" />
             </node>
           </node>
-          <node concept="2OqwBi" id="1z4$59jegXH" role="1DdaDG">
-            <node concept="37vLTw" id="1z4$59jegYb" role="2Oq$k0">
-              <ref role="3cqZAo" node="5Qx6_65wuyf" resolve="typesIndex" />
+          <node concept="2OqwBi" id="362mGRZLGZ1" role="1DdaDG">
+            <node concept="2OqwBi" id="1z4$59jegXH" role="2Oq$k0">
+              <node concept="37vLTw" id="1z4$59jegYb" role="2Oq$k0">
+                <ref role="3cqZAo" node="5Qx6_65wuyf" resolve="typesIndex" />
+              </node>
+              <node concept="liA8E" id="1z4$59jej9y" role="2OqNvi">
+                <ref role="37wK5l" to="tj24:3yEb0I3SXN3" resolve="allReportItems" />
+              </node>
             </node>
-            <node concept="liA8E" id="1z4$59jej9y" role="2OqNvi">
-              <ref role="37wK5l" to="tj24:3yEb0I3SXN3" resolve="allReportItems" />
+            <node concept="UnYns" id="362mGRZLIqU" role="2OqNvi">
+              <node concept="3uibUv" id="362mGRZLIz3" role="UnYnz">
+                <ref role="3uigEE" to="tj24:1FOQehwovmW" resolve="TypecheckingReportItem" />
+              </node>
             </node>
           </node>
         </node>
@@ -5379,25 +5375,58 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbF" id="WJTIIp0H2r" role="3cqZAp">
-          <node concept="2OqwBi" id="WJTIIp0Hiu" role="3clFbG">
-            <node concept="37vLTw" id="WJTIIp0H2p" role="2Oq$k0">
-              <ref role="3cqZAo" node="5Qx6_65wuyf" resolve="typesIndex" />
-            </node>
-            <node concept="liA8E" id="WJTIIp0HLS" role="2OqNvi">
-              <ref role="37wK5l" node="1z4$59jetoN" resolve="addReportItems" />
-              <node concept="2OqwBi" id="WJTIIp0IFT" role="37wK5m">
-                <node concept="2OqwBi" id="WJTIIp9cXh" role="2Oq$k0">
-                  <node concept="37vLTw" id="WJTIIp0I7H" role="2Oq$k0">
-                    <ref role="3cqZAo" node="WJTIIoZGPE" resolve="failuresDelta" />
-                  </node>
-                  <node concept="liA8E" id="WJTIIp9des" role="2OqNvi">
-                    <ref role="37wK5l" node="WJTIIp7QTu" resolve="get" />
+        <node concept="1DcWWT" id="362mGRZM0tb" role="3cqZAp">
+          <node concept="3clFbS" id="362mGRZM0tc" role="2LFqv$">
+            <node concept="3clFbJ" id="362mGRZM0td" role="3cqZAp">
+              <node concept="3clFbS" id="362mGRZM0te" role="3clFbx">
+                <node concept="3N13vt" id="362mGRZM6wV" role="3cqZAp" />
+              </node>
+              <node concept="2OqwBi" id="362mGRZM0tl" role="3clFbw">
+                <node concept="37vLTw" id="362mGRZM0tm" role="2Oq$k0">
+                  <ref role="3cqZAo" node="WJTIIoZGPL" resolve="invalidatedFeedbackKeys" />
+                </node>
+                <node concept="3JPx81" id="362mGRZM0tn" role="2OqNvi">
+                  <node concept="2OqwBi" id="362mGRZM0to" role="25WWJ7">
+                    <node concept="37vLTw" id="362mGRZM0tp" role="2Oq$k0">
+                      <ref role="3cqZAo" node="362mGRZM0tr" resolve="it" />
+                    </node>
+                    <node concept="liA8E" id="362mGRZM0tq" role="2OqNvi">
+                      <ref role="37wK5l" to="tj24:5b5WPl4QD9T" resolve="getFeedbackIdentity" />
+                    </node>
                   </node>
                 </node>
-                <node concept="T8wYR" id="WJTIIp9dHh" role="2OqNvi" />
               </node>
             </node>
+            <node concept="3clFbF" id="362mGRZM0tf" role="3cqZAp">
+              <node concept="2OqwBi" id="362mGRZM0tg" role="3clFbG">
+                <node concept="liA8E" id="362mGRZM0th" role="2OqNvi">
+                  <ref role="37wK5l" node="1z4$59jenqx" resolve="addReportItem" />
+                  <node concept="37vLTw" id="362mGRZM0ti" role="37wK5m">
+                    <ref role="3cqZAo" node="362mGRZM0tr" resolve="it" />
+                  </node>
+                </node>
+                <node concept="37vLTw" id="362mGRZM1HB" role="2Oq$k0">
+                  <ref role="3cqZAo" node="5Qx6_65wuyf" resolve="typesIndex" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3cpWsn" id="362mGRZM0tr" role="1Duv9x">
+            <property role="TrG5h" value="it" />
+            <node concept="3uibUv" id="362mGRZM0ts" role="1tU5fm">
+              <ref role="3uigEE" to="tj24:1FOQehwovmW" resolve="TypecheckingReportItem" />
+            </node>
+          </node>
+          <node concept="2OqwBi" id="362mGRZM27u" role="1DdaDG">
+            <node concept="2OqwBi" id="362mGRZM27v" role="2Oq$k0">
+              <node concept="37vLTw" id="362mGRZM27w" role="2Oq$k0">
+                <ref role="3cqZAo" node="WJTIIoZGPE" resolve="failuresDelta" />
+              </node>
+              <node concept="liA8E" id="362mGRZM27x" role="2OqNvi">
+                <ref role="37wK5l" node="WJTIIp7QTu" resolve="get" />
+              </node>
+            </node>
+            <node concept="T8wYR" id="362mGRZM27y" role="2OqNvi" />
           </node>
         </node>
       </node>
@@ -7952,26 +7981,37 @@
       <node concept="3clFbS" id="WJTIIooHcn" role="3clF47">
         <node concept="3clFbJ" id="6dzPt95CnLM" role="3cqZAp">
           <node concept="3clFbS" id="6dzPt95CnLO" role="3clFbx">
+            <node concept="3cpWs8" id="5sBg_GpqUsd" role="3cqZAp">
+              <node concept="3cpWsn" id="5sBg_GpqUse" role="3cpWs9">
+                <property role="TrG5h" value="firstFailure" />
+                <node concept="3uibUv" id="5sBg_GpqUsf" role="1tU5fm">
+                  <ref role="3uigEE" to="tj24:1FOQehwovmW" resolve="TypecheckingReportItem" />
+                </node>
+                <node concept="2OqwBi" id="6dzPt95CjX$" role="33vP2m">
+                  <node concept="2OqwBi" id="6dzPt95CizM" role="2Oq$k0">
+                    <node concept="37vLTw" id="6dzPt95Cip8" role="2Oq$k0">
+                      <ref role="3cqZAo" node="WJTIIokuum" resolve="launcher" />
+                    </node>
+                    <node concept="liA8E" id="6dzPt95Cj8i" role="2OqNvi">
+                      <ref role="37wK5l" node="WJTIIoPlHa" resolve="getAllFailures" />
+                    </node>
+                  </node>
+                  <node concept="1uHKPH" id="6dzPt95Ckuo" role="2OqNvi" />
+                </node>
+              </node>
+            </node>
             <node concept="3cpWs8" id="6dzPt95Ct9J" role="3cqZAp">
               <node concept="3cpWsn" id="6dzPt95Ct9M" role="3cpWs9">
                 <property role="TrG5h" value="firstFailed" />
                 <node concept="3Tqbb2" id="6dzPt95Ct9H" role="1tU5fm" />
                 <node concept="2OqwBi" id="6dzPt95Cxaa" role="33vP2m">
                   <node concept="2OqwBi" id="6dzPt95Cle9" role="2Oq$k0">
-                    <node concept="2OqwBi" id="6dzPt95CjX$" role="2Oq$k0">
-                      <node concept="2OqwBi" id="6dzPt95CizM" role="2Oq$k0">
-                        <node concept="37vLTw" id="6dzPt95Cip8" role="2Oq$k0">
-                          <ref role="3cqZAo" node="WJTIIokuum" resolve="launcher" />
-                        </node>
-                        <node concept="liA8E" id="6dzPt95Cj8i" role="2OqNvi">
-                          <ref role="37wK5l" node="WJTIIoPlHa" resolve="getAllFailures" />
-                        </node>
-                      </node>
-                      <node concept="1uHKPH" id="6dzPt95Ckuo" role="2OqNvi" />
-                    </node>
                     <node concept="liA8E" id="6dzPt95Cmni" role="2OqNvi">
                       <ref role="37wK5l" to="d6hs:~NodeReportItemBase.getNode()" resolve="getNode" />
                     </node>
+                    <node concept="37vLTw" id="5sBg_GpqYu7" role="2Oq$k0">
+                      <ref role="3cqZAo" node="5sBg_GpqUse" resolve="firstFailure" />
+                    </node>
                   </node>
                   <node concept="liA8E" id="6dzPt95CxVy" role="2OqNvi">
                     <ref role="37wK5l" to="mhbf:~SNodeReference.resolve(org.jetbrains.mps.openapi.module.SRepository)" resolve="resolve" />
@@ -7987,13 +8027,27 @@
                 </node>
               </node>
             </node>
+            <node concept="3cpWs8" id="5sBg_GpqYYC" role="3cqZAp">
+              <node concept="3cpWsn" id="5sBg_GpqYYF" role="3cpWs9">
+                <property role="TrG5h" value="failureMsg" />
+                <node concept="17QB3L" id="5sBg_GpqYYA" role="1tU5fm" />
+                <node concept="2OqwBi" id="5sBg_Gpr0m7" role="33vP2m">
+                  <node concept="37vLTw" id="5sBg_GpqZBc" role="2Oq$k0">
+                    <ref role="3cqZAo" node="5sBg_GpqUse" resolve="firstFailure" />
+                  </node>
+                  <node concept="liA8E" id="5sBg_Gpr0Rr" role="2OqNvi">
+                    <ref role="37wK5l" to="d6hs:~ReportItemBase.getMessage()" resolve="getMessage" />
+                  </node>
+                </node>
+              </node>
+            </node>
             <node concept="3vwNmj" id="WJTIIooHco" role="3cqZAp">
               <node concept="3_1$Yv" id="WJTIIooHcw" role="3_9lra">
                 <node concept="2YIFZM" id="6dzPt95ChyA" role="3_1BAH">
                   <ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...)" resolve="format" />
                   <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
                   <node concept="Xl_RD" id="WJTIIooHcx" role="37wK5m">
-                    <property role="Xl_RC" value="expected no typechecking failures! (first failure on node [%s], total failures: %d)" />
+                    <property role="Xl_RC" value="expected no typechecking failures! (first failure on node [%s], total failures: %d)\nFailure: %s" />
                   </node>
                   <node concept="37vLTw" id="6dzPt95CzDf" role="37wK5m">
                     <ref role="3cqZAo" node="6dzPt95Ct9M" resolve="firstFailed" />
@@ -8009,6 +8063,9 @@
                     </node>
                     <node concept="34oBXx" id="6dzPt95CA$v" role="2OqNvi" />
                   </node>
+                  <node concept="37vLTw" id="5sBg_Gpr1Tx" role="37wK5m">
+                    <ref role="3cqZAo" node="5sBg_GpqYYF" resolve="failureMsg" />
+                  </node>
                 </node>
               </node>
               <node concept="3clFbT" id="6dzPt95CqQf" role="3vwVQn" />
@@ -8044,34 +8101,61 @@
         <node concept="3Tqbb2" id="6dzPt95oAPz" role="1tU5fm" />
       </node>
       <node concept="3clFbS" id="6dzPt95oAPB" role="3clF47">
-        <node concept="3vFxKo" id="6dzPt95oAPC" role="3cqZAp">
-          <node concept="2OqwBi" id="6dzPt95oAPD" role="3vFALc">
-            <node concept="2OqwBi" id="6dzPt95oAPE" role="2Oq$k0">
-              <node concept="37vLTw" id="6dzPt95oAPF" role="2Oq$k0">
-                <ref role="3cqZAo" node="WJTIIokuum" resolve="launcher" />
-              </node>
-              <node concept="liA8E" id="6dzPt95_izS" role="2OqNvi">
-                <ref role="37wK5l" node="WJTIIoRKDn" resolve="getAllFailuresMap" />
-              </node>
+        <node concept="3cpWs8" id="5sBg_GprrVn" role="3cqZAp">
+          <node concept="3cpWsn" id="5sBg_GprrVo" role="3cpWs9">
+            <property role="TrG5h" value="firstFailure" />
+            <node concept="3uibUv" id="5sBg_GprrVp" role="1tU5fm">
+              <ref role="3uigEE" to="tj24:1FOQehwovmW" resolve="TypecheckingReportItem" />
             </node>
-            <node concept="2Nt0df" id="6dzPt95_jBl" role="2OqNvi">
-              <node concept="37vLTw" id="6dzPt95_ksp" role="38cxEo">
+            <node concept="3EllGN" id="5sBg_GprzDF" role="33vP2m">
+              <node concept="37vLTw" id="5sBg_GprGt2" role="3ElVtu">
                 <ref role="3cqZAo" node="6dzPt95oAPy" resolve="target" />
               </node>
+              <node concept="2OqwBi" id="5sBg_GprrVr" role="3ElQJh">
+                <node concept="37vLTw" id="5sBg_GprrVs" role="2Oq$k0">
+                  <ref role="3cqZAo" node="WJTIIokuum" resolve="launcher" />
+                </node>
+                <node concept="liA8E" id="5sBg_GprvkZ" role="2OqNvi">
+                  <ref role="37wK5l" node="WJTIIoRKDn" resolve="getAllFailuresMap" />
+                </node>
+              </node>
             </node>
           </node>
-          <node concept="3_1$Yv" id="6dzPt95oAPJ" role="3_9lra">
-            <node concept="2YIFZM" id="6dzPt95oAPK" role="3_1BAH">
-              <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
-              <ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...)" resolve="format" />
-              <node concept="Xl_RD" id="6dzPt95oAPL" role="37wK5m">
-                <property role="Xl_RC" value="expected no failures on node! [%s]" />
+        </node>
+        <node concept="3clFbJ" id="5sBg_Gpr7$x" role="3cqZAp">
+          <node concept="3clFbS" id="5sBg_Gpr7$z" role="3clFbx">
+            <node concept="3vFxKo" id="6dzPt95oAPC" role="3cqZAp">
+              <node concept="3_1$Yv" id="6dzPt95oAPJ" role="3_9lra">
+                <node concept="2YIFZM" id="6dzPt95oAPK" role="3_1BAH">
+                  <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                  <ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...)" resolve="format" />
+                  <node concept="Xl_RD" id="6dzPt95oAPL" role="37wK5m">
+                    <property role="Xl_RC" value="expected no failures on node! [%s], failure: %s" />
+                  </node>
+                  <node concept="37vLTw" id="6dzPt95oAPM" role="37wK5m">
+                    <ref role="3cqZAo" node="6dzPt95oAPy" resolve="target" />
+                  </node>
+                  <node concept="2OqwBi" id="5sBg_GprrVH" role="37wK5m">
+                    <node concept="37vLTw" id="5sBg_GprrVI" role="2Oq$k0">
+                      <ref role="3cqZAo" node="5sBg_GprrVo" resolve="firstFailure" />
+                    </node>
+                    <node concept="liA8E" id="5sBg_GprrVJ" role="2OqNvi">
+                      <ref role="37wK5l" to="d6hs:~ReportItemBase.getMessage()" resolve="getMessage" />
+                    </node>
+                  </node>
+                </node>
               </node>
-              <node concept="37vLTw" id="6dzPt95oAPM" role="37wK5m">
-                <ref role="3cqZAo" node="6dzPt95oAPy" resolve="target" />
+              <node concept="3clFbT" id="5sBg_GprnOl" role="3vFALc">
+                <property role="3clFbU" value="true" />
               </node>
             </node>
           </node>
+          <node concept="3y3z36" id="5sBg_GprM80" role="3clFbw">
+            <node concept="10Nm6u" id="5sBg_GprMEb" role="3uHU7w" />
+            <node concept="37vLTw" id="5sBg_GprJan" role="3uHU7B">
+              <ref role="3cqZAo" node="5sBg_GprrVo" resolve="firstFailure" />
+            </node>
+          </node>
         </node>
         <node concept="3cpWs6" id="6dzPt95oAPN" role="3cqZAp">
           <node concept="Xjq3P" id="6dzPt95oAPO" role="3cqZAk" />
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps
index 0fce40d7..fc5867ab 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps
@@ -282,6 +282,7 @@
     <property role="EcuMT" value="3749787170939265030" />
     <property role="3GE5qa" value="type" />
     <property role="TrG5h" value="VarType" />
+    <ref role="1TJDcQ" node="3_qfG1EP6Nw" resolve="Type" />
     <node concept="PrWs8" id="48ZGLP8BG5o" role="PzmwI">
       <ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
     </node>
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
index 7a5366f7..71a4631a 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
@@ -36,7 +36,7 @@
       </concept>
       <concept id="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
       <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
-      <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="nn" index="2tJIrI" />
+      <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
       <concept id="1239709250944" name="jetbrains.mps.baseLanguage.structure.PrefixIncrementExpression" flags="nn" index="2$rviw" />
       <concept id="1239714755177" name="jetbrains.mps.baseLanguage.structure.AbstractUnaryNumberOperation" flags="nn" index="2$Kvd9">
         <child id="1239714902950" name="expression" index="2$L3a6" />
@@ -324,10 +324,10 @@
       <concept id="4774429934441520217" name="samples.lambdacalc.structure.BoolType" flags="ng" index="3P8Jbz" />
     </language>
     <language id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text">
-      <concept id="155656958578482948" name="jetbrains.mps.lang.text.structure.Word" flags="nn" index="3oM_SD">
+      <concept id="155656958578482948" name="jetbrains.mps.lang.text.structure.Word" flags="ng" index="3oM_SD">
         <property id="155656958578482949" name="value" index="3oM_SC" />
       </concept>
-      <concept id="2535923850359271782" name="jetbrains.mps.lang.text.structure.Line" flags="nn" index="1PaTwC">
+      <concept id="2535923850359271782" name="jetbrains.mps.lang.text.structure.Line" flags="ng" index="1PaTwC">
         <child id="2535923850359271783" name="elements" index="1PaTwD" />
       </concept>
     </language>
@@ -3360,6 +3360,56 @@
     <node concept="1nLNMY" id="2O9ahh6HZPO" role="1nK1Vg">
       <property role="TrG5h" value="recover_varRef" />
       <node concept="3clFbS" id="2O9ahh6HZPP" role="1nLNMH">
+        <node concept="3SKdUt" id="362mGRZKnR3" role="3cqZAp">
+          <node concept="1PaTwC" id="362mGRZKnR4" role="1aUNEU">
+            <node concept="3oM_SD" id="362mGRZKnR5" role="1PaTwD">
+              <property role="3oM_SC" value="fixme:" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZKnRW" role="1PaTwD">
+              <property role="3oM_SC" value="fix" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZL9Yn" role="1PaTwD">
+              <property role="3oM_SC" value="failing" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZL9Y$" role="1PaTwD">
+              <property role="3oM_SC" value="tests" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZL9YM" role="1PaTwD">
+              <property role="3oM_SC" value="when" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZL9Z1" role="1PaTwD">
+              <property role="3oM_SC" value="producing" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZKnTe" role="1PaTwD">
+              <property role="3oM_SC" value="proper" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZKnRZ" role="1PaTwD">
+              <property role="3oM_SC" value="VarTypeRef" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZKnS3" role="1PaTwD">
+              <property role="3oM_SC" value="instead" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZKnS8" role="1PaTwD">
+              <property role="3oM_SC" value="of" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZKnSe" role="1PaTwD">
+              <property role="3oM_SC" value="VarType" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZKnSl" role="1PaTwD">
+              <property role="3oM_SC" value="(needed" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZKnSK" role="1PaTwD">
+              <property role="3oM_SC" value="for" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZKnST" role="1PaTwD">
+              <property role="3oM_SC" value="Forall" />
+            </node>
+            <node concept="3oM_SD" id="362mGRZL9Yb" role="1PaTwD">
+              <property role="3oM_SC" value="type)" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="362mGRZKnTr" role="3cqZAp" />
         <node concept="1nLNNL" id="2O9ahh6HZPQ" role="3cqZAp">
           <node concept="1nLNMm" id="2O9ahh6HZPR" role="1nLNNK">
             <node concept="3Aq93q" id="2O9ahh6HZPS" role="1nLNMb">
diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps
index 1b7534b0..6169c796 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps
@@ -16,14 +16,14 @@
   </imports>
   <registry>
     <language id="3600cb0a-44dd-4a5b-9968-22924406419e" name="jetbrains.mps.build.mps.tests">
-      <concept id="4560297596904469357" name="jetbrains.mps.build.mps.tests.structure.BuildAspect_MpsTestModules" flags="nn" index="22LTRH">
+      <concept id="4560297596904469357" name="jetbrains.mps.build.mps.tests.structure.BuildMpsLayout_TestModules" flags="nn" index="22LTRH">
         <child id="4560297596904469360" name="modules" index="22LTRK" />
         <child id="6593674873639474544" name="options" index="24cAkG" />
       </concept>
-      <concept id="4560297596904469362" name="jetbrains.mps.build.mps.tests.structure.BuildMps_TestModule" flags="nn" index="22LTRM">
+      <concept id="4560297596904469362" name="jetbrains.mps.build.mps.tests.structure.BuildMpsLayout_TestModule" flags="nn" index="22LTRM">
         <reference id="4560297596904469363" name="module" index="22LTRN" />
       </concept>
-      <concept id="6593674873639474400" name="jetbrains.mps.build.mps.tests.structure.BuildMps_TestModules_Options" flags="ng" index="24cAiW">
+      <concept id="6593674873639474400" name="jetbrains.mps.build.mps.tests.structure.BuildMpsLayout_TestModules_Options" flags="ng" index="24cAiW">
         <child id="6593674873639478221" name="haltonfailure" index="24c_eh" />
         <child id="3609768169816292377" name="jvmArgs" index="1psgkv" />
       </concept>
@@ -294,6 +294,11 @@
             </node>
           </node>
         </node>
+        <node concept="1SiIV0" id="5SC$dmoMtb7" role="3bR37C">
+          <node concept="3bR9La" id="5SC$dmoMtb8" role="1SiIV1">
+            <ref role="3bR37D" to="zqd8:7mB3viLwG3m" resolve="jetbrains.mps.coderules.typechecking.test" />
+          </node>
+        </node>
       </node>
     </node>
     <node concept="2sgV4H" id="7E7FS_VaV_9" role="1l3spa">
diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps
index 3af30a7f..496d7d21 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps
@@ -1345,7 +1345,7 @@
         </node>
         <node concept="1DVIo5" id="1YCbHn1AJc8" role="1DVIrD">
           <node concept="2facFd" id="1YCbHn1AJc2" role="1DVIo4" />
-          <node concept="t0$VC" id="1YCbHn1AJc7" role="1DVIo8">
+          <node concept="t0$VC" id="5SC$dmoGq2I" role="1DVIo8">
             <ref role="t0$VJ" node="1YCbHn1AbJK" resolve="g" />
           </node>
         </node>
@@ -6164,41 +6164,111 @@
         <node concept="3P8L2H" id="1GGmKhcBn5q" role="1DVIrD" />
       </node>
     </node>
-    <node concept="1DVJbV" id="1GGmKhcBn5C" role="1DVIru">
-      <node concept="1DVIrG" id="1GGmKhcBn5D" role="j9CMd">
-        <node concept="1DVIoH" id="1GGmKhcBn5E" role="1DVIrJ">
-          <property role="TrG5h" value="z" />
+    <node concept="1DVJbV" id="1DIG_2lKX7X" role="1DVIru">
+      <node concept="1DVIrG" id="1DIG_2lKX7Z" role="j9CMd">
+        <node concept="1DVIoH" id="1DIG_2lKX81" role="1DVIrJ">
+          <property role="TrG5h" value="y" />
         </node>
-        <node concept="t0$VC" id="1GGmKhcBn5F" role="1DVIrD">
-          <ref role="t0$VJ" node="1GGmKhcBn5p" resolve="x" />
+        <node concept="3EUms" id="1DIG_2lKX9D" role="1DVIrD">
+          <node concept="3P8MHP" id="1DIG_2lKX9F" role="3EUmv" />
+          <node concept="3P8MHP" id="1DIG_2lKX9I" role="3EUmh" />
         </node>
       </node>
     </node>
-    <node concept="1DVJbV" id="1GGmKhcBn5r" role="1DVIru">
-      <node concept="1DVIrG" id="1GGmKhcBn5s" role="j9CMd">
-        <node concept="1DVIoH" id="1GGmKhcBn5t" role="1DVIrJ">
-          <property role="TrG5h" value="y" />
+    <node concept="1DVJbV" id="5SC$dmoGqzb" role="1DVIru">
+      <node concept="1DVIrG" id="5SC$dmoGqzd" role="j9CMd">
+        <node concept="1DVIoH" id="5SC$dmoGqzf" role="1DVIrJ">
+          <property role="TrG5h" value="id1" />
         </node>
-        <node concept="1DVIrH" id="1GGmKhcBn5u" role="1DVIrD">
-          <node concept="1DVIrG" id="1GGmKhcBn5v" role="1DVIrE">
-            <node concept="1DVIrU" id="1GGmKhcBn5w" role="1DVIrD">
-              <node concept="3P8L2H" id="1GGmKhcBn5x" role="1DVIrw" />
-              <node concept="1DVIrB" id="1GGmKhcBn5y" role="1DVIr_">
-                <node concept="1DVIoH" id="1GGmKhcBn5z" role="1DVIrA">
-                  <property role="TrG5h" value="y" />
-                </node>
-              </node>
-            </node>
-            <node concept="1DVIoH" id="1GGmKhcBn5$" role="1DVIrJ">
+        <node concept="1DVIrU" id="5SC$dmoGqHl" role="1DVIrD">
+          <node concept="1DVIrB" id="5SC$dmoGqHm" role="1DVIr_">
+            <node concept="1DVIoH" id="5SC$dmoGqHn" role="1DVIrA">
               <property role="TrG5h" value="f" />
             </node>
           </node>
-          <node concept="1DVIo5" id="1GGmKhcBn5_" role="1DVIrk">
-            <node concept="t0$VC" id="1GGmKhcBn5A" role="1DVIo4">
-              <ref role="t0$VJ" node="1GGmKhcBn5$" resolve="f" />
+          <node concept="t0$VC" id="1DIG_2lOy6n" role="1DVIrw">
+            <ref role="t0$VJ" node="5SC$dmoGqHn" resolve="f" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="5SC$dmoGqSI" role="1DVIru">
+      <node concept="1DVIrG" id="5SC$dmoGqSK" role="j9CMd">
+        <node concept="1DVIoH" id="5SC$dmoGqSM" role="1DVIrJ">
+          <property role="TrG5h" value="id2" />
+        </node>
+        <node concept="1DVIrU" id="5SC$dmoGqWf" role="1DVIrD">
+          <node concept="1DVIrB" id="5SC$dmoGqWg" role="1DVIr_">
+            <node concept="1DVIoH" id="5SC$dmoGqWh" role="1DVIrA">
+              <property role="TrG5h" value="a" />
             </node>
-            <node concept="t0$VC" id="1GGmKhcBnak" role="1DVIo8">
-              <ref role="t0$VJ" node="1GGmKhcBn5E" resolve="z" />
+          </node>
+          <node concept="t0$VC" id="5SC$dmoGqWm" role="1DVIrw">
+            <ref role="t0$VJ" node="1GGmKhcBn5p" resolve="x" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="5SC$dmoGqKG" role="1DVIru">
+      <node concept="1DVIrG" id="5SC$dmoGqKI" role="j9CMd">
+        <node concept="1DVIoH" id="5SC$dmoGqKK" role="1DVIrJ">
+          <property role="TrG5h" value="zb" />
+        </node>
+        <node concept="1DVIo5" id="5SC$dmoGqYk" role="1DVIrD">
+          <node concept="t0$VC" id="1DIG_2lOy5_" role="1DVIo4">
+            <ref role="t0$VJ" node="5SC$dmoGqzf" resolve="id1" />
+          </node>
+          <node concept="t0$VC" id="1DIG_2lOy5U" role="1DVIo8">
+            <ref role="t0$VJ" node="5SC$dmoGqzf" resolve="id1" />
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="1DVIrt" id="5SC$dmoGq64">
+    <property role="TrG5h" value="FixMin" />
+    <node concept="1DVJbV" id="5SC$dmoGq6j" role="1DVIru">
+      <node concept="1DVIrG" id="5SC$dmoGq6k" role="j9CMd">
+        <node concept="1DVIoH" id="5SC$dmoGq6l" role="1DVIrJ">
+          <property role="TrG5h" value="g" />
+        </node>
+        <node concept="1DVIrU" id="5SC$dmoGq6m" role="1DVIrD">
+          <node concept="1DVIrB" id="5SC$dmoGq6n" role="1DVIr_">
+            <node concept="1DVIoH" id="5SC$dmoGq6o" role="1DVIrA">
+              <property role="TrG5h" value="rec" />
+            </node>
+          </node>
+          <node concept="1DVIrU" id="5SC$dmoGq6p" role="1DVIrw">
+            <node concept="1DVIrB" id="5SC$dmoGq6q" role="1DVIr_">
+              <node concept="1DVIoH" id="5SC$dmoGq6r" role="1DVIrA">
+                <property role="TrG5h" value="n" />
+              </node>
+            </node>
+            <node concept="1DVIo5" id="5SC$dmoGq6s" role="1DVIrw">
+              <node concept="t0$VC" id="5SC$dmoGq6t" role="1DVIo4">
+                <ref role="t0$VJ" node="5SC$dmoGq6o" resolve="rec" />
+              </node>
+              <node concept="t0$VC" id="5SC$dmoGq6u" role="1DVIo8">
+                <ref role="t0$VJ" node="5SC$dmoGq6r" resolve="n" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="5SC$dmoGq6v" role="1DVIru">
+      <node concept="1DVIrG" id="5SC$dmoGq6w" role="j9CMd">
+        <node concept="1DVIoH" id="5SC$dmoGq6x" role="1DVIrJ">
+          <property role="TrG5h" value="f" />
+        </node>
+        <node concept="1DVIo5" id="5SC$dmoGq6y" role="1DVIrD">
+          <node concept="2facFd" id="5SC$dmoGq6z" role="1DVIo4" />
+          <node concept="1DVIo5" id="5SC$dmoGqkE" role="1DVIo8">
+            <node concept="t0$VC" id="5SC$dmoGq6$" role="1DVIo4">
+              <ref role="t0$VJ" node="5SC$dmoGq6l" resolve="g" />
+            </node>
+            <node concept="t0$VC" id="5SC$dmoGqkD" role="1DVIo8">
+              <ref role="t0$VJ" node="5SC$dmoGq6l" resolve="g" />
             </node>
           </node>
         </node>
diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.incremental@tests.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.incremental@tests.mps
new file mode 100644
index 00000000..b44755e9
--- /dev/null
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.incremental@tests.mps
@@ -0,0 +1,1948 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:90e46fa5-c0a6-488e-91b0-1cc8a85653dc(samples.lambdacalc.incremental@tests)">
+  <persistence version="9" />
+  <attribute name="doNotGenerate" value="false" />
+  <languages>
+    <use id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test" version="5" />
+    <use id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest" version="1" />
+    <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="17" />
+    <use id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access" version="0" />
+    <use id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text" version="0" />
+    <use id="af858d84-85f2-42f4-a854-0b3c6b5cd482" name="samples.lambdacalc" version="0" />
+    <use id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation" version="5" />
+  </languages>
+  <imports>
+    <import index="ysck" ref="r:64f472af-c4b1-4900-9ea3-aec5c51b6e6e(samples.lambdacalc.demo)" />
+    <import index="8tt8" ref="r:e74c1bfc-387b-4b4b-abee-2eb77ee510ec(samples.lambdacalc.structure)" />
+    <import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.coderules.typechecking.service)" />
+    <import index="hfva" ref="r:20f81ae9-fed0-48fa-893d-6c6b658e3dee(jetbrains.mps.coderules.typechecking.test.util)" />
+    <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
+    <import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" implicit="true" />
+    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
+  </imports>
+  <registry>
+    <language id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test">
+      <concept id="5097124989038916362" name="jetbrains.mps.lang.test.structure.TestInfo" flags="ng" index="2XOHcx">
+        <property id="5097124989038916363" name="projectPath" index="2XOHcw" />
+      </concept>
+      <concept id="1225467090849" name="jetbrains.mps.lang.test.structure.ProjectExpression" flags="nn" index="1jxXqW" />
+      <concept id="1216913645126" name="jetbrains.mps.lang.test.structure.NodesTestCase" flags="lg" index="1lH9Xt">
+        <child id="1216993439383" name="methods" index="1qtyYc" />
+        <child id="1217501822150" name="nodesToCheck" index="1SKRRt" />
+        <child id="1217501895093" name="testMethods" index="1SL9yI" />
+      </concept>
+      <concept id="1216989428737" name="jetbrains.mps.lang.test.structure.TestNode" flags="ng" index="1qefOq">
+        <child id="1216989461394" name="nodeToCheck" index="1qenE9" />
+      </concept>
+      <concept id="1210673684636" name="jetbrains.mps.lang.test.structure.TestNodeAnnotation" flags="ng" index="3xLA65" />
+      <concept id="1210674524691" name="jetbrains.mps.lang.test.structure.TestNodeReference" flags="nn" index="3xONca">
+        <reference id="1210674534086" name="declaration" index="3xOPvv" />
+      </concept>
+      <concept id="1225978065297" name="jetbrains.mps.lang.test.structure.SimpleNodeTest" flags="ng" index="1LZb2c" />
+    </language>
+    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
+        <child id="1082485599096" name="statements" index="9aQI4" />
+      </concept>
+      <concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
+        <child id="1068498886297" name="rValue" index="37vLTx" />
+        <child id="1068498886295" name="lValue" index="37vLTJ" />
+      </concept>
+      <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
+      <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
+      <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
+        <child id="1197027771414" name="operand" index="2Oq$k0" />
+        <child id="1197027833540" name="operation" index="2OqNvi" />
+      </concept>
+      <concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
+        <child id="1145553007750" name="creator" index="2ShVmc" />
+      </concept>
+      <concept id="1070475354124" name="jetbrains.mps.baseLanguage.structure.ThisExpression" flags="nn" index="Xjq3P" />
+      <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
+        <property id="1070475926801" name="value" index="Xl_RC" />
+      </concept>
+      <concept id="1182160077978" name="jetbrains.mps.baseLanguage.structure.AnonymousClassCreator" flags="nn" index="YeOm9">
+        <child id="1182160096073" name="cls" index="YeSDq" />
+      </concept>
+      <concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
+        <reference id="1144433194310" name="classConcept" index="1Pybhc" />
+      </concept>
+      <concept id="1164991038168" name="jetbrains.mps.baseLanguage.structure.ThrowStatement" flags="nn" index="YS8fn">
+        <child id="1164991057263" name="throwable" index="YScLw" />
+      </concept>
+      <concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
+      <concept id="1068390468200" name="jetbrains.mps.baseLanguage.structure.FieldDeclaration" flags="ig" index="312cEg" />
+      <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
+        <child id="1068431790190" name="initializer" index="33vP2m" />
+      </concept>
+      <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
+        <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="1225271177708" name="jetbrains.mps.baseLanguage.structure.StringType" flags="in" index="17QB3L" />
+      <concept id="1225271283259" name="jetbrains.mps.baseLanguage.structure.NPEEqualsExpression" flags="nn" index="17R0WA" />
+      <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
+        <child id="5680397130376446158" name="type" index="1tU5fm" />
+      </concept>
+      <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" />
+        <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="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
+        <child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
+        <child id="1068580123160" name="condition" index="3clFbw" />
+        <child id="1068580123161" name="ifTrue" index="3clFbx" />
+      </concept>
+      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
+        <child id="1068581517665" name="statement" index="3cqZAp" />
+      </concept>
+      <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
+        <property id="1068580123138" name="value" index="3clFbU" />
+      </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="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="1079359253375" name="jetbrains.mps.baseLanguage.structure.ParenthesizedExpression" flags="nn" index="1eOMI4">
+        <child id="1079359253376" name="expression" index="1eOMHV" />
+      </concept>
+      <concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
+        <child id="1081516765348" name="expression" index="3fr31v" />
+      </concept>
+      <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
+        <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
+        <child id="1068499141038" name="actualArgument" index="37wK5m" />
+      </concept>
+      <concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
+      <concept id="1107461130800" name="jetbrains.mps.baseLanguage.structure.Classifier" flags="ng" index="3pOWGL">
+        <property id="521412098689998745" name="nonStatic" index="2bfB8j" />
+        <child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
+      </concept>
+      <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="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
+        <child id="8356039341262087992" name="line" index="1aUNEU" />
+      </concept>
+      <concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
+      <concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
+      <concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
+      <concept id="1170345865475" name="jetbrains.mps.baseLanguage.structure.AnonymousClass" flags="ig" index="1Y3b0j">
+        <reference id="1170346070688" name="classifier" index="1Y3XeK" />
+      </concept>
+    </language>
+    <language id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access">
+      <concept id="8974276187400348173" name="jetbrains.mps.lang.access.structure.CommandClosureLiteral" flags="nn" index="1QHqEC" />
+      <concept id="8974276187400348170" name="jetbrains.mps.lang.access.structure.BaseExecuteCommandStatement" flags="nn" index="1QHqEJ">
+        <child id="1423104411234567454" name="repo" index="ukAjM" />
+        <child id="8974276187400348171" name="commandClosureLiteral" index="1QHqEI" />
+      </concept>
+      <concept id="8974276187400348181" name="jetbrains.mps.lang.access.structure.ExecuteLightweightCommandStatement" flags="nn" index="1QHqEK" />
+    </language>
+    <language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
+      <concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
+        <child id="1199569906740" name="parameter" index="1bW2Oz" />
+        <child id="1199569916463" name="body" index="1bW5cS" />
+      </concept>
+    </language>
+    <language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
+      <concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp" />
+      <concept id="1205756064662" name="jetbrains.mps.baseLanguage.classifiers.structure.IMemberOperation" flags="ng" index="2WEnae">
+        <reference id="1205756909548" name="member" index="2WH_rO" />
+      </concept>
+      <concept id="1205769003971" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodDeclaration" flags="ng" index="2XrIbr" />
+      <concept id="1205769149993" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodCallOperation" flags="nn" index="2XshWL" />
+    </language>
+    <language id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation">
+      <concept id="1196350785113" name="jetbrains.mps.lang.quotation.structure.Quotation" flags="nn" index="2c44tf">
+        <child id="1196350785114" name="quotedNode" index="2c44tc" />
+      </concept>
+      <concept id="5455284157994012186" name="jetbrains.mps.lang.quotation.structure.NodeBuilderInitLink" flags="ng" index="2pIpSj">
+        <reference id="5455284157994012188" name="link" index="2pIpSl" />
+        <child id="1595412875168045827" name="initValue" index="28nt2d" />
+      </concept>
+      <concept id="5455284157993911077" name="jetbrains.mps.lang.quotation.structure.NodeBuilderInitProperty" flags="ng" index="2pJxcG">
+        <reference id="5455284157993911078" name="property" index="2pJxcJ" />
+        <child id="1595412875168045201" name="initValue" index="28ntcv" />
+      </concept>
+      <concept id="5455284157993863837" name="jetbrains.mps.lang.quotation.structure.NodeBuilder" flags="nn" index="2pJPEk">
+        <child id="5455284157993863838" name="quotedNode" index="2pJPEn" />
+      </concept>
+      <concept id="5455284157993863840" name="jetbrains.mps.lang.quotation.structure.NodeBuilderNode" flags="nn" index="2pJPED">
+        <reference id="5455284157993910961" name="concept" index="2pJxaS" />
+        <child id="5455284157993911099" name="values" index="2pJxcM" />
+      </concept>
+      <concept id="6985522012210254362" name="jetbrains.mps.lang.quotation.structure.NodeBuilderPropertyExpression" flags="nn" index="WxPPo">
+        <child id="6985522012210254363" name="expression" index="WxPPp" />
+      </concept>
+      <concept id="8182547171709752110" name="jetbrains.mps.lang.quotation.structure.NodeBuilderExpression" flags="nn" index="36biLy">
+        <child id="8182547171709752112" name="expression" index="36biLW" />
+      </concept>
+    </language>
+    <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
+      <concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
+        <reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
+      </concept>
+      <concept id="7400021826771268254" name="jetbrains.mps.lang.smodel.structure.SNodePointerType" flags="ig" index="2sp9CU" />
+      <concept id="4065387505485742749" name="jetbrains.mps.lang.smodel.structure.AbstractPointerResolveOperation" flags="ng" index="2yCiFS">
+        <child id="3648723375513868575" name="repositoryArg" index="Vysub" />
+      </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" />
+      </concept>
+      <concept id="3648723375513868532" name="jetbrains.mps.lang.smodel.structure.NodePointer_ResolveOperation" flags="ng" index="Vyspw" />
+      <concept id="1139621453865" name="jetbrains.mps.lang.smodel.structure.Node_IsInstanceOfOperation" flags="nn" index="1mIQ4w">
+        <child id="1177027386292" name="conceptArgument" index="cj9EA" />
+      </concept>
+      <concept id="1144146199828" name="jetbrains.mps.lang.smodel.structure.Node_CopyOperation" flags="nn" index="1$rogu" />
+      <concept id="1140131837776" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithAnotherOperation" flags="nn" index="1P9Npp">
+        <child id="1140131861877" name="replacementNode" index="1P9ThW" />
+      </concept>
+      <concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI">
+        <property id="1238684351431" name="asCast" index="1BlNFB" />
+      </concept>
+      <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
+        <reference id="1138405853777" name="concept" index="ehGHo" />
+      </concept>
+      <concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
+        <reference id="1138056395725" name="property" index="3TsBF5" />
+      </concept>
+      <concept id="1138056143562" name="jetbrains.mps.lang.smodel.structure.SLinkAccess" flags="nn" index="3TrEf2">
+        <reference id="1138056516764" name="link" index="3Tt5mk" />
+      </concept>
+    </language>
+    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
+      <concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
+        <child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
+      </concept>
+      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
+        <property id="1169194664001" name="name" index="TrG5h" />
+      </concept>
+    </language>
+    <language id="af858d84-85f2-42f4-a854-0b3c6b5cd482" name="samples.lambdacalc">
+      <concept id="854183478222196421" name="samples.lambdacalc.structure.Pair" flags="ng" index="3EUms">
+        <child id="854183478222196424" name="snd" index="3EUmh" />
+        <child id="854183478222196422" name="fst" index="3EUmv" />
+      </concept>
+      <concept id="854183478222197450" name="samples.lambdacalc.structure.PairType" flags="ng" index="3EVAj">
+        <child id="854183478222197451" name="sndType" index="3EVAi" />
+        <child id="854183478222197453" name="fstType" index="3EVAk" />
+      </concept>
+      <concept id="1784752312119229448" name="samples.lambdacalc.structure.Fix" flags="ng" index="2facFd" />
+      <concept id="8747055848970356251" name="samples.lambdacalc.structure.VarRef" flags="ng" index="t0$VC">
+        <reference id="8747055848970356252" name="def" index="t0$VJ" />
+      </concept>
+      <concept id="3749787170939265030" name="samples.lambdacalc.structure.VarType" flags="ng" index="2BbKIm" />
+      <concept id="4132684604212800783" name="samples.lambdacalc.structure.FunType" flags="ng" index="1jz_ff">
+        <child id="4132684604212800793" name="argType" index="1jz_fp" />
+        <child id="4132684604212800805" name="resType" index="1jz_f_" />
+      </concept>
+      <concept id="8739282858702982512" name="samples.lambdacalc.structure.App" flags="ng" index="1DVIo5">
+        <child id="8739282858702982513" name="fun" index="1DVIo4" />
+        <child id="8739282858702982525" name="arg" index="1DVIo8" />
+      </concept>
+      <concept id="8739282858702982488" name="samples.lambdacalc.structure.Var" flags="ng" index="1DVIoH" />
+      <concept id="8739282858702982568" name="samples.lambdacalc.structure.Doc" flags="ng" index="1DVIrt">
+        <child id="8739282858702982571" name="clause" index="1DVIru" />
+      </concept>
+      <concept id="8739282858702982546" name="samples.lambdacalc.structure.LamVarBind" flags="ng" index="1DVIrB">
+        <child id="8739282858702982547" name="var" index="1DVIrA" />
+      </concept>
+      <concept id="8739282858702982553" name="samples.lambdacalc.structure.LetVarBind" flags="ng" index="1DVIrG">
+        <child id="8739282858702982556" name="expr" index="1DVIrD" />
+        <child id="8739282858702982554" name="var" index="1DVIrJ" />
+      </concept>
+      <concept id="8739282858702982543" name="samples.lambdacalc.structure.Lam" flags="ng" index="1DVIrU">
+        <child id="8739282858702982549" name="expr" index="1DVIrw" />
+        <child id="8739282858702982544" name="binding" index="1DVIr_" />
+      </concept>
+      <concept id="8739282858702985614" name="samples.lambdacalc.structure.LetClause" flags="ng" index="1DVJbV">
+        <child id="2654091495521629866" name="binding" index="j9CMd" />
+      </concept>
+      <concept id="1192808835813875324" name="samples.lambdacalc.structure.ForallType" flags="ng" index="3JbUGG">
+        <child id="4773731068369444236" name="typeVars" index="5lUUh" />
+        <child id="1192808835813913262" name="type" index="3JbKvY" />
+      </concept>
+      <concept id="4774429934441520217" name="samples.lambdacalc.structure.BoolType" flags="ng" index="3P8Jbz" />
+      <concept id="4774429934441545239" name="samples.lambdacalc.structure.False" flags="ng" index="3P8L2H" />
+      <concept id="4774429934441530831" name="samples.lambdacalc.structure.True" flags="ng" index="3P8MHP" />
+    </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">
+        <property id="155656958578482949" name="value" index="3oM_SC" />
+      </concept>
+      <concept id="2535923850359271782" name="jetbrains.mps.lang.text.structure.Line" flags="ng" index="1PaTwC">
+        <child id="2535923850359271783" name="elements" index="1PaTwD" />
+      </concept>
+    </language>
+    <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
+      <concept id="1201306600024" name="jetbrains.mps.baseLanguage.collections.structure.ContainsKeyOperation" flags="nn" index="2Nt0df">
+        <child id="1201654602639" name="key" index="38cxEo" />
+      </concept>
+      <concept id="1197683403723" name="jetbrains.mps.baseLanguage.collections.structure.MapType" flags="in" index="3rvAFt">
+        <child id="1197683466920" name="keyType" index="3rvQeY" />
+        <child id="1197683475734" name="valueType" index="3rvSg0" />
+      </concept>
+      <concept id="1197686869805" name="jetbrains.mps.baseLanguage.collections.structure.HashMapCreator" flags="nn" index="3rGOSV">
+        <child id="1197687026896" name="keyType" index="3rHrn6" />
+        <child id="1197687035757" name="valueType" index="3rHtpV" />
+      </concept>
+      <concept id="1197932370469" name="jetbrains.mps.baseLanguage.collections.structure.MapElement" flags="nn" index="3EllGN">
+        <child id="1197932505799" name="map" index="3ElQJh" />
+        <child id="1197932525128" name="key" index="3ElVtu" />
+      </concept>
+    </language>
+  </registry>
+  <node concept="2XOHcx" id="5SC$dmoqInL">
+    <property role="2XOHcw" value="${lambdacalc_home}" />
+  </node>
+  <node concept="1lH9Xt" id="5SC$dmoqInM">
+    <property role="TrG5h" value="IncrementalLC" />
+    <node concept="1LZb2c" id="5SC$dmoGu_H" role="1SL9yI">
+      <property role="TrG5h" value="app_changeArg_ok1" />
+      <node concept="3cqZAl" id="5SC$dmoGu_I" role="3clF45" />
+      <node concept="3clFbS" id="5SC$dmoGu_J" role="3clF47">
+        <node concept="3clFbF" id="5SC$dmoGu_T" role="3cqZAp">
+          <node concept="2OqwBi" id="5SC$dmoGu_U" role="3clFbG">
+            <node concept="2OqwBi" id="4MWjU0Nkp1y" role="2Oq$k0">
+              <node concept="2OqwBi" id="5SC$dmoGu_V" role="2Oq$k0">
+                <node concept="2OqwBi" id="5SC$dmoGu_W" role="2Oq$k0">
+                  <node concept="2OqwBi" id="5SC$dmoGu_X" role="2Oq$k0">
+                    <node concept="2OqwBi" id="5SC$dmoGu_Y" role="2Oq$k0">
+                      <node concept="2OqwBi" id="4MWjU0NjPG2" role="2Oq$k0">
+                        <node concept="2OqwBi" id="4MWjU0Nkl6q" role="2Oq$k0">
+                          <node concept="2OqwBi" id="4MWjU0NjKTL" role="2Oq$k0">
+                            <node concept="2OqwBi" id="4MWjU0NjI3q" role="2Oq$k0">
+                              <node concept="2OqwBi" id="4MWjU0NjFuL" role="2Oq$k0">
+                                <node concept="2OqwBi" id="4MWjU0NjB1q" role="2Oq$k0">
+                                  <node concept="2OqwBi" id="5SC$dmoGuA3" role="2Oq$k0">
+                                    <node concept="2OqwBi" id="4MWjU0NkhTF" role="2Oq$k0">
+                                      <node concept="2OqwBi" id="5SC$dmoGCis" role="2Oq$k0">
+                                        <node concept="2OqwBi" id="5SC$dmoGuA4" role="2Oq$k0">
+                                          <node concept="2OqwBi" id="5SC$dmoGuA5" role="2Oq$k0">
+                                            <node concept="2OqwBi" id="5SC$dmoGuA6" role="2Oq$k0">
+                                              <node concept="2OqwBi" id="4MWjU0Nkf9Q" role="2Oq$k0">
+                                                <node concept="2OqwBi" id="5SC$dmoGuA7" role="2Oq$k0">
+                                                  <node concept="2OqwBi" id="5SC$dmoGuA8" role="2Oq$k0">
+                                                    <node concept="2OqwBi" id="5SC$dmoGuA9" role="2Oq$k0">
+                                                      <node concept="2YIFZM" id="5SC$dmoGuAa" role="2Oq$k0">
+                                                        <ref role="1Pybhc" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                                                        <ref role="37wK5l" to="hfva:WJTIIokwcy" resolve="forCheck" />
+                                                        <node concept="3xONca" id="5SC$dmoGzSg" role="37wK5m">
+                                                          <ref role="3xOPvv" node="5SC$dmoGrxF" resolve="Demo1" />
+                                                        </node>
+                                                      </node>
+                                                      <node concept="liA8E" id="5SC$dmoGuAc" role="2OqNvi">
+                                                        <ref role="37wK5l" to="hfva:5SC$dmosfAW" resolve="customMatcher" />
+                                                        <node concept="1bVj0M" id="5SC$dmoGuAd" role="37wK5m">
+                                                          <node concept="3clFbS" id="5SC$dmoGuAe" role="1bW5cS">
+                                                            <node concept="3clFbF" id="5SC$dmoGuAf" role="3cqZAp">
+                                                              <node concept="2OqwBi" id="5SC$dmoGuAg" role="3clFbG">
+                                                                <node concept="2WthIp" id="5SC$dmoGuAh" role="2Oq$k0" />
+                                                                <node concept="2XshWL" id="5SC$dmoGuAi" role="2OqNvi">
+                                                                  <ref role="2WH_rO" node="5SC$dmoqInZ" resolve="customMatcher" />
+                                                                </node>
+                                                              </node>
+                                                            </node>
+                                                          </node>
+                                                        </node>
+                                                      </node>
+                                                    </node>
+                                                    <node concept="liA8E" id="5SC$dmoGuAj" role="2OqNvi">
+                                                      <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                                                    </node>
+                                                  </node>
+                                                  <node concept="liA8E" id="5SC$dmoGuAk" role="2OqNvi">
+                                                    <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                                    <node concept="3xONca" id="5SC$dmoG$x0" role="37wK5m">
+                                                      <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                                                    </node>
+                                                    <node concept="2c44tf" id="5SC$dmoGuAm" role="37wK5m">
+                                                      <node concept="3P8Jbz" id="5SC$dmoHe8a" role="2c44tc" />
+                                                    </node>
+                                                  </node>
+                                                </node>
+                                                <node concept="liA8E" id="4MWjU0Nkg23" role="2OqNvi">
+                                                  <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                                  <node concept="2OqwBi" id="4MWjU0NkJ3F" role="37wK5m">
+                                                    <node concept="3xONca" id="4MWjU0Nkhbw" role="2Oq$k0">
+                                                      <ref role="3xOPvv" node="4MWjU0Nkf8p" resolve="z_lvb" />
+                                                    </node>
+                                                    <node concept="3TrEf2" id="4MWjU0NkM4M" role="2OqNvi">
+                                                      <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQq" resolve="var" />
+                                                    </node>
+                                                  </node>
+                                                  <node concept="2c44tf" id="4MWjU0Nkg25" role="37wK5m">
+                                                    <node concept="3P8Jbz" id="4MWjU0Nkg26" role="2c44tc" />
+                                                  </node>
+                                                </node>
+                                              </node>
+                                              <node concept="liA8E" id="5SC$dmoGuAq" role="2OqNvi">
+                                                <ref role="37wK5l" to="hfva:3j46jeGYR4z" resolve="subtest" />
+                                                <node concept="Xl_RD" id="5SC$dmoGuAr" role="37wK5m">
+                                                  <property role="Xl_RC" value="replace correct" />
+                                                </node>
+                                                <node concept="1bVj0M" id="5SC$dmoGuAs" role="37wK5m">
+                                                  <node concept="37vLTG" id="5SC$dmoGuAt" role="1bW2Oz">
+                                                    <property role="TrG5h" value="tester" />
+                                                    <node concept="3uibUv" id="5SC$dmoGuAu" role="1tU5fm">
+                                                      <ref role="3uigEE" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                                                    </node>
+                                                  </node>
+                                                  <node concept="3clFbS" id="5SC$dmoGuAv" role="1bW5cS">
+                                                    <node concept="3clFbH" id="5SC$dmoGuAw" role="3cqZAp" />
+                                                    <node concept="3clFbF" id="5SC$dmoGKlz" role="3cqZAp">
+                                                      <node concept="2OqwBi" id="5SC$dmoGKl$" role="3clFbG">
+                                                        <node concept="2OqwBi" id="5SC$dmoGKl_" role="2Oq$k0">
+                                                          <node concept="3xONca" id="5SC$dmoGKlA" role="2Oq$k0">
+                                                            <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                                                          </node>
+                                                          <node concept="3TrEf2" id="5SC$dmoGKlB" role="2OqNvi">
+                                                            <ref role="3Tt5mk" to="8tt8:7_8aRkgDGPX" resolve="arg" />
+                                                          </node>
+                                                        </node>
+                                                        <node concept="1P9Npp" id="5SC$dmoGKlC" role="2OqNvi">
+                                                          <node concept="2pJPEk" id="5SC$dmoH01l" role="1P9ThW">
+                                                            <node concept="2pJPED" id="5SC$dmoH01m" role="2pJPEn">
+                                                              <ref role="2pJxaS" to="8tt8:7_zMfd$ooor" resolve="VarRef" />
+                                                              <node concept="2pIpSj" id="5SC$dmoH01n" role="2pJxcM">
+                                                                <ref role="2pIpSl" to="8tt8:7_zMfd$ooos" resolve="def" />
+                                                                <node concept="36biLy" id="5SC$dmoH01o" role="28nt2d">
+                                                                  <node concept="3xONca" id="5SC$dmoH01p" role="36biLW">
+                                                                    <ref role="3xOPvv" node="5SC$dmoGryb" resolve="id2_def" />
+                                                                  </node>
+                                                                </node>
+                                                              </node>
+                                                            </node>
+                                                          </node>
+                                                        </node>
+                                                      </node>
+                                                    </node>
+                                                    <node concept="3clFbH" id="5SC$dmoGuAN" role="3cqZAp" />
+                                                  </node>
+                                                </node>
+                                              </node>
+                                            </node>
+                                            <node concept="liA8E" id="5SC$dmoGuAO" role="2OqNvi">
+                                              <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
+                                            </node>
+                                          </node>
+                                          <node concept="liA8E" id="5SC$dmoGuAP" role="2OqNvi">
+                                            <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                                          </node>
+                                        </node>
+                                        <node concept="liA8E" id="5SC$dmoGDfS" role="2OqNvi">
+                                          <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                          <node concept="3xONca" id="5SC$dmoGFsG" role="37wK5m">
+                                            <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                                          </node>
+                                          <node concept="2c44tf" id="5SC$dmoGGTY" role="37wK5m">
+                                            <node concept="1jz_ff" id="60KsXkYGcML" role="2c44tc">
+                                              <node concept="2BbKIm" id="60KsXkYGcMM" role="1jz_fp">
+                                                <property role="TrG5h" value="t" />
+                                              </node>
+                                              <node concept="3P8Jbz" id="60KsXkYGcMN" role="1jz_f_" />
+                                            </node>
+                                          </node>
+                                        </node>
+                                      </node>
+                                      <node concept="liA8E" id="4MWjU0Nkj8u" role="2OqNvi">
+                                        <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                        <node concept="2OqwBi" id="4MWjU0NkMad" role="37wK5m">
+                                          <node concept="3xONca" id="4MWjU0Nkkl8" role="2Oq$k0">
+                                            <ref role="3xOPvv" node="4MWjU0Nkf8p" resolve="z_lvb" />
+                                          </node>
+                                          <node concept="3TrEf2" id="4MWjU0NkMoe" role="2OqNvi">
+                                            <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQq" resolve="var" />
+                                          </node>
+                                        </node>
+                                        <node concept="2c44tf" id="4MWjU0Nkj8w" role="37wK5m">
+                                          <node concept="3JbUGG" id="60KsXkYGv4J" role="2c44tc">
+                                            <node concept="2BbKIm" id="60KsXkYGxu6" role="5lUUh">
+                                              <property role="TrG5h" value="t" />
+                                            </node>
+                                            <node concept="1jz_ff" id="4MWjU0Nkj8y" role="3JbKvY">
+                                              <node concept="2BbKIm" id="4MWjU0Nkj8z" role="1jz_fp">
+                                                <property role="TrG5h" value="t" />
+                                              </node>
+                                              <node concept="3P8Jbz" id="4MWjU0Nkj8$" role="1jz_f_" />
+                                            </node>
+                                          </node>
+                                        </node>
+                                      </node>
+                                    </node>
+                                    <node concept="liA8E" id="5SC$dmoGuAQ" role="2OqNvi">
+                                      <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
+                                    </node>
+                                  </node>
+                                  <node concept="liA8E" id="4MWjU0NjCcb" role="2OqNvi">
+                                    <ref role="37wK5l" to="hfva:3j46jeGYR4z" resolve="subtest" />
+                                    <node concept="Xl_RD" id="4MWjU0NjCcc" role="37wK5m">
+                                      <property role="Xl_RC" value="replace another correct" />
+                                    </node>
+                                    <node concept="1bVj0M" id="4MWjU0NjCcd" role="37wK5m">
+                                      <node concept="37vLTG" id="4MWjU0NjCce" role="1bW2Oz">
+                                        <property role="TrG5h" value="tester" />
+                                        <node concept="3uibUv" id="4MWjU0NjCcf" role="1tU5fm">
+                                          <ref role="3uigEE" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                                        </node>
+                                      </node>
+                                      <node concept="3clFbS" id="4MWjU0NjCcg" role="1bW5cS">
+                                        <node concept="3clFbH" id="4MWjU0NjCch" role="3cqZAp" />
+                                        <node concept="3clFbF" id="4MWjU0NjCci" role="3cqZAp">
+                                          <node concept="2OqwBi" id="4MWjU0NjCcj" role="3clFbG">
+                                            <node concept="2OqwBi" id="4MWjU0NjCck" role="2Oq$k0">
+                                              <node concept="3xONca" id="4MWjU0NjCcl" role="2Oq$k0">
+                                                <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                                              </node>
+                                              <node concept="3TrEf2" id="4MWjU0NjCcm" role="2OqNvi">
+                                                <ref role="3Tt5mk" to="8tt8:7_8aRkgDGPX" resolve="arg" />
+                                              </node>
+                                            </node>
+                                            <node concept="1P9Npp" id="4MWjU0NjCcn" role="2OqNvi">
+                                              <node concept="2pJPEk" id="4MWjU0NjCco" role="1P9ThW">
+                                                <node concept="2pJPED" id="4MWjU0NjCcp" role="2pJPEn">
+                                                  <ref role="2pJxaS" to="8tt8:7_zMfd$ooor" resolve="VarRef" />
+                                                  <node concept="2pIpSj" id="4MWjU0NjCcq" role="2pJxcM">
+                                                    <ref role="2pIpSl" to="8tt8:7_zMfd$ooos" resolve="def" />
+                                                    <node concept="36biLy" id="4MWjU0NjCcr" role="28nt2d">
+                                                      <node concept="3xONca" id="4MWjU0NjESF" role="36biLW">
+                                                        <ref role="3xOPvv" node="4MWjU0NjEQG" resolve="id1_def" />
+                                                      </node>
+                                                    </node>
+                                                  </node>
+                                                </node>
+                                              </node>
+                                            </node>
+                                          </node>
+                                        </node>
+                                        <node concept="3clFbH" id="4MWjU0NjCct" role="3cqZAp" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="liA8E" id="4MWjU0NjGYF" role="2OqNvi">
+                                  <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
+                                </node>
+                              </node>
+                              <node concept="liA8E" id="4MWjU0NjJN3" role="2OqNvi">
+                                <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                              </node>
+                            </node>
+                            <node concept="liA8E" id="4MWjU0NjLP$" role="2OqNvi">
+                              <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                              <node concept="3xONca" id="4MWjU0NjNy6" role="37wK5m">
+                                <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                              </node>
+                              <node concept="2c44tf" id="4MWjU0NjOZQ" role="37wK5m">
+                                <node concept="1jz_ff" id="4MWjU0NjOZS" role="2c44tc">
+                                  <node concept="2BbKIm" id="7Bl7AcDJsz" role="1jz_fp">
+                                    <property role="TrG5h" value="t" />
+                                  </node>
+                                  <node concept="2BbKIm" id="7Bl7AcDKUf" role="1jz_f_">
+                                    <property role="TrG5h" value="t" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="liA8E" id="4MWjU0NkmXm" role="2OqNvi">
+                            <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                            <node concept="2OqwBi" id="4MWjU0NkSQg" role="37wK5m">
+                              <node concept="3xONca" id="4MWjU0Nkodg" role="2Oq$k0">
+                                <ref role="3xOPvv" node="4MWjU0Nkf8p" resolve="z_lvb" />
+                              </node>
+                              <node concept="3TrEf2" id="4MWjU0NkT6j" role="2OqNvi">
+                                <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQq" resolve="var" />
+                              </node>
+                            </node>
+                            <node concept="2c44tf" id="60KsXkYGyVh" role="37wK5m">
+                              <node concept="3JbUGG" id="60KsXkYGyVi" role="2c44tc">
+                                <node concept="2BbKIm" id="60KsXkYGyVj" role="5lUUh">
+                                  <property role="TrG5h" value="t" />
+                                </node>
+                                <node concept="1jz_ff" id="60KsXkYGyVk" role="3JbKvY">
+                                  <node concept="2BbKIm" id="362mGRZKTt0" role="1jz_fp">
+                                    <property role="TrG5h" value="t" />
+                                  </node>
+                                  <node concept="2BbKIm" id="362mGRZKTt4" role="1jz_f_">
+                                    <property role="TrG5h" value="t" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="liA8E" id="4MWjU0NjQOF" role="2OqNvi">
+                          <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="5SC$dmoGuBb" role="2OqNvi">
+                        <ref role="37wK5l" to="hfva:3j46jeGYR4z" resolve="subtest" />
+                        <node concept="Xl_RD" id="5SC$dmoGuBc" role="37wK5m">
+                          <property role="Xl_RC" value="replace back correct" />
+                        </node>
+                        <node concept="1bVj0M" id="5SC$dmoGuBd" role="37wK5m">
+                          <node concept="37vLTG" id="5SC$dmoGuBe" role="1bW2Oz">
+                            <property role="TrG5h" value="tester" />
+                            <node concept="3uibUv" id="5SC$dmoGuBf" role="1tU5fm">
+                              <ref role="3uigEE" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                            </node>
+                          </node>
+                          <node concept="3clFbS" id="5SC$dmoGuBg" role="1bW5cS">
+                            <node concept="3clFbH" id="5SC$dmoGuBh" role="3cqZAp" />
+                            <node concept="3clFbF" id="5SC$dmoGuBi" role="3cqZAp">
+                              <node concept="2OqwBi" id="5SC$dmoGuBj" role="3clFbG">
+                                <node concept="2OqwBi" id="5SC$dmoGuBk" role="2Oq$k0">
+                                  <node concept="3xONca" id="5SC$dmoGZr8" role="2Oq$k0">
+                                    <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                                  </node>
+                                  <node concept="3TrEf2" id="5SC$dmoGuBm" role="2OqNvi">
+                                    <ref role="3Tt5mk" to="8tt8:7_8aRkgDGPX" resolve="arg" />
+                                  </node>
+                                </node>
+                                <node concept="1P9Npp" id="5SC$dmoGuBn" role="2OqNvi">
+                                  <node concept="2pJPEk" id="5SC$dmoH0vY" role="1P9ThW">
+                                    <node concept="2pJPED" id="5SC$dmoH0vZ" role="2pJPEn">
+                                      <ref role="2pJxaS" to="8tt8:7_zMfd$ooor" resolve="VarRef" />
+                                      <node concept="2pIpSj" id="5SC$dmoH0w0" role="2pJxcM">
+                                        <ref role="2pIpSl" to="8tt8:7_zMfd$ooos" resolve="def" />
+                                        <node concept="36biLy" id="5SC$dmoH0w1" role="28nt2d">
+                                          <node concept="3xONca" id="5SC$dmoH29W" role="36biLW">
+                                            <ref role="3xOPvv" node="5SC$dmoGZXf" resolve="x_def" />
+                                          </node>
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3clFbH" id="5SC$dmoGuBr" role="3cqZAp" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="liA8E" id="5SC$dmoGuBs" role="2OqNvi">
+                      <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="5SC$dmoGuBt" role="2OqNvi">
+                    <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="5SC$dmoGuBu" role="2OqNvi">
+                  <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                  <node concept="3xONca" id="5SC$dmoH1$h" role="37wK5m">
+                    <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                  </node>
+                  <node concept="2c44tf" id="5SC$dmoHe_1" role="37wK5m">
+                    <node concept="3P8Jbz" id="5SC$dmoHe_2" role="2c44tc" />
+                  </node>
+                </node>
+              </node>
+              <node concept="liA8E" id="4MWjU0Nkq7A" role="2OqNvi">
+                <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                <node concept="2OqwBi" id="4MWjU0NkTRm" role="37wK5m">
+                  <node concept="3xONca" id="4MWjU0Nkq7B" role="2Oq$k0">
+                    <ref role="3xOPvv" node="4MWjU0Nkf8p" resolve="z_lvb" />
+                  </node>
+                  <node concept="3TrEf2" id="4MWjU0NkUNw" role="2OqNvi">
+                    <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQq" resolve="var" />
+                  </node>
+                </node>
+                <node concept="2c44tf" id="4MWjU0Nkq7C" role="37wK5m">
+                  <node concept="3P8Jbz" id="4MWjU0Nkq7D" role="2c44tc" />
+                </node>
+              </node>
+            </node>
+            <node concept="liA8E" id="5SC$dmoGuB$" role="2OqNvi">
+              <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1LZb2c" id="1DIG_2lKXbN" role="1SL9yI">
+      <property role="TrG5h" value="app_changeFun_ok2" />
+      <node concept="3cqZAl" id="1DIG_2lKXbO" role="3clF45" />
+      <node concept="3clFbS" id="1DIG_2lKXbP" role="3clF47">
+        <node concept="3clFbF" id="1DIG_2lKXbQ" role="3cqZAp">
+          <node concept="2OqwBi" id="1DIG_2lKXbR" role="3clFbG">
+            <node concept="2OqwBi" id="1DIG_2lKXbS" role="2Oq$k0">
+              <node concept="2OqwBi" id="1DIG_2lKXbT" role="2Oq$k0">
+                <node concept="2OqwBi" id="1DIG_2lLNas" role="2Oq$k0">
+                  <node concept="2OqwBi" id="1DIG_2lKXbU" role="2Oq$k0">
+                    <node concept="2OqwBi" id="1DIG_2lKXbV" role="2Oq$k0">
+                      <node concept="2OqwBi" id="1DIG_2lKXbW" role="2Oq$k0">
+                        <node concept="2OqwBi" id="1DIG_2lKXbX" role="2Oq$k0">
+                          <node concept="2OqwBi" id="1DIG_2lKXbY" role="2Oq$k0">
+                            <node concept="2OqwBi" id="1DIG_2lKXbZ" role="2Oq$k0">
+                              <node concept="2OqwBi" id="1DIG_2lKXc0" role="2Oq$k0">
+                                <node concept="2OqwBi" id="1DIG_2lKXc1" role="2Oq$k0">
+                                  <node concept="2OqwBi" id="1DIG_2lKXc2" role="2Oq$k0">
+                                    <node concept="2OqwBi" id="1DIG_2lKXc3" role="2Oq$k0">
+                                      <node concept="2OqwBi" id="1DIG_2lKXc4" role="2Oq$k0">
+                                        <node concept="2OqwBi" id="1DIG_2lKXc5" role="2Oq$k0">
+                                          <node concept="2OqwBi" id="1DIG_2lLfuZ" role="2Oq$k0">
+                                            <node concept="2OqwBi" id="1DIG_2lKXc6" role="2Oq$k0">
+                                              <node concept="2OqwBi" id="1DIG_2lKXc7" role="2Oq$k0">
+                                                <node concept="2OqwBi" id="1DIG_2lKXc8" role="2Oq$k0">
+                                                  <node concept="2OqwBi" id="1DIG_2lKXc9" role="2Oq$k0">
+                                                    <node concept="2OqwBi" id="1DIG_2lKXca" role="2Oq$k0">
+                                                      <node concept="2OqwBi" id="1DIG_2lKXcb" role="2Oq$k0">
+                                                        <node concept="2OqwBi" id="1DIG_2lKXcc" role="2Oq$k0">
+                                                          <node concept="2YIFZM" id="1DIG_2lKXcd" role="2Oq$k0">
+                                                            <ref role="1Pybhc" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                                                            <ref role="37wK5l" to="hfva:WJTIIokwcy" resolve="forCheck" />
+                                                            <node concept="3xONca" id="1DIG_2lKXce" role="37wK5m">
+                                                              <ref role="3xOPvv" node="5SC$dmoGrxF" resolve="Demo1" />
+                                                            </node>
+                                                          </node>
+                                                          <node concept="liA8E" id="1DIG_2lKXcf" role="2OqNvi">
+                                                            <ref role="37wK5l" to="hfva:5SC$dmosfAW" resolve="customMatcher" />
+                                                            <node concept="1bVj0M" id="1DIG_2lKXcg" role="37wK5m">
+                                                              <node concept="3clFbS" id="1DIG_2lKXch" role="1bW5cS">
+                                                                <node concept="3clFbF" id="1DIG_2lKXci" role="3cqZAp">
+                                                                  <node concept="2OqwBi" id="1DIG_2lKXcj" role="3clFbG">
+                                                                    <node concept="2WthIp" id="1DIG_2lKXck" role="2Oq$k0" />
+                                                                    <node concept="2XshWL" id="1DIG_2lKXcl" role="2OqNvi">
+                                                                      <ref role="2WH_rO" node="5SC$dmoqInZ" resolve="customMatcher" />
+                                                                    </node>
+                                                                  </node>
+                                                                </node>
+                                                              </node>
+                                                            </node>
+                                                          </node>
+                                                        </node>
+                                                        <node concept="liA8E" id="1DIG_2lKXcm" role="2OqNvi">
+                                                          <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                                                        </node>
+                                                      </node>
+                                                      <node concept="liA8E" id="1DIG_2lKXcn" role="2OqNvi">
+                                                        <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                                        <node concept="3xONca" id="1DIG_2lKXco" role="37wK5m">
+                                                          <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                                                        </node>
+                                                        <node concept="2c44tf" id="1DIG_2lKXcp" role="37wK5m">
+                                                          <node concept="3P8Jbz" id="1DIG_2lKXcq" role="2c44tc" />
+                                                        </node>
+                                                      </node>
+                                                    </node>
+                                                    <node concept="liA8E" id="1DIG_2lKXcr" role="2OqNvi">
+                                                      <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                                      <node concept="2OqwBi" id="1DIG_2lKXcs" role="37wK5m">
+                                                        <node concept="3xONca" id="1DIG_2lKXct" role="2Oq$k0">
+                                                          <ref role="3xOPvv" node="4MWjU0Nkf8p" resolve="z_lvb" />
+                                                        </node>
+                                                        <node concept="3TrEf2" id="1DIG_2lKXcu" role="2OqNvi">
+                                                          <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQq" resolve="var" />
+                                                        </node>
+                                                      </node>
+                                                      <node concept="2c44tf" id="1DIG_2lKXcv" role="37wK5m">
+                                                        <node concept="3P8Jbz" id="1DIG_2lKXcw" role="2c44tc" />
+                                                      </node>
+                                                    </node>
+                                                  </node>
+                                                  <node concept="liA8E" id="1DIG_2lKXcx" role="2OqNvi">
+                                                    <ref role="37wK5l" to="hfva:3j46jeGYR4z" resolve="subtest" />
+                                                    <node concept="Xl_RD" id="1DIG_2lKXcy" role="37wK5m">
+                                                      <property role="Xl_RC" value="replace fun" />
+                                                    </node>
+                                                    <node concept="1bVj0M" id="1DIG_2lKXcz" role="37wK5m">
+                                                      <node concept="37vLTG" id="1DIG_2lKXc$" role="1bW2Oz">
+                                                        <property role="TrG5h" value="tester" />
+                                                        <node concept="3uibUv" id="1DIG_2lKXc_" role="1tU5fm">
+                                                          <ref role="3uigEE" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                                                        </node>
+                                                      </node>
+                                                      <node concept="3clFbS" id="1DIG_2lKXcA" role="1bW5cS">
+                                                        <node concept="3clFbH" id="1DIG_2lKXcB" role="3cqZAp" />
+                                                        <node concept="3clFbF" id="1DIG_2lKXcC" role="3cqZAp">
+                                                          <node concept="2OqwBi" id="1DIG_2lKXcD" role="3clFbG">
+                                                            <node concept="2OqwBi" id="1DIG_2lKXcE" role="2Oq$k0">
+                                                              <node concept="3xONca" id="1DIG_2lKXcF" role="2Oq$k0">
+                                                                <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                                                              </node>
+                                                              <node concept="3TrEf2" id="1DIG_2lLdOZ" role="2OqNvi">
+                                                                <ref role="3Tt5mk" to="8tt8:7_8aRkgDGPL" resolve="fun" />
+                                                              </node>
+                                                            </node>
+                                                            <node concept="1P9Npp" id="1DIG_2lKXcH" role="2OqNvi">
+                                                              <node concept="2pJPEk" id="1DIG_2lKXcI" role="1P9ThW">
+                                                                <node concept="2pJPED" id="1DIG_2lKXcJ" role="2pJPEn">
+                                                                  <ref role="2pJxaS" to="8tt8:7_zMfd$ooor" resolve="VarRef" />
+                                                                  <node concept="2pIpSj" id="1DIG_2lKXcK" role="2pJxcM">
+                                                                    <ref role="2pIpSl" to="8tt8:7_zMfd$ooos" resolve="def" />
+                                                                    <node concept="36biLy" id="1DIG_2lKXcL" role="28nt2d">
+                                                                      <node concept="3xONca" id="1DIG_2lKXcM" role="36biLW">
+                                                                        <ref role="3xOPvv" node="5SC$dmoGryb" resolve="id2_def" />
+                                                                      </node>
+                                                                    </node>
+                                                                  </node>
+                                                                </node>
+                                                              </node>
+                                                            </node>
+                                                          </node>
+                                                        </node>
+                                                        <node concept="3clFbH" id="1DIG_2lKXcN" role="3cqZAp" />
+                                                      </node>
+                                                    </node>
+                                                  </node>
+                                                </node>
+                                                <node concept="liA8E" id="1DIG_2lKXcO" role="2OqNvi">
+                                                  <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
+                                                </node>
+                                              </node>
+                                              <node concept="liA8E" id="1DIG_2lKXcP" role="2OqNvi">
+                                                <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                                              </node>
+                                            </node>
+                                            <node concept="liA8E" id="1DIG_2lLhyE" role="2OqNvi">
+                                              <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                              <node concept="2OqwBi" id="1DIG_2lLjV0" role="37wK5m">
+                                                <node concept="3xONca" id="1DIG_2lLjDX" role="2Oq$k0">
+                                                  <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                                                </node>
+                                                <node concept="3TrEf2" id="1DIG_2lLk64" role="2OqNvi">
+                                                  <ref role="3Tt5mk" to="8tt8:7_8aRkgDGPL" resolve="fun" />
+                                                </node>
+                                              </node>
+                                              <node concept="2c44tf" id="1DIG_2lLlDU" role="37wK5m">
+                                                <node concept="1jz_ff" id="1DIG_2lLlDV" role="2c44tc">
+                                                  <node concept="3P8Jbz" id="1DIG_2lLmwN" role="1jz_fp" />
+                                                  <node concept="3P8Jbz" id="1DIG_2lLmDE" role="1jz_f_" />
+                                                </node>
+                                              </node>
+                                            </node>
+                                          </node>
+                                          <node concept="liA8E" id="1DIG_2lKXcQ" role="2OqNvi">
+                                            <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                            <node concept="3xONca" id="1DIG_2lKXcR" role="37wK5m">
+                                              <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                                            </node>
+                                            <node concept="2c44tf" id="1DIG_2lLeC9" role="37wK5m">
+                                              <node concept="3P8Jbz" id="1DIG_2lLeCa" role="2c44tc" />
+                                            </node>
+                                          </node>
+                                        </node>
+                                        <node concept="liA8E" id="1DIG_2lKXcW" role="2OqNvi">
+                                          <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                          <node concept="2OqwBi" id="1DIG_2lKXcX" role="37wK5m">
+                                            <node concept="3xONca" id="1DIG_2lKXcY" role="2Oq$k0">
+                                              <ref role="3xOPvv" node="4MWjU0Nkf8p" resolve="z_lvb" />
+                                            </node>
+                                            <node concept="3TrEf2" id="1DIG_2lKXcZ" role="2OqNvi">
+                                              <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQq" resolve="var" />
+                                            </node>
+                                          </node>
+                                          <node concept="2c44tf" id="1DIG_2lLqQU" role="37wK5m">
+                                            <node concept="3P8Jbz" id="1DIG_2lLsyR" role="2c44tc" />
+                                          </node>
+                                        </node>
+                                      </node>
+                                      <node concept="liA8E" id="1DIG_2lKXd6" role="2OqNvi">
+                                        <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
+                                      </node>
+                                    </node>
+                                    <node concept="liA8E" id="1DIG_2lKXd7" role="2OqNvi">
+                                      <ref role="37wK5l" to="hfva:3j46jeGYR4z" resolve="subtest" />
+                                      <node concept="Xl_RD" id="1DIG_2lKXd8" role="37wK5m">
+                                        <property role="Xl_RC" value="replace arg" />
+                                      </node>
+                                      <node concept="1bVj0M" id="1DIG_2lKXd9" role="37wK5m">
+                                        <node concept="37vLTG" id="1DIG_2lKXda" role="1bW2Oz">
+                                          <property role="TrG5h" value="tester" />
+                                          <node concept="3uibUv" id="1DIG_2lKXdb" role="1tU5fm">
+                                            <ref role="3uigEE" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                                          </node>
+                                        </node>
+                                        <node concept="3clFbS" id="1DIG_2lKXdc" role="1bW5cS">
+                                          <node concept="3clFbH" id="1DIG_2lKXdd" role="3cqZAp" />
+                                          <node concept="3clFbF" id="1DIG_2lKXde" role="3cqZAp">
+                                            <node concept="2OqwBi" id="1DIG_2lKXdf" role="3clFbG">
+                                              <node concept="2OqwBi" id="1DIG_2lKXdg" role="2Oq$k0">
+                                                <node concept="3xONca" id="1DIG_2lKXdh" role="2Oq$k0">
+                                                  <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                                                </node>
+                                                <node concept="3TrEf2" id="1DIG_2lKXdi" role="2OqNvi">
+                                                  <ref role="3Tt5mk" to="8tt8:7_8aRkgDGPX" resolve="arg" />
+                                                </node>
+                                              </node>
+                                              <node concept="1P9Npp" id="1DIG_2lKXdj" role="2OqNvi">
+                                                <node concept="2pJPEk" id="1DIG_2lKXdk" role="1P9ThW">
+                                                  <node concept="2pJPED" id="1DIG_2lKXdl" role="2pJPEn">
+                                                    <ref role="2pJxaS" to="8tt8:7_zMfd$ooor" resolve="VarRef" />
+                                                    <node concept="2pIpSj" id="1DIG_2lKXdm" role="2pJxcM">
+                                                      <ref role="2pIpSl" to="8tt8:7_zMfd$ooos" resolve="def" />
+                                                      <node concept="36biLy" id="1DIG_2lKXdn" role="28nt2d">
+                                                        <node concept="3xONca" id="1DIG_2lLqv6" role="36biLW">
+                                                          <ref role="3xOPvv" node="1DIG_2lLqt7" resolve="y_def" />
+                                                        </node>
+                                                      </node>
+                                                    </node>
+                                                  </node>
+                                                </node>
+                                              </node>
+                                            </node>
+                                          </node>
+                                          <node concept="3clFbH" id="1DIG_2lKXdp" role="3cqZAp" />
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="liA8E" id="1DIG_2lKXdq" role="2OqNvi">
+                                    <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
+                                  </node>
+                                </node>
+                                <node concept="liA8E" id="1DIG_2lKXdr" role="2OqNvi">
+                                  <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                                </node>
+                              </node>
+                              <node concept="liA8E" id="1DIG_2lKXds" role="2OqNvi">
+                                <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                <node concept="3xONca" id="1DIG_2lKXdt" role="37wK5m">
+                                  <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                                </node>
+                                <node concept="2c44tf" id="1DIG_2lKXe4" role="37wK5m">
+                                  <node concept="3P8Jbz" id="1DIG_2lKXe5" role="2c44tc" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="liA8E" id="1DIG_2lKXdy" role="2OqNvi">
+                              <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                              <node concept="2OqwBi" id="1DIG_2lKXdz" role="37wK5m">
+                                <node concept="3xONca" id="1DIG_2lKXd$" role="2Oq$k0">
+                                  <ref role="3xOPvv" node="4MWjU0Nkf8p" resolve="z_lvb" />
+                                </node>
+                                <node concept="3TrEf2" id="1DIG_2lKXd_" role="2OqNvi">
+                                  <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQq" resolve="var" />
+                                </node>
+                              </node>
+                              <node concept="2c44tf" id="1DIG_2lLLhm" role="37wK5m">
+                                <node concept="3P8Jbz" id="1DIG_2lLLhn" role="2c44tc" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="liA8E" id="1DIG_2lKXdG" role="2OqNvi">
+                            <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
+                          </node>
+                        </node>
+                        <node concept="liA8E" id="1DIG_2lKXdH" role="2OqNvi">
+                          <ref role="37wK5l" to="hfva:3j46jeGYR4z" resolve="subtest" />
+                          <node concept="Xl_RD" id="1DIG_2lKXdI" role="37wK5m">
+                            <property role="Xl_RC" value="replace back correct" />
+                          </node>
+                          <node concept="1bVj0M" id="1DIG_2lKXdJ" role="37wK5m">
+                            <node concept="37vLTG" id="1DIG_2lKXdK" role="1bW2Oz">
+                              <property role="TrG5h" value="tester" />
+                              <node concept="3uibUv" id="1DIG_2lKXdL" role="1tU5fm">
+                                <ref role="3uigEE" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                              </node>
+                            </node>
+                            <node concept="3clFbS" id="1DIG_2lKXdM" role="1bW5cS">
+                              <node concept="3clFbH" id="1DIG_2lKXdN" role="3cqZAp" />
+                              <node concept="3clFbF" id="1DIG_2lLE97" role="3cqZAp">
+                                <node concept="2OqwBi" id="1DIG_2lLE98" role="3clFbG">
+                                  <node concept="2OqwBi" id="1DIG_2lLE99" role="2Oq$k0">
+                                    <node concept="3xONca" id="1DIG_2lLE9a" role="2Oq$k0">
+                                      <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                                    </node>
+                                    <node concept="3TrEf2" id="1DIG_2lLE9b" role="2OqNvi">
+                                      <ref role="3Tt5mk" to="8tt8:7_8aRkgDGPL" resolve="fun" />
+                                    </node>
+                                  </node>
+                                  <node concept="1P9Npp" id="1DIG_2lLE9c" role="2OqNvi">
+                                    <node concept="2pJPEk" id="1DIG_2lLE9d" role="1P9ThW">
+                                      <node concept="2pJPED" id="1DIG_2lLE9e" role="2pJPEn">
+                                        <ref role="2pJxaS" to="8tt8:7_zMfd$ooor" resolve="VarRef" />
+                                        <node concept="2pIpSj" id="1DIG_2lLE9f" role="2pJxcM">
+                                          <ref role="2pIpSl" to="8tt8:7_zMfd$ooos" resolve="def" />
+                                          <node concept="36biLy" id="1DIG_2lLE9g" role="28nt2d">
+                                            <node concept="3xONca" id="1DIG_2lLF0v" role="36biLW">
+                                              <ref role="3xOPvv" node="4MWjU0NjEQG" resolve="id1_def" />
+                                            </node>
+                                          </node>
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3clFbH" id="1DIG_2lKXdZ" role="3cqZAp" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="1DIG_2lKXe0" role="2OqNvi">
+                        <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
+                      </node>
+                    </node>
+                    <node concept="liA8E" id="1DIG_2lKXe1" role="2OqNvi">
+                      <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="1DIG_2lLOCY" role="2OqNvi">
+                    <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                    <node concept="2OqwBi" id="1DIG_2lLT3p" role="37wK5m">
+                      <node concept="3xONca" id="1DIG_2lLS0s" role="2Oq$k0">
+                        <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                      </node>
+                      <node concept="3TrEf2" id="1DIG_2lLU0G" role="2OqNvi">
+                        <ref role="3Tt5mk" to="8tt8:7_8aRkgDGPL" resolve="fun" />
+                      </node>
+                    </node>
+                    <node concept="2c44tf" id="1DIG_2lMc6v" role="37wK5m">
+                      <node concept="1jz_ff" id="1DIG_2lMd1b" role="2c44tc">
+                        <node concept="3EVAj" id="1DIG_2lMd1A" role="1jz_fp">
+                          <node concept="3P8Jbz" id="1DIG_2lMd1B" role="3EVAk" />
+                          <node concept="3P8Jbz" id="1DIG_2lMd1C" role="3EVAi" />
+                        </node>
+                        <node concept="3EVAj" id="1DIG_2lMdO7" role="1jz_f_">
+                          <node concept="3P8Jbz" id="1DIG_2lMdO8" role="3EVAk" />
+                          <node concept="3P8Jbz" id="1DIG_2lMdO9" role="3EVAi" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="liA8E" id="1DIG_2lKXe2" role="2OqNvi">
+                  <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                  <node concept="3xONca" id="1DIG_2lKXe3" role="37wK5m">
+                    <ref role="3xOPvv" node="5SC$dmoGry9" resolve="zapp" />
+                  </node>
+                  <node concept="2c44tf" id="1DIG_2lLtoE" role="37wK5m">
+                    <node concept="3EVAj" id="1DIG_2lLyN1" role="2c44tc">
+                      <node concept="3P8Jbz" id="1DIG_2lLzDG" role="3EVAk" />
+                      <node concept="3P8Jbz" id="1DIG_2lL$rC" role="3EVAi" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="liA8E" id="1DIG_2lKXe6" role="2OqNvi">
+                <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                <node concept="2OqwBi" id="1DIG_2lKXe7" role="37wK5m">
+                  <node concept="3xONca" id="1DIG_2lKXe8" role="2Oq$k0">
+                    <ref role="3xOPvv" node="4MWjU0Nkf8p" resolve="z_lvb" />
+                  </node>
+                  <node concept="3TrEf2" id="1DIG_2lKXe9" role="2OqNvi">
+                    <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQq" resolve="var" />
+                  </node>
+                </node>
+                <node concept="2c44tf" id="1DIG_2lLMdg" role="37wK5m">
+                  <node concept="3EVAj" id="1DIG_2lLMdh" role="2c44tc">
+                    <node concept="3P8Jbz" id="1DIG_2lLMdi" role="3EVAk" />
+                    <node concept="3P8Jbz" id="1DIG_2lLMdj" role="3EVAi" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="liA8E" id="1DIG_2lKXec" role="2OqNvi">
+              <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1qefOq" id="5SC$dmoGqYL" role="1SKRRt">
+      <node concept="1DVIrt" id="1GGmKhcBn5m" role="1qenE9">
+        <property role="TrG5h" value="DemoSmall" />
+        <node concept="1DVJbV" id="1GGmKhcBn5n" role="1DVIru">
+          <node concept="1DVIrG" id="1GGmKhcBn5o" role="j9CMd">
+            <node concept="1DVIoH" id="1GGmKhcBn5p" role="1DVIrJ">
+              <property role="TrG5h" value="x" />
+              <node concept="3xLA65" id="5SC$dmoGZXf" role="lGtFl">
+                <property role="TrG5h" value="x_def" />
+              </node>
+            </node>
+            <node concept="3P8L2H" id="1GGmKhcBn5q" role="1DVIrD" />
+          </node>
+        </node>
+        <node concept="1DVJbV" id="1DIG_2lLoWX" role="1DVIru">
+          <node concept="1DVIrG" id="1DIG_2lLoWZ" role="j9CMd">
+            <node concept="1DVIoH" id="1DIG_2lLoX1" role="1DVIrJ">
+              <property role="TrG5h" value="y" />
+              <node concept="3xLA65" id="1DIG_2lLqt7" role="lGtFl">
+                <property role="TrG5h" value="y_def" />
+              </node>
+            </node>
+            <node concept="3EUms" id="1DIG_2lLqt1" role="1DVIrD">
+              <node concept="3P8L2H" id="1DIG_2lLqt3" role="3EUmv" />
+              <node concept="3P8MHP" id="1DIG_2lLqt5" role="3EUmh" />
+            </node>
+          </node>
+        </node>
+        <node concept="1DVJbV" id="5SC$dmoGqzb" role="1DVIru">
+          <node concept="1DVIrG" id="5SC$dmoGqzd" role="j9CMd">
+            <node concept="1DVIoH" id="5SC$dmoGqzf" role="1DVIrJ">
+              <property role="TrG5h" value="id1" />
+              <node concept="3xLA65" id="4MWjU0NjEQG" role="lGtFl">
+                <property role="TrG5h" value="id1_def" />
+              </node>
+            </node>
+            <node concept="1DVIrU" id="5SC$dmoGqHl" role="1DVIrD">
+              <node concept="1DVIrB" id="5SC$dmoGqHm" role="1DVIr_">
+                <node concept="1DVIoH" id="5SC$dmoGqHn" role="1DVIrA">
+                  <property role="TrG5h" value="a" />
+                </node>
+              </node>
+              <node concept="t0$VC" id="5SC$dmoGqHs" role="1DVIrw">
+                <ref role="t0$VJ" node="5SC$dmoGqHn" resolve="a" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1DVJbV" id="5SC$dmoGqSI" role="1DVIru">
+          <node concept="1DVIrG" id="5SC$dmoGqSK" role="j9CMd">
+            <node concept="1DVIoH" id="5SC$dmoGqSM" role="1DVIrJ">
+              <property role="TrG5h" value="id2" />
+              <node concept="3xLA65" id="5SC$dmoGryb" role="lGtFl">
+                <property role="TrG5h" value="id2_def" />
+              </node>
+            </node>
+            <node concept="1DVIrU" id="5SC$dmoGqWf" role="1DVIrD">
+              <node concept="1DVIrB" id="5SC$dmoGqWg" role="1DVIr_">
+                <node concept="1DVIoH" id="5SC$dmoGqWh" role="1DVIrA">
+                  <property role="TrG5h" value="a" />
+                </node>
+              </node>
+              <node concept="t0$VC" id="5SC$dmoGqWm" role="1DVIrw">
+                <ref role="t0$VJ" node="1GGmKhcBn5p" resolve="x" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1DVJbV" id="5SC$dmoGqKG" role="1DVIru">
+          <node concept="1DVIrG" id="5SC$dmoGqKI" role="j9CMd">
+            <node concept="1DVIoH" id="5SC$dmoGqKK" role="1DVIrJ">
+              <property role="TrG5h" value="z" />
+            </node>
+            <node concept="1DVIo5" id="5SC$dmoGrxW" role="1DVIrD">
+              <node concept="t0$VC" id="5SC$dmoGrxQ" role="1DVIo4">
+                <ref role="t0$VJ" node="5SC$dmoGqzf" resolve="id1" />
+              </node>
+              <node concept="t0$VC" id="5SC$dmoGrxV" role="1DVIo8">
+                <ref role="t0$VJ" node="1GGmKhcBn5p" resolve="x" />
+              </node>
+              <node concept="3xLA65" id="5SC$dmoGry9" role="lGtFl">
+                <property role="TrG5h" value="zapp" />
+              </node>
+            </node>
+            <node concept="3xLA65" id="4MWjU0Nkf8p" role="lGtFl">
+              <property role="TrG5h" value="z_lvb" />
+            </node>
+          </node>
+        </node>
+        <node concept="3xLA65" id="5SC$dmoGrxF" role="lGtFl">
+          <property role="TrG5h" value="Demo1" />
+        </node>
+      </node>
+    </node>
+    <node concept="1qefOq" id="5SC$dmoqYPv" role="1SKRRt">
+      <node concept="1DVIrt" id="G788z3ofcS" role="1qenE9">
+        <property role="TrG5h" value="Fix" />
+        <node concept="1DVJbV" id="1YCbHn1AbJG" role="1DVIru">
+          <node concept="1DVIrG" id="1YCbHn1AbJI" role="j9CMd">
+            <node concept="1DVIoH" id="1YCbHn1AbJK" role="1DVIrJ">
+              <property role="TrG5h" value="g" />
+              <node concept="3xLA65" id="5SC$dmoEOtQ" role="lGtFl">
+                <property role="TrG5h" value="gDef" />
+              </node>
+            </node>
+            <node concept="1DVIrU" id="1YCbHn1AbKi" role="1DVIrD">
+              <node concept="1DVIrB" id="1YCbHn1AbKj" role="1DVIr_">
+                <node concept="1DVIoH" id="1YCbHn1AbKk" role="1DVIrA">
+                  <property role="TrG5h" value="rec" />
+                </node>
+              </node>
+              <node concept="1DVIrU" id="1YCbHn1AbKl" role="1DVIrw">
+                <node concept="1DVIrB" id="1YCbHn1AbKm" role="1DVIr_">
+                  <node concept="1DVIoH" id="1YCbHn1AbKn" role="1DVIrA">
+                    <property role="TrG5h" value="n" />
+                  </node>
+                </node>
+                <node concept="1DVIo5" id="1YCbHn1AbKo" role="1DVIrw">
+                  <node concept="t0$VC" id="1YCbHn1AbKp" role="1DVIo4">
+                    <ref role="t0$VJ" node="1YCbHn1AbKk" resolve="rec" />
+                  </node>
+                  <node concept="t0$VC" id="1YCbHn1AbKq" role="1DVIo8">
+                    <ref role="t0$VJ" node="1YCbHn1AbKn" resolve="n" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1DVJbV" id="1YCbHn1AJbt" role="1DVIru">
+          <node concept="1DVIrG" id="1YCbHn1AJbv" role="j9CMd">
+            <node concept="1DVIoH" id="1YCbHn1AJbx" role="1DVIrJ">
+              <property role="TrG5h" value="f" />
+            </node>
+            <node concept="1DVIo5" id="1YCbHn1AJc8" role="1DVIrD">
+              <node concept="2facFd" id="1YCbHn1AJc2" role="1DVIo4" />
+              <node concept="1DVIo5" id="5SC$dmoGdKj" role="1DVIo8">
+                <node concept="t0$VC" id="5SC$dmoqY4G" role="1DVIo4">
+                  <ref role="t0$VJ" node="1YCbHn1AbJK" resolve="g" />
+                </node>
+                <node concept="t0$VC" id="5SC$dmoGdKi" role="1DVIo8">
+                  <ref role="t0$VJ" node="1YCbHn1AbJK" resolve="g" />
+                </node>
+              </node>
+              <node concept="3xLA65" id="5SC$dmotUr$" role="lGtFl">
+                <property role="TrG5h" value="fix_app1" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1DVJbV" id="1YCbHn1AVG3" role="1DVIru">
+          <node concept="1DVIrG" id="1YCbHn1AVG5" role="j9CMd">
+            <node concept="1DVIoH" id="1YCbHn1AVG7" role="1DVIrJ">
+              <property role="TrG5h" value="f2" />
+            </node>
+            <node concept="1DVIo5" id="1YCbHn1AVGO" role="1DVIrD">
+              <node concept="2facFd" id="1YCbHn1AVGI" role="1DVIo4" />
+              <node concept="1DVIrU" id="1YCbHn1AVH1" role="1DVIo8">
+                <node concept="1DVIrB" id="1YCbHn1AVH2" role="1DVIr_">
+                  <node concept="1DVIoH" id="1YCbHn1AVH3" role="1DVIrA">
+                    <property role="TrG5h" value="rec" />
+                  </node>
+                </node>
+                <node concept="1DVIrU" id="1YCbHn1AVH4" role="1DVIrw">
+                  <node concept="1DVIrB" id="1YCbHn1AVH5" role="1DVIr_">
+                    <node concept="1DVIoH" id="1YCbHn1AVH6" role="1DVIrA">
+                      <property role="TrG5h" value="n" />
+                    </node>
+                  </node>
+                  <node concept="1DVIo5" id="1YCbHn1AVH7" role="1DVIrw">
+                    <node concept="t0$VC" id="1YCbHn1AVH8" role="1DVIo4">
+                      <ref role="t0$VJ" node="1YCbHn1AVH3" resolve="rec" />
+                    </node>
+                    <node concept="t0$VC" id="1YCbHn1AVH9" role="1DVIo8">
+                      <ref role="t0$VJ" node="1YCbHn1AVH6" resolve="n" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3xLA65" id="5SC$dmor04k" role="lGtFl">
+          <property role="TrG5h" value="Fix" />
+        </node>
+      </node>
+    </node>
+    <node concept="1LZb2c" id="5SC$dmoqXg7" role="1SL9yI">
+      <property role="TrG5h" value="fixedPoint_changeArg" />
+      <node concept="3cqZAl" id="5SC$dmoqXg8" role="3clF45" />
+      <node concept="3clFbS" id="5SC$dmoqXgc" role="3clF47">
+        <node concept="3cpWs8" id="5SC$dmoEMWR" role="3cqZAp">
+          <node concept="3cpWsn" id="5SC$dmoEMWU" role="3cpWs9">
+            <property role="TrG5h" value="gRef" />
+            <node concept="3Tqbb2" id="5SC$dmoEMWP" role="1tU5fm">
+              <ref role="ehGHo" to="8tt8:7_zMfd$ooor" resolve="VarRef" />
+            </node>
+            <node concept="2pJPEk" id="5SC$dmoEOtV" role="33vP2m">
+              <node concept="2pJPED" id="5SC$dmoEOYG" role="2pJPEn">
+                <ref role="2pJxaS" to="8tt8:7_zMfd$ooor" resolve="VarRef" />
+                <node concept="2pIpSj" id="5SC$dmoEPs3" role="2pJxcM">
+                  <ref role="2pIpSl" to="8tt8:7_zMfd$ooos" resolve="def" />
+                  <node concept="36biLy" id="5SC$dmoEQ4M" role="28nt2d">
+                    <node concept="3xONca" id="5SC$dmoEQk_" role="36biLW">
+                      <ref role="3xOPvv" node="5SC$dmoEOtQ" resolve="gDef" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="5SC$dmoFFZ9" role="3cqZAp" />
+        <node concept="3clFbF" id="5SC$dmoqYZ1" role="3cqZAp">
+          <node concept="2OqwBi" id="5SC$dmoFQyX" role="3clFbG">
+            <node concept="2OqwBi" id="5SC$dmoFNpl" role="2Oq$k0">
+              <node concept="2OqwBi" id="5SC$dmoFL5v" role="2Oq$k0">
+                <node concept="2OqwBi" id="5SC$dmoFITh" role="2Oq$k0">
+                  <node concept="2OqwBi" id="5SC$dmoFC9y" role="2Oq$k0">
+                    <node concept="2OqwBi" id="5SC$dmoFbRs" role="2Oq$k0">
+                      <node concept="2OqwBi" id="5SC$dmoF8ln" role="2Oq$k0">
+                        <node concept="2OqwBi" id="5SC$dmoF6MW" role="2Oq$k0">
+                          <node concept="2OqwBi" id="5SC$dmoF0zo" role="2Oq$k0">
+                            <node concept="2OqwBi" id="5SC$dmoEZnR" role="2Oq$k0">
+                              <node concept="2OqwBi" id="5SC$dmoEKPi" role="2Oq$k0">
+                                <node concept="2OqwBi" id="5SC$dmoEJOV" role="2Oq$k0">
+                                  <node concept="2OqwBi" id="5SC$dmoED1B" role="2Oq$k0">
+                                    <node concept="2OqwBi" id="5SC$dmorav5" role="2Oq$k0">
+                                      <node concept="2OqwBi" id="5SC$dmorcvH" role="2Oq$k0">
+                                        <node concept="2OqwBi" id="5SC$dmosAdQ" role="2Oq$k0">
+                                          <node concept="2YIFZM" id="5SC$dmor024" role="2Oq$k0">
+                                            <ref role="37wK5l" to="hfva:WJTIIokwcy" resolve="forCheck" />
+                                            <ref role="1Pybhc" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                                            <node concept="3xONca" id="5SC$dmotsbI" role="37wK5m">
+                                              <ref role="3xOPvv" node="5SC$dmor04k" resolve="Fix" />
+                                            </node>
+                                          </node>
+                                          <node concept="liA8E" id="5SC$dmosAtr" role="2OqNvi">
+                                            <ref role="37wK5l" to="hfva:5SC$dmosfAW" resolve="customMatcher" />
+                                            <node concept="1bVj0M" id="5SC$dmoBQZX" role="37wK5m">
+                                              <node concept="3clFbS" id="5SC$dmoBQZY" role="1bW5cS">
+                                                <node concept="3clFbF" id="5SC$dmoBRiQ" role="3cqZAp">
+                                                  <node concept="2OqwBi" id="1GGmKhcBrSr" role="3clFbG">
+                                                    <node concept="2WthIp" id="1GGmKhcBrSs" role="2Oq$k0" />
+                                                    <node concept="2XshWL" id="1GGmKhcBrSt" role="2OqNvi">
+                                                      <ref role="2WH_rO" node="5SC$dmoqInZ" resolve="customMatcher" />
+                                                    </node>
+                                                  </node>
+                                                </node>
+                                              </node>
+                                            </node>
+                                          </node>
+                                        </node>
+                                        <node concept="liA8E" id="5SC$dmordh1" role="2OqNvi">
+                                          <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                                        </node>
+                                      </node>
+                                      <node concept="liA8E" id="5SC$dmoraXP" role="2OqNvi">
+                                        <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                        <node concept="3xONca" id="5SC$dmo_5LV" role="37wK5m">
+                                          <ref role="3xOPvv" node="5SC$dmotUr$" resolve="fix_app1" />
+                                        </node>
+                                        <node concept="2c44tf" id="5SC$dmoCbMR" role="37wK5m">
+                                          <node concept="1jz_ff" id="5SC$dmoCbN8" role="2c44tc">
+                                            <node concept="2BbKIm" id="5SC$dmoCbNp" role="1jz_fp">
+                                              <property role="TrG5h" value="t1" />
+                                            </node>
+                                            <node concept="2BbKIm" id="5SC$dmoCbNB" role="1jz_f_">
+                                              <property role="TrG5h" value="t2" />
+                                            </node>
+                                          </node>
+                                        </node>
+                                      </node>
+                                    </node>
+                                    <node concept="liA8E" id="5SC$dmoEEqE" role="2OqNvi">
+                                      <ref role="37wK5l" to="hfva:3j46jeGYR4z" resolve="subtest" />
+                                      <node concept="Xl_RD" id="5SC$dmoEEBt" role="37wK5m">
+                                        <property role="Xl_RC" value="replace correct" />
+                                      </node>
+                                      <node concept="1bVj0M" id="5SC$dmoEFlH" role="37wK5m">
+                                        <node concept="37vLTG" id="5SC$dmoEF$x" role="1bW2Oz">
+                                          <property role="TrG5h" value="tester" />
+                                          <node concept="3uibUv" id="5SC$dmoEFEN" role="1tU5fm">
+                                            <ref role="3uigEE" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                                          </node>
+                                        </node>
+                                        <node concept="3clFbS" id="5SC$dmoEFlJ" role="1bW5cS">
+                                          <node concept="3clFbH" id="5SC$dmoEG3v" role="3cqZAp" />
+                                          <node concept="3clFbF" id="5SC$dmoELJ3" role="3cqZAp">
+                                            <node concept="2OqwBi" id="5SC$dmoEMuW" role="3clFbG">
+                                              <node concept="2OqwBi" id="5SC$dmoEM30" role="2Oq$k0">
+                                                <node concept="3xONca" id="5SC$dmoELJ1" role="2Oq$k0">
+                                                  <ref role="3xOPvv" node="5SC$dmotUr$" resolve="fix_app1" />
+                                                </node>
+                                                <node concept="3TrEf2" id="5SC$dmoEMl_" role="2OqNvi">
+                                                  <ref role="3Tt5mk" to="8tt8:7_8aRkgDGPX" resolve="arg" />
+                                                </node>
+                                              </node>
+                                              <node concept="1P9Npp" id="5SC$dmoESQf" role="2OqNvi">
+                                                <node concept="2pJPEk" id="5SC$dmoEVd0" role="1P9ThW">
+                                                  <node concept="2pJPED" id="5SC$dmoEVsi" role="2pJPEn">
+                                                    <ref role="2pJxaS" to="8tt8:7_8aRkgDGPK" resolve="App" />
+                                                    <node concept="2pIpSj" id="5SC$dmoEVTL" role="2pJxcM">
+                                                      <ref role="2pIpSl" to="8tt8:7_8aRkgDGPX" resolve="arg" />
+                                                      <node concept="36biLy" id="5SC$dmoEW9u" role="28nt2d">
+                                                        <node concept="2OqwBi" id="5SC$dmoEWAE" role="36biLW">
+                                                          <node concept="37vLTw" id="5SC$dmoEWp2" role="2Oq$k0">
+                                                            <ref role="3cqZAo" node="5SC$dmoEMWU" resolve="gRef" />
+                                                          </node>
+                                                          <node concept="1$rogu" id="5SC$dmoEWQa" role="2OqNvi" />
+                                                        </node>
+                                                      </node>
+                                                    </node>
+                                                    <node concept="2pIpSj" id="5SC$dmoEXmL" role="2pJxcM">
+                                                      <ref role="2pIpSl" to="8tt8:7_8aRkgDGPL" resolve="fun" />
+                                                      <node concept="36biLy" id="5SC$dmoEXAz" role="28nt2d">
+                                                        <node concept="2OqwBi" id="5SC$dmoEY3J" role="36biLW">
+                                                          <node concept="37vLTw" id="5SC$dmoEXQ7" role="2Oq$k0">
+                                                            <ref role="3cqZAo" node="5SC$dmoEMWU" resolve="gRef" />
+                                                          </node>
+                                                          <node concept="1$rogu" id="5SC$dmoEYjf" role="2OqNvi" />
+                                                        </node>
+                                                      </node>
+                                                    </node>
+                                                  </node>
+                                                </node>
+                                              </node>
+                                            </node>
+                                          </node>
+                                          <node concept="3clFbH" id="5SC$dmoEJBN" role="3cqZAp" />
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="liA8E" id="5SC$dmoEKxn" role="2OqNvi">
+                                    <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
+                                  </node>
+                                </node>
+                                <node concept="liA8E" id="5SC$dmoEZ1S" role="2OqNvi">
+                                  <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                                </node>
+                              </node>
+                              <node concept="liA8E" id="5SC$dmoF0eU" role="2OqNvi">
+                                <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
+                              </node>
+                            </node>
+                            <node concept="liA8E" id="5SC$dmoF1mC" role="2OqNvi">
+                              <ref role="37wK5l" to="hfva:3j46jeGYR4z" resolve="subtest" />
+                              <node concept="Xl_RD" id="5SC$dmoF1Ja" role="37wK5m">
+                                <property role="Xl_RC" value="replace incorrect" />
+                              </node>
+                              <node concept="1bVj0M" id="5SC$dmoF2Kr" role="37wK5m">
+                                <node concept="37vLTG" id="5SC$dmoF2Ks" role="1bW2Oz">
+                                  <property role="TrG5h" value="tester" />
+                                  <node concept="3uibUv" id="5SC$dmoF2Kt" role="1tU5fm">
+                                    <ref role="3uigEE" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                                  </node>
+                                </node>
+                                <node concept="3clFbS" id="5SC$dmoF2Ku" role="1bW5cS">
+                                  <node concept="3clFbH" id="5SC$dmoF2Kv" role="3cqZAp" />
+                                  <node concept="3clFbF" id="5SC$dmoF2KV" role="3cqZAp">
+                                    <node concept="2OqwBi" id="5SC$dmoF2KW" role="3clFbG">
+                                      <node concept="2OqwBi" id="5SC$dmoF2KX" role="2Oq$k0">
+                                        <node concept="3xONca" id="5SC$dmoF2KY" role="2Oq$k0">
+                                          <ref role="3xOPvv" node="5SC$dmotUr$" resolve="fix_app1" />
+                                        </node>
+                                        <node concept="3TrEf2" id="5SC$dmoF2KZ" role="2OqNvi">
+                                          <ref role="3Tt5mk" to="8tt8:7_8aRkgDGPX" resolve="arg" />
+                                        </node>
+                                      </node>
+                                      <node concept="1P9Npp" id="5SC$dmoF2L0" role="2OqNvi">
+                                        <node concept="2c44tf" id="5SC$dmoF2L1" role="1P9ThW">
+                                          <node concept="3P8L2H" id="5SC$dmoF2L2" role="2c44tc" />
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="3clFbH" id="5SC$dmoFnyn" role="3cqZAp" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="liA8E" id="5SC$dmoF7VA" role="2OqNvi">
+                            <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
+                          </node>
+                        </node>
+                        <node concept="liA8E" id="5SC$dmoF9yq" role="2OqNvi">
+                          <ref role="37wK5l" to="hfva:WJTIIomjLv" resolve="ensureFailed" />
+                          <node concept="3xONca" id="5SC$dmoF9Y3" role="37wK5m">
+                            <ref role="3xOPvv" node="5SC$dmotUr$" resolve="fix_app1" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="5SC$dmoFdaM" role="2OqNvi">
+                        <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
+                      </node>
+                    </node>
+                    <node concept="liA8E" id="5SC$dmoFDMl" role="2OqNvi">
+                      <ref role="37wK5l" to="hfva:3j46jeGYR4z" resolve="subtest" />
+                      <node concept="Xl_RD" id="5SC$dmoFDMm" role="37wK5m">
+                        <property role="Xl_RC" value="replace back incorrect" />
+                      </node>
+                      <node concept="1bVj0M" id="5SC$dmoFDMn" role="37wK5m">
+                        <node concept="37vLTG" id="5SC$dmoFDMo" role="1bW2Oz">
+                          <property role="TrG5h" value="tester" />
+                          <node concept="3uibUv" id="5SC$dmoFDMp" role="1tU5fm">
+                            <ref role="3uigEE" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                          </node>
+                        </node>
+                        <node concept="3clFbS" id="5SC$dmoFDMq" role="1bW5cS">
+                          <node concept="3clFbH" id="5SC$dmoFDMr" role="3cqZAp" />
+                          <node concept="3clFbF" id="5SC$dmoFDMs" role="3cqZAp">
+                            <node concept="2OqwBi" id="5SC$dmoFDMt" role="3clFbG">
+                              <node concept="2OqwBi" id="5SC$dmoFDMu" role="2Oq$k0">
+                                <node concept="3xONca" id="5SC$dmoFDMv" role="2Oq$k0">
+                                  <ref role="3xOPvv" node="5SC$dmotUr$" resolve="fix_app1" />
+                                </node>
+                                <node concept="3TrEf2" id="5SC$dmoFDMw" role="2OqNvi">
+                                  <ref role="3Tt5mk" to="8tt8:7_8aRkgDGPX" resolve="arg" />
+                                </node>
+                              </node>
+                              <node concept="1P9Npp" id="5SC$dmoFDMx" role="2OqNvi">
+                                <node concept="2OqwBi" id="5SC$dmoFHI4" role="1P9ThW">
+                                  <node concept="37vLTw" id="5SC$dmoFHqZ" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="5SC$dmoEMWU" resolve="gRef" />
+                                  </node>
+                                  <node concept="1$rogu" id="5SC$dmoFIoC" role="2OqNvi" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbH" id="5SC$dmoFDM$" role="3cqZAp" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="5SC$dmoFKxR" role="2OqNvi">
+                    <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="5SC$dmoFMKd" role="2OqNvi">
+                  <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                </node>
+              </node>
+              <node concept="liA8E" id="5SC$dmoFPTG" role="2OqNvi">
+                <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                <node concept="3xONca" id="5SC$dmoFPTH" role="37wK5m">
+                  <ref role="3xOPvv" node="5SC$dmotUr$" resolve="fix_app1" />
+                </node>
+                <node concept="2c44tf" id="5SC$dmoFPTI" role="37wK5m">
+                  <node concept="1jz_ff" id="5SC$dmoFPTJ" role="2c44tc">
+                    <node concept="2BbKIm" id="5SC$dmoFPTK" role="1jz_fp">
+                      <property role="TrG5h" value="t1" />
+                    </node>
+                    <node concept="2BbKIm" id="5SC$dmoFPTL" role="1jz_f_">
+                      <property role="TrG5h" value="t2" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="liA8E" id="5SC$dmoFSwU" role="2OqNvi">
+              <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="5SC$dmoFFwR" role="3cqZAp" />
+      </node>
+    </node>
+    <node concept="2XrIbr" id="5SC$dmoBWmT" role="1qtyYc">
+      <property role="TrG5h" value="varT" />
+      <node concept="37vLTG" id="5SC$dmoBWDX" role="3clF46">
+        <property role="TrG5h" value="name" />
+        <node concept="17QB3L" id="5SC$dmoBWGa" role="1tU5fm" />
+      </node>
+      <node concept="3Tqbb2" id="5SC$dmoBWHy" role="3clF45">
+        <ref role="ehGHo" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+      </node>
+      <node concept="3clFbS" id="5SC$dmoBWmV" role="3clF47">
+        <node concept="3clFbF" id="5SC$dmoBWHD" role="3cqZAp">
+          <node concept="2pJPEk" id="5SC$dmoBW2T" role="3clFbG">
+            <node concept="2pJPED" id="5SC$dmoBW36" role="2pJPEn">
+              <ref role="2pJxaS" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+              <node concept="2pJxcG" id="5SC$dmoBW3p" role="2pJxcM">
+                <ref role="2pJxcJ" to="tpck:h0TrG11" resolve="name" />
+                <node concept="WxPPo" id="5SC$dmoBWJV" role="28ntcv">
+                  <node concept="37vLTw" id="5SC$dmoBWJU" role="WxPPp">
+                    <ref role="3cqZAo" node="5SC$dmoBWDX" resolve="name" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="5SC$dmoBWH_" role="1B3o_S" />
+    </node>
+    <node concept="2XrIbr" id="5SC$dmoqInY" role="1qtyYc">
+      <property role="TrG5h" value="resolve" />
+      <node concept="37vLTG" id="5SC$dmoqIom" role="3clF46">
+        <property role="TrG5h" value="ref" />
+        <node concept="2sp9CU" id="5SC$dmoqIoC" role="1tU5fm" />
+      </node>
+      <node concept="3Tqbb2" id="5SC$dmoqIon" role="3clF45">
+        <ref role="ehGHo" to="8tt8:7_8aRkgDGQC" resolve="Doc" />
+      </node>
+      <node concept="3clFbS" id="5SC$dmoqIoo" role="3clF47">
+        <node concept="3cpWs8" id="5SC$dmoqIoD" role="3cqZAp">
+          <node concept="3cpWsn" id="5SC$dmoqIoT" role="3cpWs9">
+            <property role="TrG5h" value="cls" />
+            <node concept="3Tqbb2" id="5SC$dmoqIpl" role="1tU5fm">
+              <ref role="ehGHo" to="8tt8:7_8aRkgDGQC" resolve="Doc" />
+            </node>
+          </node>
+        </node>
+        <node concept="1QHqEK" id="5SC$dmoqIoE" role="3cqZAp">
+          <node concept="1QHqEC" id="5SC$dmoqIoU" role="1QHqEI">
+            <node concept="3clFbS" id="5SC$dmoqIpm" role="1bW5cS">
+              <node concept="3clFbF" id="5SC$dmoqIpU" role="3cqZAp">
+                <node concept="37vLTI" id="5SC$dmoqIqi" role="3clFbG">
+                  <node concept="1PxgMI" id="5SC$dmoqIqR" role="37vLTx">
+                    <node concept="chp4Y" id="5SC$dmoqIry" role="3oSUPX">
+                      <ref role="cht4Q" to="8tt8:7_8aRkgDGQC" resolve="Doc" />
+                    </node>
+                    <node concept="2OqwBi" id="5SC$dmoqIrz" role="1m5AlR">
+                      <node concept="37vLTw" id="5SC$dmoqIs3" role="2Oq$k0">
+                        <ref role="3cqZAo" node="5SC$dmoqIom" resolve="ref" />
+                      </node>
+                      <node concept="Vyspw" id="5SC$dmoqIs4" role="2OqNvi">
+                        <node concept="2OqwBi" id="5SC$dmoqIsw" role="Vysub">
+                          <node concept="1jxXqW" id="5SC$dmoqIsW" role="2Oq$k0" />
+                          <node concept="liA8E" id="5SC$dmoqIsX" role="2OqNvi">
+                            <ref role="37wK5l" to="z1c3:~Project.getRepository()" resolve="getRepository" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="37vLTw" id="5SC$dmoqIqS" role="37vLTJ">
+                    <ref role="3cqZAo" node="5SC$dmoqIoT" resolve="cls" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2OqwBi" id="5SC$dmoqIoV" role="ukAjM">
+            <node concept="1jxXqW" id="5SC$dmoqIpn" role="2Oq$k0" />
+            <node concept="liA8E" id="5SC$dmoqIpo" role="2OqNvi">
+              <ref role="37wK5l" to="z1c3:~Project.getRepository()" resolve="getRepository" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5SC$dmoqIoF" role="3cqZAp">
+          <node concept="37vLTw" id="5SC$dmoqIoW" role="3clFbG">
+            <ref role="3cqZAo" node="5SC$dmoqIoT" resolve="cls" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="5SC$dmoqIop" role="1B3o_S" />
+    </node>
+    <node concept="2XrIbr" id="5SC$dmoqInZ" role="1qtyYc">
+      <property role="TrG5h" value="customMatcher" />
+      <node concept="3uibUv" id="5SC$dmoqIoq" role="3clF45">
+        <ref role="3uigEE" to="tj24:4ZGicUYVz9J" resolve="TypecheckingTestHelper.CustomMatcher" />
+      </node>
+      <node concept="3clFbS" id="5SC$dmoqIor" role="3clF47">
+        <node concept="3SKdUt" id="5SC$dmoqIoG" role="3cqZAp">
+          <node concept="1PaTwC" id="5SC$dmoqIoX" role="1aUNEU">
+            <node concept="3oM_SD" id="5SC$dmoqIpp" role="1PaTwD">
+              <property role="3oM_SC" value="ensure" />
+            </node>
+            <node concept="3oM_SD" id="5SC$dmoqIpq" role="1PaTwD">
+              <property role="3oM_SC" value="type" />
+            </node>
+            <node concept="3oM_SD" id="5SC$dmoqIpr" role="1PaTwD">
+              <property role="3oM_SC" value="vars" />
+            </node>
+            <node concept="3oM_SD" id="5SC$dmoqIps" role="1PaTwD">
+              <property role="3oM_SC" value="can" />
+            </node>
+            <node concept="3oM_SD" id="5SC$dmoqIpt" role="1PaTwD">
+              <property role="3oM_SC" value="be" />
+            </node>
+            <node concept="3oM_SD" id="5SC$dmoqIpu" role="1PaTwD">
+              <property role="3oM_SC" value="renamed" />
+            </node>
+            <node concept="3oM_SD" id="5SC$dmoqIpv" role="1PaTwD">
+              <property role="3oM_SC" value="and" />
+            </node>
+            <node concept="3oM_SD" id="5SC$dmoqIpw" role="1PaTwD">
+              <property role="3oM_SC" value="corresponding" />
+            </node>
+            <node concept="3oM_SD" id="5SC$dmoqIpx" role="1PaTwD">
+              <property role="3oM_SC" value="refs" />
+            </node>
+            <node concept="3oM_SD" id="5SC$dmoqIpy" role="1PaTwD">
+              <property role="3oM_SC" value="match" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5SC$dmoqIoH" role="3cqZAp">
+          <node concept="2ShNRf" id="5SC$dmoqIoY" role="3clFbG">
+            <node concept="YeOm9" id="5SC$dmoqIpz" role="2ShVmc">
+              <node concept="1Y3b0j" id="5SC$dmoqIpV" role="YeSDq">
+                <property role="2bfB8j" value="true" />
+                <ref role="1Y3XeK" to="tj24:4ZGicUYVz9J" resolve="TypecheckingTestHelper.CustomMatcher" />
+                <ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
+                <node concept="312cEg" id="5SC$dmoqIqj" role="jymVt">
+                  <property role="TrG5h" value="typeNames" />
+                  <node concept="3Tm6S6" id="5SC$dmoqIqT" role="1B3o_S" />
+                  <node concept="3rvAFt" id="5SC$dmoqIqU" role="1tU5fm">
+                    <node concept="17QB3L" id="5SC$dmoqIr$" role="3rvQeY" />
+                    <node concept="17QB3L" id="5SC$dmoqIr_" role="3rvSg0" />
+                  </node>
+                  <node concept="2ShNRf" id="5SC$dmoqIqV" role="33vP2m">
+                    <node concept="3rGOSV" id="5SC$dmoqIrA" role="2ShVmc">
+                      <node concept="17QB3L" id="5SC$dmoqIs5" role="3rHrn6" />
+                      <node concept="17QB3L" id="5SC$dmoqIs6" role="3rHtpV" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="2tJIrI" id="5sBg_GpqtAg" role="jymVt" />
+                <node concept="3Tm1VV" id="5SC$dmoqIqk" role="1B3o_S" />
+                <node concept="3clFb_" id="5SC$dmoqIql" role="jymVt">
+                  <property role="TrG5h" value="matching" />
+                  <node concept="37vLTG" id="5SC$dmoqIqW" role="3clF46">
+                    <property role="TrG5h" value="a" />
+                    <node concept="3Tqbb2" id="5SC$dmoqIrB" role="1tU5fm" />
+                  </node>
+                  <node concept="37vLTG" id="5SC$dmoqIqX" role="3clF46">
+                    <property role="TrG5h" value="b" />
+                    <node concept="3Tqbb2" id="5SC$dmoqIrC" role="1tU5fm" />
+                  </node>
+                  <node concept="10P_77" id="5SC$dmoqIqY" role="3clF45" />
+                  <node concept="3Tm1VV" id="5SC$dmoqIqZ" role="1B3o_S" />
+                  <node concept="3clFbS" id="5SC$dmoqIr0" role="3clF47">
+                    <node concept="3clFbJ" id="5SC$dmoqIrE" role="3cqZAp">
+                      <node concept="3clFbS" id="5SC$dmoqIs7" role="3clFbx">
+                        <node concept="3clFbJ" id="5SC$dmoqIsx" role="3cqZAp">
+                          <node concept="3clFbS" id="5SC$dmoqIsY" role="3clFbx">
+                            <node concept="3clFbJ" id="5SC$dmoqIt6" role="3cqZAp">
+                              <node concept="3clFbS" id="5SC$dmoqItd" role="3clFbx">
+                                <node concept="3clFbH" id="5SC$dmoqIth" role="3cqZAp" />
+                                <node concept="YS8fn" id="5SC$dmoqIti" role="3cqZAp">
+                                  <node concept="2ShNRf" id="5SC$dmoqItn" role="YScLw">
+                                    <node concept="1pGfFk" id="5SC$dmoqItt" role="2ShVmc">
+                                      <ref role="37wK5l" to="tj24:4ZGicUYXVqN" resolve="TypecheckingTestHelper.CustomMatchException" />
+                                      <node concept="3cpWs3" id="5SC$dmoqIt$" role="37wK5m">
+                                        <node concept="37vLTw" id="5SC$dmoqItH" role="3uHU7w">
+                                          <ref role="3cqZAo" node="5SC$dmoqIqX" resolve="b" />
+                                        </node>
+                                        <node concept="3cpWs3" id="5SC$dmoqItI" role="3uHU7B">
+                                          <node concept="3cpWs3" id="5SC$dmoqItP" role="3uHU7B">
+                                            <node concept="Xl_RD" id="5SC$dmoqItT" role="3uHU7B">
+                                              <property role="Xl_RC" value="mismatched VarType: " />
+                                            </node>
+                                            <node concept="37vLTw" id="5SC$dmoqItU" role="3uHU7w">
+                                              <ref role="3cqZAo" node="5SC$dmoqIqW" resolve="a" />
+                                            </node>
+                                          </node>
+                                          <node concept="Xl_RD" id="5SC$dmoqItQ" role="3uHU7w">
+                                            <property role="Xl_RC" value=" and " />
+                                          </node>
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3fqX7Q" id="5SC$dmoqIte" role="3clFbw">
+                                <node concept="1eOMI4" id="5SC$dmoqItj" role="3fr31v">
+                                  <node concept="17R0WA" id="5SC$dmoqIto" role="1eOMHV">
+                                    <node concept="2OqwBi" id="5SC$dmoqItu" role="3uHU7B">
+                                      <node concept="1PxgMI" id="5SC$dmoqIt_" role="2Oq$k0">
+                                        <property role="1BlNFB" value="true" />
+                                        <node concept="chp4Y" id="5SC$dmoqItJ" role="3oSUPX">
+                                          <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                                        </node>
+                                        <node concept="37vLTw" id="5SC$dmoqItK" role="1m5AlR">
+                                          <ref role="3cqZAo" node="5SC$dmoqIqX" resolve="b" />
+                                        </node>
+                                      </node>
+                                      <node concept="3TrcHB" id="5SC$dmoqItA" role="2OqNvi">
+                                        <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                      </node>
+                                    </node>
+                                    <node concept="3EllGN" id="5SC$dmoqItv" role="3uHU7w">
+                                      <node concept="2OqwBi" id="5SC$dmoqItB" role="3ElVtu">
+                                        <node concept="1PxgMI" id="5SC$dmoqItL" role="2Oq$k0">
+                                          <property role="1BlNFB" value="true" />
+                                          <node concept="chp4Y" id="5SC$dmoqItR" role="3oSUPX">
+                                            <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                                          </node>
+                                          <node concept="37vLTw" id="5SC$dmoqItS" role="1m5AlR">
+                                            <ref role="3cqZAo" node="5SC$dmoqIqW" resolve="a" />
+                                          </node>
+                                        </node>
+                                        <node concept="3TrcHB" id="5SC$dmoqItM" role="2OqNvi">
+                                          <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                        </node>
+                                      </node>
+                                      <node concept="37vLTw" id="5SC$dmoqItC" role="3ElQJh">
+                                        <ref role="3cqZAo" node="5SC$dmoqIqj" resolve="typeNames" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3clFbH" id="5SC$dmoqIt7" role="3cqZAp" />
+                          </node>
+                          <node concept="2OqwBi" id="5SC$dmoqIsZ" role="3clFbw">
+                            <node concept="37vLTw" id="5SC$dmoqIt8" role="2Oq$k0">
+                              <ref role="3cqZAo" node="5SC$dmoqIqj" resolve="typeNames" />
+                            </node>
+                            <node concept="2Nt0df" id="5SC$dmoqIt9" role="2OqNvi">
+                              <node concept="2OqwBi" id="5SC$dmoqItf" role="38cxEo">
+                                <node concept="1PxgMI" id="5SC$dmoqItk" role="2Oq$k0">
+                                  <property role="1BlNFB" value="true" />
+                                  <node concept="chp4Y" id="5SC$dmoqItp" role="3oSUPX">
+                                    <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                                  </node>
+                                  <node concept="37vLTw" id="5SC$dmoqItq" role="1m5AlR">
+                                    <ref role="3cqZAo" node="5SC$dmoqIqW" resolve="a" />
+                                  </node>
+                                </node>
+                                <node concept="3TrcHB" id="5SC$dmoqItl" role="2OqNvi">
+                                  <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="9aQIb" id="5SC$dmoqIt0" role="9aQIa">
+                            <node concept="3clFbS" id="5SC$dmoqIta" role="9aQI4">
+                              <node concept="3clFbF" id="5SC$dmoqItg" role="3cqZAp">
+                                <node concept="37vLTI" id="5SC$dmoqItm" role="3clFbG">
+                                  <node concept="2OqwBi" id="5SC$dmoqItr" role="37vLTx">
+                                    <node concept="1PxgMI" id="5SC$dmoqItw" role="2Oq$k0">
+                                      <property role="1BlNFB" value="true" />
+                                      <node concept="chp4Y" id="5SC$dmoqItD" role="3oSUPX">
+                                        <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                                      </node>
+                                      <node concept="37vLTw" id="5SC$dmoqItE" role="1m5AlR">
+                                        <ref role="3cqZAo" node="5SC$dmoqIqX" resolve="b" />
+                                      </node>
+                                    </node>
+                                    <node concept="3TrcHB" id="5SC$dmoqItx" role="2OqNvi">
+                                      <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                    </node>
+                                  </node>
+                                  <node concept="3EllGN" id="5SC$dmoqIts" role="37vLTJ">
+                                    <node concept="2OqwBi" id="5SC$dmoqIty" role="3ElVtu">
+                                      <node concept="1PxgMI" id="5SC$dmoqItF" role="2Oq$k0">
+                                        <property role="1BlNFB" value="true" />
+                                        <node concept="chp4Y" id="5SC$dmoqItN" role="3oSUPX">
+                                          <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                                        </node>
+                                        <node concept="37vLTw" id="5SC$dmoqItO" role="1m5AlR">
+                                          <ref role="3cqZAo" node="5SC$dmoqIqW" resolve="a" />
+                                        </node>
+                                      </node>
+                                      <node concept="3TrcHB" id="5SC$dmoqItG" role="2OqNvi">
+                                        <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                      </node>
+                                    </node>
+                                    <node concept="37vLTw" id="5SC$dmoqItz" role="3ElQJh">
+                                      <ref role="3cqZAo" node="5SC$dmoqIqj" resolve="typeNames" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3cpWs6" id="5SC$dmoqIsz" role="3cqZAp">
+                          <node concept="3clFbT" id="5SC$dmoqIt1" role="3cqZAk">
+                            <property role="3clFbU" value="true" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="1Wc70l" id="5SC$dmoqIs8" role="3clFbw">
+                        <node concept="2OqwBi" id="5SC$dmoqIs$" role="3uHU7w">
+                          <node concept="37vLTw" id="5SC$dmoqIt2" role="2Oq$k0">
+                            <ref role="3cqZAo" node="5SC$dmoqIqX" resolve="b" />
+                          </node>
+                          <node concept="1mIQ4w" id="5SC$dmoqIt3" role="2OqNvi">
+                            <node concept="chp4Y" id="5SC$dmoqItb" role="cj9EA">
+                              <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="2OqwBi" id="5SC$dmoqIs_" role="3uHU7B">
+                          <node concept="37vLTw" id="5SC$dmoqIt4" role="2Oq$k0">
+                            <ref role="3cqZAo" node="5SC$dmoqIqW" resolve="a" />
+                          </node>
+                          <node concept="1mIQ4w" id="5SC$dmoqIt5" role="2OqNvi">
+                            <node concept="chp4Y" id="5SC$dmoqItc" role="cj9EA">
+                              <ref role="cht4Q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbH" id="5sBg_Gpqsh1" role="3cqZAp" />
+                    <node concept="3clFbJ" id="5sBg_GpqrqO" role="3cqZAp">
+                      <node concept="3clFbS" id="5sBg_GpqrqP" role="3clFbx">
+                        <node concept="3cpWs6" id="5sBg_GpqrrI" role="3cqZAp">
+                          <node concept="2OqwBi" id="5sBg_GpquNc" role="3cqZAk">
+                            <node concept="Xjq3P" id="5sBg_Gpquvl" role="2Oq$k0" />
+                            <node concept="liA8E" id="5sBg_GpqvLW" role="2OqNvi">
+                              <ref role="37wK5l" node="5SC$dmoqIql" resolve="matching" />
+                              <node concept="2OqwBi" id="5sBg_GpqwLV" role="37wK5m">
+                                <node concept="1PxgMI" id="5sBg_GpqwnZ" role="2Oq$k0">
+                                  <property role="1BlNFB" value="true" />
+                                  <node concept="chp4Y" id="5sBg_GpqwzH" role="3oSUPX">
+                                    <ref role="cht4Q" to="8tt8:48ZGLP8$3c6" resolve="VarTypeRef" />
+                                  </node>
+                                  <node concept="37vLTw" id="5sBg_GpqvSF" role="1m5AlR">
+                                    <ref role="3cqZAo" node="5SC$dmoqIqW" resolve="a" />
+                                  </node>
+                                </node>
+                                <node concept="3TrEf2" id="5sBg_Gpqx7B" role="2OqNvi">
+                                  <ref role="3Tt5mk" to="8tt8:48ZGLP8$3cj" resolve="def" />
+                                </node>
+                              </node>
+                              <node concept="2OqwBi" id="5sBg_GpqxpU" role="37wK5m">
+                                <node concept="1PxgMI" id="5sBg_GpqxpV" role="2Oq$k0">
+                                  <property role="1BlNFB" value="true" />
+                                  <node concept="chp4Y" id="5sBg_GpqxpW" role="3oSUPX">
+                                    <ref role="cht4Q" to="8tt8:48ZGLP8$3c6" resolve="VarTypeRef" />
+                                  </node>
+                                  <node concept="37vLTw" id="5sBg_GpqxFD" role="1m5AlR">
+                                    <ref role="3cqZAo" node="5SC$dmoqIqX" resolve="b" />
+                                  </node>
+                                </node>
+                                <node concept="3TrEf2" id="5sBg_GpqxpY" role="2OqNvi">
+                                  <ref role="3Tt5mk" to="8tt8:48ZGLP8$3cj" resolve="def" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="1Wc70l" id="5sBg_GpqrrK" role="3clFbw">
+                        <node concept="2OqwBi" id="5sBg_GpqrrL" role="3uHU7w">
+                          <node concept="37vLTw" id="5sBg_GpqrrM" role="2Oq$k0">
+                            <ref role="3cqZAo" node="5SC$dmoqIqX" resolve="b" />
+                          </node>
+                          <node concept="1mIQ4w" id="5sBg_GpqrrN" role="2OqNvi">
+                            <node concept="chp4Y" id="5sBg_Gpqsg8" role="cj9EA">
+                              <ref role="cht4Q" to="8tt8:48ZGLP8$3c6" resolve="VarTypeRef" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="2OqwBi" id="5sBg_GpqrrP" role="3uHU7B">
+                          <node concept="37vLTw" id="5sBg_GpqrrQ" role="2Oq$k0">
+                            <ref role="3cqZAo" node="5SC$dmoqIqW" resolve="a" />
+                          </node>
+                          <node concept="1mIQ4w" id="5sBg_GpqrrR" role="2OqNvi">
+                            <node concept="chp4Y" id="5sBg_Gpqsa9" role="cj9EA">
+                              <ref role="cht4Q" to="8tt8:48ZGLP8$3c6" resolve="VarTypeRef" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbH" id="5sBg_Gpqrf6" role="3cqZAp" />
+                    <node concept="3cpWs6" id="5SC$dmoqIrG" role="3cqZAp">
+                      <node concept="3clFbT" id="5SC$dmoqIs9" role="3cqZAk" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="5SC$dmoqIos" role="1B3o_S" />
+    </node>
+  </node>
+</model>
+
diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd
index 205ab620..6353bc38 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd
@@ -15,6 +15,7 @@
   <dependencies>
     <dependency reexport="false">6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)</dependency>
     <dependency reexport="false">af858d84-85f2-42f4-a854-0b3c6b5cd482(samples.lambdacalc)</dependency>
+    <dependency reexport="false">c9670c16-a215-41fb-8784-04b14329799d(jetbrains.mps.coderules.typechecking.test)</dependency>
   </dependencies>
   <languageVersions>
     <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="11" />
@@ -25,6 +26,7 @@
     <language slang="l:63650c59-16c8-498a-99c8-005c7ee9515d:jetbrains.mps.lang.access" version="0" />
     <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
     <language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
+    <language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="5" />
     <language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="17" />
     <language slang="l:8585453e-6bfb-4d80-98de-b16074f1d86c:jetbrains.mps.lang.test" version="5" />
     <language slang="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" version="0" />
@@ -39,6 +41,7 @@
     <module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
     <module reference="f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules)" version="0" />
     <module reference="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" version="0" />
+    <module reference="c9670c16-a215-41fb-8784-04b14329799d(jetbrains.mps.coderules.typechecking.test)" version="0" />
     <module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" version="0" />
     <module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" version="0" />
     <module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps
index 898cdc96..f2cced8d 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps
@@ -48,7 +48,7 @@
       </concept>
       <concept id="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
       <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
-      <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="nn" index="2tJIrI" />
+      <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
       <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
         <child id="1197027771414" name="operand" index="2Oq$k0" />
         <child id="1197027833540" name="operation" index="2OqNvi" />
@@ -247,19 +247,12 @@
       <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
         <property id="1169194664001" name="name" index="TrG5h" />
       </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="nn" index="3oM_SD">
+      <concept id="155656958578482948" name="jetbrains.mps.lang.text.structure.Word" flags="ng" index="3oM_SD">
         <property id="155656958578482949" name="value" index="3oM_SC" />
       </concept>
-      <concept id="2535923850359271782" name="jetbrains.mps.lang.text.structure.Line" flags="nn" index="1PaTwC">
+      <concept id="2535923850359271782" name="jetbrains.mps.lang.text.structure.Line" flags="ng" index="1PaTwC">
         <child id="2535923850359271783" name="elements" index="1PaTwD" />
       </concept>
     </language>
@@ -2261,470 +2254,6 @@
         </node>
       </node>
     </node>
-    <node concept="1X3_iC" id="2uP4pFqJF6" role="lGtFl">
-      <property role="3V$3am" value="testMethods" />
-      <property role="3V$3ak" value="8585453e-6bfb-4d80-98de-b16074f1d86c/1216913645126/1217501895093" />
-      <node concept="1LZb2c" id="MSv3owt_0C" role="8Wnug">
-        <property role="TrG5h" value="inferClosureInnerInvokeType" />
-        <node concept="3cqZAl" id="MSv3owt_0D" role="3clF45" />
-        <node concept="3clFbS" id="MSv3owt_0H" role="3clF47">
-          <node concept="3clFbF" id="MSv3owBhKs" role="3cqZAp">
-            <node concept="2OqwBi" id="MSv3owCgj7" role="3clFbG">
-              <node concept="2OqwBi" id="MSv3owC7Xm" role="2Oq$k0">
-                <node concept="2OqwBi" id="MSv3owCegX" role="2Oq$k0">
-                  <node concept="2OqwBi" id="MSv3owCbpY" role="2Oq$k0">
-                    <node concept="2OqwBi" id="MSv3owC0yT" role="2Oq$k0">
-                      <node concept="2OqwBi" id="MSv3owBPIk" role="2Oq$k0">
-                        <node concept="2OqwBi" id="MSv3owC2oY" role="2Oq$k0">
-                          <node concept="2OqwBi" id="MSv3owBrFA" role="2Oq$k0">
-                            <node concept="2OqwBi" id="MSv3owBl53" role="2Oq$k0">
-                              <node concept="2YIFZM" id="MSv3owBjVy" role="2Oq$k0">
-                                <ref role="37wK5l" to="hfva:WJTIIokwcy" resolve="forCheck" />
-                                <ref role="1Pybhc" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
-                                <node concept="3xONca" id="MSv3owD0QX" role="37wK5m">
-                                  <ref role="3xOPvv" node="MSv3owD0Pa" resolve="demo3" />
-                                </node>
-                              </node>
-                              <node concept="liA8E" id="MSv3owBmgO" role="2OqNvi">
-                                <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
-                              </node>
-                            </node>
-                            <node concept="liA8E" id="MSv3owBsQH" role="2OqNvi">
-                              <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
-                              <node concept="3xONca" id="MSv3owBPyF" role="37wK5m">
-                                <ref role="3xOPvv" node="MSv3owBOtI" resolve="closure3" />
-                              </node>
-                              <node concept="2c44tf" id="MSv3owBuia" role="37wK5m">
-                                <node concept="1ajhzC" id="MSv3owBuib" role="2c44tc">
-                                  <node concept="10Oyi0" id="MSv3owCySG" role="1ajw0F" />
-                                  <node concept="10P55v" id="MSv3owCz7Z" role="1ajl9A" />
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="liA8E" id="MSv3owC3G2" role="2OqNvi">
-                            <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
-                            <node concept="3xONca" id="MSv3owC66I" role="37wK5m">
-                              <ref role="3xOPvv" node="MSv3owC4RJ" resolve="closure3invoke1" />
-                            </node>
-                            <node concept="2c44tf" id="MSv3owC6xR" role="37wK5m">
-                              <node concept="10P55v" id="MSv3owCzxN" role="2c44tc" />
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="liA8E" id="MSv3owBQXf" role="2OqNvi">
-                          <ref role="37wK5l" to="hfva:6dzPt95xjsW" resolve="also" />
-                          <node concept="1bVj0M" id="MSv3owBS5j" role="37wK5m">
-                            <node concept="3clFbS" id="MSv3owBS5k" role="1bW5cS">
-                              <node concept="3clFbH" id="MSv3owBSft" role="3cqZAp" />
-                              <node concept="3clFbF" id="MSv3owBSm6" role="3cqZAp">
-                                <node concept="2OqwBi" id="MSv3owBT7r" role="3clFbG">
-                                  <node concept="2OqwBi" id="MSv3owBS_a" role="2Oq$k0">
-                                    <node concept="3xONca" id="MSv3owBSm4" role="2Oq$k0">
-                                      <ref role="3xOPvv" node="MSv3owBOtF" resolve="ternary" />
-                                    </node>
-                                    <node concept="3TrEf2" id="MSv3owBSS4" role="2OqNvi">
-                                      <ref role="3Tt5mk" to="tpee:gVK4GVs" resolve="ifFalse" />
-                                    </node>
-                                  </node>
-                                  <node concept="1P9Npp" id="MSv3owBZVb" role="2OqNvi">
-                                    <node concept="2c44tf" id="MSv3owC051" role="1P9ThW">
-                                      <node concept="3cmrfG" id="MSv3owC0bb" role="2c44tc">
-                                        <property role="3cmrfH" value="222" />
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                              <node concept="3clFbH" id="MSv3owC0rB" role="3cqZAp" />
-                              <node concept="3SKdUt" id="MSv3owCXVd" role="3cqZAp">
-                                <node concept="1PaTwC" id="MSv3owCXVe" role="1aUNEU">
-                                  <node concept="3oM_SD" id="MSv3owCXVf" role="1PaTwD">
-                                    <property role="3oM_SC" value="fixme:" />
-                                  </node>
-                                  <node concept="3oM_SD" id="MSv3owCYdM" role="1PaTwD">
-                                    <property role="3oM_SC" value="types" />
-                                  </node>
-                                  <node concept="3oM_SD" id="MSv3owCYqD" role="1PaTwD">
-                                    <property role="3oM_SC" value="not" />
-                                  </node>
-                                  <node concept="3oM_SD" id="MSv3owCYqH" role="1PaTwD">
-                                    <property role="3oM_SC" value="recomputed!" />
-                                  </node>
-                                  <node concept="3oM_SD" id="1MpCbqaVrkJ" role="1PaTwD">
-                                    <property role="3oM_SC" value="rules" />
-                                  </node>
-                                  <node concept="3oM_SD" id="1MpCbqaVrj7" role="1PaTwD">
-                                    <property role="3oM_SC" value="for" />
-                                  </node>
-                                  <node concept="3oM_SD" id="1MpCbqaVrj8" role="1PaTwD">
-                                    <property role="3oM_SC" value="invoke" />
-                                  </node>
-                                  <node concept="3oM_SD" id="1MpCbqaVrj9" role="1PaTwD">
-                                    <property role="3oM_SC" value="expr" />
-                                  </node>
-                                  <node concept="3oM_SD" id="1MpCbqaVrja" role="1PaTwD">
-                                    <property role="3oM_SC" value="not" />
-                                  </node>
-                                  <node concept="3oM_SD" id="1MpCbqaVrjb" role="1PaTwD">
-                                    <property role="3oM_SC" value="invalidated!" />
-                                  </node>
-                                  <node concept="3oM_SD" id="1MpCbqaVrj4" role="1PaTwD">
-                                    <property role="3oM_SC" value="" />
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="liA8E" id="MSv3owC1aF" role="2OqNvi">
-                        <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
-                      </node>
-                    </node>
-                    <node concept="liA8E" id="MSv3owCd1j" role="2OqNvi">
-                      <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
-                    </node>
-                  </node>
-                  <node concept="liA8E" id="MSv3owCeJS" role="2OqNvi">
-                    <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
-                    <node concept="3xONca" id="MSv3owCeJT" role="37wK5m">
-                      <ref role="3xOPvv" node="MSv3owBOtI" resolve="closure3" />
-                    </node>
-                    <node concept="2c44tf" id="MSv3owCeJU" role="37wK5m">
-                      <node concept="1ajhzC" id="MSv3owCeJV" role="2c44tc">
-                        <node concept="10Oyi0" id="MSv3owCzLc" role="1ajw0F" />
-                        <node concept="10Oyi0" id="MSv3owCzYd" role="1ajl9A" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="liA8E" id="MSv3owC9rT" role="2OqNvi">
-                  <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
-                  <node concept="3xONca" id="MSv3owCaCP" role="37wK5m">
-                    <ref role="3xOPvv" node="MSv3owC4RJ" resolve="closure3invoke1" />
-                  </node>
-                  <node concept="2c44tf" id="MSv3owCb9W" role="37wK5m">
-                    <node concept="10Oyi0" id="MSv3owC$qP" role="2c44tc" />
-                  </node>
-                </node>
-              </node>
-              <node concept="liA8E" id="MSv3owChYq" role="2OqNvi">
-                <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="1X3_iC" id="2uP4pFqHb$" role="lGtFl">
-      <property role="3V$3am" value="testMethods" />
-      <property role="3V$3ak" value="8585453e-6bfb-4d80-98de-b16074f1d86c/1216913645126/1217501895093" />
-      <node concept="1LZb2c" id="MSv3owtDx8" role="8Wnug">
-        <property role="TrG5h" value="inferClosureInnerInvokeType_error" />
-        <node concept="3cqZAl" id="MSv3owtDx9" role="3clF45" />
-        <node concept="3clFbS" id="MSv3owtDxa" role="3clF47">
-          <node concept="3cpWs8" id="MSv3owzmPm" role="3cqZAp">
-            <node concept="3cpWsn" id="MSv3owzmPp" role="3cpWs9">
-              <property role="TrG5h" value="retSt" />
-              <node concept="3Tqbb2" id="MSv3owzmPk" role="1tU5fm">
-                <ref role="ehGHo" to="tpee:fzcpWvY" resolve="ReturnStatement" />
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbF" id="MSv3owyIAU" role="3cqZAp">
-            <node concept="2OqwBi" id="MSv3ow_BZb" role="3clFbG">
-              <node concept="2OqwBi" id="MSv3ow_xKo" role="2Oq$k0">
-                <node concept="2OqwBi" id="MSv3ow_lYu" role="2Oq$k0">
-                  <node concept="2OqwBi" id="MSv3ow_2XH" role="2Oq$k0">
-                    <node concept="2OqwBi" id="MSv3ow_fEJ" role="2Oq$k0">
-                      <node concept="2OqwBi" id="MSv3owzFD8" role="2Oq$k0">
-                        <node concept="2OqwBi" id="MSv3owzk2l" role="2Oq$k0">
-                          <node concept="2OqwBi" id="MSv3owzhuS" role="2Oq$k0">
-                            <node concept="2OqwBi" id="MSv3owz6n$" role="2Oq$k0">
-                              <node concept="2OqwBi" id="MSv3owz2C2" role="2Oq$k0">
-                                <node concept="2OqwBi" id="MSv3owyQ3D" role="2Oq$k0">
-                                  <node concept="2OqwBi" id="MSv3owyKHF" role="2Oq$k0">
-                                    <node concept="2OqwBi" id="MSv3owzc0G" role="2Oq$k0">
-                                      <node concept="2OqwBi" id="MSv3owz92C" role="2Oq$k0">
-                                        <node concept="2OqwBi" id="MSv3owyS3K" role="2Oq$k0">
-                                          <node concept="2YIFZM" id="MSv3owyJNd" role="2Oq$k0">
-                                            <ref role="37wK5l" to="hfva:WJTIIokwcy" resolve="forCheck" />
-                                            <ref role="1Pybhc" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
-                                            <node concept="3xONca" id="MSv3owyKCs" role="37wK5m">
-                                              <ref role="3xOPvv" node="MSv3owyBGr" resolve="demo4" />
-                                            </node>
-                                          </node>
-                                          <node concept="liA8E" id="MSv3owyT1J" role="2OqNvi">
-                                            <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
-                                            <node concept="3xONca" id="MSv3owyU68" role="37wK5m">
-                                              <ref role="3xOPvv" node="MSv3owyOw0" resolve="closure4" />
-                                            </node>
-                                            <node concept="2c44tf" id="MSv3owyUnT" role="37wK5m">
-                                              <node concept="1ajhzC" id="MSv3owyUvh" role="2c44tc">
-                                                <node concept="3uibUv" id="MSv3owAhKY" role="1ajw0F">
-                                                  <ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
-                                                </node>
-                                                <node concept="3uibUv" id="MSv3owAjGR" role="1ajl9A">
-                                                  <ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
-                                                </node>
-                                              </node>
-                                            </node>
-                                          </node>
-                                        </node>
-                                        <node concept="liA8E" id="MSv3owza6b" role="2OqNvi">
-                                          <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
-                                          <node concept="3xONca" id="MSv3owzb7W" role="37wK5m">
-                                            <ref role="3xOPvv" node="MSv3owyNNi" resolve="rec4_invoke1" />
-                                          </node>
-                                          <node concept="2c44tf" id="MSv3owzbJ$" role="37wK5m">
-                                            <node concept="3uibUv" id="MSv3owAlOC" role="2c44tc">
-                                              <ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
-                                            </node>
-                                          </node>
-                                        </node>
-                                      </node>
-                                      <node concept="liA8E" id="MSv3owzd5r" role="2OqNvi">
-                                        <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
-                                        <node concept="3xONca" id="MSv3owze9m" role="37wK5m">
-                                          <ref role="3xOPvv" node="MSv3owyOkq" resolve="rec4_invoke2" />
-                                        </node>
-                                        <node concept="2c44tf" id="MSv3owzd5t" role="37wK5m">
-                                          <node concept="3uibUv" id="MSv3owAnMn" role="2c44tc">
-                                            <ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
-                                          </node>
-                                        </node>
-                                      </node>
-                                    </node>
-                                    <node concept="liA8E" id="MSv3owzeCr" role="2OqNvi">
-                                      <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
-                                    </node>
-                                  </node>
-                                  <node concept="liA8E" id="MSv3owyR13" role="2OqNvi">
-                                    <ref role="37wK5l" to="hfva:6dzPt95xjsW" resolve="also" />
-                                    <node concept="1bVj0M" id="MSv3owyRSW" role="37wK5m">
-                                      <node concept="3clFbS" id="MSv3owyRSX" role="1bW5cS">
-                                        <node concept="3clFbH" id="MSv3owyS1e" role="3cqZAp" />
-                                        <node concept="3SKdUt" id="MSv3owtDxb" role="3cqZAp">
-                                          <node concept="1PaTwC" id="MSv3owtDxc" role="1aUNEU">
-                                            <node concept="3oM_SD" id="MSv3owtDxd" role="1PaTwD">
-                                              <property role="3oM_SC" value="get" />
-                                            </node>
-                                            <node concept="3oM_SD" id="MSv3owz5JF" role="1PaTwD">
-                                              <property role="3oM_SC" value="error" />
-                                            </node>
-                                            <node concept="3oM_SD" id="MSv3owz5Pa" role="1PaTwD">
-                                              <property role="3oM_SC" value="&quot;not" />
-                                            </node>
-                                            <node concept="3oM_SD" id="MSv3owtDxe" role="1PaTwD">
-                                              <property role="3oM_SC" value="enough" />
-                                            </node>
-                                            <node concept="3oM_SD" id="MSv3owtDxf" role="1PaTwD">
-                                              <property role="3oM_SC" value="information" />
-                                            </node>
-                                            <node concept="3oM_SD" id="MSv3owtDxg" role="1PaTwD">
-                                              <property role="3oM_SC" value="for" />
-                                            </node>
-                                            <node concept="3oM_SD" id="MSv3owtDxh" role="1PaTwD">
-                                              <property role="3oM_SC" value="return" />
-                                            </node>
-                                            <node concept="3oM_SD" id="MSv3owtDxi" role="1PaTwD">
-                                              <property role="3oM_SC" value="type" />
-                                            </node>
-                                            <node concept="3oM_SD" id="MSv3owtDxj" role="1PaTwD">
-                                              <property role="3oM_SC" value="inference&quot;" />
-                                            </node>
-                                          </node>
-                                        </node>
-                                        <node concept="3clFbF" id="MSv3owzn$j" role="3cqZAp">
-                                          <node concept="37vLTI" id="MSv3owzoUc" role="3clFbG">
-                                            <node concept="37vLTw" id="MSv3owzn$h" role="37vLTJ">
-                                              <ref role="3cqZAo" node="MSv3owzmPp" resolve="retSt" />
-                                            </node>
-                                            <node concept="1PxgMI" id="MSv3owzUqz" role="37vLTx">
-                                              <node concept="chp4Y" id="MSv3owzWtP" role="3oSUPX">
-                                                <ref role="cht4Q" to="tpee:fzcpWvY" resolve="ReturnStatement" />
-                                              </node>
-                                              <node concept="2OqwBi" id="MSv3owz1Rq" role="1m5AlR">
-                                                <node concept="2OqwBi" id="MSv3owyYQE" role="2Oq$k0">
-                                                  <node concept="2OqwBi" id="MSv3owyW$S" role="2Oq$k0">
-                                                    <node concept="2OqwBi" id="MSv3owyVWU" role="2Oq$k0">
-                                                      <node concept="3xONca" id="MSv3owyVJi" role="2Oq$k0">
-                                                        <ref role="3xOPvv" node="MSv3owyOw0" resolve="closure4" />
-                                                      </node>
-                                                      <node concept="3TrEf2" id="MSv3owyWpt" role="2OqNvi">
-                                                        <ref role="3Tt5mk" to="tp2c:htbW58J" resolve="body" />
-                                                      </node>
-                                                    </node>
-                                                    <node concept="3Tsc0h" id="MSv3owyX5d" role="2OqNvi">
-                                                      <ref role="3TtcxE" to="tpee:fzcqZ_x" resolve="statement" />
-                                                    </node>
-                                                  </node>
-                                                  <node concept="1yVyf7" id="MSv3owz1Gb" role="2OqNvi" />
-                                                </node>
-                                                <node concept="3YRAZt" id="MSv3owz2kB" role="2OqNvi" />
-                                              </node>
-                                            </node>
-                                          </node>
-                                        </node>
-                                        <node concept="3clFbH" id="MSv3owBfNN" role="3cqZAp" />
-                                        <node concept="3SKdUt" id="MSv3owAROz" role="3cqZAp">
-                                          <node concept="1PaTwC" id="MSv3owARO$" role="1aUNEU">
-                                            <node concept="3oM_SD" id="MSv3owARO_" role="1PaTwD">
-                                              <property role="3oM_SC" value="fixme:" />
-                                            </node>
-                                            <node concept="3oM_SD" id="MSv3owAXUp" role="1PaTwD">
-                                              <property role="3oM_SC" value="no" />
-                                            </node>
-                                            <node concept="3oM_SD" id="MSv3owAXUs" role="1PaTwD">
-                                              <property role="3oM_SC" value="errors" />
-                                            </node>
-                                            <node concept="3oM_SD" id="MSv3owAZSm" role="1PaTwD">
-                                              <property role="3oM_SC" value="appear!" />
-                                            </node>
-                                          </node>
-                                        </node>
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                                <node concept="liA8E" id="MSv3owz3R6" role="2OqNvi">
-                                  <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
-                                </node>
-                              </node>
-                              <node concept="liA8E" id="MSv3owz7Co" role="2OqNvi">
-                                <ref role="37wK5l" to="hfva:WJTIIomjLv" resolve="ensureFailed" />
-                                <node concept="3xONca" id="MSv3owz8AK" role="37wK5m">
-                                  <ref role="3xOPvv" node="MSv3owyOw0" resolve="closure4" />
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="liA8E" id="MSv3owziSi" role="2OqNvi">
-                              <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
-                            </node>
-                          </node>
-                          <node concept="liA8E" id="MSv3owzkoc" role="2OqNvi">
-                            <ref role="37wK5l" to="hfva:6dzPt95xjsW" resolve="also" />
-                            <node concept="1bVj0M" id="MSv3owzlRz" role="37wK5m">
-                              <node concept="3clFbS" id="MSv3owzlR$" role="1bW5cS">
-                                <node concept="3clFbH" id="MSv3owzmaA" role="3cqZAp" />
-                                <node concept="3cpWs8" id="MSv3ow$40d" role="3cqZAp">
-                                  <node concept="3cpWsn" id="MSv3ow$40g" role="3cpWs9">
-                                    <property role="TrG5h" value="retStCopy" />
-                                    <node concept="3Tqbb2" id="MSv3ow$40b" role="1tU5fm">
-                                      <ref role="ehGHo" to="tpee:fzcpWvY" resolve="ReturnStatement" />
-                                    </node>
-                                    <node concept="2OqwBi" id="MSv3ow$fqA" role="33vP2m">
-                                      <node concept="37vLTw" id="MSv3ow$dxz" role="2Oq$k0">
-                                        <ref role="3cqZAo" node="MSv3owzmPp" resolve="retSt" />
-                                      </node>
-                                      <node concept="1$rogu" id="MSv3ow$h_s" role="2OqNvi" />
-                                    </node>
-                                  </node>
-                                </node>
-                                <node concept="3clFbF" id="MSv3ow$lpY" role="3cqZAp">
-                                  <node concept="2OqwBi" id="MSv3ow$rLQ" role="3clFbG">
-                                    <node concept="2OqwBi" id="MSv3ow$npm" role="2Oq$k0">
-                                      <node concept="37vLTw" id="MSv3ow$lpW" role="2Oq$k0">
-                                        <ref role="3cqZAo" node="MSv3ow$40g" resolve="retStCopy" />
-                                      </node>
-                                      <node concept="3TrEf2" id="MSv3ow$pHr" role="2OqNvi">
-                                        <ref role="3Tt5mk" to="tpee:fzcqZ_G" resolve="expression" />
-                                      </node>
-                                    </node>
-                                    <node concept="1P9Npp" id="MSv3ow$tXY" role="2OqNvi">
-                                      <node concept="2c44tf" id="MSv3ow$yyw" role="1P9ThW">
-                                        <node concept="3b6qkQ" id="MSv3ow$CsJ" role="2c44tc">
-                                          <property role="$nhwW" value="2.718" />
-                                        </node>
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                                <node concept="3clFbF" id="MSv3owzqmF" role="3cqZAp">
-                                  <node concept="2OqwBi" id="MSv3owzuw_" role="3clFbG">
-                                    <node concept="2OqwBi" id="MSv3owzrWv" role="2Oq$k0">
-                                      <node concept="2OqwBi" id="MSv3owzqM6" role="2Oq$k0">
-                                        <node concept="3xONca" id="MSv3owzqmD" role="2Oq$k0">
-                                          <ref role="3xOPvv" node="MSv3owyOw0" resolve="closure4" />
-                                        </node>
-                                        <node concept="3TrEf2" id="MSv3owzru6" role="2OqNvi">
-                                          <ref role="3Tt5mk" to="tp2c:htbW58J" resolve="body" />
-                                        </node>
-                                      </node>
-                                      <node concept="3Tsc0h" id="MSv3owzsAL" role="2OqNvi">
-                                        <ref role="3TtcxE" to="tpee:fzcqZ_x" resolve="statement" />
-                                      </node>
-                                    </node>
-                                    <node concept="2Ke9KJ" id="MSv3owzxUe" role="2OqNvi">
-                                      <node concept="37vLTw" id="MSv3ow$RUz" role="25WWJ7">
-                                        <ref role="3cqZAo" node="MSv3ow$40g" resolve="retStCopy" />
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                                <node concept="3clFbH" id="MSv3owzDNb" role="3cqZAp" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="liA8E" id="MSv3ow$TUJ" role="2OqNvi">
-                          <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
-                        </node>
-                      </node>
-                      <node concept="liA8E" id="MSv3ow_iZ4" role="2OqNvi">
-                        <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
-                        <node concept="3xONca" id="MSv3ow_iZ5" role="37wK5m">
-                          <ref role="3xOPvv" node="MSv3owyOw0" resolve="closure4" />
-                        </node>
-                        <node concept="2c44tf" id="MSv3ow_iZ6" role="37wK5m">
-                          <node concept="1ajhzC" id="MSv3ow_iZ7" role="2c44tc">
-                            <node concept="3uibUv" id="MSv3owApUW" role="1ajl9A">
-                              <ref role="3uigEE" to="wyt6:~Float" resolve="Float" />
-                            </node>
-                            <node concept="3uibUv" id="MSv3owAnN0" role="1ajw0F">
-                              <ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="liA8E" id="MSv3ow_6_7" role="2OqNvi">
-                      <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
-                      <node concept="3xONca" id="MSv3ow_9o0" role="37wK5m">
-                        <ref role="3xOPvv" node="MSv3owyNNi" resolve="rec4_invoke1" />
-                      </node>
-                      <node concept="2c44tf" id="MSv3owAAnW" role="37wK5m">
-                        <node concept="3uibUv" id="MSv3owAAnX" role="2c44tc">
-                          <ref role="3uigEE" to="wyt6:~Float" resolve="Float" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="liA8E" id="MSv3ow_m56" role="2OqNvi">
-                    <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
-                    <node concept="3xONca" id="MSv3ow_pEy" role="37wK5m">
-                      <ref role="3xOPvv" node="MSv3owyOkq" resolve="rec4_invoke2" />
-                    </node>
-                    <node concept="2c44tf" id="MSv3owAyc_" role="37wK5m">
-                      <node concept="3uibUv" id="MSv3owA$fZ" role="2c44tc">
-                        <ref role="3uigEE" to="wyt6:~Float" resolve="Float" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="liA8E" id="MSv3ow_0ew" role="2OqNvi">
-                  <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
-                </node>
-              </node>
-              <node concept="liA8E" id="MSv3ow_FTx" role="2OqNvi">
-                <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
     <node concept="1qefOq" id="MSv3owrvdf" role="1SKRRt">
       <node concept="312cEu" id="MSv3owrvdg" role="1qenE9">
         <property role="2bfB8j" value="true" />
@@ -3375,6 +2904,423 @@
         </node>
       </node>
     </node>
+    <node concept="1LZb2c" id="MSv3owt_0C" role="1SL9yI">
+      <property role="TrG5h" value="inferClosureInnerInvokeType" />
+      <node concept="3cqZAl" id="MSv3owt_0D" role="3clF45" />
+      <node concept="3clFbS" id="MSv3owt_0H" role="3clF47">
+        <node concept="3clFbF" id="MSv3owBhKs" role="3cqZAp">
+          <node concept="2OqwBi" id="MSv3owCgj7" role="3clFbG">
+            <node concept="2OqwBi" id="MSv3owC7Xm" role="2Oq$k0">
+              <node concept="2OqwBi" id="MSv3owCegX" role="2Oq$k0">
+                <node concept="2OqwBi" id="MSv3owCbpY" role="2Oq$k0">
+                  <node concept="2OqwBi" id="MSv3owC0yT" role="2Oq$k0">
+                    <node concept="2OqwBi" id="MSv3owBPIk" role="2Oq$k0">
+                      <node concept="2OqwBi" id="MSv3owC2oY" role="2Oq$k0">
+                        <node concept="2OqwBi" id="MSv3owBrFA" role="2Oq$k0">
+                          <node concept="2OqwBi" id="MSv3owBl53" role="2Oq$k0">
+                            <node concept="2YIFZM" id="MSv3owBjVy" role="2Oq$k0">
+                              <ref role="37wK5l" to="hfva:WJTIIokwcy" resolve="forCheck" />
+                              <ref role="1Pybhc" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                              <node concept="3xONca" id="MSv3owD0QX" role="37wK5m">
+                                <ref role="3xOPvv" node="MSv3owD0Pa" resolve="demo3" />
+                              </node>
+                            </node>
+                            <node concept="liA8E" id="MSv3owBmgO" role="2OqNvi">
+                              <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                            </node>
+                          </node>
+                          <node concept="liA8E" id="MSv3owBsQH" role="2OqNvi">
+                            <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                            <node concept="3xONca" id="MSv3owBPyF" role="37wK5m">
+                              <ref role="3xOPvv" node="MSv3owBOtI" resolve="closure3" />
+                            </node>
+                            <node concept="2c44tf" id="MSv3owBuia" role="37wK5m">
+                              <node concept="1ajhzC" id="MSv3owBuib" role="2c44tc">
+                                <node concept="10Oyi0" id="MSv3owCySG" role="1ajw0F" />
+                                <node concept="10P55v" id="MSv3owCz7Z" role="1ajl9A" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="liA8E" id="MSv3owC3G2" role="2OqNvi">
+                          <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                          <node concept="3xONca" id="MSv3owC66I" role="37wK5m">
+                            <ref role="3xOPvv" node="MSv3owC4RJ" resolve="closure3invoke1" />
+                          </node>
+                          <node concept="2c44tf" id="MSv3owC6xR" role="37wK5m">
+                            <node concept="10P55v" id="MSv3owCzxN" role="2c44tc" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="MSv3owBQXf" role="2OqNvi">
+                        <ref role="37wK5l" to="hfva:6dzPt95xjsW" resolve="also" />
+                        <node concept="1bVj0M" id="MSv3owBS5j" role="37wK5m">
+                          <node concept="3clFbS" id="MSv3owBS5k" role="1bW5cS">
+                            <node concept="3clFbH" id="MSv3owBSft" role="3cqZAp" />
+                            <node concept="3clFbF" id="MSv3owBSm6" role="3cqZAp">
+                              <node concept="2OqwBi" id="MSv3owBT7r" role="3clFbG">
+                                <node concept="2OqwBi" id="MSv3owBS_a" role="2Oq$k0">
+                                  <node concept="3xONca" id="MSv3owBSm4" role="2Oq$k0">
+                                    <ref role="3xOPvv" node="MSv3owBOtF" resolve="ternary" />
+                                  </node>
+                                  <node concept="3TrEf2" id="MSv3owBSS4" role="2OqNvi">
+                                    <ref role="3Tt5mk" to="tpee:gVK4GVs" resolve="ifFalse" />
+                                  </node>
+                                </node>
+                                <node concept="1P9Npp" id="MSv3owBZVb" role="2OqNvi">
+                                  <node concept="2c44tf" id="MSv3owC051" role="1P9ThW">
+                                    <node concept="3cmrfG" id="MSv3owC0bb" role="2c44tc">
+                                      <property role="3cmrfH" value="222" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3clFbH" id="MSv3owC0rB" role="3cqZAp" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="liA8E" id="MSv3owC1aF" role="2OqNvi">
+                      <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="MSv3owCd1j" role="2OqNvi">
+                    <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="MSv3owCeJS" role="2OqNvi">
+                  <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                  <node concept="3xONca" id="MSv3owCeJT" role="37wK5m">
+                    <ref role="3xOPvv" node="MSv3owBOtI" resolve="closure3" />
+                  </node>
+                  <node concept="2c44tf" id="MSv3owCeJU" role="37wK5m">
+                    <node concept="1ajhzC" id="MSv3owCeJV" role="2c44tc">
+                      <node concept="10Oyi0" id="MSv3owCzLc" role="1ajw0F" />
+                      <node concept="10Oyi0" id="MSv3owCzYd" role="1ajl9A" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="liA8E" id="MSv3owC9rT" role="2OqNvi">
+                <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                <node concept="3xONca" id="MSv3owCaCP" role="37wK5m">
+                  <ref role="3xOPvv" node="MSv3owC4RJ" resolve="closure3invoke1" />
+                </node>
+                <node concept="2c44tf" id="MSv3owCb9W" role="37wK5m">
+                  <node concept="10Oyi0" id="MSv3owC$qP" role="2c44tc" />
+                </node>
+              </node>
+            </node>
+            <node concept="liA8E" id="MSv3owChYq" role="2OqNvi">
+              <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1LZb2c" id="MSv3owtDx8" role="1SL9yI">
+      <property role="TrG5h" value="inferClosureInnerInvokeType_error" />
+      <node concept="3cqZAl" id="MSv3owtDx9" role="3clF45" />
+      <node concept="3clFbS" id="MSv3owtDxa" role="3clF47">
+        <node concept="3cpWs8" id="MSv3owzmPm" role="3cqZAp">
+          <node concept="3cpWsn" id="MSv3owzmPp" role="3cpWs9">
+            <property role="TrG5h" value="retSt" />
+            <node concept="3Tqbb2" id="MSv3owzmPk" role="1tU5fm">
+              <ref role="ehGHo" to="tpee:fzcpWvY" resolve="ReturnStatement" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="MSv3owyIAU" role="3cqZAp">
+          <node concept="2OqwBi" id="MSv3ow_BZb" role="3clFbG">
+            <node concept="2OqwBi" id="MSv3ow_xKo" role="2Oq$k0">
+              <node concept="2OqwBi" id="MSv3ow_lYu" role="2Oq$k0">
+                <node concept="2OqwBi" id="MSv3ow_2XH" role="2Oq$k0">
+                  <node concept="2OqwBi" id="MSv3ow_fEJ" role="2Oq$k0">
+                    <node concept="2OqwBi" id="MSv3owzFD8" role="2Oq$k0">
+                      <node concept="2OqwBi" id="MSv3owzk2l" role="2Oq$k0">
+                        <node concept="2OqwBi" id="MSv3owzhuS" role="2Oq$k0">
+                          <node concept="2OqwBi" id="7Q6gf6XLfim" role="2Oq$k0">
+                            <node concept="2OqwBi" id="MSv3owz6n$" role="2Oq$k0">
+                              <node concept="2OqwBi" id="MSv3owz2C2" role="2Oq$k0">
+                                <node concept="2OqwBi" id="MSv3owyQ3D" role="2Oq$k0">
+                                  <node concept="2OqwBi" id="MSv3owyKHF" role="2Oq$k0">
+                                    <node concept="2OqwBi" id="MSv3owzc0G" role="2Oq$k0">
+                                      <node concept="2OqwBi" id="MSv3owz92C" role="2Oq$k0">
+                                        <node concept="2OqwBi" id="MSv3owyS3K" role="2Oq$k0">
+                                          <node concept="2YIFZM" id="MSv3owyJNd" role="2Oq$k0">
+                                            <ref role="37wK5l" to="hfva:WJTIIokwcy" resolve="forCheck" />
+                                            <ref role="1Pybhc" to="hfva:WJTIIojUvH" resolve="IncrementalTestBuilder" />
+                                            <node concept="3xONca" id="MSv3owyKCs" role="37wK5m">
+                                              <ref role="3xOPvv" node="MSv3owyBGr" resolve="demo4" />
+                                            </node>
+                                          </node>
+                                          <node concept="liA8E" id="MSv3owyT1J" role="2OqNvi">
+                                            <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                            <node concept="3xONca" id="MSv3owyU68" role="37wK5m">
+                                              <ref role="3xOPvv" node="MSv3owyOw0" resolve="closure4" />
+                                            </node>
+                                            <node concept="2c44tf" id="MSv3owyUnT" role="37wK5m">
+                                              <node concept="1ajhzC" id="MSv3owyUvh" role="2c44tc">
+                                                <node concept="3uibUv" id="MSv3owAhKY" role="1ajw0F">
+                                                  <ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
+                                                </node>
+                                                <node concept="3uibUv" id="MSv3owAjGR" role="1ajl9A">
+                                                  <ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
+                                                </node>
+                                              </node>
+                                            </node>
+                                          </node>
+                                        </node>
+                                        <node concept="liA8E" id="MSv3owza6b" role="2OqNvi">
+                                          <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                          <node concept="3xONca" id="MSv3owzb7W" role="37wK5m">
+                                            <ref role="3xOPvv" node="MSv3owyNNi" resolve="rec4_invoke1" />
+                                          </node>
+                                          <node concept="2c44tf" id="MSv3owzbJ$" role="37wK5m">
+                                            <node concept="3uibUv" id="MSv3owAlOC" role="2c44tc">
+                                              <ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
+                                            </node>
+                                          </node>
+                                        </node>
+                                      </node>
+                                      <node concept="liA8E" id="MSv3owzd5r" role="2OqNvi">
+                                        <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                                        <node concept="3xONca" id="MSv3owze9m" role="37wK5m">
+                                          <ref role="3xOPvv" node="MSv3owyOkq" resolve="rec4_invoke2" />
+                                        </node>
+                                        <node concept="2c44tf" id="MSv3owzd5t" role="37wK5m">
+                                          <node concept="3uibUv" id="MSv3owAnMn" role="2c44tc">
+                                            <ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
+                                          </node>
+                                        </node>
+                                      </node>
+                                    </node>
+                                    <node concept="liA8E" id="MSv3owzeCr" role="2OqNvi">
+                                      <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+                                    </node>
+                                  </node>
+                                  <node concept="liA8E" id="MSv3owyR13" role="2OqNvi">
+                                    <ref role="37wK5l" to="hfva:6dzPt95xjsW" resolve="also" />
+                                    <node concept="1bVj0M" id="MSv3owyRSW" role="37wK5m">
+                                      <node concept="3clFbS" id="MSv3owyRSX" role="1bW5cS">
+                                        <node concept="3clFbH" id="MSv3owyS1e" role="3cqZAp" />
+                                        <node concept="3SKdUt" id="MSv3owtDxb" role="3cqZAp">
+                                          <node concept="1PaTwC" id="MSv3owtDxc" role="1aUNEU">
+                                            <node concept="3oM_SD" id="MSv3owtDxd" role="1PaTwD">
+                                              <property role="3oM_SC" value="get" />
+                                            </node>
+                                            <node concept="3oM_SD" id="MSv3owz5JF" role="1PaTwD">
+                                              <property role="3oM_SC" value="error" />
+                                            </node>
+                                            <node concept="3oM_SD" id="MSv3owz5Pa" role="1PaTwD">
+                                              <property role="3oM_SC" value="&quot;not" />
+                                            </node>
+                                            <node concept="3oM_SD" id="MSv3owtDxe" role="1PaTwD">
+                                              <property role="3oM_SC" value="enough" />
+                                            </node>
+                                            <node concept="3oM_SD" id="MSv3owtDxf" role="1PaTwD">
+                                              <property role="3oM_SC" value="information" />
+                                            </node>
+                                            <node concept="3oM_SD" id="MSv3owtDxg" role="1PaTwD">
+                                              <property role="3oM_SC" value="for" />
+                                            </node>
+                                            <node concept="3oM_SD" id="MSv3owtDxh" role="1PaTwD">
+                                              <property role="3oM_SC" value="return" />
+                                            </node>
+                                            <node concept="3oM_SD" id="MSv3owtDxi" role="1PaTwD">
+                                              <property role="3oM_SC" value="type" />
+                                            </node>
+                                            <node concept="3oM_SD" id="MSv3owtDxj" role="1PaTwD">
+                                              <property role="3oM_SC" value="inference&quot;" />
+                                            </node>
+                                          </node>
+                                        </node>
+                                        <node concept="3clFbF" id="MSv3owzn$j" role="3cqZAp">
+                                          <node concept="37vLTI" id="MSv3owzoUc" role="3clFbG">
+                                            <node concept="37vLTw" id="MSv3owzn$h" role="37vLTJ">
+                                              <ref role="3cqZAo" node="MSv3owzmPp" resolve="retSt" />
+                                            </node>
+                                            <node concept="1PxgMI" id="MSv3owzUqz" role="37vLTx">
+                                              <node concept="chp4Y" id="MSv3owzWtP" role="3oSUPX">
+                                                <ref role="cht4Q" to="tpee:fzcpWvY" resolve="ReturnStatement" />
+                                              </node>
+                                              <node concept="2OqwBi" id="MSv3owz1Rq" role="1m5AlR">
+                                                <node concept="2OqwBi" id="MSv3owyYQE" role="2Oq$k0">
+                                                  <node concept="2OqwBi" id="MSv3owyW$S" role="2Oq$k0">
+                                                    <node concept="2OqwBi" id="MSv3owyVWU" role="2Oq$k0">
+                                                      <node concept="3xONca" id="MSv3owyVJi" role="2Oq$k0">
+                                                        <ref role="3xOPvv" node="MSv3owyOw0" resolve="closure4" />
+                                                      </node>
+                                                      <node concept="3TrEf2" id="MSv3owyWpt" role="2OqNvi">
+                                                        <ref role="3Tt5mk" to="tp2c:htbW58J" resolve="body" />
+                                                      </node>
+                                                    </node>
+                                                    <node concept="3Tsc0h" id="MSv3owyX5d" role="2OqNvi">
+                                                      <ref role="3TtcxE" to="tpee:fzcqZ_x" resolve="statement" />
+                                                    </node>
+                                                  </node>
+                                                  <node concept="1yVyf7" id="MSv3owz1Gb" role="2OqNvi" />
+                                                </node>
+                                                <node concept="3YRAZt" id="MSv3owz2kB" role="2OqNvi" />
+                                              </node>
+                                            </node>
+                                          </node>
+                                        </node>
+                                        <node concept="3clFbH" id="MSv3owBfNN" role="3cqZAp" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="liA8E" id="MSv3owz3R6" role="2OqNvi">
+                                  <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
+                                </node>
+                              </node>
+                              <node concept="liA8E" id="MSv3owz7Co" role="2OqNvi">
+                                <ref role="37wK5l" to="hfva:WJTIIomjLv" resolve="ensureFailed" />
+                                <node concept="3xONca" id="7Q6gf6XLeBB" role="37wK5m">
+                                  <ref role="3xOPvv" node="MSv3owyNJv" resolve="assign_rec4" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="liA8E" id="7Q6gf6XLke4" role="2OqNvi">
+                              <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                              <node concept="3xONca" id="7Q6gf6XLnRZ" role="37wK5m">
+                                <ref role="3xOPvv" node="MSv3owyOw0" resolve="closure4" />
+                              </node>
+                              <node concept="2c44tf" id="7Q6gf6XLoWh" role="37wK5m">
+                                <node concept="1ajhzC" id="7Q6gf6XLoWi" role="2c44tc">
+                                  <node concept="3uibUv" id="7Q6gf6XLoWj" role="1ajw0F">
+                                    <ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
+                                  </node>
+                                  <node concept="3uibUv" id="7Q6gf6XLp_r" role="1ajl9A">
+                                    <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="liA8E" id="7Q6gf6XLttn" role="2OqNvi">
+                            <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
+                          </node>
+                        </node>
+                        <node concept="liA8E" id="MSv3owzkoc" role="2OqNvi">
+                          <ref role="37wK5l" to="hfva:6dzPt95xjsW" resolve="also" />
+                          <node concept="1bVj0M" id="MSv3owzlRz" role="37wK5m">
+                            <node concept="3clFbS" id="MSv3owzlR$" role="1bW5cS">
+                              <node concept="3clFbH" id="MSv3owzmaA" role="3cqZAp" />
+                              <node concept="3cpWs8" id="MSv3ow$40d" role="3cqZAp">
+                                <node concept="3cpWsn" id="MSv3ow$40g" role="3cpWs9">
+                                  <property role="TrG5h" value="retStCopy" />
+                                  <node concept="3Tqbb2" id="MSv3ow$40b" role="1tU5fm">
+                                    <ref role="ehGHo" to="tpee:fzcpWvY" resolve="ReturnStatement" />
+                                  </node>
+                                  <node concept="2OqwBi" id="MSv3ow$fqA" role="33vP2m">
+                                    <node concept="37vLTw" id="MSv3ow$dxz" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="MSv3owzmPp" resolve="retSt" />
+                                    </node>
+                                    <node concept="1$rogu" id="MSv3ow$h_s" role="2OqNvi" />
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3clFbF" id="MSv3ow$lpY" role="3cqZAp">
+                                <node concept="2OqwBi" id="MSv3ow$rLQ" role="3clFbG">
+                                  <node concept="2OqwBi" id="MSv3ow$npm" role="2Oq$k0">
+                                    <node concept="37vLTw" id="MSv3ow$lpW" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="MSv3ow$40g" resolve="retStCopy" />
+                                    </node>
+                                    <node concept="3TrEf2" id="MSv3ow$pHr" role="2OqNvi">
+                                      <ref role="3Tt5mk" to="tpee:fzcqZ_G" resolve="expression" />
+                                    </node>
+                                  </node>
+                                  <node concept="1P9Npp" id="MSv3ow$tXY" role="2OqNvi">
+                                    <node concept="2c44tf" id="MSv3ow$yyw" role="1P9ThW">
+                                      <node concept="3b6qkQ" id="MSv3ow$CsJ" role="2c44tc">
+                                        <property role="$nhwW" value="2.718" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3clFbF" id="MSv3owzqmF" role="3cqZAp">
+                                <node concept="2OqwBi" id="MSv3owzuw_" role="3clFbG">
+                                  <node concept="2OqwBi" id="MSv3owzrWv" role="2Oq$k0">
+                                    <node concept="2OqwBi" id="MSv3owzqM6" role="2Oq$k0">
+                                      <node concept="3xONca" id="MSv3owzqmD" role="2Oq$k0">
+                                        <ref role="3xOPvv" node="MSv3owyOw0" resolve="closure4" />
+                                      </node>
+                                      <node concept="3TrEf2" id="MSv3owzru6" role="2OqNvi">
+                                        <ref role="3Tt5mk" to="tp2c:htbW58J" resolve="body" />
+                                      </node>
+                                    </node>
+                                    <node concept="3Tsc0h" id="MSv3owzsAL" role="2OqNvi">
+                                      <ref role="3TtcxE" to="tpee:fzcqZ_x" resolve="statement" />
+                                    </node>
+                                  </node>
+                                  <node concept="2Ke9KJ" id="MSv3owzxUe" role="2OqNvi">
+                                    <node concept="37vLTw" id="MSv3ow$RUz" role="25WWJ7">
+                                      <ref role="3cqZAo" node="MSv3ow$40g" resolve="retStCopy" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3clFbH" id="MSv3owzDNb" role="3cqZAp" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="MSv3ow$TUJ" role="2OqNvi">
+                        <ref role="37wK5l" to="hfva:WJTIIom1yI" resolve="relaunch" />
+                      </node>
+                    </node>
+                    <node concept="liA8E" id="MSv3ow_iZ4" role="2OqNvi">
+                      <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                      <node concept="3xONca" id="MSv3ow_iZ5" role="37wK5m">
+                        <ref role="3xOPvv" node="MSv3owyOw0" resolve="closure4" />
+                      </node>
+                      <node concept="2c44tf" id="MSv3ow_iZ6" role="37wK5m">
+                        <node concept="1ajhzC" id="MSv3ow_iZ7" role="2c44tc">
+                          <node concept="10P55v" id="7Q6gf6XNl0s" role="1ajl9A" />
+                          <node concept="3uibUv" id="MSv3owAnN0" role="1ajw0F">
+                            <ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="MSv3ow_6_7" role="2OqNvi">
+                    <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                    <node concept="3xONca" id="MSv3ow_9o0" role="37wK5m">
+                      <ref role="3xOPvv" node="MSv3owyNNi" resolve="rec4_invoke1" />
+                    </node>
+                    <node concept="2c44tf" id="MSv3owAAnW" role="37wK5m">
+                      <node concept="10P55v" id="7Q6gf6XO2Iq" role="2c44tc" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="liA8E" id="MSv3ow_m56" role="2OqNvi">
+                  <ref role="37wK5l" to="hfva:WJTIIomj2Y" resolve="ensureType" />
+                  <node concept="3xONca" id="MSv3ow_pEy" role="37wK5m">
+                    <ref role="3xOPvv" node="MSv3owyOkq" resolve="rec4_invoke2" />
+                  </node>
+                  <node concept="2c44tf" id="7Q6gf6XMFVB" role="37wK5m">
+                    <node concept="3uibUv" id="7Q6gf6XMFVC" role="2c44tc">
+                      <ref role="3uigEE" to="wyt6:~Double" resolve="Double" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="liA8E" id="MSv3ow_0ew" role="2OqNvi">
+                <ref role="37wK5l" to="hfva:WJTIIooHck" resolve="ensureNoFailures" />
+              </node>
+            </node>
+            <node concept="liA8E" id="MSv3ow_FTx" role="2OqNvi">
+              <ref role="37wK5l" to="hfva:WJTIIokFTj" resolve="ensureStable" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
   </node>
 </model>