From 291c0b58cd29a82e23a32d83b94dc393aa73ecdb Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Fri, 3 Nov 2017 12:08:48 +0100
Subject: [PATCH] Display baseline conventional typechecking time.

---
 .../models/ui.plugin.mps                      | 253 +++++++++++-------
 .../models/service.mps                        | 199 +++++++++++++-
 2 files changed, 347 insertions(+), 105 deletions(-)

diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps
index 77e1f422..f3aa5647 100644
--- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps
+++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps
@@ -30938,130 +30938,181 @@
               </node>
             </node>
           </node>
-          <node concept="3cpWs8" id="6hqFpWnfpwx" role="3cqZAp">
-            <node concept="3cpWsn" id="6hqFpWnfpwy" role="3cpWs9">
-              <property role="TrG5h" value="applyTemplatesStep" />
-              <node concept="3uibUv" id="6hqFpWnfpwz" role="1tU5fm">
-                <ref role="3uigEE" to="tj24:1pPth$lAwc0" resolve="ApplyTemplatesStep" />
+          <node concept="3cpWs8" id="HOeeeUdv2U" role="3cqZAp">
+            <node concept="3cpWsn" id="HOeeeUdv2V" role="3cpWs9">
+              <property role="TrG5h" value="steps" />
+              <node concept="_YKpA" id="HOeeeUdv2M" role="1tU5fm">
+                <node concept="3uibUv" id="HOeeeUdv2P" role="_ZDj9">
+                  <ref role="3uigEE" to="tj24:1pPth$lAzAx" resolve="Step" />
+                </node>
               </node>
-              <node concept="3K4zz7" id="6hqFpWniQKa" role="33vP2m">
-                <node concept="3y3z36" id="6hqFpWniPU_" role="3K4Cdx">
-                  <node concept="10Nm6u" id="6hqFpWniQan" role="3uHU7w" />
-                  <node concept="37vLTw" id="6hqFpWniPbu" role="3uHU7B">
-                    <ref role="3cqZAo" node="6hqFpWnfpcc" resolve="nodes" />
+              <node concept="2ShNRf" id="HOeeeUdv2W" role="33vP2m">
+                <node concept="Tc6Ow" id="HOeeeUdv2X" role="2ShVmc">
+                  <node concept="3uibUv" id="HOeeeUdv2Y" role="HW$YZ">
+                    <ref role="3uigEE" to="tj24:1pPth$lAzAx" resolve="Step" />
                   </node>
                 </node>
-                <node concept="2ShNRf" id="6hqFpWnfpw$" role="3K4E3e">
-                  <node concept="1pGfFk" id="6hqFpWnfpw_" role="2ShVmc">
-                    <ref role="37wK5l" to="tj24:7kTeLbPt4na" resolve="ApplyTemplatesStep" />
-                    <node concept="2OqwBi" id="6hqFpWnfpwC" role="37wK5m">
-                      <node concept="Xjq3P" id="6hqFpWnfyLL" role="2Oq$k0" />
-                      <node concept="2OwXpG" id="6hqFpWniRxY" role="2OqNvi">
-                        <ref role="2Oxat5" node="6hqFpWnfpcc" resolve="nodes" />
-                      </node>
-                    </node>
-                    <node concept="37vLTw" id="6hqFpWnfpwG" role="37wK5m">
-                      <ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="HOeeeUdqEv" role="3cqZAp">
+            <node concept="2OqwBi" id="HOeeeUdwKI" role="3clFbG">
+              <node concept="37vLTw" id="HOeeeUdv2Z" role="2Oq$k0">
+                <ref role="3cqZAo" node="HOeeeUdv2V" resolve="steps" />
+              </node>
+              <node concept="TSZUe" id="HOeeeUdyHz" role="2OqNvi">
+                <node concept="3K4zz7" id="HOeeeUdyYu" role="25WWJ7">
+                  <node concept="3y3z36" id="HOeeeUdyYv" role="3K4Cdx">
+                    <node concept="10Nm6u" id="HOeeeUdyYw" role="3uHU7w" />
+                    <node concept="37vLTw" id="HOeeeUdyYx" role="3uHU7B">
+                      <ref role="3cqZAo" node="6hqFpWnfpcc" resolve="nodes" />
                     </node>
                   </node>
-                </node>
-                <node concept="2ShNRf" id="6hqFpWniT8Y" role="3K4GZi">
-                  <node concept="1pGfFk" id="6hqFpWniT8Z" role="2ShVmc">
-                    <ref role="37wK5l" to="tj24:1pPth$lDzTR" resolve="ApplyTemplatesStep" />
-                    <node concept="2OqwBi" id="6hqFpWniT90" role="37wK5m">
-                      <node concept="Xjq3P" id="6hqFpWniT91" role="2Oq$k0" />
-                      <node concept="2OwXpG" id="6hqFpWniTGd" role="2OqNvi">
-                        <ref role="2Oxat5" node="6hqFpWniswQ" resolve="root" />
+                  <node concept="2ShNRf" id="HOeeeUdyYy" role="3K4E3e">
+                    <node concept="1pGfFk" id="HOeeeUdyYz" role="2ShVmc">
+                      <ref role="37wK5l" to="tj24:7kTeLbPt4na" resolve="ApplyTemplatesStep" />
+                      <node concept="2OqwBi" id="HOeeeUdyY$" role="37wK5m">
+                        <node concept="Xjq3P" id="HOeeeUdyY_" role="2Oq$k0" />
+                        <node concept="2OwXpG" id="HOeeeUdyYA" role="2OqNvi">
+                          <ref role="2Oxat5" node="6hqFpWnfpcc" resolve="nodes" />
+                        </node>
+                      </node>
+                      <node concept="37vLTw" id="HOeeeUdyYB" role="37wK5m">
+                        <ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
                       </node>
                     </node>
-                    <node concept="37vLTw" id="6hqFpWniT93" role="37wK5m">
-                      <ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
+                  </node>
+                  <node concept="2ShNRf" id="HOeeeUdyYC" role="3K4GZi">
+                    <node concept="1pGfFk" id="HOeeeUdyYD" role="2ShVmc">
+                      <ref role="37wK5l" to="tj24:1pPth$lDzTR" resolve="ApplyTemplatesStep" />
+                      <node concept="2OqwBi" id="HOeeeUdyYE" role="37wK5m">
+                        <node concept="Xjq3P" id="HOeeeUdyYF" role="2Oq$k0" />
+                        <node concept="2OwXpG" id="HOeeeUdyYG" role="2OqNvi">
+                          <ref role="2Oxat5" node="6hqFpWniswQ" resolve="root" />
+                        </node>
+                      </node>
+                      <node concept="37vLTw" id="HOeeeUdyYH" role="37wK5m">
+                        <ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
+                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
           </node>
-          <node concept="3cpWs8" id="6hqFpWnfpwH" role="3cqZAp">
-            <node concept="3cpWsn" id="6hqFpWnfpwI" role="3cpWs9">
-              <property role="TrG5h" value="evaluateRulesStep" />
-              <node concept="3uibUv" id="6hqFpWnfpwJ" role="1tU5fm">
-                <ref role="3uigEE" to="tj24:1pPth$lBNWG" resolve="EvaluateRulesStep" />
+          <node concept="3clFbF" id="HOeeeUd$rF" role="3cqZAp">
+            <node concept="2OqwBi" id="HOeeeUdA5d" role="3clFbG">
+              <node concept="37vLTw" id="HOeeeUd$rD" role="2Oq$k0">
+                <ref role="3cqZAo" node="HOeeeUdv2V" resolve="steps" />
               </node>
-              <node concept="3K4zz7" id="6hqFpWnjgHB" role="33vP2m">
-                <node concept="37vLTw" id="6hqFpWnjfHU" role="3K4Cdx">
-                  <ref role="3cqZAo" node="6hqFpWnjd0A" resolve="trace" />
-                </node>
-                <node concept="2ShNRf" id="6hqFpWnfpwK" role="3K4GZi">
-                  <node concept="1pGfFk" id="6hqFpWnfpwL" role="2ShVmc">
-                    <ref role="37wK5l" to="tj24:1pPth$lHpLU" resolve="EvaluateRulesStep" />
-                    <node concept="37vLTw" id="6hqFpWnfpwM" role="37wK5m">
-                      <ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
+              <node concept="TSZUe" id="HOeeeUdC2y" role="2OqNvi">
+                <node concept="3K4zz7" id="HOeeeUdECV" role="25WWJ7">
+                  <node concept="37vLTw" id="HOeeeUdECW" role="3K4Cdx">
+                    <ref role="3cqZAo" node="6hqFpWnjd0A" resolve="trace" />
+                  </node>
+                  <node concept="2ShNRf" id="HOeeeUdECX" role="3K4GZi">
+                    <node concept="1pGfFk" id="HOeeeUdECY" role="2ShVmc">
+                      <ref role="37wK5l" to="tj24:1pPth$lHpLU" resolve="EvaluateRulesStep" />
+                      <node concept="37vLTw" id="HOeeeUdECZ" role="37wK5m">
+                        <ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="2ShNRf" id="HOeeeUdED0" role="3K4E3e">
+                    <node concept="1pGfFk" id="HOeeeUdED1" role="2ShVmc">
+                      <ref role="37wK5l" node="55Q$YFtIVZ9" resolve="EvaluateRulesWithTraceStep" />
+                      <node concept="37vLTw" id="HOeeeUdED2" role="37wK5m">
+                        <ref role="3cqZAo" node="6hqFpWnfpwk" resolve="editorComponent" />
+                      </node>
+                      <node concept="37vLTw" id="HOeeeUdED3" role="37wK5m">
+                        <ref role="3cqZAo" node="6hqFpWnfkNg" resolve="mpsProject" />
+                      </node>
                     </node>
                   </node>
                 </node>
-                <node concept="2ShNRf" id="6hqFpWnjjtf" role="3K4E3e">
-                  <node concept="1pGfFk" id="6hqFpWnjjtg" role="2ShVmc">
-                    <ref role="37wK5l" node="55Q$YFtIVZ9" resolve="EvaluateRulesWithTraceStep" />
-                    <node concept="37vLTw" id="6hqFpWnjjth" role="37wK5m">
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="HOeeeUdG5p" role="3cqZAp">
+            <node concept="2OqwBi" id="HOeeeUdHLt" role="3clFbG">
+              <node concept="37vLTw" id="HOeeeUdG5n" role="2Oq$k0">
+                <ref role="3cqZAo" node="HOeeeUdv2V" resolve="steps" />
+              </node>
+              <node concept="TSZUe" id="HOeeeUdJE0" role="2OqNvi">
+                <node concept="3K4zz7" id="HOeeeUdKkA" role="25WWJ7">
+                  <node concept="37vLTw" id="HOeeeUdKkB" role="3K4Cdx">
+                    <ref role="3cqZAo" node="6hqFpWnjd0A" resolve="trace" />
+                  </node>
+                  <node concept="2ShNRf" id="HOeeeUdKkC" role="3K4GZi">
+                    <node concept="1pGfFk" id="HOeeeUdKkD" role="2ShVmc">
+                      <ref role="37wK5l" to="tj24:6IQb_RxlCdT" resolve="CollectTypesStep" />
+                      <node concept="37vLTw" id="HOeeeUdKkE" role="37wK5m">
+                        <ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="2ShNRf" id="HOeeeUdKkF" role="3K4E3e">
+                    <node concept="1pGfFk" id="HOeeeUdKkG" role="2ShVmc">
+                      <ref role="37wK5l" node="6IQb_RxxY2V" resolve="CollectTypesWithTraceStep" />
+                      <node concept="37vLTw" id="HOeeeUdKkH" role="37wK5m">
+                        <ref role="3cqZAo" node="6hqFpWnfkNg" resolve="mpsProject" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="HOeeeUdKTB" role="3cqZAp">
+            <node concept="2OqwBi" id="HOeeeUdMHC" role="3clFbG">
+              <node concept="37vLTw" id="HOeeeUdKT_" role="2Oq$k0">
+                <ref role="3cqZAo" node="HOeeeUdv2V" resolve="steps" />
+              </node>
+              <node concept="TSZUe" id="HOeeeUdOEk" role="2OqNvi">
+                <node concept="2ShNRf" id="HOeeeUdPgt" role="25WWJ7">
+                  <node concept="1pGfFk" id="HOeeeUdPgu" role="2ShVmc">
+                    <ref role="37wK5l" node="1pPth$lGTrm" resolve="HighlightingStep" />
+                    <node concept="37vLTw" id="HOeeeUdPgv" role="37wK5m">
                       <ref role="3cqZAo" node="6hqFpWnfpwk" resolve="editorComponent" />
                     </node>
-                    <node concept="37vLTw" id="6hqFpWnjpzV" role="37wK5m">
-                      <ref role="3cqZAo" node="6hqFpWnfkNg" resolve="mpsProject" />
+                    <node concept="2OqwBi" id="HOeeeUdPgw" role="37wK5m">
+                      <node concept="Xjq3P" id="HOeeeUdPgx" role="2Oq$k0" />
+                      <node concept="2OwXpG" id="HOeeeUdPgy" role="2OqNvi">
+                        <ref role="2Oxat5" node="6hqFpWnfkNg" resolve="mpsProject" />
+                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
           </node>
-          <node concept="3cpWs8" id="6hqFpWnfpwN" role="3cqZAp">
-            <node concept="3cpWsn" id="6hqFpWnfpwO" role="3cpWs9">
-              <property role="TrG5h" value="collectTypesStep" />
-              <node concept="3uibUv" id="6hqFpWnfpwP" role="1tU5fm">
-                <ref role="3uigEE" to="tj24:6IQb_RxlB9v" resolve="CollectTypesStep" />
-              </node>
-              <node concept="3K4zz7" id="6hqFpWnjlYi" role="33vP2m">
-                <node concept="37vLTw" id="6hqFpWnjl2N" role="3K4Cdx">
-                  <ref role="3cqZAo" node="6hqFpWnjd0A" resolve="trace" />
-                </node>
-                <node concept="2ShNRf" id="6hqFpWnfpwQ" role="3K4GZi">
-                  <node concept="1pGfFk" id="6hqFpWnfpwR" role="2ShVmc">
-                    <ref role="37wK5l" to="tj24:6IQb_RxlCdT" resolve="CollectTypesStep" />
-                    <node concept="37vLTw" id="6hqFpWnfpwS" role="37wK5m">
-                      <ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
-                    </node>
+          <node concept="3clFbJ" id="HOeeeUcXEs" role="3cqZAp">
+            <node concept="3clFbS" id="HOeeeUcXEu" role="3clFbx">
+              <node concept="3clFbF" id="HOeeeUdQOg" role="3cqZAp">
+                <node concept="2OqwBi" id="HOeeeUdRG_" role="3clFbG">
+                  <node concept="37vLTw" id="HOeeeUdQOe" role="2Oq$k0">
+                    <ref role="3cqZAo" node="HOeeeUdv2V" resolve="steps" />
                   </node>
-                </node>
-                <node concept="2ShNRf" id="6hqFpWnjn5y" role="3K4E3e">
-                  <node concept="1pGfFk" id="6hqFpWnjn5z" role="2ShVmc">
-                    <ref role="37wK5l" node="6IQb_RxxY2V" resolve="CollectTypesWithTraceStep" />
-                    <node concept="37vLTw" id="6hqFpWnjoBk" role="37wK5m">
-                      <ref role="3cqZAo" node="6hqFpWnfkNg" resolve="mpsProject" />
+                  <node concept="TSZUe" id="HOeeeUdTfq" role="2OqNvi">
+                    <node concept="2ShNRf" id="HOeeeUdTO8" role="25WWJ7">
+                      <node concept="1pGfFk" id="HOeeeUdTO9" role="2ShVmc">
+                        <ref role="37wK5l" to="tj24:HOeeeUbp1O" resolve="ComputeBaselineTimeStep" />
+                        <node concept="37vLTw" id="HOeeeUdTOa" role="37wK5m">
+                          <ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
+                        </node>
+                        <node concept="37vLTw" id="HOeeeUdTOb" role="37wK5m">
+                          <ref role="3cqZAo" node="6hqFpWniswQ" resolve="root" />
+                        </node>
+                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-          </node>
-          <node concept="3cpWs8" id="6hqFpWnfpwT" role="3cqZAp">
-            <node concept="3cpWsn" id="6hqFpWnfpwU" role="3cpWs9">
-              <property role="TrG5h" value="highlightingStep" />
-              <node concept="3uibUv" id="6hqFpWnfpwV" role="1tU5fm">
-                <ref role="3uigEE" node="1pPth$lC1vN" resolve="HighlightingStep" />
-              </node>
-              <node concept="2ShNRf" id="6hqFpWnfpwW" role="33vP2m">
-                <node concept="1pGfFk" id="6hqFpWnfpwX" role="2ShVmc">
-                  <ref role="37wK5l" node="1pPth$lGTrm" resolve="HighlightingStep" />
-                  <node concept="37vLTw" id="6hqFpWnfpwY" role="37wK5m">
-                    <ref role="3cqZAo" node="6hqFpWnfpwk" resolve="editorComponent" />
-                  </node>
-                  <node concept="2OqwBi" id="6hqFpWnfpwZ" role="37wK5m">
-                    <node concept="Xjq3P" id="6hqFpWnfzmD" role="2Oq$k0" />
-                    <node concept="2OwXpG" id="6hqFpWnfM15" role="2OqNvi">
-                      <ref role="2Oxat5" node="6hqFpWnfkNg" resolve="mpsProject" />
-                    </node>
-                  </node>
-                </node>
+            <node concept="3y3z36" id="HOeeeUcZrB" role="3clFbw">
+              <node concept="10Nm6u" id="HOeeeUcZFj" role="3uHU7w" />
+              <node concept="37vLTw" id="HOeeeUcYGY" role="3uHU7B">
+                <ref role="3cqZAo" node="6hqFpWniswQ" resolve="root" />
               </node>
             </node>
           </node>
@@ -31182,17 +31233,11 @@
                       </node>
                     </node>
                   </node>
-                  <node concept="37vLTw" id="6hqFpWnfpxN" role="37wK5m">
-                    <ref role="3cqZAo" node="6hqFpWnfpwy" resolve="applyTemplatesStep" />
-                  </node>
-                  <node concept="37vLTw" id="6hqFpWnfpxO" role="37wK5m">
-                    <ref role="3cqZAo" node="6hqFpWnfpwI" resolve="evaluateRulesStep" />
-                  </node>
-                  <node concept="37vLTw" id="6hqFpWnfpxP" role="37wK5m">
-                    <ref role="3cqZAo" node="6hqFpWnfpwO" resolve="collectTypesStep" />
-                  </node>
-                  <node concept="37vLTw" id="6hqFpWnfpxQ" role="37wK5m">
-                    <ref role="3cqZAo" node="6hqFpWnfpwU" resolve="highlightingStep" />
+                  <node concept="2OqwBi" id="HOeeeUdWpy" role="37wK5m">
+                    <node concept="37vLTw" id="HOeeeUdV61" role="2Oq$k0">
+                      <ref role="3cqZAo" node="HOeeeUdv2V" resolve="steps" />
+                    </node>
+                    <node concept="3_kTaI" id="HOeeeUdYfP" role="2OqNvi" />
                   </node>
                 </node>
               </node>
diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps
index d66b63de..48cc67f1 100644
--- a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps
+++ b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps
@@ -43,6 +43,7 @@
     <import index="f4yq" ref="6998f568-f0e9-473b-b4a8-9efb6499fc8d/java:hu.akarnokd.rxjava2.swing(jetbrains.mps.typechecking/)" />
     <import index="6pyv" ref="r:e418ad23-36dc-4ed0-b837-26a7fd157da3(jetbrains.mps.lang.typesystem2.program)" />
     <import index="e5vs" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:org.jetbrains.ide(MPS.IDEA/)" />
+    <import index="u78q" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.typesystem.inference(MPS.Core/)" />
   </imports>
   <registry>
     <language id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples">
@@ -8004,7 +8005,6 @@
                   <node concept="3clFbF" id="Hg6Encbtxl" role="3cqZAp">
                     <node concept="Xjq3P" id="Hg6Encbtxj" role="3clFbG" />
                   </node>
-                  <node concept="3clFbH" id="6kREIVkxfHK" role="3cqZAp" />
                 </node>
               </node>
             </node>
@@ -8503,5 +8503,202 @@
     <node concept="2tJIrI" id="3KwBCAA_elH" role="jymVt" />
     <node concept="3Tm1VV" id="3KwBCAA_elb" role="1B3o_S" />
   </node>
+  <node concept="312cEu" id="HOeeeUbosT">
+    <property role="3GE5qa" value="launch.step" />
+    <property role="TrG5h" value="ComputeBaselineTimeStep" />
+    <node concept="2tJIrI" id="HOeeeUboXO" role="jymVt" />
+    <node concept="3clFbW" id="HOeeeUbp1O" role="jymVt">
+      <node concept="37vLTG" id="HOeeeUbtDu" role="3clF46">
+        <property role="TrG5h" value="repository" />
+        <node concept="3uibUv" id="HOeeeUbtMp" role="1tU5fm">
+          <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="HOeeeUbtPf" role="3clF46">
+        <property role="TrG5h" value="root" />
+        <node concept="3Tqbb2" id="HOeeeUbtYc" role="1tU5fm" />
+      </node>
+      <node concept="3cqZAl" id="HOeeeUbp1Q" role="3clF45" />
+      <node concept="3Tm1VV" id="HOeeeUbp1R" role="1B3o_S" />
+      <node concept="3clFbS" id="HOeeeUbp1S" role="3clF47">
+        <node concept="3clFbF" id="HOeeeUbu1i" role="3cqZAp">
+          <node concept="37vLTI" id="HOeeeUbu1k" role="3clFbG">
+            <node concept="2OqwBi" id="HOeeeUbujE" role="37vLTJ">
+              <node concept="Xjq3P" id="HOeeeUbuoa" role="2Oq$k0" />
+              <node concept="2OwXpG" id="HOeeeUbujH" role="2OqNvi">
+                <ref role="2Oxat5" node="HOeeeUbu1e" resolve="repository" />
+              </node>
+            </node>
+            <node concept="37vLTw" id="HOeeeUbu1o" role="37vLTx">
+              <ref role="3cqZAo" node="HOeeeUbtDu" resolve="repository" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="HOeeeUbutB" role="3cqZAp">
+          <node concept="37vLTI" id="HOeeeUbutD" role="3clFbG">
+            <node concept="2OqwBi" id="HOeeeUbuJX" role="37vLTJ">
+              <node concept="Xjq3P" id="HOeeeUbuS_" role="2Oq$k0" />
+              <node concept="2OwXpG" id="HOeeeUbuK0" role="2OqNvi">
+                <ref role="2Oxat5" node="HOeeeUbutz" resolve="root" />
+              </node>
+            </node>
+            <node concept="37vLTw" id="HOeeeUbutH" role="37vLTx">
+              <ref role="3cqZAo" node="HOeeeUbtPf" resolve="root" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="HOeeeUboXT" role="jymVt" />
+    <node concept="3clFb_" id="HOeeeUbp85" role="jymVt">
+      <property role="TrG5h" value="info" />
+      <property role="1EzhhJ" value="false" />
+      <node concept="17QB3L" id="HOeeeUbp86" role="3clF45" />
+      <node concept="3Tmbuc" id="HOeeeUbp87" role="1B3o_S" />
+      <node concept="3clFbS" id="HOeeeUbp89" role="3clF47">
+        <node concept="3clFbF" id="HOeeeUbpD6" role="3cqZAp">
+          <node concept="Xl_RD" id="HOeeeUbpD5" role="3clFbG">
+            <property role="Xl_RC" value="compute baseline time" />
+          </node>
+        </node>
+      </node>
+      <node concept="2AHcQZ" id="HOeeeUbp8a" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="HOeeeUbp7t" role="jymVt" />
+    <node concept="3clFb_" id="HOeeeUbp7O" role="jymVt">
+      <property role="TrG5h" value="schedule" />
+      <property role="1EzhhJ" value="false" />
+      <node concept="37vLTG" id="HOeeeUbp7P" role="3clF46">
+        <property role="TrG5h" value="prevStep" />
+        <node concept="3uibUv" id="HOeeeUbp7Q" role="1tU5fm">
+          <ref role="3uigEE" to="unkn:~Single" resolve="Single" />
+          <node concept="3uibUv" id="HOeeeUbNwF" role="11_B2D">
+            <ref role="3uigEE" node="1pPth$lAzAx" resolve="Step" />
+            <node concept="3qTvmN" id="HOeeeUbOfW" role="11_B2D" />
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="HOeeeUbp7S" role="3clF46">
+        <property role="TrG5h" value="subscribeScheduler" />
+        <node concept="3uibUv" id="HOeeeUbp7T" role="1tU5fm">
+          <ref role="3uigEE" to="unkn:~Scheduler" resolve="Scheduler" />
+        </node>
+      </node>
+      <node concept="3uibUv" id="HOeeeUbp7U" role="3clF45">
+        <ref role="3uigEE" to="unkn:~Single" resolve="Single" />
+        <node concept="3qUE_q" id="HOeeeUbp7V" role="11_B2D">
+          <node concept="3uibUv" id="HOeeeUbp7W" role="3qUE_r">
+            <ref role="3uigEE" node="1pPth$lAzAx" resolve="Step" />
+            <node concept="3qTvmN" id="HOeeeUbp7X" role="11_B2D" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tmbuc" id="HOeeeUbp7Y" role="1B3o_S" />
+      <node concept="3clFbS" id="HOeeeUbp81" role="3clF47">
+        <node concept="3clFbF" id="HOeeeUbpVa" role="3cqZAp">
+          <node concept="2OqwBi" id="HOeeeUbqo4" role="3clFbG">
+            <node concept="37vLTw" id="HOeeeUbpV8" role="2Oq$k0">
+              <ref role="3cqZAo" node="HOeeeUbp7P" resolve="prevStep" />
+            </node>
+            <node concept="liA8E" id="HOeeeUbqUm" role="2OqNvi">
+              <ref role="37wK5l" to="unkn:~Single.map(io.reactivex.functions.Function):io.reactivex.Single" resolve="map" />
+              <node concept="1bVj0M" id="HOeeeUbrlt" role="37wK5m">
+                <node concept="37vLTG" id="HOeeeUbrCB" role="1bW2Oz">
+                  <property role="TrG5h" value="prev" />
+                  <node concept="3uibUv" id="HOeeeUbN0H" role="1tU5fm">
+                    <ref role="3uigEE" node="1pPth$lAzAx" resolve="Step" />
+                    <node concept="3qTvmN" id="HOeeeUbN9q" role="11_B2D" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="HOeeeUbrlu" role="1bW5cS">
+                  <node concept="3clFbH" id="HOeeeUbsaB" role="3cqZAp" />
+                  <node concept="1QHqEK" id="HOeeeUbvsi" role="3cqZAp">
+                    <node concept="1QHqEC" id="HOeeeUbvsk" role="1QHqEI">
+                      <node concept="3clFbS" id="HOeeeUbvsm" role="1bW5cS">
+                        <node concept="3clFbF" id="HOeeeUbzU4" role="3cqZAp">
+                          <node concept="2OqwBi" id="HOeeeUb$tE" role="3clFbG">
+                            <node concept="2YIFZM" id="HOeeeUb$e9" role="2Oq$k0">
+                              <ref role="37wK5l" to="u78q:~TypeContextManager.getInstance():jetbrains.mps.typesystem.inference.TypeContextManager" resolve="getInstance" />
+                              <ref role="1Pybhc" to="u78q:~TypeContextManager" resolve="TypeContextManager" />
+                            </node>
+                            <node concept="liA8E" id="HOeeeUb$He" role="2OqNvi">
+                              <ref role="37wK5l" to="u78q:~TypeContextManager.runTypeCheckingAction(org.jetbrains.mps.openapi.model.SNode,jetbrains.mps.typesystem.inference.ITypechecking$Action):void" resolve="runTypeCheckingAction" />
+                              <node concept="37vLTw" id="HOeeeUb_1L" role="37wK5m">
+                                <ref role="3cqZAo" node="HOeeeUbutz" resolve="root" />
+                              </node>
+                              <node concept="1bVj0M" id="HOeeeUb_po" role="37wK5m">
+                                <node concept="37vLTG" id="HOeeeUbBLc" role="1bW2Oz">
+                                  <property role="TrG5h" value="context" />
+                                  <node concept="3uibUv" id="HOeeeUbC1b" role="1tU5fm">
+                                    <ref role="3uigEE" to="u78q:~TypeCheckingContext" resolve="TypeCheckingContext" />
+                                  </node>
+                                </node>
+                                <node concept="3clFbS" id="HOeeeUb_pq" role="1bW5cS">
+                                  <node concept="3clFbH" id="HOeeeUb_zD" role="3cqZAp" />
+                                  <node concept="3clFbF" id="HOeeeUbCxC" role="3cqZAp">
+                                    <node concept="2OqwBi" id="HOeeeUbCOt" role="3clFbG">
+                                      <node concept="37vLTw" id="HOeeeUbCxA" role="2Oq$k0">
+                                        <ref role="3cqZAo" node="HOeeeUbBLc" resolve="context" />
+                                      </node>
+                                      <node concept="liA8E" id="HOeeeUbDwZ" role="2OqNvi">
+                                        <ref role="37wK5l" to="u78q:~TypeCheckingContext.checkIfNotChecked(org.jetbrains.mps.openapi.model.SNode,boolean):boolean" resolve="checkIfNotChecked" />
+                                        <node concept="37vLTw" id="HOeeeUbDJH" role="37wK5m">
+                                          <ref role="3cqZAo" node="HOeeeUbutz" resolve="root" />
+                                        </node>
+                                        <node concept="3clFbT" id="HOeeeUbEc5" role="37wK5m">
+                                          <property role="3clFbU" value="false" />
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="3clFbH" id="HOeeeUb_zI" role="3cqZAp" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="37vLTw" id="HOeeeUbvO$" role="ukAjM">
+                      <ref role="3cqZAo" node="HOeeeUbu1e" resolve="repository" />
+                    </node>
+                  </node>
+                  <node concept="3clFbF" id="HOeeeUbsu$" role="3cqZAp">
+                    <node concept="Xjq3P" id="HOeeeUbsuy" role="3clFbG" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2AHcQZ" id="HOeeeUbp82" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="HOeeeUbEF$" role="jymVt" />
+    <node concept="3Tm1VV" id="HOeeeUbosU" role="1B3o_S" />
+    <node concept="3uibUv" id="HOeeeUboG4" role="1zkMxy">
+      <ref role="3uigEE" node="1pPth$lAzAx" resolve="Step" />
+      <node concept="3uibUv" id="HOeeeUbM8D" role="11_B2D">
+        <ref role="3uigEE" node="1pPth$lAzAx" resolve="Step" />
+        <node concept="3qTvmN" id="HOeeeUbMK1" role="11_B2D" />
+      </node>
+    </node>
+    <node concept="312cEg" id="HOeeeUbu1e" role="jymVt">
+      <property role="TrG5h" value="repository" />
+      <node concept="3Tm6S6" id="HOeeeUbu1f" role="1B3o_S" />
+      <node concept="3uibUv" id="HOeeeUbu1h" role="1tU5fm">
+        <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
+      </node>
+    </node>
+    <node concept="312cEg" id="HOeeeUbutz" role="jymVt">
+      <property role="TrG5h" value="root" />
+      <node concept="3Tm6S6" id="HOeeeUbut$" role="1B3o_S" />
+      <node concept="3Tqbb2" id="HOeeeUbutA" role="1tU5fm" />
+    </node>
+  </node>
 </model>