From 3b456a9063ded18f66f7aa48dcfa77f80ad7e61d Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Mon, 1 Jun 2020 11:37:46 +0300
Subject: [PATCH] minor refactorings in bl typesystem

---
 .../jetbrains.mps.baseLanguageExt.types.mps   | 1346 ++++++++---------
 1 file changed, 646 insertions(+), 700 deletions(-)

diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
index 74e06d9f..0401d80c 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
@@ -1695,514 +1695,6 @@
         </node>
       </node>
     </node>
-    <node concept="1nLNMY" id="12QmIo_9_jF" role="1nK1Vg">
-      <property role="TrG5h" value="staticFieldReference" />
-      <node concept="3clFbS" id="12QmIo_9_jG" role="1nLNMH">
-        <node concept="1mebxG" id="4ZxjFYHlqHk" role="3cqZAp">
-          <node concept="2OqwBi" id="4ZxjFYHlqVz" role="1mebXD">
-            <node concept="3A2sRY" id="4ZxjFYHlqIA" role="2Oq$k0">
-              <ref role="3A2yKK" node="12QmIo_9_MJ" resolve="sfr" />
-            </node>
-            <node concept="3TrEf2" id="4ZxjFYHlroB" role="2OqNvi">
-              <ref role="3Tt5mk" to="tpee:f_2Pw7K" resolve="staticFieldDeclaration" />
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="12QmIo_9A79" role="3cqZAp" />
-        <node concept="1nLNNL" id="12QmIo_9BkL" role="3cqZAp">
-          <node concept="1nLNMm" id="12QmIo_9BkN" role="1nLNNK">
-            <node concept="3Aq93q" id="12QmIo_9B_O" role="1nLNMb">
-              <property role="3ArMco" value="true" />
-              <node concept="3I6sU6" id="12QmIo_9B_P" role="3Ip0Jz">
-                <node concept="3I6s7M" id="12QmIo_9BAD" role="3I6sU7">
-                  <node concept="3Aqt3T" id="12QmIo_9BAC" role="3I6s78">
-                    <ref role="3AqCNq" node="34$A1MfabR$" resolve="checkAll" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="12QmIo_9Bnu" role="0Rg$4">
-              <node concept="aZer4" id="12QmIo_9Bnz" role="3XD1gS">
-                <property role="TrG5h" value="FieldType" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNBg" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="6E2cNicdihA" role="3xSepv">
-              <node concept="3Aq9E8" id="12QmIo_9BIc" role="3xSepj">
-                <node concept="3I6sU6" id="12QmIo_9BId" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4ZxjFYHlrC6" role="3I6sU7">
-                    <node concept="3jbYBd" id="5itBwMb5r7q" role="3I6s78">
-                      <ref role="3jbY9l" node="5itBwMau8m1" resolve="lift" />
-                      <node concept="2OqwBi" id="12QmIo_9BOD" role="3jbY8P">
-                        <node concept="2OqwBi" id="12QmIo_9BOE" role="2Oq$k0">
-                          <node concept="3A2sRY" id="12QmIo_9BOF" role="2Oq$k0">
-                            <ref role="3A2yKK" node="12QmIo_9_MJ" resolve="sfr" />
-                          </node>
-                          <node concept="3TrEf2" id="12QmIo_9BOG" role="2OqNvi">
-                            <ref role="3Tt5mk" to="tpee:f_2Pw7K" resolve="staticFieldDeclaration" />
-                          </node>
-                        </node>
-                        <node concept="3TrEf2" id="12QmIo_9BOH" role="2OqNvi">
-                          <ref role="3Tt5mk" to="tpee:4VkOLwjf83e" resolve="type" />
-                        </node>
-                      </node>
-                      <node concept="a7P8L" id="12QmIo_9BOC" role="3jbY8V">
-                        <ref role="a7OzE" node="12QmIo_9Bnz" resolve="FieldType" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="4ZxjFYHlrC7" role="3I6sU7">
-                    <node concept="3Aqt3T" id="12QmIo_9BOJ" role="3I6s78">
-                      <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                      <node concept="37jhX" id="1TH_SRmhrt7" role="3AunhB">
-                        <node concept="3A2sRY" id="12QmIo_9BOL" role="37jj2">
-                          <ref role="3A2yKK" node="12QmIo_9_MJ" resolve="sfr" />
-                        </node>
-                      </node>
-                      <node concept="a7P8L" id="12QmIo_9BOM" role="3AunhB">
-                        <ref role="a7OzE" node="12QmIo_9Bnz" resolve="FieldType" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="12QmIo_9_MI" role="1nLNMg">
-        <ref role="2t_S0q" to="tpee:f_0M0x6" resolve="StaticFieldReference" />
-        <node concept="3A20r5" id="12QmIo_9_MJ" role="2t_VXX">
-          <property role="TrG5h" value="sfr" />
-        </node>
-      </node>
-    </node>
-    <node concept="1nLNMY" id="12QmIo_7sjL" role="1nK1Vg">
-      <property role="TrG5h" value="variableReference" />
-      <node concept="3clFbS" id="12QmIo_7sjM" role="1nLNMH">
-        <node concept="1nLNNL" id="12QmIo_7sjN" role="3cqZAp">
-          <node concept="1nLNMm" id="12QmIo_7sjO" role="1nLNNK">
-            <node concept="3Aq93q" id="34$A1MfacdF" role="1nLNMb">
-              <property role="3ArMco" value="true" />
-              <node concept="3I6sU6" id="34$A1MfacdG" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5moyjRHo5vI" role="3I6sU7">
-                  <node concept="3Aqt3T" id="5moyjRHo5vG" role="3I6s78">
-                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                    <node concept="37jhX" id="1TH_SRmhrt8" role="3AunhB">
-                      <node concept="2OqwBi" id="5moyjRHo5vV" role="37jj2">
-                        <node concept="3A2sRY" id="5moyjRHo5vW" role="2Oq$k0">
-                          <ref role="3A2yKK" node="7gr_romnvxW" resolve="vref" />
-                        </node>
-                        <node concept="3TrEf2" id="5moyjRHo5vX" role="2OqNvi">
-                          <ref role="3Tt5mk" to="tpee:fzcqZ_w" resolve="variableDeclaration" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="a7P8L" id="5moyjRHo65E" role="3AunhB">
-                      <ref role="a7OzE" node="7mm1a3qT4HQ" resolve="DeclType" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="4nIWweB_uLk" role="0Rg$4">
-              <node concept="aZer4" id="7mm1a3qT4HQ" role="3XD1gS">
-                <property role="TrG5h" value="DeclType" />
-              </node>
-              <node concept="aZer4" id="2HYHa0WMaIa" role="3XD1gS">
-                <property role="TrG5h" value="StripT" />
-              </node>
-              <node concept="aZer4" id="3R6X$QVSRaY" role="3XD1gS">
-                <property role="TrG5h" value="CaptureT" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNBh" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="6E2cNicdihB" role="3xSepv">
-              <node concept="3Aq9E8" id="7gr_romnvqt" role="3xSepj">
-                <node concept="3I6sU6" id="4nIWweB_v4C" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="2HYHa0WMaNb" role="3I6sU7">
-                    <node concept="3Aqt3T" id="2HYHa0WMaN9" role="3I6s78">
-                      <ref role="3AqCNq" node="2HYHa0WMaId" resolve="stripValue" />
-                      <node concept="a7P8L" id="2HYHa0WMaNt" role="3AunhB">
-                        <ref role="a7OzE" node="2HYHa0WMaIa" resolve="StripT" />
-                      </node>
-                      <node concept="a7P8L" id="2HYHa0WMaNz" role="3AunhB">
-                        <ref role="a7OzE" node="7mm1a3qT4HQ" resolve="DeclType" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="3R6X$QVSRyw" role="3I6sU7">
-                    <node concept="3Aqt3T" id="3R6X$QVSRyu" role="3I6s78">
-                      <ref role="3AqCNq" node="3wxtToEiJ2p" resolve="capture" />
-                      <node concept="a7P8L" id="3R6X$QVSRAz" role="3AunhB">
-                        <ref role="a7OzE" node="3R6X$QVSRaY" resolve="CaptureT" />
-                      </node>
-                      <node concept="a7P8L" id="3R6X$QVSRPX" role="3AunhB">
-                        <ref role="a7OzE" node="2HYHa0WMaIa" resolve="StripT" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="2HYHa0WMaMG" role="3I6sU7">
-                    <node concept="3Aqt3T" id="34$A1MfhpMJ" role="3I6s78">
-                      <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                      <node concept="37jhX" id="1TH_SRmhrt9" role="3AunhB">
-                        <node concept="3A2sRY" id="34$A1MfhpMH" role="37jj2">
-                          <ref role="3A2yKK" node="7gr_romnvxW" resolve="vref" />
-                        </node>
-                      </node>
-                      <node concept="a7P8L" id="3R6X$QVSS1z" role="3AunhB">
-                        <ref role="a7OzE" node="3R6X$QVSRaY" resolve="CaptureT" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="7gr_romnvxV" role="1nLNMg">
-        <ref role="2t_S0q" to="tpee:fz7vLUo" resolve="VariableReference" />
-        <node concept="3A20r5" id="7gr_romnvxW" role="2t_VXX">
-          <property role="TrG5h" value="vref" />
-        </node>
-      </node>
-    </node>
-    <node concept="1nLNMY" id="12QmIo_c_R7" role="1nK1Vg">
-      <property role="TrG5h" value="fieldReferenceOperation" />
-      <node concept="3clFbS" id="12QmIo_c_R8" role="1nLNMH">
-        <node concept="3cpWs8" id="12QmIo_cBBk" role="3cqZAp">
-          <node concept="3cpWsn" id="12QmIo_cBBl" role="3cpWs9">
-            <property role="TrG5h" value="cls" />
-            <node concept="3Tqbb2" id="12QmIo_cBBd" role="1tU5fm">
-              <ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
-            </node>
-            <node concept="1PxgMI" id="12QmIo_cBBm" role="33vP2m">
-              <node concept="2OqwBi" id="12QmIo_cBBn" role="1m5AlR">
-                <node concept="2OqwBi" id="12QmIo_cBBo" role="2Oq$k0">
-                  <node concept="3A2sRY" id="12QmIo_cBBp" role="2Oq$k0">
-                    <ref role="3A2yKK" node="12QmIo_cAc2" resolve="fro" />
-                  </node>
-                  <node concept="3TrEf2" id="12QmIo_cBBq" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:hqOxapj" resolve="fieldDeclaration" />
-                  </node>
-                </node>
-                <node concept="1mfA1w" id="12QmIo_cBBr" role="2OqNvi" />
-              </node>
-              <node concept="chp4Y" id="12QmIo_cBBs" role="3oSUPX">
-                <ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3cpWs8" id="12QmIo_cAgQ" role="3cqZAp">
-          <node concept="3cpWsn" id="12QmIo_cAgR" role="3cpWs9">
-            <property role="TrG5h" value="tvds" />
-            <node concept="2I9FWS" id="12QmIo_cAgS" role="1tU5fm">
-              <ref role="2I9WkF" to="tpee:g96euPO" resolve="TypeVariableDeclaration" />
-            </node>
-            <node concept="2OqwBi" id="12QmIo_cAgT" role="33vP2m">
-              <node concept="37vLTw" id="12QmIo_cBBu" role="2Oq$k0">
-                <ref role="3cqZAo" node="12QmIo_cBBl" resolve="cls" />
-              </node>
-              <node concept="3Tsc0h" id="12QmIo_cAh1" role="2OqNvi">
-                <ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3cpWs8" id="2PEDwPShzZh" role="3cqZAp">
-          <node concept="3cpWsn" id="2PEDwPShzZi" role="3cpWs9">
-            <property role="TrG5h" value="subs" />
-            <node concept="3uibUv" id="2PEDwPShzZj" role="1tU5fm">
-              <ref role="3uigEE" node="6EY0p2w8VOq" resolve="TypeVarSubstitution" />
-            </node>
-            <node concept="2ShNRf" id="2PEDwPShzZk" role="33vP2m">
-              <node concept="1pGfFk" id="2PEDwPShzZl" role="2ShVmc">
-                <ref role="37wK5l" node="6EY0p2wsoT6" resolve="TypeVarSubstitution" />
-                <node concept="37vLTw" id="2PEDwPSh_6a" role="37wK5m">
-                  <ref role="3cqZAo" node="12QmIo_cAgR" resolve="tvds" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="12QmIo_cBVc" role="3cqZAp" />
-        <node concept="1nLNNL" id="12QmIo_cCic" role="3cqZAp">
-          <node concept="1nLNMm" id="12QmIo_cCie" role="1nLNNK">
-            <node concept="3Aq93q" id="12QmIo_cCu7" role="1nLNMb">
-              <property role="3ArMco" value="true" />
-              <node concept="3I6sU6" id="12QmIo_cCu8" role="3Ip0Jz">
-                <node concept="3I6s7M" id="12QmIo_cCG7" role="3I6sU7">
-                  <node concept="3Aqt3T" id="12QmIo_cCG8" role="3I6s78">
-                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                    <node concept="37jhX" id="1TH_SRmhrtb" role="3AunhB">
-                      <node concept="2OqwBi" id="12QmIo_cCGa" role="37jj2">
-                        <node concept="3A2sRY" id="12QmIo_cCGb" role="2Oq$k0">
-                          <ref role="3A2yKK" node="12QmIo_cAc2" resolve="fro" />
-                        </node>
-                        <node concept="2qgKlT" id="12QmIo_cCGc" role="2OqNvi">
-                          <ref role="37wK5l" to="tpek:hEwIP$m" resolve="getOperand" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="a7P8L" id="6cPUNFQEuij" role="3AunhB">
-                      <ref role="a7OzE" node="12QmIo_cCll" resolve="OpndType" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="12QmIo_cClk" role="0Rg$4">
-              <node concept="aZer4" id="12QmIo_cCll" role="3XD1gS">
-                <property role="TrG5h" value="OpndType" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNBi" role="3vLBG7" />
-            </node>
-            <node concept="3NuqgR" id="12QmIo_cClm" role="0Rg$4">
-              <node concept="aZer4" id="12QmIo_cCln" role="3XD1gS">
-                <property role="TrG5h" value="OpndTypeCap" />
-              </node>
-              <node concept="aZer4" id="12QmIo_cClo" role="3XD1gS">
-                <property role="TrG5h" value="OpClsType" />
-              </node>
-              <node concept="aZer4" id="12QmIo_cClp" role="3XD1gS">
-                <property role="TrG5h" value="OpClsTypevars" />
-                <node concept="2OqwBi" id="12QmIo_cClq" role="3gj$pD">
-                  <node concept="34oBXx" id="12QmIo_cClu" role="2OqNvi" />
-                  <node concept="37vLTw" id="2PEDwPShWWz" role="2Oq$k0">
-                    <ref role="3cqZAo" node="12QmIo_cAgR" resolve="tvds" />
-                  </node>
-                </node>
-              </node>
-              <node concept="aZer4" id="12QmIo_cClv" role="3XD1gS">
-                <property role="TrG5h" value="FroType" />
-              </node>
-              <node concept="aZer4" id="12QmIo_cClw" role="3XD1gS">
-                <property role="TrG5h" value="FroTypeCap" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNBj" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="6E2cNicdihC" role="3xSepv">
-              <node concept="3Aq9E8" id="12QmIo_cDg6" role="3xSepj">
-                <node concept="3I6sU6" id="12QmIo_cDg7" role="3Ip0Jz">
-                  <node concept="3IrJb3" id="12QmIo_cDk2" role="3I6sU7">
-                    <node concept="3clFbS" id="12QmIo_cDk3" role="3IrJb0">
-                      <node concept="3SKdUt" id="6cPUNFQM5oc" role="3cqZAp">
-                        <node concept="1PaTwC" id="6cPUNFQM5od" role="1aUNEU">
-                          <node concept="3oM_SD" id="6cPUNFQM5of" role="1PaTwD">
-                            <property role="3oM_SC" value="capture" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7N0" role="1PaTwD">
-                            <property role="3oM_SC" value="type" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7N3" role="1PaTwD">
-                            <property role="3oM_SC" value="variable" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7N7" role="1PaTwD">
-                            <property role="3oM_SC" value="args" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7Nc" role="1PaTwD">
-                            <property role="3oM_SC" value="with" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7Ni" role="1PaTwD">
-                            <property role="3oM_SC" value="a" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7Np" role="1PaTwD">
-                            <property role="3oM_SC" value="help" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7Nx" role="1PaTwD">
-                            <property role="3oM_SC" value="of" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7NE" role="1PaTwD">
-                            <property role="3oM_SC" value="convertsTo" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3Aqczg" id="6cPUNFQEsUr" role="3cqZAp">
-                        <node concept="3A8Hvi" id="6cPUNFQEsUl" role="3Aqpz8">
-                          <node concept="a7P8L" id="6cPUNFQEvn7" role="3A8wtg">
-                            <ref role="a7OzE" node="12QmIo_cClo" resolve="OpClsType" />
-                          </node>
-                          <node concept="ns1u0" id="6cPUNFQEtqh" role="3A8w4Q">
-                            <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifier" />
-                            <node concept="nsMwS" id="6cPUNFQEtxT" role="ns1xD">
-                              <ref role="nsMwP" node="ZJPHcupkiC" resolve="typeParams" />
-                              <node concept="1nq8_$" id="6cPUNFQEtHo" role="nsMwV">
-                                <node concept="a7P8L" id="6cPUNFQEtLi" role="1nq8_t">
-                                  <ref role="a7OzE" node="12QmIo_cClp" resolve="OpClsTypevars" />
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3Aqczg" id="6cPUNFQEs6i" role="3cqZAp">
-                        <node concept="3Aqt3T" id="6cPUNFQEs6j" role="3Aqpz8">
-                          <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                          <node concept="a7P8L" id="6cPUNFQEsEa" role="3AunhB">
-                            <ref role="a7OzE" node="12QmIo_cCll" resolve="OpndType" />
-                          </node>
-                          <node concept="a7P8L" id="6cPUNFQEv0a" role="3AunhB">
-                            <ref role="a7OzE" node="12QmIo_cClo" resolve="OpClsType" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3SKdUt" id="6cPUNFQM7NO" role="3cqZAp">
-                        <node concept="1PaTwC" id="6cPUNFQM7NP" role="1aUNEU">
-                          <node concept="3oM_SD" id="6cPUNFQM7Q$" role="1PaTwD">
-                            <property role="3oM_SC" value="use" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7QA" role="1PaTwD">
-                            <property role="3oM_SC" value="substitution" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7QD" role="1PaTwD">
-                            <property role="3oM_SC" value="to" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7QH" role="1PaTwD">
-                            <property role="3oM_SC" value="correctly" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7QM" role="1PaTwD">
-                            <property role="3oM_SC" value="instantiate" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7QS" role="1PaTwD">
-                            <property role="3oM_SC" value="a" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM8mm" role="1PaTwD">
-                            <property role="3oM_SC" value="type" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7QZ" role="1PaTwD">
-                            <property role="3oM_SC" value="of" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7R7" role="1PaTwD">
-                            <property role="3oM_SC" value="the" />
-                          </node>
-                          <node concept="3oM_SD" id="6cPUNFQM7YZ" role="1PaTwD">
-                            <property role="3oM_SC" value="field" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="1Dw8fO" id="2PEDwPShI6L" role="3cqZAp">
-                        <node concept="3clFbS" id="2PEDwPShI6N" role="2LFqv$">
-                          <node concept="3clFbF" id="2PEDwPShRzO" role="3cqZAp">
-                            <node concept="2OqwBi" id="2PEDwPShRDy" role="3clFbG">
-                              <node concept="37vLTw" id="2PEDwPShRzM" role="2Oq$k0">
-                                <ref role="3cqZAo" node="2PEDwPShzZi" resolve="subs" />
-                              </node>
-                              <node concept="liA8E" id="2PEDwPShRSF" role="2OqNvi">
-                                <ref role="37wK5l" node="6EY0p2w8YaM" resolve="substitute" />
-                                <node concept="1y4W85" id="2PEDwPShUA5" role="37wK5m">
-                                  <node concept="37vLTw" id="2PEDwPShUL6" role="1y58nS">
-                                    <ref role="3cqZAo" node="2PEDwPShI6O" resolve="i" />
-                                  </node>
-                                  <node concept="37vLTw" id="2PEDwPShS4p" role="1y566C">
-                                    <ref role="3cqZAo" node="12QmIo_cAgR" resolve="tvds" />
-                                  </node>
-                                </node>
-                                <node concept="3IkZw_" id="hYA4REfKsN" role="37wK5m">
-                                  <node concept="a7P8L" id="2PEDwPShWlh" role="3Ikct_">
-                                    <ref role="a7OzE" node="12QmIo_cClp" resolve="OpClsTypevars" />
-                                    <node concept="37vLTw" id="2PEDwPShW_S" role="3gCZO6">
-                                      <ref role="3cqZAo" node="2PEDwPShI6O" resolve="i" />
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="3cpWsn" id="2PEDwPShI6O" role="1Duv9x">
-                          <property role="TrG5h" value="i" />
-                          <node concept="10Oyi0" id="2PEDwPShI7C" role="1tU5fm" />
-                          <node concept="3cmrfG" id="2PEDwPShIft" role="33vP2m">
-                            <property role="3cmrfH" value="0" />
-                          </node>
-                        </node>
-                        <node concept="3eOVzh" id="2PEDwPShJ86" role="1Dwp0S">
-                          <node concept="2OqwBi" id="2PEDwPShMnd" role="3uHU7w">
-                            <node concept="37vLTw" id="2PEDwPShJca" role="2Oq$k0">
-                              <ref role="3cqZAo" node="12QmIo_cAgR" resolve="tvds" />
-                            </node>
-                            <node concept="34oBXx" id="2PEDwPShQgX" role="2OqNvi" />
-                          </node>
-                          <node concept="37vLTw" id="2PEDwPShIfA" role="3uHU7B">
-                            <ref role="3cqZAo" node="2PEDwPShI6O" resolve="i" />
-                          </node>
-                        </node>
-                        <node concept="3uNrnE" id="2PEDwPShRmV" role="1Dwrff">
-                          <node concept="37vLTw" id="2PEDwPShRmX" role="2$L3a6">
-                            <ref role="3cqZAo" node="2PEDwPShI6O" resolve="i" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3Aqczg" id="5itBwMb137l" role="3cqZAp">
-                        <node concept="3jbYBd" id="5itBwMb137i" role="3Aqpz8">
-                          <ref role="3jbY9l" node="5itBwMau8m1" resolve="lift" />
-                          <node concept="2OqwBi" id="5itBwMb15A5" role="3jbY8P">
-                            <node concept="2OqwBi" id="5itBwMb14z2" role="2Oq$k0">
-                              <node concept="3A2sRY" id="5itBwMb13Zm" role="2Oq$k0">
-                                <ref role="3A2yKK" node="12QmIo_cAc2" resolve="fro" />
-                              </node>
-                              <node concept="3TrEf2" id="5itBwMb14Pg" role="2OqNvi">
-                                <ref role="3Tt5mk" to="tpee:hqOxapj" resolve="fieldDeclaration" />
-                              </node>
-                            </node>
-                            <node concept="3TrEf2" id="5itBwMb16L7" role="2OqNvi">
-                              <ref role="3Tt5mk" to="tpee:4VkOLwjf83e" resolve="type" />
-                            </node>
-                          </node>
-                          <node concept="a7P8L" id="5itBwMb13Zf" role="3jbY8V">
-                            <ref role="a7OzE" node="12QmIo_cClv" resolve="FroType" />
-                          </node>
-                          <node concept="3jhG_Y" id="5itBwMb17d9" role="3jhGvd">
-                            <node concept="3jhG_Z" id="5itBwMb184R" role="3jhGob">
-                              <ref role="3jhG_U" node="5itBwMaLICh" resolve="substitution" />
-                              <node concept="37vLTw" id="5itBwMb18wL" role="3jhG_S">
-                                <ref role="3cqZAo" node="2PEDwPShzZi" resolve="subs" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3Aqczg" id="12QmIo_cDkx" role="3cqZAp">
-                        <node concept="3Aqt3T" id="12QmIo_cDky" role="3Aqpz8">
-                          <ref role="3AqCNq" node="3wxtToEiJ2p" resolve="capture" />
-                          <node concept="a7P8L" id="12QmIo_cDkz" role="3AunhB">
-                            <ref role="a7OzE" node="12QmIo_cClw" resolve="FroTypeCap" />
-                          </node>
-                          <node concept="a7P8L" id="12QmIo_cDk$" role="3AunhB">
-                            <ref role="a7OzE" node="12QmIo_cClv" resolve="FroType" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3Aqczg" id="12QmIo_cDk_" role="3cqZAp">
-                        <node concept="3Aqt3T" id="12QmIo_cDkA" role="3Aqpz8">
-                          <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                          <node concept="37jhX" id="1TH_SRmhrta" role="3AunhB">
-                            <node concept="3A2sRY" id="12QmIo_cDkC" role="37jj2">
-                              <ref role="3A2yKK" node="12QmIo_cAc2" resolve="fro" />
-                            </node>
-                          </node>
-                          <node concept="a7P8L" id="12QmIo_cDkD" role="3AunhB">
-                            <ref role="a7OzE" node="12QmIo_cClw" resolve="FroTypeCap" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="12QmIo_cAc1" role="1nLNMg">
-        <ref role="2t_S0q" to="tpee:hqOwXtU" resolve="FieldReferenceOperation" />
-        <node concept="3A20r5" id="12QmIo_cAc2" role="2t_VXX">
-          <property role="TrG5h" value="fro" />
-        </node>
-      </node>
-    </node>
     <node concept="1nLNMY" id="12QmIo_7sjP" role="1nK1Vg">
       <property role="TrG5h" value="nullLiteral" />
       <node concept="3clFbS" id="12QmIo_7sjQ" role="1nLNMH">
@@ -2263,129 +1755,6 @@
         </node>
       </node>
     </node>
-    <node concept="1nLNMY" id="12QmIo_7sjT" role="1nK1Vg">
-      <property role="TrG5h" value="thisExpression" />
-      <node concept="3clFbS" id="12QmIo_7sjU" role="1nLNMH">
-        <node concept="3clFbH" id="72mVWmTNv6J" role="3cqZAp" />
-        <node concept="3cpWs8" id="12QmIo_7sjV" role="3cqZAp">
-          <node concept="3cpWsn" id="4nIWweB_wxn" role="3cpWs9">
-            <property role="TrG5h" value="cc" />
-            <node concept="3Tqbb2" id="4nIWweB_wGr" role="1tU5fm">
-              <ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
-            </node>
-            <node concept="3K4zz7" id="72mVWmTNs_7" role="33vP2m">
-              <node concept="2OqwBi" id="72mVWmTNsLF" role="3K4E3e">
-                <node concept="3A2sRY" id="72mVWmTNsCR" role="2Oq$k0">
-                  <ref role="3A2yKK" node="2QE4RCG91q8" resolve="te" />
-                </node>
-                <node concept="2Xjw5R" id="72mVWmTNt55" role="2OqNvi">
-                  <node concept="1xMEDy" id="72mVWmTNt57" role="1xVPHs">
-                    <node concept="chp4Y" id="72mVWmTNupN" role="ri$Ld">
-                      <ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="2OqwBi" id="72mVWmTNu4y" role="3K4GZi">
-                <node concept="3A2sRY" id="72mVWmTNt9_" role="2Oq$k0">
-                  <ref role="3A2yKK" node="2QE4RCG91q8" resolve="te" />
-                </node>
-                <node concept="3TrEf2" id="72mVWmTNukH" role="2OqNvi">
-                  <ref role="3Tt5mk" to="tpee:hdHBi6N" resolve="classConcept" />
-                </node>
-              </node>
-              <node concept="2OqwBi" id="72mVWmTNrvx" role="3K4Cdx">
-                <node concept="2OqwBi" id="4nIWweB_wzo" role="2Oq$k0">
-                  <node concept="3A2sRY" id="4nIWweB_wzp" role="2Oq$k0">
-                    <ref role="3A2yKK" node="2QE4RCG91q8" resolve="te" />
-                  </node>
-                  <node concept="3TrEf2" id="72mVWmTNqxd" role="2OqNvi">
-                    <ref role="3Tt5mk" to="tpee:hdHBi6N" resolve="classConcept" />
-                  </node>
-                </node>
-                <node concept="3w_OXm" id="72mVWmTNs9T" role="2OqNvi" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="1mebxG" id="72mVWmTNuWx" role="3cqZAp">
-          <node concept="37vLTw" id="72mVWmTNuXt" role="1mebXD">
-            <ref role="3cqZAo" node="4nIWweB_wxn" resolve="cc" />
-          </node>
-        </node>
-        <node concept="3clFbH" id="72mVWmTNqfh" role="3cqZAp" />
-        <node concept="1nLNNL" id="12QmIo_7sk2" role="3cqZAp">
-          <node concept="1nLNMm" id="12QmIo_7sk3" role="1nLNNK">
-            <node concept="3Aq93q" id="34$A1MfacdV" role="1nLNMb">
-              <property role="3ArMco" value="true" />
-              <node concept="3I6sU6" id="34$A1MfacdW" role="3Ip0Jz">
-                <node concept="3I6s7M" id="34$A1Mface0" role="3I6sU7">
-                  <node concept="3Aqt3T" id="34$A1MfacdZ" role="3I6s78">
-                    <ref role="3AqCNq" node="34$A1MfabR$" resolve="checkAll" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="4nIWweB_wkl" role="0Rg$4">
-              <node concept="aZer4" id="5JTOzCQRR4X" role="3XD1gS">
-                <property role="TrG5h" value="C" />
-              </node>
-              <node concept="aZer4" id="5JTOzCQRR4s" role="3XD1gS">
-                <property role="TrG5h" value="CP" />
-                <node concept="2OqwBi" id="2QE4RCGbUwB" role="3gj$pD">
-                  <node concept="2OqwBi" id="4nIWweB_x77" role="2Oq$k0">
-                    <node concept="37vLTw" id="12QmIo_7sk5" role="2Oq$k0">
-                      <ref role="3cqZAo" node="4nIWweB_wxn" resolve="cc" />
-                    </node>
-                    <node concept="3Tsc0h" id="4nIWweB_y7M" role="2OqNvi">
-                      <ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
-                    </node>
-                  </node>
-                  <node concept="34oBXx" id="2QE4RCGbZm_" role="2OqNvi" />
-                </node>
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNBl" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="6E2cNicdihE" role="3xSepv">
-              <node concept="3Aq9E8" id="2QE4RCG8WvV" role="3xSepj">
-                <node concept="3I6sU6" id="4nIWweB_zCV" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="5itBwMaUkLr" role="3I6sU7">
-                    <node concept="3jm4v3" id="5itBwMaUkLp" role="3I6s78">
-                      <ref role="3jm46O" node="5itBwMaSqCk" resolve="classifierType" />
-                      <node concept="37vLTw" id="5itBwMaUlDy" role="3jicU7">
-                        <ref role="3cqZAo" node="4nIWweB_wxn" resolve="cc" />
-                      </node>
-                      <node concept="a7P8L" id="5itBwMaUldz" role="3jm6SO">
-                        <ref role="a7OzE" node="5JTOzCQRR4X" resolve="C" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="4nIWweB_zCX" role="3I6sU7">
-                    <node concept="3Aqt3T" id="34$A1MfhpO4" role="3I6s78">
-                      <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                      <node concept="37jhX" id="1TH_SRmhrtd" role="3AunhB">
-                        <node concept="3A2sRY" id="34$A1MfhpO2" role="37jj2">
-                          <ref role="3A2yKK" node="2QE4RCG91q8" resolve="te" />
-                        </node>
-                      </node>
-                      <node concept="a7P8L" id="34$A1MfhpO3" role="3AunhB">
-                        <ref role="a7OzE" node="5JTOzCQRR4X" resolve="C" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="2QE4RCG91q7" role="1nLNMg">
-        <ref role="2t_S0q" to="tpee:f$Xjq0c" resolve="ThisExpression" />
-        <node concept="3A20r5" id="2QE4RCG91q8" role="2t_VXX">
-          <property role="TrG5h" value="te" />
-        </node>
-      </node>
-    </node>
     <node concept="1nLNMY" id="1Py6iKM$Qg" role="1nK1Vg">
       <property role="TrG5h" value="cast_expression" />
       <node concept="3clFbS" id="1Py6iKM$Qh" role="1nLNMH">
@@ -43078,54 +42447,6 @@
     <property role="3GE5qa" value="rule.code" />
     <property role="TrG5h" value="VarDecl" />
     <ref role="2YbDB9" node="34$A1Mf51rY" resolve="TypeOf" />
-    <node concept="1nLNMY" id="12QmIo_7sng" role="1nK1Vg">
-      <property role="TrG5h" value="checkConstructorDeclaration" />
-      <node concept="3clFbS" id="12QmIo_7snh" role="1nLNMH">
-        <node concept="1nLNNL" id="12QmIo_7sni" role="3cqZAp">
-          <node concept="1nLNMm" id="12QmIo_7snj" role="1nLNNK">
-            <node concept="3Aq93q" id="34$A1MfabSF" role="1nLNMb">
-              <property role="3ArMco" value="true" />
-              <node concept="3I6sU6" id="34$A1MfabSG" role="3Ip0Jz">
-                <node concept="3I6s7M" id="34$A1MfabSK" role="3I6sU7">
-                  <node concept="3Aqt3T" id="34$A1MfabSJ" role="3I6s78">
-                    <ref role="3AqCNq" node="34$A1MfabR$" resolve="checkAll" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3xSepi" id="6E2cNicdihH" role="3xSepv">
-              <node concept="3Aq9E8" id="485pdrSJAS2" role="3xSepj">
-                <node concept="3I6sU6" id="4nIWweBEUze" role="3Ip0Jz">
-                  <node concept="3IrJb3" id="4nIWweBEUzf" role="3I6sU7">
-                    <node concept="3clFbS" id="485pdrSJAS8" role="3IrJb0">
-                      <node concept="3SKdUt" id="485pdrSJC2a" role="3cqZAp">
-                        <node concept="1PaTwC" id="589APehYxDO" role="1aUNEU">
-                          <node concept="3oM_SD" id="589APehYxDP" role="1PaTwD">
-                            <property role="3oM_SC" value="todo:" />
-                          </node>
-                          <node concept="3oM_SD" id="589APehYxDQ" role="1PaTwD">
-                            <property role="3oM_SC" value="check" />
-                          </node>
-                          <node concept="3oM_SD" id="589APehYxDR" role="1PaTwD">
-                            <property role="3oM_SC" value="something" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="485pdrSJBvW" role="1nLNMg">
-        <ref role="2t_S0q" to="tpee:fzclF84" resolve="ConstructorDeclaration" />
-        <node concept="3A20r5" id="485pdrSJBvX" role="2t_VXX">
-          <property role="TrG5h" value="cd" />
-        </node>
-      </node>
-    </node>
     <node concept="1nLNMY" id="12QmIo_7snA" role="1nK1Vg">
       <property role="TrG5h" value="checkLocalVariable" />
       <node concept="2t___k" id="6lpwCiZbwic" role="1nLNMg">
@@ -43239,15 +42560,24 @@
               <property role="3oM_SC" value="there" />
             </node>
             <node concept="3oM_SD" id="554EtBHJcRc" role="1PaTwD">
-              <property role="3oM_SC" value="is" />
+              <property role="3oM_SC" value="exists" />
             </node>
             <node concept="3oM_SD" id="554EtBHJcRj" role="1PaTwD">
               <property role="3oM_SC" value="macro" />
             </node>
-            <node concept="3oM_SD" id="554EtBHJcRr" role="1PaTwD">
+            <node concept="3oM_SD" id="1oUE7CX1vTy" role="1PaTwD">
               <property role="3oM_SC" value="for" />
             </node>
-            <node concept="3oM_SD" id="554EtBHJcR$" role="1PaTwD">
+            <node concept="3oM_SD" id="1oUE7CX1vTv" role="1PaTwD">
+              <property role="3oM_SC" value="the" />
+            </node>
+            <node concept="3oM_SD" id="1oUE7CX1vTz" role="1PaTwD">
+              <property role="3oM_SC" value="type" />
+            </node>
+            <node concept="3oM_SD" id="1oUE7CX1vTw" role="1PaTwD">
+              <property role="3oM_SC" value="of" />
+            </node>
+            <node concept="3oM_SD" id="1oUE7CX1vTx" role="1PaTwD">
               <property role="3oM_SC" value="this" />
             </node>
             <node concept="3oM_SD" id="554EtBHJcRI" role="1PaTwD">
@@ -43382,6 +42712,45 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbH" id="1oUE7CX1vOd" role="3cqZAp" />
+        <node concept="1nLNNL" id="1oUE7CX1vF3" role="3cqZAp">
+          <node concept="1nLNMm" id="1oUE7CX1vF4" role="1nLNNK">
+            <node concept="3Aq93q" id="1oUE7CX1vF5" role="1nLNMb">
+              <node concept="3I6sU6" id="1oUE7CX1vF6" role="3Ip0Jz">
+                <node concept="3I6s7M" id="1oUE7CX1vF7" role="3I6sU7">
+                  <node concept="3Aqt3T" id="1oUE7CX1vF8" role="3I6s78">
+                    <ref role="3AqCNq" node="554EtBHJcip" resolve="varDeclImpl" />
+                    <node concept="37jhX" id="1oUE7CX1vF9" role="3AunhB">
+                      <node concept="3A2sRY" id="1oUE7CX1vFa" role="37jj2">
+                        <ref role="3A2yKK" node="7gr_rompslL" resolve="vdecl" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="1oUE7CX1vFb" role="3AunhB">
+                      <ref role="a7OzE" node="1oUE7CX1vFd" resolve="Var" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="1oUE7CX1vFc" role="0Rg$4">
+              <node concept="aZer4" id="1oUE7CX1vFd" role="3XD1gS">
+                <property role="TrG5h" value="Var" />
+              </node>
+              <node concept="32pEOW" id="1oUE7CX1vFe" role="3vLBG7" />
+            </node>
+            <node concept="3Aq9_M" id="1oUE7CX1vFn" role="1nLNMa">
+              <node concept="3I6sU6" id="1oUE7CX1vFo" role="3Ip0Jz">
+                <node concept="3I6s7M" id="1oUE7CX1vFp" role="3I6sU7">
+                  <node concept="2aLmEc" id="1oUE7CX1vOE" role="3I6s78">
+                    <node concept="a7P8L" id="1oUE7CX1vOG" role="2aLmnP">
+                      <ref role="a7OzE" node="1oUE7CX1vFd" resolve="Var" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
       </node>
       <node concept="2t___k" id="7gr_rompslK" role="1nLNMg">
         <ref role="2t_S0q" to="tpee:fz3uBXI" resolve="VariableDeclaration" />
@@ -45877,7 +45246,7 @@
         </node>
         <node concept="A3Dl8" id="6$6scRc1zeR" role="3clF45">
           <node concept="3uibUv" id="6$6scRc1zeT" role="A3Ik2">
-            <ref role="3uigEE" node="6$6scRbYbqY" resolve="HierarchyGraph.Path" />
+            <ref role="3uigEE" node="6$6scRbYbqY" resolve="Path" />
             <node concept="16syzq" id="6$6scRc1zeU" role="11_B2D">
               <ref role="16sUi3" node="5OjpQKwjuZd" resolve="T" />
             </node>
@@ -45890,7 +45259,7 @@
         <node concept="37vLTG" id="3bgqfmm6iYk" role="3clF46">
           <property role="TrG5h" value="origPath" />
           <node concept="3uibUv" id="z9rjE$MoDP" role="1tU5fm">
-            <ref role="3uigEE" node="6$6scRbYbqY" resolve="HierarchyGraph.Path" />
+            <ref role="3uigEE" node="6$6scRbYbqY" resolve="Path" />
             <node concept="16syzq" id="z9rjE$MpFp" role="11_B2D">
               <ref role="16sUi3" node="5OjpQKwjuZd" resolve="T" />
             </node>
@@ -45987,7 +45356,7 @@
               <node concept="TSZUe" id="3bgqfmm6p2s" role="2OqNvi">
                 <node concept="2ShNRf" id="3bgqfmm_n0b" role="25WWJ7">
                   <node concept="1pGfFk" id="3bgqfmm_n0c" role="2ShVmc">
-                    <ref role="37wK5l" node="z9rjE$MqQI" resolve="HierarchyGraph.InstPath" />
+                    <ref role="37wK5l" node="z9rjE$MqQI" resolve="InstPath" />
                     <node concept="16syzq" id="5OjpQKwk46j" role="1pMfVU">
                       <ref role="16sUi3" node="5OjpQKwjuZd" resolve="T" />
                     </node>
@@ -46018,7 +45387,7 @@
         <node concept="2ShNRf" id="74XSvywoy67" role="33vP2m">
           <node concept="Tc6Ow" id="74XSvywoy68" role="2ShVmc">
             <node concept="3uibUv" id="4JBuioG4stb" role="HW$YZ">
-              <ref role="3uigEE" node="6$6scRbYbqY" resolve="HierarchyGraph.Path" />
+              <ref role="3uigEE" node="6$6scRbYbqY" resolve="Path" />
               <node concept="16syzq" id="5OjpQKwk3lF" role="11_B2D">
                 <ref role="16sUi3" node="5OjpQKwjuZd" resolve="T" />
               </node>
@@ -46027,7 +45396,7 @@
         </node>
         <node concept="_YKpA" id="74XSvywoo$s" role="1tU5fm">
           <node concept="3uibUv" id="4JBuioG4qF0" role="_ZDj9">
-            <ref role="3uigEE" node="6$6scRbYbqY" resolve="HierarchyGraph.Path" />
+            <ref role="3uigEE" node="6$6scRbYbqY" resolve="Path" />
             <node concept="16syzq" id="5OjpQKwk1Va" role="11_B2D">
               <ref role="16sUi3" node="5OjpQKwjuZd" resolve="T" />
             </node>
@@ -46149,18 +45518,18 @@
           </node>
         </node>
       </node>
-      <node concept="3uibUv" id="5OjpQKwj$Fu" role="1zkMxy">
-        <ref role="3uigEE" node="5OjpQKwjhNc" resolve="HierarchyGraph.MultiVertex" />
-        <node concept="16syzq" id="5OjpQKwjDJW" role="11_B2D">
-          <ref role="16sUi3" node="74XSvywaG2i" resolve="T" />
-        </node>
-      </node>
       <node concept="3uibUv" id="6$6scRc1ghd" role="EKbjA">
         <ref role="3uigEE" node="4AOWlUmZO70" resolve="HierarchyGraph.OriginVtx" />
         <node concept="16syzq" id="6$6scRc1m8$" role="11_B2D">
           <ref role="16sUi3" node="74XSvywaG2i" resolve="T" />
         </node>
       </node>
+      <node concept="3uibUv" id="5OjpQKwj$Fu" role="1zkMxy">
+        <ref role="3uigEE" node="5OjpQKwjhNc" resolve="HierarchyGraph.MultiVertex" />
+        <node concept="16syzq" id="5OjpQKwjDJW" role="11_B2D">
+          <ref role="16sUi3" node="74XSvywaG2i" resolve="T" />
+        </node>
+      </node>
     </node>
     <node concept="2tJIrI" id="4JBuioH4Eqb" role="jymVt" />
     <node concept="312cEu" id="rZZ6HIC52" role="jymVt">
@@ -46639,13 +46008,6 @@
         <node concept="3cpWs8" id="74XSvywb7Tq" role="3cqZAp">
           <node concept="3cpWsn" id="74XSvywb7Tt" role="3cpWs9">
             <property role="TrG5h" value="pathsQueue" />
-            <node concept="2ThTUU" id="5OjpQKwgnv1" role="1tU5fm">
-              <node concept="_YKpA" id="5OjpQKwgnv3" role="3O5elw">
-                <node concept="16syzq" id="5OjpQKwgnv4" role="_ZDj9">
-                  <ref role="16sUi3" node="74XSvywaW55" resolve="T" />
-                </node>
-              </node>
-            </node>
             <node concept="2ShNRf" id="74XSvywb8h5" role="33vP2m">
               <node concept="2Jqq0_" id="74XSvywb8eL" role="2ShVmc">
                 <node concept="_YKpA" id="74XSvywb8eM" role="HW$YZ">
@@ -46658,6 +46020,13 @@
                 </node>
               </node>
             </node>
+            <node concept="2ThTUU" id="5OjpQKwgnv1" role="1tU5fm">
+              <node concept="_YKpA" id="5OjpQKwgnv3" role="3O5elw">
+                <node concept="16syzq" id="5OjpQKwgnv4" role="_ZDj9">
+                  <ref role="16sUi3" node="74XSvywaW55" resolve="T" />
+                </node>
+              </node>
+            </node>
           </node>
         </node>
         <node concept="3cpWs8" id="74XSvywb7n6" role="3cqZAp">
@@ -50239,5 +49608,582 @@
       </node>
     </node>
   </node>
+  <node concept="AVZre" id="1oUE7CX1Ch0">
+    <property role="3GE5qa" value="rule.expression" />
+    <property role="TrG5h" value="Reference" />
+    <ref role="2YbDB9" node="34$A1Mf51rY" resolve="TypeOf" />
+    <node concept="1nLNMY" id="12QmIo_9_jF" role="1nK1Vg">
+      <property role="TrG5h" value="staticFieldReference" />
+      <node concept="3clFbS" id="12QmIo_9_jG" role="1nLNMH">
+        <node concept="1mebxG" id="4ZxjFYHlqHk" role="3cqZAp">
+          <node concept="2OqwBi" id="4ZxjFYHlqVz" role="1mebXD">
+            <node concept="3A2sRY" id="4ZxjFYHlqIA" role="2Oq$k0">
+              <ref role="3A2yKK" node="12QmIo_9_MJ" resolve="sfr" />
+            </node>
+            <node concept="3TrEf2" id="4ZxjFYHlroB" role="2OqNvi">
+              <ref role="3Tt5mk" to="tpee:f_2Pw7K" resolve="staticFieldDeclaration" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="12QmIo_9A79" role="3cqZAp" />
+        <node concept="1nLNNL" id="12QmIo_9BkL" role="3cqZAp">
+          <node concept="1nLNMm" id="12QmIo_9BkN" role="1nLNNK">
+            <node concept="3Aq93q" id="12QmIo_9B_O" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="12QmIo_9B_P" role="3Ip0Jz">
+                <node concept="3I6s7M" id="12QmIo_9BAD" role="3I6sU7">
+                  <node concept="3Aqt3T" id="12QmIo_9BAC" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="12QmIo_9Bnu" role="0Rg$4">
+              <node concept="aZer4" id="12QmIo_9Bnz" role="3XD1gS">
+                <property role="TrG5h" value="FieldType" />
+              </node>
+              <node concept="32pEOW" id="24ciDNzxNBg" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="6E2cNicdihA" role="3xSepv">
+              <node concept="3Aq9E8" id="12QmIo_9BIc" role="3xSepj">
+                <node concept="3I6sU6" id="12QmIo_9BId" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="4ZxjFYHlrC6" role="3I6sU7">
+                    <node concept="3jbYBd" id="5itBwMb5r7q" role="3I6s78">
+                      <ref role="3jbY9l" node="5itBwMau8m1" resolve="lift" />
+                      <node concept="2OqwBi" id="12QmIo_9BOD" role="3jbY8P">
+                        <node concept="2OqwBi" id="12QmIo_9BOE" role="2Oq$k0">
+                          <node concept="3A2sRY" id="12QmIo_9BOF" role="2Oq$k0">
+                            <ref role="3A2yKK" node="12QmIo_9_MJ" resolve="sfr" />
+                          </node>
+                          <node concept="3TrEf2" id="12QmIo_9BOG" role="2OqNvi">
+                            <ref role="3Tt5mk" to="tpee:f_2Pw7K" resolve="staticFieldDeclaration" />
+                          </node>
+                        </node>
+                        <node concept="3TrEf2" id="12QmIo_9BOH" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:4VkOLwjf83e" resolve="type" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="12QmIo_9BOC" role="3jbY8V">
+                        <ref role="a7OzE" node="12QmIo_9Bnz" resolve="FieldType" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="4ZxjFYHlrC7" role="3I6sU7">
+                    <node concept="3Aqt3T" id="12QmIo_9BOJ" role="3I6s78">
+                      <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="1TH_SRmhrt7" role="3AunhB">
+                        <node concept="3A2sRY" id="12QmIo_9BOL" role="37jj2">
+                          <ref role="3A2yKK" node="12QmIo_9_MJ" resolve="sfr" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="12QmIo_9BOM" role="3AunhB">
+                        <ref role="a7OzE" node="12QmIo_9Bnz" resolve="FieldType" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="12QmIo_9_MI" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:f_0M0x6" resolve="StaticFieldReference" />
+        <node concept="3A20r5" id="12QmIo_9_MJ" role="2t_VXX">
+          <property role="TrG5h" value="sfr" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="12QmIo_7sjL" role="1nK1Vg">
+      <property role="TrG5h" value="variableReference" />
+      <node concept="3clFbS" id="12QmIo_7sjM" role="1nLNMH">
+        <node concept="1nLNNL" id="12QmIo_7sjN" role="3cqZAp">
+          <node concept="1nLNMm" id="12QmIo_7sjO" role="1nLNNK">
+            <node concept="3Aq93q" id="34$A1MfacdF" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="34$A1MfacdG" role="3Ip0Jz">
+                <node concept="3I6s7M" id="5moyjRHo5vI" role="3I6sU7">
+                  <node concept="3Aqt3T" id="5moyjRHo5vG" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="37jhX" id="1TH_SRmhrt8" role="3AunhB">
+                      <node concept="2OqwBi" id="5moyjRHo5vV" role="37jj2">
+                        <node concept="3A2sRY" id="5moyjRHo5vW" role="2Oq$k0">
+                          <ref role="3A2yKK" node="7gr_romnvxW" resolve="vref" />
+                        </node>
+                        <node concept="3TrEf2" id="5moyjRHo5vX" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tpee:fzcqZ_w" resolve="variableDeclaration" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="5moyjRHo65E" role="3AunhB">
+                      <ref role="a7OzE" node="7mm1a3qT4HQ" resolve="DeclType" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4nIWweB_uLk" role="0Rg$4">
+              <node concept="aZer4" id="7mm1a3qT4HQ" role="3XD1gS">
+                <property role="TrG5h" value="DeclType" />
+              </node>
+              <node concept="aZer4" id="2HYHa0WMaIa" role="3XD1gS">
+                <property role="TrG5h" value="StripT" />
+              </node>
+              <node concept="aZer4" id="3R6X$QVSRaY" role="3XD1gS">
+                <property role="TrG5h" value="CaptureT" />
+              </node>
+              <node concept="32pEOW" id="24ciDNzxNBh" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="6E2cNicdihB" role="3xSepv">
+              <node concept="3Aq9E8" id="7gr_romnvqt" role="3xSepj">
+                <node concept="3I6sU6" id="4nIWweB_v4C" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="2HYHa0WMaNb" role="3I6sU7">
+                    <node concept="3Aqt3T" id="2HYHa0WMaN9" role="3I6s78">
+                      <ref role="3AqCNq" node="2HYHa0WMaId" resolve="stripValue" />
+                      <node concept="a7P8L" id="2HYHa0WMaNt" role="3AunhB">
+                        <ref role="a7OzE" node="2HYHa0WMaIa" resolve="StripT" />
+                      </node>
+                      <node concept="a7P8L" id="2HYHa0WMaNz" role="3AunhB">
+                        <ref role="a7OzE" node="7mm1a3qT4HQ" resolve="DeclType" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="3R6X$QVSRyw" role="3I6sU7">
+                    <node concept="3Aqt3T" id="3R6X$QVSRyu" role="3I6s78">
+                      <ref role="3AqCNq" node="3wxtToEiJ2p" resolve="capture" />
+                      <node concept="a7P8L" id="3R6X$QVSRAz" role="3AunhB">
+                        <ref role="a7OzE" node="3R6X$QVSRaY" resolve="CaptureT" />
+                      </node>
+                      <node concept="a7P8L" id="3R6X$QVSRPX" role="3AunhB">
+                        <ref role="a7OzE" node="2HYHa0WMaIa" resolve="StripT" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="2HYHa0WMaMG" role="3I6sU7">
+                    <node concept="3Aqt3T" id="34$A1MfhpMJ" role="3I6s78">
+                      <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="1TH_SRmhrt9" role="3AunhB">
+                        <node concept="3A2sRY" id="34$A1MfhpMH" role="37jj2">
+                          <ref role="3A2yKK" node="7gr_romnvxW" resolve="vref" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="3R6X$QVSS1z" role="3AunhB">
+                        <ref role="a7OzE" node="3R6X$QVSRaY" resolve="CaptureT" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="7gr_romnvxV" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:fz7vLUo" resolve="VariableReference" />
+        <node concept="3A20r5" id="7gr_romnvxW" role="2t_VXX">
+          <property role="TrG5h" value="vref" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="12QmIo_c_R7" role="1nK1Vg">
+      <property role="TrG5h" value="fieldReferenceOperation" />
+      <node concept="3clFbS" id="12QmIo_c_R8" role="1nLNMH">
+        <node concept="3cpWs8" id="12QmIo_cBBk" role="3cqZAp">
+          <node concept="3cpWsn" id="12QmIo_cBBl" role="3cpWs9">
+            <property role="TrG5h" value="cls" />
+            <node concept="3Tqbb2" id="12QmIo_cBBd" role="1tU5fm">
+              <ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
+            </node>
+            <node concept="1PxgMI" id="12QmIo_cBBm" role="33vP2m">
+              <node concept="2OqwBi" id="12QmIo_cBBn" role="1m5AlR">
+                <node concept="2OqwBi" id="12QmIo_cBBo" role="2Oq$k0">
+                  <node concept="3A2sRY" id="12QmIo_cBBp" role="2Oq$k0">
+                    <ref role="3A2yKK" node="12QmIo_cAc2" resolve="fro" />
+                  </node>
+                  <node concept="3TrEf2" id="12QmIo_cBBq" role="2OqNvi">
+                    <ref role="3Tt5mk" to="tpee:hqOxapj" resolve="fieldDeclaration" />
+                  </node>
+                </node>
+                <node concept="1mfA1w" id="12QmIo_cBBr" role="2OqNvi" />
+              </node>
+              <node concept="chp4Y" id="12QmIo_cBBs" role="3oSUPX">
+                <ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="12QmIo_cAgQ" role="3cqZAp">
+          <node concept="3cpWsn" id="12QmIo_cAgR" role="3cpWs9">
+            <property role="TrG5h" value="tvds" />
+            <node concept="2I9FWS" id="12QmIo_cAgS" role="1tU5fm">
+              <ref role="2I9WkF" to="tpee:g96euPO" resolve="TypeVariableDeclaration" />
+            </node>
+            <node concept="2OqwBi" id="12QmIo_cAgT" role="33vP2m">
+              <node concept="37vLTw" id="12QmIo_cBBu" role="2Oq$k0">
+                <ref role="3cqZAo" node="12QmIo_cBBl" resolve="cls" />
+              </node>
+              <node concept="3Tsc0h" id="12QmIo_cAh1" role="2OqNvi">
+                <ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2PEDwPShzZh" role="3cqZAp">
+          <node concept="3cpWsn" id="2PEDwPShzZi" role="3cpWs9">
+            <property role="TrG5h" value="subs" />
+            <node concept="3uibUv" id="2PEDwPShzZj" role="1tU5fm">
+              <ref role="3uigEE" node="6EY0p2w8VOq" resolve="TypeVarSubstitution" />
+            </node>
+            <node concept="2ShNRf" id="2PEDwPShzZk" role="33vP2m">
+              <node concept="1pGfFk" id="2PEDwPShzZl" role="2ShVmc">
+                <ref role="37wK5l" node="6EY0p2wsoT6" resolve="TypeVarSubstitution" />
+                <node concept="37vLTw" id="2PEDwPSh_6a" role="37wK5m">
+                  <ref role="3cqZAo" node="12QmIo_cAgR" resolve="tvds" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="12QmIo_cBVc" role="3cqZAp" />
+        <node concept="1nLNNL" id="12QmIo_cCic" role="3cqZAp">
+          <node concept="1nLNMm" id="12QmIo_cCie" role="1nLNNK">
+            <node concept="3Aq93q" id="12QmIo_cCu7" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="12QmIo_cCu8" role="3Ip0Jz">
+                <node concept="3I6s7M" id="12QmIo_cCG7" role="3I6sU7">
+                  <node concept="3Aqt3T" id="12QmIo_cCG8" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="37jhX" id="1TH_SRmhrtb" role="3AunhB">
+                      <node concept="2OqwBi" id="12QmIo_cCGa" role="37jj2">
+                        <node concept="3A2sRY" id="12QmIo_cCGb" role="2Oq$k0">
+                          <ref role="3A2yKK" node="12QmIo_cAc2" resolve="fro" />
+                        </node>
+                        <node concept="2qgKlT" id="12QmIo_cCGc" role="2OqNvi">
+                          <ref role="37wK5l" to="tpek:hEwIP$m" resolve="getOperand" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="6cPUNFQEuij" role="3AunhB">
+                      <ref role="a7OzE" node="12QmIo_cCll" resolve="OpndType" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="12QmIo_cClm" role="0Rg$4">
+              <node concept="aZer4" id="12QmIo_cCll" role="3XD1gS">
+                <property role="TrG5h" value="OpndType" />
+              </node>
+              <node concept="aZer4" id="12QmIo_cClp" role="3XD1gS">
+                <property role="TrG5h" value="OpClsTypevars" />
+                <node concept="2OqwBi" id="12QmIo_cClq" role="3gj$pD">
+                  <node concept="34oBXx" id="12QmIo_cClu" role="2OqNvi" />
+                  <node concept="37vLTw" id="2PEDwPShWWz" role="2Oq$k0">
+                    <ref role="3cqZAo" node="12QmIo_cAgR" resolve="tvds" />
+                  </node>
+                </node>
+              </node>
+              <node concept="aZer4" id="12QmIo_cClv" role="3XD1gS">
+                <property role="TrG5h" value="FroType" />
+              </node>
+              <node concept="aZer4" id="12QmIo_cClw" role="3XD1gS">
+                <property role="TrG5h" value="FroTypeCap" />
+              </node>
+              <node concept="32pEOW" id="24ciDNzxNBj" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="6E2cNicdihC" role="3xSepv">
+              <node concept="3Aq9E8" id="12QmIo_cDg6" role="3xSepj">
+                <node concept="3I6sU6" id="12QmIo_cDg7" role="3Ip0Jz">
+                  <node concept="3IrJb3" id="12QmIo_cDk2" role="3I6sU7">
+                    <node concept="3clFbS" id="12QmIo_cDk3" role="3IrJb0">
+                      <node concept="3SKdUt" id="6cPUNFQM5oc" role="3cqZAp">
+                        <node concept="1PaTwC" id="6cPUNFQM5od" role="1aUNEU">
+                          <node concept="3oM_SD" id="6cPUNFQM5of" role="1PaTwD">
+                            <property role="3oM_SC" value="perform" />
+                          </node>
+                          <node concept="3oM_SD" id="1oUE7CX1B81" role="1PaTwD">
+                            <property role="3oM_SC" value="substitution" />
+                          </node>
+                          <node concept="3oM_SD" id="1oUE7CX1B82" role="1PaTwD">
+                            <property role="3oM_SC" value="for" />
+                          </node>
+                          <node concept="3oM_SD" id="1oUE7CX1B83" role="1PaTwD">
+                            <property role="3oM_SC" value="type" />
+                          </node>
+                          <node concept="3oM_SD" id="6cPUNFQM7N3" role="1PaTwD">
+                            <property role="3oM_SC" value="variables" />
+                          </node>
+                          <node concept="3oM_SD" id="1oUE7CX1B84" role="1PaTwD">
+                            <property role="3oM_SC" value="of" />
+                          </node>
+                          <node concept="3oM_SD" id="1oUE7CX1B85" role="1PaTwD">
+                            <property role="3oM_SC" value="classifier" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3Aqczg" id="6cPUNFQEs6i" role="3cqZAp">
+                        <node concept="3Aqt3T" id="6cPUNFQEs6j" role="3Aqpz8">
+                          <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                          <node concept="a7P8L" id="6cPUNFQEsEa" role="3AunhB">
+                            <ref role="a7OzE" node="12QmIo_cCll" resolve="OpndType" />
+                          </node>
+                          <node concept="ns1u0" id="6cPUNFQEtqh" role="3AunhB">
+                            <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifier" />
+                            <node concept="nsMwS" id="6cPUNFQEtxT" role="ns1xD">
+                              <ref role="nsMwP" node="ZJPHcupkiC" resolve="typeParams" />
+                              <node concept="1nq8_$" id="6cPUNFQEtHo" role="nsMwV">
+                                <node concept="a7P8L" id="6cPUNFQEtLi" role="1nq8_t">
+                                  <ref role="a7OzE" node="12QmIo_cClp" resolve="OpClsTypevars" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="1Dw8fO" id="2PEDwPShI6L" role="3cqZAp">
+                        <node concept="3clFbS" id="2PEDwPShI6N" role="2LFqv$">
+                          <node concept="3clFbF" id="2PEDwPShRzO" role="3cqZAp">
+                            <node concept="2OqwBi" id="2PEDwPShRDy" role="3clFbG">
+                              <node concept="37vLTw" id="2PEDwPShRzM" role="2Oq$k0">
+                                <ref role="3cqZAo" node="2PEDwPShzZi" resolve="subs" />
+                              </node>
+                              <node concept="liA8E" id="2PEDwPShRSF" role="2OqNvi">
+                                <ref role="37wK5l" node="6EY0p2w8YaM" resolve="substitute" />
+                                <node concept="1y4W85" id="2PEDwPShUA5" role="37wK5m">
+                                  <node concept="37vLTw" id="2PEDwPShUL6" role="1y58nS">
+                                    <ref role="3cqZAo" node="2PEDwPShI6O" resolve="i" />
+                                  </node>
+                                  <node concept="37vLTw" id="2PEDwPShS4p" role="1y566C">
+                                    <ref role="3cqZAo" node="12QmIo_cAgR" resolve="tvds" />
+                                  </node>
+                                </node>
+                                <node concept="3IkZw_" id="hYA4REfKsN" role="37wK5m">
+                                  <node concept="a7P8L" id="2PEDwPShWlh" role="3Ikct_">
+                                    <ref role="a7OzE" node="12QmIo_cClp" resolve="OpClsTypevars" />
+                                    <node concept="37vLTw" id="2PEDwPShW_S" role="3gCZO6">
+                                      <ref role="3cqZAo" node="2PEDwPShI6O" resolve="i" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3cpWsn" id="2PEDwPShI6O" role="1Duv9x">
+                          <property role="TrG5h" value="i" />
+                          <node concept="10Oyi0" id="2PEDwPShI7C" role="1tU5fm" />
+                          <node concept="3cmrfG" id="2PEDwPShIft" role="33vP2m">
+                            <property role="3cmrfH" value="0" />
+                          </node>
+                        </node>
+                        <node concept="3eOVzh" id="2PEDwPShJ86" role="1Dwp0S">
+                          <node concept="2OqwBi" id="2PEDwPShMnd" role="3uHU7w">
+                            <node concept="37vLTw" id="2PEDwPShJca" role="2Oq$k0">
+                              <ref role="3cqZAo" node="12QmIo_cAgR" resolve="tvds" />
+                            </node>
+                            <node concept="34oBXx" id="2PEDwPShQgX" role="2OqNvi" />
+                          </node>
+                          <node concept="37vLTw" id="2PEDwPShIfA" role="3uHU7B">
+                            <ref role="3cqZAo" node="2PEDwPShI6O" resolve="i" />
+                          </node>
+                        </node>
+                        <node concept="3uNrnE" id="2PEDwPShRmV" role="1Dwrff">
+                          <node concept="37vLTw" id="2PEDwPShRmX" role="2$L3a6">
+                            <ref role="3cqZAo" node="2PEDwPShI6O" resolve="i" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3Aqczg" id="5itBwMb137l" role="3cqZAp">
+                        <node concept="3jbYBd" id="5itBwMb137i" role="3Aqpz8">
+                          <ref role="3jbY9l" node="5itBwMau8m1" resolve="lift" />
+                          <node concept="2OqwBi" id="5itBwMb15A5" role="3jbY8P">
+                            <node concept="2OqwBi" id="5itBwMb14z2" role="2Oq$k0">
+                              <node concept="3A2sRY" id="5itBwMb13Zm" role="2Oq$k0">
+                                <ref role="3A2yKK" node="12QmIo_cAc2" resolve="fro" />
+                              </node>
+                              <node concept="3TrEf2" id="5itBwMb14Pg" role="2OqNvi">
+                                <ref role="3Tt5mk" to="tpee:hqOxapj" resolve="fieldDeclaration" />
+                              </node>
+                            </node>
+                            <node concept="3TrEf2" id="5itBwMb16L7" role="2OqNvi">
+                              <ref role="3Tt5mk" to="tpee:4VkOLwjf83e" resolve="type" />
+                            </node>
+                          </node>
+                          <node concept="a7P8L" id="5itBwMb13Zf" role="3jbY8V">
+                            <ref role="a7OzE" node="12QmIo_cClv" resolve="FroType" />
+                          </node>
+                          <node concept="3jhG_Y" id="5itBwMb17d9" role="3jhGvd">
+                            <node concept="3jhG_Z" id="5itBwMb184R" role="3jhGob">
+                              <ref role="3jhG_U" node="5itBwMaLICh" resolve="substitution" />
+                              <node concept="37vLTw" id="5itBwMb18wL" role="3jhG_S">
+                                <ref role="3cqZAo" node="2PEDwPShzZi" resolve="subs" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3Aqczg" id="12QmIo_cDkx" role="3cqZAp">
+                        <node concept="3Aqt3T" id="12QmIo_cDky" role="3Aqpz8">
+                          <ref role="3AqCNq" node="3wxtToEiJ2p" resolve="capture" />
+                          <node concept="a7P8L" id="12QmIo_cDkz" role="3AunhB">
+                            <ref role="a7OzE" node="12QmIo_cClw" resolve="FroTypeCap" />
+                          </node>
+                          <node concept="a7P8L" id="12QmIo_cDk$" role="3AunhB">
+                            <ref role="a7OzE" node="12QmIo_cClv" resolve="FroType" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3Aqczg" id="12QmIo_cDk_" role="3cqZAp">
+                        <node concept="3Aqt3T" id="12QmIo_cDkA" role="3Aqpz8">
+                          <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                          <node concept="37jhX" id="1TH_SRmhrta" role="3AunhB">
+                            <node concept="3A2sRY" id="12QmIo_cDkC" role="37jj2">
+                              <ref role="3A2yKK" node="12QmIo_cAc2" resolve="fro" />
+                            </node>
+                          </node>
+                          <node concept="a7P8L" id="12QmIo_cDkD" role="3AunhB">
+                            <ref role="a7OzE" node="12QmIo_cClw" resolve="FroTypeCap" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="12QmIo_cAc1" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:hqOwXtU" resolve="FieldReferenceOperation" />
+        <node concept="3A20r5" id="12QmIo_cAc2" role="2t_VXX">
+          <property role="TrG5h" value="fro" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="12QmIo_7sjT" role="1nK1Vg">
+      <property role="TrG5h" value="thisExpression" />
+      <node concept="3clFbS" id="12QmIo_7sjU" role="1nLNMH">
+        <node concept="3clFbH" id="72mVWmTNv6J" role="3cqZAp" />
+        <node concept="3cpWs8" id="12QmIo_7sjV" role="3cqZAp">
+          <node concept="3cpWsn" id="4nIWweB_wxn" role="3cpWs9">
+            <property role="TrG5h" value="cc" />
+            <node concept="3Tqbb2" id="4nIWweB_wGr" role="1tU5fm">
+              <ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
+            </node>
+            <node concept="3K4zz7" id="72mVWmTNs_7" role="33vP2m">
+              <node concept="2OqwBi" id="72mVWmTNsLF" role="3K4E3e">
+                <node concept="3A2sRY" id="72mVWmTNsCR" role="2Oq$k0">
+                  <ref role="3A2yKK" node="2QE4RCG91q8" resolve="te" />
+                </node>
+                <node concept="2Xjw5R" id="72mVWmTNt55" role="2OqNvi">
+                  <node concept="1xMEDy" id="72mVWmTNt57" role="1xVPHs">
+                    <node concept="chp4Y" id="72mVWmTNupN" role="ri$Ld">
+                      <ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="2OqwBi" id="72mVWmTNu4y" role="3K4GZi">
+                <node concept="3A2sRY" id="72mVWmTNt9_" role="2Oq$k0">
+                  <ref role="3A2yKK" node="2QE4RCG91q8" resolve="te" />
+                </node>
+                <node concept="3TrEf2" id="72mVWmTNukH" role="2OqNvi">
+                  <ref role="3Tt5mk" to="tpee:hdHBi6N" resolve="classConcept" />
+                </node>
+              </node>
+              <node concept="2OqwBi" id="72mVWmTNrvx" role="3K4Cdx">
+                <node concept="2OqwBi" id="4nIWweB_wzo" role="2Oq$k0">
+                  <node concept="3A2sRY" id="4nIWweB_wzp" role="2Oq$k0">
+                    <ref role="3A2yKK" node="2QE4RCG91q8" resolve="te" />
+                  </node>
+                  <node concept="3TrEf2" id="72mVWmTNqxd" role="2OqNvi">
+                    <ref role="3Tt5mk" to="tpee:hdHBi6N" resolve="classConcept" />
+                  </node>
+                </node>
+                <node concept="3w_OXm" id="72mVWmTNs9T" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1mebxG" id="72mVWmTNuWx" role="3cqZAp">
+          <node concept="37vLTw" id="72mVWmTNuXt" role="1mebXD">
+            <ref role="3cqZAo" node="4nIWweB_wxn" resolve="cc" />
+          </node>
+        </node>
+        <node concept="3clFbH" id="72mVWmTNqfh" role="3cqZAp" />
+        <node concept="1nLNNL" id="12QmIo_7sk2" role="3cqZAp">
+          <node concept="1nLNMm" id="12QmIo_7sk3" role="1nLNNK">
+            <node concept="3Aq93q" id="34$A1MfacdV" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="34$A1MfacdW" role="3Ip0Jz">
+                <node concept="3I6s7M" id="34$A1Mface0" role="3I6sU7">
+                  <node concept="3Aqt3T" id="34$A1MfacdZ" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4nIWweB_wkl" role="0Rg$4">
+              <node concept="aZer4" id="5JTOzCQRR4X" role="3XD1gS">
+                <property role="TrG5h" value="C" />
+              </node>
+              <node concept="aZer4" id="5JTOzCQRR4s" role="3XD1gS">
+                <property role="TrG5h" value="CP" />
+                <node concept="2OqwBi" id="2QE4RCGbUwB" role="3gj$pD">
+                  <node concept="2OqwBi" id="4nIWweB_x77" role="2Oq$k0">
+                    <node concept="37vLTw" id="12QmIo_7sk5" role="2Oq$k0">
+                      <ref role="3cqZAo" node="4nIWweB_wxn" resolve="cc" />
+                    </node>
+                    <node concept="3Tsc0h" id="4nIWweB_y7M" role="2OqNvi">
+                      <ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
+                    </node>
+                  </node>
+                  <node concept="34oBXx" id="2QE4RCGbZm_" role="2OqNvi" />
+                </node>
+              </node>
+              <node concept="32pEOW" id="24ciDNzxNBl" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="6E2cNicdihE" role="3xSepv">
+              <node concept="3Aq9E8" id="2QE4RCG8WvV" role="3xSepj">
+                <node concept="3I6sU6" id="4nIWweB_zCV" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="5itBwMaUkLr" role="3I6sU7">
+                    <node concept="3jm4v3" id="5itBwMaUkLp" role="3I6s78">
+                      <ref role="3jm46O" node="5itBwMaSqCk" resolve="classifierType" />
+                      <node concept="37vLTw" id="5itBwMaUlDy" role="3jicU7">
+                        <ref role="3cqZAo" node="4nIWweB_wxn" resolve="cc" />
+                      </node>
+                      <node concept="a7P8L" id="5itBwMaUldz" role="3jm6SO">
+                        <ref role="a7OzE" node="5JTOzCQRR4X" resolve="C" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="4nIWweB_zCX" role="3I6sU7">
+                    <node concept="3Aqt3T" id="34$A1MfhpO4" role="3I6s78">
+                      <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="1TH_SRmhrtd" role="3AunhB">
+                        <node concept="3A2sRY" id="34$A1MfhpO2" role="37jj2">
+                          <ref role="3A2yKK" node="2QE4RCG91q8" resolve="te" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="34$A1MfhpO3" role="3AunhB">
+                        <ref role="a7OzE" node="5JTOzCQRR4X" resolve="C" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="2QE4RCG91q7" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:f$Xjq0c" resolve="ThisExpression" />
+        <node concept="3A20r5" id="2QE4RCG91q8" role="2t_VXX">
+          <property role="TrG5h" value="te" />
+        </node>
+      </node>
+    </node>
+  </node>
 </model>