From 6e336363fec2383a1e72185805bd6f2f73e916c0 Mon Sep 17 00:00:00 2001
From: Daniel Ratiu <ratiud@mail.google.com>
Date: Mon, 18 Nov 2024 19:36:18 +0100
Subject: [PATCH] lint: added linter for detecting checking rules which produce
 exceptions + refactored slow_checking_rule and memory_hungry_checking_rule
 linters

---
 ...s_library.performance_typesystem_rules.mps | 1143 +++++------------
 ...lang.linters_library.typesystem_aspect.mps | 1046 +++++++++++++++
 ...rg.mpsqa.lint.mps_lang.linters_library.msd |    5 +
 3 files changed, 1367 insertions(+), 827 deletions(-)

diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps
index 3bc18a41..a0cac97f 100644
--- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps
+++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps
@@ -11,20 +11,17 @@
     <use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="12" />
   </languages>
   <imports>
-    <import index="c17a" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.language(MPS.OpenAPI/)" />
     <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
     <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
     <import index="tpd4" ref="r:00000000-0000-4000-0000-011c895902b4(jetbrains.mps.lang.typesystem.structure)" />
-    <import index="qurh" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.lang.typesystem.runtime(MPS.Core/)" />
-    <import index="u78q" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.typesystem.inference(MPS.Core/)" />
-    <import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" />
-    <import index="j8aq" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.module(MPS.Core/)" />
-    <import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" />
-    <import index="3qmy" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.classloading(MPS.Core/)" />
+    <import index="u5iv" ref="r:59e2876f-999a-4af1-8c54-345ff89e1fb6(org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect)" />
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
       <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
+      <concept id="8118189177080264853" name="jetbrains.mps.baseLanguage.structure.AlternativeType" flags="ig" index="nSUau">
+        <child id="8118189177080264854" name="alternative" index="nSUat" />
+      </concept>
       <concept id="1095950406618" name="jetbrains.mps.baseLanguage.structure.DivExpression" flags="nn" index="FJ1c_" />
       <concept id="1154032098014" name="jetbrains.mps.baseLanguage.structure.AbstractLoopStatement" flags="nn" index="2LF5Ji">
         <child id="1154032183016" name="body" index="2LFqv$" />
@@ -42,15 +39,12 @@
       <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
         <property id="1070475926801" name="value" index="Xl_RC" />
       </concept>
+      <concept id="4952749571008284462" name="jetbrains.mps.baseLanguage.structure.CatchVariable" flags="ng" index="XOnhg" />
       <concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
         <reference id="1144433194310" name="classConcept" index="1Pybhc" />
       </concept>
       <concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
       <concept id="1070534513062" name="jetbrains.mps.baseLanguage.structure.DoubleType" flags="in" index="10P55v" />
-      <concept id="1070534934090" name="jetbrains.mps.baseLanguage.structure.CastExpression" flags="nn" index="10QFUN">
-        <child id="1070534934091" name="type" index="10QFUM" />
-        <child id="1070534934092" name="expression" index="10QFUP" />
-      </concept>
       <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
         <child id="1068431790190" name="initializer" index="33vP2m" />
       </concept>
@@ -96,19 +90,21 @@
         <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
         <child id="1068499141038" name="actualArgument" index="37wK5m" />
       </concept>
-      <concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
-      <concept id="1171903916106" name="jetbrains.mps.baseLanguage.structure.UpperBoundType" flags="in" index="3qUE_q">
-        <child id="1171903916107" name="bound" index="3qUE_r" />
-      </concept>
       <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
         <reference id="1107535924139" name="classifier" index="3uigEE" />
-        <child id="1109201940907" name="parameter" index="11_B2D" />
       </concept>
       <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
         <child id="1081773367579" name="rightExpression" index="3uHU7w" />
         <child id="1081773367580" name="leftExpression" index="3uHU7B" />
       </concept>
-      <concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
+      <concept id="3093926081414150598" name="jetbrains.mps.baseLanguage.structure.MultipleCatchClause" flags="ng" index="3uVAMA">
+        <child id="8276990574895933173" name="catchBody" index="1zc67A" />
+        <child id="8276990574895933172" name="throwable" index="1zc67B" />
+      </concept>
+      <concept id="5351203823916750322" name="jetbrains.mps.baseLanguage.structure.TryUniversalStatement" flags="nn" index="3J1_TO">
+        <child id="8276990574886367510" name="catchClause" index="1zxBo5" />
+        <child id="8276990574886367508" name="body" index="1zxBo7" />
+      </concept>
     </language>
     <language id="40ab19e9-751a-4433-b645-0e65160e58a0" name="org.mpsqa.lint.generic">
       <concept id="7741759128795038157" name="org.mpsqa.lint.generic.structure.CheckableScriptParameter" flags="ng" index="2j1K4_">
@@ -136,23 +132,14 @@
       <concept id="2555875871751904530" name="org.mpsqa.lint.generic.structure.GenericCheckingFunction" flags="ig" index="1MIXq2" />
     </language>
     <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
-      <concept id="1204834851141" name="jetbrains.mps.lang.smodel.structure.PoundExpression" flags="ng" index="25Kdxt">
-        <child id="1204834868751" name="expression" index="25KhWn" />
-      </concept>
       <concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
         <reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
       </concept>
-      <concept id="7453996997717780434" name="jetbrains.mps.lang.smodel.structure.Node_GetSConceptOperation" flags="nn" index="2yIwOk" />
       <concept id="1143226024141" name="jetbrains.mps.lang.smodel.structure.SModelType" flags="in" index="H_c77" />
-      <concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
-        <child id="1145404616321" name="leftExpression" index="2JrQYb" />
-      </concept>
-      <concept id="1212008292747" name="jetbrains.mps.lang.smodel.structure.Model_GetLongNameOperation" flags="nn" index="LkI2h" />
       <concept id="1171315804604" name="jetbrains.mps.lang.smodel.structure.Model_RootsOperation" flags="nn" index="2RRcyG">
         <child id="6750920497477046361" name="conceptArgument" index="3MHsoP" />
       </concept>
       <concept id="6995935425733782641" name="jetbrains.mps.lang.smodel.structure.Model_GetModule" flags="nn" index="13u695" />
-      <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2" />
       <concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
         <reference id="1138056395725" name="property" index="3TsBF5" />
       </concept>
@@ -180,17 +167,6 @@
         <child id="2535923850359271783" name="elements" index="1PaTwD" />
       </concept>
     </language>
-    <language id="1a8554c4-eb84-43ba-8c34-6f0d90c6e75a" name="jetbrains.mps.lang.smodel.query">
-      <concept id="7738379549910147341" name="jetbrains.mps.lang.smodel.query.structure.InstancesExpression" flags="ng" index="qVDSY">
-        <child id="7738379549910147342" name="conceptArg" index="qVDSX" />
-      </concept>
-      <concept id="6864030874027862829" name="jetbrains.mps.lang.smodel.query.structure.ModelsExpression" flags="ng" index="EZOir" />
-      <concept id="4234138103881610891" name="jetbrains.mps.lang.smodel.query.structure.WithStatement" flags="ng" index="L3pyB">
-        <property id="192970713427626335" name="includeNonEditable" index="1Fhty8" />
-        <child id="4234138103881610935" name="scope" index="L3pyr" />
-        <child id="4234138103881610892" name="stmts" index="L3pyw" />
-      </concept>
-    </language>
     <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
       <concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
         <child id="540871147943773366" name="argument" index="25WWJ7" />
@@ -211,12 +187,7 @@
       </concept>
       <concept id="1160600644654" name="jetbrains.mps.baseLanguage.collections.structure.ListCreatorWithInit" flags="nn" index="Tc6Ow" />
       <concept id="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
-      <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
       <concept id="1165530316231" name="jetbrains.mps.baseLanguage.collections.structure.IsEmptyOperation" flags="nn" index="1v1jN8" />
-      <concept id="7125221305512719026" name="jetbrains.mps.baseLanguage.collections.structure.CollectionType" flags="in" index="3vKaQO" />
-      <concept id="5686963296372573083" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerType" flags="in" index="3O5elB">
-        <child id="5686963296372573084" name="elementType" index="3O5elw" />
-      </concept>
     </language>
   </registry>
   <node concept="1MIHA_" id="733wlN4CtMF">
@@ -255,63 +226,12 @@
             <node concept="_YKpA" id="733wlN4Z5bT" role="1tU5fm">
               <node concept="H_c77" id="733wlN4Z5zr" role="_ZDj9" />
             </node>
-            <node concept="2ShNRf" id="733wlN4Z7_y" role="33vP2m">
-              <node concept="Tc6Ow" id="733wlN4Z8dt" role="2ShVmc">
-                <node concept="H_c77" id="733wlN4Z9fO" role="HW$YZ" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="L3pyB" id="733wlN4Z2qT" role="3cqZAp">
-          <property role="1Fhty8" value="true" />
-          <node concept="3clFbS" id="733wlN4Z2qV" role="L3pyw">
-            <node concept="2Gpval" id="733wlN4Z9U$" role="3cqZAp">
-              <node concept="2GrKxI" id="733wlN4Z9U_" role="2Gsz3X">
-                <property role="TrG5h" value="m" />
-              </node>
-              <node concept="EZOir" id="733wlN4Za2j" role="2GsD0m" />
-              <node concept="3clFbS" id="733wlN4Z9UB" role="2LFqv$">
-                <node concept="3clFbJ" id="733wlN4Za6H" role="3cqZAp">
-                  <node concept="3clFbS" id="733wlN4Za6J" role="3clFbx">
-                    <node concept="3clFbF" id="733wlN4ZhQG" role="3cqZAp">
-                      <node concept="2OqwBi" id="733wlN4ZirZ" role="3clFbG">
-                        <node concept="37vLTw" id="733wlN4ZhQF" role="2Oq$k0">
-                          <ref role="3cqZAo" node="733wlN4Z5c0" resolve="typesystemModels" />
-                        </node>
-                        <node concept="TSZUe" id="733wlN4Zja8" role="2OqNvi">
-                          <node concept="2GrUjf" id="733wlN4Zjh3" role="25WWJ7">
-                            <ref role="2Gs0qQ" node="733wlN4Z9U_" resolve="m" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="2OqwBi" id="733wlN4Zhox" role="3clFbw">
-                    <node concept="2OqwBi" id="733wlN4ZgUJ" role="2Oq$k0">
-                      <node concept="2GrUjf" id="733wlN4ZgMN" role="2Oq$k0">
-                        <ref role="2Gs0qQ" node="733wlN4Z9U_" resolve="m" />
-                      </node>
-                      <node concept="LkI2h" id="733wlN4Zh5H" role="2OqNvi" />
-                    </node>
-                    <node concept="liA8E" id="733wlN4ZhGw" role="2OqNvi">
-                      <ref role="37wK5l" to="wyt6:~String.matches(java.lang.String)" resolve="matches" />
-                      <node concept="2j1LYi" id="733wlN4ZhLz" role="37wK5m">
-                        <ref role="2j1LYj" node="733wlN4Z0mE" resolve="typesystemModelNamesRegex" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="2ShNRf" id="733wlN4ZIlN" role="L3pyr">
-            <node concept="1pGfFk" id="733wlN4ZJk4" role="2ShVmc">
-              <ref role="37wK5l" to="z1c3:~GlobalScope.&lt;init&gt;(org.jetbrains.mps.openapi.module.SRepository)" resolve="GlobalScope" />
-              <node concept="2OqwBi" id="733wlN4ZKvl" role="37wK5m">
-                <node concept="1MG55F" id="733wlN4ZJPg" role="2Oq$k0" />
-                <node concept="liA8E" id="733wlN4ZLi2" role="2OqNvi">
-                  <ref role="37wK5l" to="z1c3:~Project.getRepository()" resolve="getRepository" />
-                </node>
+            <node concept="2YIFZM" id="5PFth5W27_q" role="33vP2m">
+              <ref role="37wK5l" to="u5iv:5PFth5W1RxW" resolve="collectTypeSystemFromGlobalRepository" />
+              <ref role="1Pybhc" to="u5iv:5PFth5W0UMZ" resolve="CheckingRuleRunningUtils" />
+              <node concept="1MG55F" id="5PFth5W27V6" role="37wK5m" />
+              <node concept="2j1LYi" id="5PFth5W28DC" role="37wK5m">
+                <ref role="2j1LYj" node="733wlN4Z0mE" resolve="typesystemModelNamesRegex" />
               </node>
             </node>
           </node>
@@ -330,7 +250,7 @@
                     </node>
                     <node concept="3cpWs3" id="733wlN4ZxjH" role="3uHU7B">
                       <node concept="Xl_RD" id="733wlN4ZxjI" role="3uHU7B">
-                        <property role="Xl_RC" value="No model was found to match the pattern '" />
+                        <property role="Xl_RC" value="No typesystem model was found to match the pattern '" />
                       </node>
                       <node concept="2j1LYi" id="733wlN4ZxjJ" role="3uHU7w">
                         <ref role="2j1LYj" node="733wlN4Z0mE" resolve="typesystemModelNamesRegex" />
@@ -349,6 +269,55 @@
           </node>
         </node>
         <node concept="3clFbH" id="733wlN4ZycL" role="3cqZAp" />
+        <node concept="3cpWs8" id="7NPKLoqmBIk" role="3cqZAp">
+          <node concept="3cpWsn" id="7NPKLoqmBIn" role="3cpWs9">
+            <property role="TrG5h" value="modelsToCheck" />
+            <node concept="_YKpA" id="7NPKLoqmBIg" role="1tU5fm">
+              <node concept="H_c77" id="7NPKLoqmC6M" role="_ZDj9" />
+            </node>
+            <node concept="2YIFZM" id="5PFth5W2dkv" role="33vP2m">
+              <ref role="37wK5l" to="u5iv:5PFth5W23hP" resolve="collectEditableModelsToCheckFromProject" />
+              <ref role="1Pybhc" to="u5iv:5PFth5W0UMZ" resolve="CheckingRuleRunningUtils" />
+              <node concept="1MG55F" id="5PFth5W2dCF" role="37wK5m" />
+              <node concept="2j1LYi" id="5PFth5W2ehc" role="37wK5m">
+                <ref role="2j1LYj" node="7NPKLoqmxTq" resolve="modelsToCheckNamesRegex" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="5PFth5W0hse" role="3cqZAp">
+          <node concept="3clFbS" id="5PFth5W0hsf" role="3clFbx">
+            <node concept="3clFbF" id="5PFth5W0hsg" role="3cqZAp">
+              <node concept="2OqwBi" id="5PFth5W0hsh" role="3clFbG">
+                <node concept="37vLTw" id="5PFth5W0hsi" role="2Oq$k0">
+                  <ref role="3cqZAo" node="733wlN4CtMT" resolve="res" />
+                </node>
+                <node concept="TSZUe" id="5PFth5W0hsj" role="2OqNvi">
+                  <node concept="3cpWs3" id="5PFth5W0hsk" role="25WWJ7">
+                    <node concept="Xl_RD" id="5PFth5W0hsl" role="3uHU7w">
+                      <property role="Xl_RC" value="'" />
+                    </node>
+                    <node concept="3cpWs3" id="5PFth5W0hsm" role="3uHU7B">
+                      <node concept="Xl_RD" id="5PFth5W0hsn" role="3uHU7B">
+                        <property role="Xl_RC" value="No model to check was found to match the pattern '" />
+                      </node>
+                      <node concept="2j1LYi" id="5PFth5W0hso" role="3uHU7w">
+                        <ref role="2j1LYj" node="7NPKLoqmxTq" resolve="modelsToCheckNamesRegex" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2OqwBi" id="5PFth5W0hsp" role="3clFbw">
+            <node concept="37vLTw" id="5PFth5W0hsq" role="2Oq$k0">
+              <ref role="3cqZAo" node="7NPKLoqmBIn" resolve="modelsToCheck" />
+            </node>
+            <node concept="1v1jN8" id="5PFth5W0hsr" role="2OqNvi" />
+          </node>
+        </node>
+        <node concept="3clFbH" id="5PFth5W0gdn" role="3cqZAp" />
         <node concept="2Gpval" id="733wlN4Zz33" role="3cqZAp">
           <node concept="2GrKxI" id="733wlN4Zz35" role="2Gsz3X">
             <property role="TrG5h" value="typesystemModel" />
@@ -357,238 +326,77 @@
             <ref role="3cqZAo" node="733wlN4Z5c0" resolve="typesystemModels" />
           </node>
           <node concept="3clFbS" id="733wlN4Zz39" role="2LFqv$">
-            <node concept="3cpWs8" id="733wlN4CtML" role="3cqZAp">
-              <node concept="3cpWsn" id="733wlN4CtMV" role="3cpWs9">
-                <property role="TrG5h" value="packageName" />
-                <node concept="17QB3L" id="733wlN4CtN6" role="1tU5fm" />
-                <node concept="2OqwBi" id="733wlN4CtN7" role="33vP2m">
-                  <node concept="2GrUjf" id="733wlN4ZBds" role="2Oq$k0">
-                    <ref role="2Gs0qQ" node="733wlN4Zz35" resolve="typesystemModel" />
-                  </node>
-                  <node concept="LkI2h" id="733wlN4FIWK" role="2OqNvi" />
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbH" id="733wlN4Ha_A" role="3cqZAp" />
             <node concept="2Gpval" id="733wlN4HaWi" role="3cqZAp">
               <node concept="2GrKxI" id="733wlN4HaWk" role="2Gsz3X">
                 <property role="TrG5h" value="ntsr" />
               </node>
               <node concept="3clFbS" id="733wlN4HaWo" role="2LFqv$">
-                <node concept="3cpWs8" id="733wlN4CtMM" role="3cqZAp">
-                  <node concept="3cpWsn" id="733wlN4CtMW" role="3cpWs9">
-                    <property role="TrG5h" value="clazzName" />
-                    <node concept="17QB3L" id="733wlN4CtN8" role="1tU5fm" />
-                    <node concept="3cpWs3" id="733wlN4CtN9" role="33vP2m">
-                      <node concept="2OqwBi" id="733wlN4CtNs" role="3uHU7w">
-                        <node concept="2OqwBi" id="733wlN4CtNG" role="2Oq$k0">
-                          <node concept="2GrUjf" id="733wlN4HdLp" role="2Oq$k0">
-                            <ref role="2Gs0qQ" node="733wlN4HaWk" resolve="ntsr" />
-                          </node>
-                          <node concept="2yIwOk" id="733wlN4CtO9" role="2OqNvi" />
-                        </node>
-                        <node concept="liA8E" id="733wlN4CtNH" role="2OqNvi">
-                          <ref role="37wK5l" to="c17a:~SAbstractConcept.getName()" resolve="getName" />
-                        </node>
-                      </node>
-                      <node concept="3cpWs3" id="733wlN4CtNt" role="3uHU7B">
-                        <node concept="2OqwBi" id="733wlN4CtNI" role="3uHU7B">
-                          <node concept="2GrUjf" id="733wlN4HdsK" role="2Oq$k0">
-                            <ref role="2Gs0qQ" node="733wlN4HaWk" resolve="ntsr" />
-                          </node>
-                          <node concept="3TrcHB" id="733wlN4CtOb" role="2OqNvi">
-                            <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
-                          </node>
-                        </node>
-                        <node concept="Xl_RD" id="733wlN4CtNJ" role="3uHU7w">
-                          <property role="Xl_RC" value="_" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3cpWs8" id="733wlN4CtMN" role="3cqZAp">
-                  <node concept="3cpWsn" id="733wlN4CtMX" role="3cpWs9">
-                    <property role="TrG5h" value="fqClassName" />
-                    <node concept="17QB3L" id="733wlN4CtNa" role="1tU5fm" />
-                    <node concept="3cpWs3" id="733wlN4CtNb" role="33vP2m">
-                      <node concept="37vLTw" id="733wlN4CtNu" role="3uHU7w">
-                        <ref role="3cqZAo" node="733wlN4CtMW" resolve="clazzName" />
-                      </node>
-                      <node concept="3cpWs3" id="733wlN4CtNv" role="3uHU7B">
-                        <node concept="37vLTw" id="733wlN4CtNK" role="3uHU7B">
-                          <ref role="3cqZAo" node="733wlN4CtMV" resolve="packageName" />
-                        </node>
-                        <node concept="Xl_RD" id="733wlN4CtNL" role="3uHU7w">
-                          <property role="Xl_RC" value="." />
+                <node concept="3J1_TO" id="5PFth5W3dt0" role="3cqZAp">
+                  <node concept="3uVAMA" id="5PFth5W3dHf" role="1zxBo5">
+                    <node concept="XOnhg" id="5PFth5W3dHg" role="1zc67B">
+                      <property role="TrG5h" value="e" />
+                      <node concept="nSUau" id="5PFth5W3dHh" role="1tU5fm">
+                        <node concept="3uibUv" id="5PFth5W3dX7" role="nSUat">
+                          <ref role="3uigEE" to="wyt6:~Exception" resolve="Exception" />
                         </node>
                       </node>
                     </node>
-                  </node>
-                </node>
-                <node concept="3clFbH" id="733wlN4HdbJ" role="3cqZAp" />
-                <node concept="3cpWs8" id="7E22LggeI1Z" role="3cqZAp">
-                  <node concept="3cpWsn" id="7E22LggeI20" role="3cpWs9">
-                    <property role="TrG5h" value="myLanguage" />
-                    <node concept="3uibUv" id="7E22LggeHQ8" role="1tU5fm">
-                      <ref role="3uigEE" to="j8aq:~ReloadableModule" resolve="ReloadableModule" />
-                    </node>
-                    <node concept="1eOMI4" id="7E22LggeI21" role="33vP2m">
-                      <node concept="10QFUN" id="7E22LggeI22" role="1eOMHV">
-                        <node concept="2OqwBi" id="7E22LggeI23" role="10QFUP">
-                          <node concept="2JrnkZ" id="7E22LggeI24" role="2Oq$k0">
-                            <node concept="2GrUjf" id="7E22LggeI25" role="2JrQYb">
-                              <ref role="2Gs0qQ" node="733wlN4Zz35" resolve="typesystemModel" />
-                            </node>
+                    <node concept="3clFbS" id="5PFth5W3dHi" role="1zc67A">
+                      <node concept="3clFbF" id="5PFth5W3g7e" role="3cqZAp">
+                        <node concept="2OqwBi" id="5PFth5W3g7f" role="3clFbG">
+                          <node concept="37vLTw" id="5PFth5W3g7g" role="2Oq$k0">
+                            <ref role="3cqZAo" node="733wlN4CtMT" resolve="res" />
                           </node>
-                          <node concept="liA8E" id="7E22LggeI26" role="2OqNvi">
-                            <ref role="37wK5l" to="mhbf:~SModel.getModule()" resolve="getModule" />
-                          </node>
-                        </node>
-                        <node concept="3uibUv" id="7E22LggeI27" role="10QFUM">
-                          <ref role="3uigEE" to="j8aq:~ReloadableModule" resolve="ReloadableModule" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3cpWs8" id="7E22LggeKxo" role="3cqZAp">
-                  <node concept="3cpWsn" id="7E22LggeKxp" role="3cpWs9">
-                    <property role="TrG5h" value="classLoaderOfLanguage" />
-                    <node concept="3uibUv" id="7E22LggeKnF" role="1tU5fm">
-                      <ref role="3uigEE" to="3qmy:~MPSModuleClassLoader" resolve="MPSModuleClassLoader" />
-                    </node>
-                    <node concept="2OqwBi" id="7E22LggeKxq" role="33vP2m">
-                      <node concept="37vLTw" id="7E22LggeKxr" role="2Oq$k0">
-                        <ref role="3cqZAo" node="7E22LggeI20" resolve="myLanguage" />
-                      </node>
-                      <node concept="liA8E" id="7E22LggeKxs" role="2OqNvi">
-                        <ref role="37wK5l" to="j8aq:~ReloadableModule.getClassLoader()" resolve="getClassLoader" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3cpWs8" id="733wlN4CtNg" role="3cqZAp">
-                  <node concept="3cpWsn" id="733wlN4CtNy" role="3cpWs9">
-                    <property role="TrG5h" value="forName" />
-                    <node concept="3uibUv" id="733wlN4CtNP" role="1tU5fm">
-                      <ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
-                      <node concept="3uibUv" id="733wlN4CtOe" role="11_B2D">
-                        <ref role="3uigEE" to="qurh:~AbstractNonTypesystemRule_Runtime" resolve="AbstractNonTypesystemRule_Runtime" />
-                      </node>
-                    </node>
-                    <node concept="1eOMI4" id="733wlN4CtNQ" role="33vP2m">
-                      <node concept="10QFUN" id="733wlN4CtOf" role="1eOMHV">
-                        <node concept="3uibUv" id="733wlN4CtOw" role="10QFUM">
-                          <ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
-                          <node concept="3uibUv" id="733wlN4CtOK" role="11_B2D">
-                            <ref role="3uigEE" to="qurh:~AbstractNonTypesystemRule_Runtime" resolve="AbstractNonTypesystemRule_Runtime" />
-                          </node>
-                        </node>
-                        <node concept="2OqwBi" id="7E22LggeHyq" role="10QFUP">
-                          <node concept="37vLTw" id="7E22LggeKxt" role="2Oq$k0">
-                            <ref role="3cqZAo" node="7E22LggeKxp" resolve="classLoaderOfLanguage" />
-                          </node>
-                          <node concept="liA8E" id="7E22LggeHy$" role="2OqNvi">
-                            <ref role="37wK5l" to="wyt6:~ClassLoader.loadClass(java.lang.String)" resolve="loadClass" />
-                            <node concept="37vLTw" id="7E22LggeHy_" role="37wK5m">
-                              <ref role="3cqZAo" node="733wlN4CtMX" resolve="fqClassName" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3cpWs8" id="733wlN4CtNh" role="3cqZAp">
-                  <node concept="3cpWsn" id="733wlN4CtNz" role="3cpWs9">
-                    <property role="TrG5h" value="currentRule" />
-                    <node concept="3uibUv" id="733wlN4CtNR" role="1tU5fm">
-                      <ref role="3uigEE" to="qurh:~AbstractNonTypesystemRule_Runtime" resolve="AbstractNonTypesystemRule_Runtime" />
-                    </node>
-                    <node concept="2OqwBi" id="733wlN4CtNS" role="33vP2m">
-                      <node concept="37vLTw" id="733wlN4CtOg" role="2Oq$k0">
-                        <ref role="3cqZAo" node="733wlN4CtNy" resolve="forName" />
-                      </node>
-                      <node concept="liA8E" id="733wlN4CtOh" role="2OqNvi">
-                        <ref role="37wK5l" to="wyt6:~Class.newInstance()" resolve="newInstance" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbH" id="7E22Lggevfa" role="3cqZAp" />
-                <node concept="3cpWs8" id="733wlN4CtNi" role="3cqZAp">
-                  <node concept="3cpWsn" id="733wlN4CtN$" role="3cpWs9">
-                    <property role="TrG5h" value="applicableConcept" />
-                    <node concept="3uibUv" id="733wlN4CtNT" role="1tU5fm">
-                      <ref role="3uigEE" to="c17a:~SAbstractConcept" resolve="SAbstractConcept" />
-                    </node>
-                    <node concept="2OqwBi" id="733wlN4CtNU" role="33vP2m">
-                      <node concept="37vLTw" id="733wlN4CtOi" role="2Oq$k0">
-                        <ref role="3cqZAo" node="733wlN4CtNz" resolve="currentRule" />
-                      </node>
-                      <node concept="liA8E" id="733wlN4CtOj" role="2OqNvi">
-                        <ref role="37wK5l" to="qurh:~IApplicableToConcept.getApplicableConcept()" resolve="getApplicableConcept" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbH" id="733wlN4CtNj" role="3cqZAp" />
-                <node concept="3cpWs8" id="7NPKLoqmBIk" role="3cqZAp">
-                  <node concept="3cpWsn" id="7NPKLoqmBIn" role="3cpWs9">
-                    <property role="TrG5h" value="modelsToCheck" />
-                    <node concept="_YKpA" id="7NPKLoqmBIg" role="1tU5fm">
-                      <node concept="H_c77" id="7NPKLoqmC6M" role="_ZDj9" />
-                    </node>
-                    <node concept="2ShNRf" id="7NPKLoqmDJV" role="33vP2m">
-                      <node concept="Tc6Ow" id="7NPKLoqmJZf" role="2ShVmc">
-                        <node concept="H_c77" id="7NPKLoqmLG6" role="HW$YZ" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="2Gpval" id="7NPKLoqmM_L" role="3cqZAp">
-                  <node concept="2GrKxI" id="7NPKLoqmM_N" role="2Gsz3X">
-                    <property role="TrG5h" value="m" />
-                  </node>
-                  <node concept="2OqwBi" id="7NPKLoqmO9n" role="2GsD0m">
-                    <node concept="1MG55F" id="7NPKLoqmNkD" role="2Oq$k0" />
-                    <node concept="liA8E" id="7NPKLoqmOXr" role="2OqNvi">
-                      <ref role="37wK5l" to="z1c3:~Project.getProjectModels()" resolve="getProjectModels" />
-                    </node>
-                  </node>
-                  <node concept="3clFbS" id="7NPKLoqmM_R" role="2LFqv$">
-                    <node concept="3clFbJ" id="7NPKLoqmPJv" role="3cqZAp">
-                      <node concept="2OqwBi" id="7NPKLoqmTZM" role="3clFbw">
-                        <node concept="2OqwBi" id="7NPKLoqmSPh" role="2Oq$k0">
-                          <node concept="2OqwBi" id="7NPKLoqmQXc" role="2Oq$k0">
-                            <node concept="2GrUjf" id="7NPKLoqmQ6k" role="2Oq$k0">
-                              <ref role="2Gs0qQ" node="7NPKLoqmM_N" resolve="m" />
-                            </node>
-                            <node concept="liA8E" id="7NPKLoqmRLb" role="2OqNvi">
-                              <ref role="37wK5l" to="mhbf:~SModel.getName()" resolve="getName" />
-                            </node>
-                          </node>
-                          <node concept="liA8E" id="7NPKLoqmTr6" role="2OqNvi">
-                            <ref role="37wK5l" to="mhbf:~SModelName.getLongName()" resolve="getLongName" />
-                          </node>
-                        </node>
-                        <node concept="liA8E" id="7NPKLoqmVwI" role="2OqNvi">
-                          <ref role="37wK5l" to="wyt6:~String.matches(java.lang.String)" resolve="matches" />
-                          <node concept="2j1LYi" id="7NPKLoqmVW7" role="37wK5m">
-                            <ref role="2j1LYj" node="7NPKLoqmxTq" resolve="modelsToCheckNamesRegex" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3clFbS" id="7NPKLoqmPJx" role="3clFbx">
-                        <node concept="3clFbF" id="7NPKLoqmWS7" role="3cqZAp">
-                          <node concept="2OqwBi" id="7NPKLoqmXLe" role="3clFbG">
-                            <node concept="37vLTw" id="7NPKLoqmWS6" role="2Oq$k0">
-                              <ref role="3cqZAo" node="7NPKLoqmBIn" resolve="modelsToCheck" />
-                            </node>
-                            <node concept="TSZUe" id="7NPKLoqmYNe" role="2OqNvi">
-                              <node concept="2GrUjf" id="7NPKLoqmZeX" role="25WWJ7">
-                                <ref role="2Gs0qQ" node="7NPKLoqmM_N" resolve="m" />
+                          <node concept="TSZUe" id="5PFth5W3g7h" role="2OqNvi">
+                            <node concept="3cpWs3" id="5PFth5W3g7l" role="25WWJ7">
+                              <node concept="3cpWs3" id="5PFth5W3g7m" role="3uHU7B">
+                                <node concept="3cpWs3" id="5PFth5W3g7n" role="3uHU7B">
+                                  <node concept="3cpWs3" id="5PFth5W3g7o" role="3uHU7B">
+                                    <node concept="2OqwBi" id="5PFth5W3g7p" role="3uHU7w">
+                                      <node concept="2OqwBi" id="5PFth5W3g7q" role="2Oq$k0">
+                                        <node concept="2GrUjf" id="5PFth5W3g7r" role="2Oq$k0">
+                                          <ref role="2Gs0qQ" node="733wlN4Zz35" resolve="typesystemModel" />
+                                        </node>
+                                        <node concept="13u695" id="5PFth5W3g7s" role="2OqNvi" />
+                                      </node>
+                                      <node concept="3TrcHB" id="5PFth5W3g7t" role="2OqNvi">
+                                        <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                      </node>
+                                    </node>
+                                    <node concept="3cpWs3" id="5PFth5W3g7u" role="3uHU7B">
+                                      <node concept="3cpWs3" id="5PFth5W3g7v" role="3uHU7B">
+                                        <node concept="Xl_RD" id="5PFth5W3g7w" role="3uHU7B">
+                                          <property role="Xl_RC" value="Non-typesystem check '" />
+                                        </node>
+                                        <node concept="2OqwBi" id="5PFth5W3g7x" role="3uHU7w">
+                                          <node concept="2GrUjf" id="5PFth5W3g7y" role="2Oq$k0">
+                                            <ref role="2Gs0qQ" node="733wlN4HaWk" resolve="ntsr" />
+                                          </node>
+                                          <node concept="3TrcHB" id="5PFth5W3g7z" role="2OqNvi">
+                                            <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                          </node>
+                                        </node>
+                                      </node>
+                                      <node concept="Xl_RD" id="5PFth5W3g7$" role="3uHU7w">
+                                        <property role="Xl_RC" value="' from language " />
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="Xl_RD" id="5PFth5W3g7_" role="3uHU7w">
+                                    <property role="Xl_RC" value=" produces exception: '" />
+                                  </node>
+                                </node>
+                                <node concept="2OqwBi" id="5PFth5W3p2j" role="3uHU7w">
+                                  <node concept="37vLTw" id="5PFth5W3g7A" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="5PFth5W3dHg" resolve="e" />
+                                  </node>
+                                  <node concept="liA8E" id="5PFth5W3s29" role="2OqNvi">
+                                    <ref role="37wK5l" to="wyt6:~Throwable.getMessage()" resolve="getMessage" />
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="Xl_RD" id="5PFth5W3g7B" role="3uHU7w">
+                                <property role="Xl_RC" value="'" />
                               </node>
                             </node>
                           </node>
@@ -596,27 +404,7 @@
                       </node>
                     </node>
                   </node>
-                </node>
-                <node concept="L3pyB" id="733wlN4CtNk" role="3cqZAp">
-                  <node concept="3clFbS" id="733wlN4CtN_" role="L3pyw">
-                    <node concept="3cpWs8" id="733wlN4CtNV" role="3cqZAp">
-                      <node concept="3cpWsn" id="733wlN4CtOk" role="3cpWs9">
-                        <property role="TrG5h" value="applicableNodes" />
-                        <node concept="3vKaQO" id="733wlN4CtOx" role="1tU5fm">
-                          <node concept="3qUE_q" id="2iYG$WavnUs" role="3O5elw">
-                            <node concept="3Tqbb2" id="2iYG$Wavo5I" role="3qUE_r" />
-                          </node>
-                        </node>
-                        <node concept="qVDSY" id="733wlN4CtOy" role="33vP2m">
-                          <node concept="25Kdxt" id="733wlN4CtOM" role="qVDSX">
-                            <node concept="37vLTw" id="733wlN4CtOS" role="25KhWn">
-                              <ref role="3cqZAo" node="733wlN4CtN$" resolve="applicableConcept" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3clFbH" id="733wlN4CtNW" role="3cqZAp" />
+                  <node concept="3clFbS" id="5PFth5W3dt2" role="1zxBo7">
                     <node concept="3cpWs8" id="733wlN4CtNX" role="3cqZAp">
                       <node concept="3cpWsn" id="733wlN4CtOl" role="3cpWs9">
                         <property role="TrG5h" value="init" />
@@ -627,75 +415,25 @@
                         </node>
                       </node>
                     </node>
-                    <node concept="2Gpval" id="733wlN4CtNY" role="3cqZAp">
-                      <node concept="2GrKxI" id="733wlN4CtOm" role="2Gsz3X">
-                        <property role="TrG5h" value="crtNode" />
-                      </node>
-                      <node concept="37vLTw" id="733wlN4CtOn" role="2GsD0m">
-                        <ref role="3cqZAo" node="733wlN4CtOk" resolve="applicableNodes" />
-                      </node>
-                      <node concept="3clFbS" id="733wlN4CtOo" role="2LFqv$">
-                        <node concept="3cpWs8" id="733wlN4CtO_" role="3cqZAp">
-                          <node concept="3cpWsn" id="733wlN4CtON" role="3cpWs9">
-                            <property role="TrG5h" value="typeCheckingContext" />
-                            <node concept="3uibUv" id="733wlN4CtOT" role="1tU5fm">
-                              <ref role="3uigEE" to="u78q:~TypeCheckingContext" resolve="TypeCheckingContext" />
-                            </node>
-                            <node concept="2OqwBi" id="733wlN4CtOU" role="33vP2m">
-                              <node concept="2YIFZM" id="733wlN4CtOZ" role="2Oq$k0">
-                                <ref role="37wK5l" to="u78q:~TypeContextManager.getInstance()" resolve="getInstance" />
-                                <ref role="1Pybhc" to="u78q:~TypeContextManager" resolve="TypeContextManager" />
-                              </node>
-                              <node concept="liA8E" id="733wlN4CtP0" role="2OqNvi">
-                                <ref role="37wK5l" to="u78q:~TypeContextManager.createTypeCheckingContext(org.jetbrains.mps.openapi.model.SNode)" resolve="createTypeCheckingContext" />
-                                <node concept="2GrUjf" id="733wlN4CtP6" role="37wK5m">
-                                  <ref role="2Gs0qQ" node="733wlN4CtOm" resolve="crtNode" />
-                                </node>
-                              </node>
-                            </node>
+                    <node concept="3cpWs8" id="5PFth5W1Kt8" role="3cqZAp">
+                      <node concept="3cpWsn" id="5PFth5W1Kt9" role="3cpWs9">
+                        <property role="TrG5h" value="applicableNodesSize" />
+                        <node concept="10Oyi0" id="5PFth5W1JMj" role="1tU5fm" />
+                        <node concept="2YIFZM" id="5PFth5W1Kta" role="33vP2m">
+                          <ref role="37wK5l" to="u5iv:5PFth5W0UOr" resolve="runCheckingRule" />
+                          <ref role="1Pybhc" to="u5iv:5PFth5W0UMZ" resolve="CheckingRuleRunningUtils" />
+                          <node concept="2GrUjf" id="5PFth5W1Ktb" role="37wK5m">
+                            <ref role="2Gs0qQ" node="733wlN4Zz35" resolve="typesystemModel" />
                           </node>
-                        </node>
-                        <node concept="3cpWs8" id="733wlN4CtOA" role="3cqZAp">
-                          <node concept="3cpWsn" id="733wlN4CtOO" role="3cpWs9">
-                            <property role="TrG5h" value="applicableAndPattern" />
-                            <node concept="3uibUv" id="733wlN4CtOV" role="1tU5fm">
-                              <ref role="3uigEE" to="qurh:~IsApplicableStatus" resolve="IsApplicableStatus" />
-                            </node>
-                            <node concept="2OqwBi" id="733wlN4CtOW" role="33vP2m">
-                              <node concept="37vLTw" id="733wlN4CtP1" role="2Oq$k0">
-                                <ref role="3cqZAo" node="733wlN4CtNz" resolve="currentRule" />
-                              </node>
-                              <node concept="liA8E" id="733wlN4CtP2" role="2OqNvi">
-                                <ref role="37wK5l" to="qurh:~AbstractNonTypesystemRule_Runtime.isApplicableAndPattern(org.jetbrains.mps.openapi.model.SNode)" resolve="isApplicableAndPattern" />
-                                <node concept="2GrUjf" id="733wlN4CtP7" role="37wK5m">
-                                  <ref role="2Gs0qQ" node="733wlN4CtOm" resolve="crtNode" />
-                                </node>
-                              </node>
-                            </node>
+                          <node concept="2GrUjf" id="5PFth5W1Ktc" role="37wK5m">
+                            <ref role="2Gs0qQ" node="733wlN4HaWk" resolve="ntsr" />
                           </node>
-                        </node>
-                        <node concept="3clFbF" id="733wlN4CtOB" role="3cqZAp">
-                          <node concept="2OqwBi" id="733wlN4CtOP" role="3clFbG">
-                            <node concept="37vLTw" id="733wlN4CtOX" role="2Oq$k0">
-                              <ref role="3cqZAo" node="733wlN4CtNz" resolve="currentRule" />
-                            </node>
-                            <node concept="liA8E" id="733wlN4CtOY" role="2OqNvi">
-                              <ref role="37wK5l" to="qurh:~AbstractNonTypesystemRule_Runtime.applyRule(org.jetbrains.mps.openapi.model.SNode,jetbrains.mps.typesystem.inference.TypeCheckingContext,jetbrains.mps.lang.typesystem.runtime.IsApplicableStatus)" resolve="applyRule" />
-                              <node concept="2GrUjf" id="733wlN4CtP3" role="37wK5m">
-                                <ref role="2Gs0qQ" node="733wlN4CtOm" resolve="crtNode" />
-                              </node>
-                              <node concept="37vLTw" id="733wlN4CtP4" role="37wK5m">
-                                <ref role="3cqZAo" node="733wlN4CtON" resolve="typeCheckingContext" />
-                              </node>
-                              <node concept="37vLTw" id="733wlN4CtP5" role="37wK5m">
-                                <ref role="3cqZAo" node="733wlN4CtOO" resolve="applicableAndPattern" />
-                              </node>
-                            </node>
+                          <node concept="37vLTw" id="5PFth5W1Ktd" role="37wK5m">
+                            <ref role="3cqZAo" node="7NPKLoqmBIn" resolve="modelsToCheck" />
                           </node>
                         </node>
                       </node>
                     </node>
-                    <node concept="3clFbH" id="733wlN4CtNZ" role="3cqZAp" />
                     <node concept="3cpWs8" id="733wlN4CtO0" role="3cqZAp">
                       <node concept="3cpWsn" id="733wlN4CtOp" role="3cpWs9">
                         <property role="TrG5h" value="elapsedTime" />
@@ -770,11 +508,8 @@
                                       <property role="Xl_RC" value="ms for " />
                                     </node>
                                   </node>
-                                  <node concept="2OqwBi" id="733wlN4H_N2" role="3uHU7w">
-                                    <node concept="37vLTw" id="733wlN4H_8b" role="2Oq$k0">
-                                      <ref role="3cqZAo" node="733wlN4CtOk" resolve="applicableNodes" />
-                                    </node>
-                                    <node concept="34oBXx" id="733wlN4HAwQ" role="2OqNvi" />
+                                  <node concept="37vLTw" id="733wlN4H_8b" role="3uHU7w">
+                                    <ref role="3cqZAo" node="5PFth5W1Kt9" resolve="applicableNodesSize" />
                                   </node>
                                 </node>
                               </node>
@@ -792,9 +527,6 @@
                       </node>
                     </node>
                   </node>
-                  <node concept="37vLTw" id="7NPKLoqmE5V" role="L3pyr">
-                    <ref role="3cqZAo" node="7NPKLoqmBIn" resolve="modelsToCheck" />
-                  </node>
                 </node>
               </node>
               <node concept="2OqwBi" id="733wlN4HbxY" role="2GsD0m">
@@ -831,7 +563,7 @@
         <ref role="2j1LYj" node="7NPKLoqmxTq" resolve="modelsToCheckNamesRegex" />
       </node>
       <node concept="Xl_RD" id="7NPKLoqmy$1" role="2j1LYg">
-        <property role="Xl_RC" value="" />
+        <property role="Xl_RC" value=".*" />
       </node>
     </node>
     <node concept="2j1LYv" id="733wlN4Han2" role="2j1YRv">
@@ -839,7 +571,7 @@
         <ref role="2j1LYj" node="2xFKNLWBBJx" resolve="timeBoundInMillis" />
       </node>
       <node concept="3cmrfG" id="733wlN4Hat2" role="2j1LYg">
-        <property role="3cmrfH" value="150" />
+        <property role="3cmrfH" value="1000" />
       </node>
     </node>
     <node concept="1Pa9Pv" id="733wlN500pN" role="1MIJl8">
@@ -890,7 +622,19 @@
           <property role="3oM_SC" value="current" />
         </node>
         <node concept="3oM_SD" id="733wlN500vr" role="1PaTwD">
-          <property role="3oM_SC" value="project." />
+          <property role="3oM_SC" value="project" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W0oaM" role="1PaTwD">
+          <property role="3oM_SC" value="which" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W0oaN" role="1PaTwD">
+          <property role="3oM_SC" value="match" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W0oaO" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W0oaP" role="1PaTwD">
+          <property role="3oM_SC" value="regex." />
         </node>
       </node>
       <node concept="1PaTwC" id="733wlN500vH" role="1PaQFQ">
@@ -1011,8 +755,8 @@
         <node concept="3oM_SD" id="733wlN500H$" role="1PaTwD">
           <property role="3oM_SC" value="check" />
         </node>
-        <node concept="3oM_SD" id="733wlN500HP" role="1PaTwD">
-          <property role="3oM_SC" value="reside" />
+        <node concept="3oM_SD" id="5PFth5W8_hh" role="1PaTwD">
+          <property role="3oM_SC" value="reside." />
         </node>
       </node>
       <node concept="2DRihI" id="733wlN500I8" role="1PaQFQ">
@@ -1052,7 +796,7 @@
           <property role="3oM_SC" value="to" />
         </node>
         <node concept="3oM_SD" id="1Yf9e2l4qy5" role="1PaTwD">
-          <property role="3oM_SC" value="check" />
+          <property role="3oM_SC" value="check." />
         </node>
       </node>
       <node concept="2DRihI" id="1Yf9e2l4qqf" role="1PaQFQ">
@@ -1142,90 +886,39 @@
           </node>
         </node>
         <node concept="3clFbH" id="2QH7JPsZwNM" role="3cqZAp" />
-        <node concept="3cpWs8" id="2QH7JPsZwNN" role="3cqZAp">
-          <node concept="3cpWsn" id="2QH7JPsZwNO" role="3cpWs9">
+        <node concept="3cpWs8" id="5PFth5W2fSV" role="3cqZAp">
+          <node concept="3cpWsn" id="5PFth5W2fSW" role="3cpWs9">
             <property role="TrG5h" value="typesystemModels" />
-            <node concept="_YKpA" id="2QH7JPsZwNP" role="1tU5fm">
-              <node concept="H_c77" id="2QH7JPsZwNQ" role="_ZDj9" />
+            <node concept="_YKpA" id="5PFth5W2fSX" role="1tU5fm">
+              <node concept="H_c77" id="5PFth5W2fSY" role="_ZDj9" />
             </node>
-            <node concept="2ShNRf" id="2QH7JPsZwNR" role="33vP2m">
-              <node concept="Tc6Ow" id="2QH7JPsZwNS" role="2ShVmc">
-                <node concept="H_c77" id="2QH7JPsZwNT" role="HW$YZ" />
+            <node concept="2YIFZM" id="5PFth5W2fSZ" role="33vP2m">
+              <ref role="37wK5l" to="u5iv:5PFth5W1RxW" resolve="collectTypeSystemFromGlobalRepository" />
+              <ref role="1Pybhc" to="u5iv:5PFth5W0UMZ" resolve="CheckingRuleRunningUtils" />
+              <node concept="1MG55F" id="5PFth5W2fT0" role="37wK5m" />
+              <node concept="2j1LYi" id="5PFth5W2fT1" role="37wK5m">
+                <ref role="2j1LYj" node="2QH7JPsZwNz" resolve="typesystemModelNamesRegex" />
               </node>
             </node>
           </node>
         </node>
-        <node concept="L3pyB" id="2QH7JPsZwNU" role="3cqZAp">
-          <property role="1Fhty8" value="true" />
-          <node concept="3clFbS" id="2QH7JPsZwNV" role="L3pyw">
-            <node concept="2Gpval" id="2QH7JPsZwNW" role="3cqZAp">
-              <node concept="2GrKxI" id="2QH7JPsZwNX" role="2Gsz3X">
-                <property role="TrG5h" value="m" />
-              </node>
-              <node concept="EZOir" id="2QH7JPsZwNY" role="2GsD0m" />
-              <node concept="3clFbS" id="2QH7JPsZwNZ" role="2LFqv$">
-                <node concept="3clFbJ" id="2QH7JPsZwO0" role="3cqZAp">
-                  <node concept="3clFbS" id="2QH7JPsZwO1" role="3clFbx">
-                    <node concept="3clFbF" id="2QH7JPsZwO2" role="3cqZAp">
-                      <node concept="2OqwBi" id="2QH7JPsZwO3" role="3clFbG">
-                        <node concept="37vLTw" id="2QH7JPsZwO4" role="2Oq$k0">
-                          <ref role="3cqZAo" node="2QH7JPsZwNO" resolve="typesystemModels" />
-                        </node>
-                        <node concept="TSZUe" id="2QH7JPsZwO5" role="2OqNvi">
-                          <node concept="2GrUjf" id="2QH7JPsZwO6" role="25WWJ7">
-                            <ref role="2Gs0qQ" node="2QH7JPsZwNX" resolve="m" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="2OqwBi" id="2QH7JPsZwO7" role="3clFbw">
-                    <node concept="2OqwBi" id="2QH7JPsZwO8" role="2Oq$k0">
-                      <node concept="2GrUjf" id="2QH7JPsZwO9" role="2Oq$k0">
-                        <ref role="2Gs0qQ" node="2QH7JPsZwNX" resolve="m" />
-                      </node>
-                      <node concept="LkI2h" id="2QH7JPsZwOa" role="2OqNvi" />
-                    </node>
-                    <node concept="liA8E" id="2QH7JPsZwOb" role="2OqNvi">
-                      <ref role="37wK5l" to="wyt6:~String.matches(java.lang.String)" resolve="matches" />
-                      <node concept="2j1LYi" id="2QH7JPsZwOc" role="37wK5m">
-                        <ref role="2j1LYj" node="2QH7JPsZwNz" resolve="typesystemModelNamesRegex" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="2ShNRf" id="2QH7JPsZwOd" role="L3pyr">
-            <node concept="1pGfFk" id="2QH7JPsZwOe" role="2ShVmc">
-              <ref role="37wK5l" to="z1c3:~GlobalScope.&lt;init&gt;(org.jetbrains.mps.openapi.module.SRepository)" resolve="GlobalScope" />
-              <node concept="2OqwBi" id="2QH7JPsZwOf" role="37wK5m">
-                <node concept="1MG55F" id="2QH7JPsZwOg" role="2Oq$k0" />
-                <node concept="liA8E" id="2QH7JPsZwOh" role="2OqNvi">
-                  <ref role="37wK5l" to="z1c3:~Project.getRepository()" resolve="getRepository" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbJ" id="2QH7JPsZwOi" role="3cqZAp">
-          <node concept="3clFbS" id="2QH7JPsZwOj" role="3clFbx">
-            <node concept="3clFbF" id="2QH7JPsZwOk" role="3cqZAp">
-              <node concept="2OqwBi" id="2QH7JPsZwOl" role="3clFbG">
-                <node concept="37vLTw" id="2QH7JPsZwOm" role="2Oq$k0">
+        <node concept="3clFbJ" id="5PFth5W2fT2" role="3cqZAp">
+          <node concept="3clFbS" id="5PFth5W2fT3" role="3clFbx">
+            <node concept="3clFbF" id="5PFth5W2fT4" role="3cqZAp">
+              <node concept="2OqwBi" id="5PFth5W2fT5" role="3clFbG">
+                <node concept="37vLTw" id="5PFth5W2fT6" role="2Oq$k0">
                   <ref role="3cqZAo" node="2QH7JPsZwNG" resolve="res" />
                 </node>
-                <node concept="TSZUe" id="2QH7JPsZwOn" role="2OqNvi">
-                  <node concept="3cpWs3" id="2QH7JPsZwOo" role="25WWJ7">
-                    <node concept="Xl_RD" id="2QH7JPsZwOp" role="3uHU7w">
+                <node concept="TSZUe" id="5PFth5W2fT7" role="2OqNvi">
+                  <node concept="3cpWs3" id="5PFth5W2fT8" role="25WWJ7">
+                    <node concept="Xl_RD" id="5PFth5W2fT9" role="3uHU7w">
                       <property role="Xl_RC" value="'" />
                     </node>
-                    <node concept="3cpWs3" id="2QH7JPsZwOq" role="3uHU7B">
-                      <node concept="Xl_RD" id="2QH7JPsZwOr" role="3uHU7B">
-                        <property role="Xl_RC" value="No model was found to match the pattern '" />
+                    <node concept="3cpWs3" id="5PFth5W2fTa" role="3uHU7B">
+                      <node concept="Xl_RD" id="5PFth5W2fTb" role="3uHU7B">
+                        <property role="Xl_RC" value="No typesystem model was found to match the pattern '" />
                       </node>
-                      <node concept="2j1LYi" id="2QH7JPsZwOs" role="3uHU7w">
+                      <node concept="2j1LYi" id="5PFth5W2fTc" role="3uHU7w">
                         <ref role="2j1LYj" node="2QH7JPsZwNz" resolve="typesystemModelNamesRegex" />
                       </node>
                     </node>
@@ -1234,69 +927,48 @@
               </node>
             </node>
           </node>
-          <node concept="2OqwBi" id="2QH7JPsZwOt" role="3clFbw">
-            <node concept="37vLTw" id="2QH7JPsZwOu" role="2Oq$k0">
-              <ref role="3cqZAo" node="2QH7JPsZwNO" resolve="typesystemModels" />
+          <node concept="2OqwBi" id="5PFth5W2fTd" role="3clFbw">
+            <node concept="37vLTw" id="5PFth5W2fTe" role="2Oq$k0">
+              <ref role="3cqZAo" node="5PFth5W2fSW" resolve="typesystemModels" />
             </node>
-            <node concept="1v1jN8" id="2QH7JPsZwOv" role="2OqNvi" />
+            <node concept="1v1jN8" id="5PFth5W2fTf" role="2OqNvi" />
           </node>
         </node>
-        <node concept="3clFbH" id="2QH7JPsZwOw" role="3cqZAp" />
-        <node concept="3cpWs8" id="2QH7JPsZwPY" role="3cqZAp">
-          <node concept="3cpWsn" id="2QH7JPsZwPZ" role="3cpWs9">
+        <node concept="3clFbH" id="5PFth5W2fTg" role="3cqZAp" />
+        <node concept="3cpWs8" id="5PFth5W2fTh" role="3cqZAp">
+          <node concept="3cpWsn" id="5PFth5W2fTi" role="3cpWs9">
             <property role="TrG5h" value="modelsToCheck" />
-            <node concept="_YKpA" id="2QH7JPsZwQ0" role="1tU5fm">
-              <node concept="H_c77" id="2QH7JPsZwQ1" role="_ZDj9" />
+            <node concept="_YKpA" id="5PFth5W2fTj" role="1tU5fm">
+              <node concept="H_c77" id="5PFth5W2fTk" role="_ZDj9" />
             </node>
-            <node concept="2ShNRf" id="2QH7JPsZwQ2" role="33vP2m">
-              <node concept="Tc6Ow" id="2QH7JPsZwQ3" role="2ShVmc">
-                <node concept="H_c77" id="2QH7JPsZwQ4" role="HW$YZ" />
+            <node concept="2YIFZM" id="5PFth5W2fTl" role="33vP2m">
+              <ref role="37wK5l" to="u5iv:5PFth5W23hP" resolve="collectEditableModelsToCheckFromProject" />
+              <ref role="1Pybhc" to="u5iv:5PFth5W0UMZ" resolve="CheckingRuleRunningUtils" />
+              <node concept="1MG55F" id="5PFth5W2fTm" role="37wK5m" />
+              <node concept="2j1LYi" id="5PFth5W2fTn" role="37wK5m">
+                <ref role="2j1LYj" node="2QH7JPsZwN_" resolve="modelsToCheckNamesRegex" />
               </node>
             </node>
           </node>
         </node>
-        <node concept="2Gpval" id="2QH7JPsZwQ5" role="3cqZAp">
-          <node concept="2GrKxI" id="2QH7JPsZwQ6" role="2Gsz3X">
-            <property role="TrG5h" value="m" />
-          </node>
-          <node concept="2OqwBi" id="2QH7JPsZwQ7" role="2GsD0m">
-            <node concept="1MG55F" id="2QH7JPsZwQ8" role="2Oq$k0" />
-            <node concept="liA8E" id="2QH7JPsZwQ9" role="2OqNvi">
-              <ref role="37wK5l" to="z1c3:~Project.getProjectModels()" resolve="getProjectModels" />
-            </node>
-          </node>
-          <node concept="3clFbS" id="2QH7JPsZwQa" role="2LFqv$">
-            <node concept="3clFbJ" id="2QH7JPsZwQb" role="3cqZAp">
-              <node concept="2OqwBi" id="2QH7JPsZwQc" role="3clFbw">
-                <node concept="2OqwBi" id="2QH7JPsZwQd" role="2Oq$k0">
-                  <node concept="2OqwBi" id="2QH7JPsZwQe" role="2Oq$k0">
-                    <node concept="2GrUjf" id="2QH7JPsZwQf" role="2Oq$k0">
-                      <ref role="2Gs0qQ" node="2QH7JPsZwQ6" resolve="m" />
-                    </node>
-                    <node concept="liA8E" id="2QH7JPsZwQg" role="2OqNvi">
-                      <ref role="37wK5l" to="mhbf:~SModel.getName()" resolve="getName" />
-                    </node>
-                  </node>
-                  <node concept="liA8E" id="2QH7JPsZwQh" role="2OqNvi">
-                    <ref role="37wK5l" to="mhbf:~SModelName.getLongName()" resolve="getLongName" />
-                  </node>
-                </node>
-                <node concept="liA8E" id="2QH7JPsZwQi" role="2OqNvi">
-                  <ref role="37wK5l" to="wyt6:~String.matches(java.lang.String)" resolve="matches" />
-                  <node concept="2j1LYi" id="2QH7JPsZwQj" role="37wK5m">
-                    <ref role="2j1LYj" node="2QH7JPsZwN_" resolve="modelsToCheckNamesRegex" />
-                  </node>
+        <node concept="3clFbJ" id="5PFth5W2fTo" role="3cqZAp">
+          <node concept="3clFbS" id="5PFth5W2fTp" role="3clFbx">
+            <node concept="3clFbF" id="5PFth5W2fTq" role="3cqZAp">
+              <node concept="2OqwBi" id="5PFth5W2fTr" role="3clFbG">
+                <node concept="37vLTw" id="5PFth5W2fTs" role="2Oq$k0">
+                  <ref role="3cqZAo" node="2QH7JPsZwNG" resolve="res" />
                 </node>
-              </node>
-              <node concept="3clFbS" id="2QH7JPsZwQk" role="3clFbx">
-                <node concept="3clFbF" id="2QH7JPsZwQl" role="3cqZAp">
-                  <node concept="2OqwBi" id="2QH7JPsZwQm" role="3clFbG">
-                    <node concept="37vLTw" id="2QH7JPsZwQn" role="2Oq$k0">
-                      <ref role="3cqZAo" node="2QH7JPsZwPZ" resolve="modelsToCheck" />
+                <node concept="TSZUe" id="5PFth5W2fTt" role="2OqNvi">
+                  <node concept="3cpWs3" id="5PFth5W2fTu" role="25WWJ7">
+                    <node concept="Xl_RD" id="5PFth5W2fTv" role="3uHU7w">
+                      <property role="Xl_RC" value="'" />
                     </node>
-                    <node concept="TSZUe" id="2QH7JPsZwQo" role="2OqNvi">
-                      <node concept="2GrUjf" id="2QH7JPsZwQp" role="25WWJ7">
-                        <ref role="2Gs0qQ" node="2QH7JPsZwQ6" resolve="m" />
+                    <node concept="3cpWs3" id="5PFth5W2fTw" role="3uHU7B">
+                      <node concept="Xl_RD" id="5PFth5W2fTx" role="3uHU7B">
+                        <property role="Xl_RC" value="No model to check was found to match the pattern '" />
+                      </node>
+                      <node concept="2j1LYi" id="5PFth5W2fTy" role="3uHU7w">
+                        <ref role="2j1LYj" node="2QH7JPsZwN_" resolve="modelsToCheckNamesRegex" />
                       </node>
                     </node>
                   </node>
@@ -1304,226 +976,112 @@
               </node>
             </node>
           </node>
-        </node>
-        <node concept="3clFbH" id="4OCu8b$N6OH" role="3cqZAp" />
-        <node concept="3clFbF" id="fofa_ocOpT" role="3cqZAp">
-          <node concept="2OqwBi" id="fofa_ocPVU" role="3clFbG">
-            <node concept="2YIFZM" id="fofa_ocPjf" role="2Oq$k0">
-              <ref role="37wK5l" to="wyt6:~Runtime.getRuntime()" resolve="getRuntime" />
-              <ref role="1Pybhc" to="wyt6:~Runtime" resolve="Runtime" />
-            </node>
-            <node concept="liA8E" id="fofa_ocRbZ" role="2OqNvi">
-              <ref role="37wK5l" to="wyt6:~Runtime.gc()" resolve="gc" />
+          <node concept="2OqwBi" id="5PFth5W2fTz" role="3clFbw">
+            <node concept="37vLTw" id="5PFth5W2fT$" role="2Oq$k0">
+              <ref role="3cqZAo" node="5PFth5W2fTi" resolve="modelsToCheck" />
             </node>
+            <node concept="1v1jN8" id="5PFth5W2fT_" role="2OqNvi" />
           </node>
         </node>
-        <node concept="3clFbH" id="fofa_ocT5H" role="3cqZAp" />
+        <node concept="3clFbH" id="5PFth5W2fTA" role="3cqZAp" />
         <node concept="2Gpval" id="2QH7JPsZwOx" role="3cqZAp">
           <node concept="2GrKxI" id="2QH7JPsZwOy" role="2Gsz3X">
             <property role="TrG5h" value="typesystemModel" />
           </node>
           <node concept="37vLTw" id="2QH7JPsZwOz" role="2GsD0m">
-            <ref role="3cqZAo" node="2QH7JPsZwNO" resolve="typesystemModels" />
+            <ref role="3cqZAo" node="5PFth5W2fSW" resolve="typesystemModels" />
           </node>
           <node concept="3clFbS" id="2QH7JPsZwO$" role="2LFqv$">
-            <node concept="3cpWs8" id="2QH7JPsZwO_" role="3cqZAp">
-              <node concept="3cpWsn" id="2QH7JPsZwOA" role="3cpWs9">
-                <property role="TrG5h" value="packageName" />
-                <node concept="17QB3L" id="2QH7JPsZwOB" role="1tU5fm" />
-                <node concept="2OqwBi" id="2QH7JPsZwOC" role="33vP2m">
-                  <node concept="2GrUjf" id="2QH7JPsZwOD" role="2Oq$k0">
-                    <ref role="2Gs0qQ" node="2QH7JPsZwOy" resolve="typesystemModel" />
-                  </node>
-                  <node concept="LkI2h" id="2QH7JPsZwOE" role="2OqNvi" />
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbH" id="2QH7JPsZwOF" role="3cqZAp" />
             <node concept="2Gpval" id="2QH7JPsZwOG" role="3cqZAp">
               <node concept="2GrKxI" id="2QH7JPsZwOH" role="2Gsz3X">
                 <property role="TrG5h" value="ntsr" />
               </node>
               <node concept="3clFbS" id="2QH7JPsZwOI" role="2LFqv$">
-                <node concept="3cpWs8" id="2QH7JPsZwOJ" role="3cqZAp">
-                  <node concept="3cpWsn" id="2QH7JPsZwOK" role="3cpWs9">
-                    <property role="TrG5h" value="clazzName" />
-                    <node concept="17QB3L" id="2QH7JPsZwOL" role="1tU5fm" />
-                    <node concept="3cpWs3" id="2QH7JPsZwOM" role="33vP2m">
-                      <node concept="2OqwBi" id="2QH7JPsZwON" role="3uHU7w">
-                        <node concept="2OqwBi" id="2QH7JPsZwOO" role="2Oq$k0">
-                          <node concept="2GrUjf" id="2QH7JPsZwOP" role="2Oq$k0">
-                            <ref role="2Gs0qQ" node="2QH7JPsZwOH" resolve="ntsr" />
-                          </node>
-                          <node concept="2yIwOk" id="2QH7JPsZwOQ" role="2OqNvi" />
-                        </node>
-                        <node concept="liA8E" id="2QH7JPsZwOR" role="2OqNvi">
-                          <ref role="37wK5l" to="c17a:~SAbstractConcept.getName()" resolve="getName" />
-                        </node>
-                      </node>
-                      <node concept="3cpWs3" id="2QH7JPsZwOS" role="3uHU7B">
-                        <node concept="2OqwBi" id="2QH7JPsZwOT" role="3uHU7B">
-                          <node concept="2GrUjf" id="2QH7JPsZwOU" role="2Oq$k0">
-                            <ref role="2Gs0qQ" node="2QH7JPsZwOH" resolve="ntsr" />
-                          </node>
-                          <node concept="3TrcHB" id="2QH7JPsZwOV" role="2OqNvi">
-                            <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
-                          </node>
-                        </node>
-                        <node concept="Xl_RD" id="2QH7JPsZwOW" role="3uHU7w">
-                          <property role="Xl_RC" value="_" />
-                        </node>
-                      </node>
+                <node concept="3clFbF" id="fofa_ocOpT" role="3cqZAp">
+                  <node concept="2OqwBi" id="fofa_ocPVU" role="3clFbG">
+                    <node concept="2YIFZM" id="fofa_ocPjf" role="2Oq$k0">
+                      <ref role="37wK5l" to="wyt6:~Runtime.getRuntime()" resolve="getRuntime" />
+                      <ref role="1Pybhc" to="wyt6:~Runtime" resolve="Runtime" />
                     </node>
-                  </node>
-                </node>
-                <node concept="3cpWs8" id="2QH7JPsZwOX" role="3cqZAp">
-                  <node concept="3cpWsn" id="2QH7JPsZwOY" role="3cpWs9">
-                    <property role="TrG5h" value="fqClassName" />
-                    <node concept="17QB3L" id="2QH7JPsZwOZ" role="1tU5fm" />
-                    <node concept="3cpWs3" id="2QH7JPsZwP0" role="33vP2m">
-                      <node concept="37vLTw" id="2QH7JPsZwP1" role="3uHU7w">
-                        <ref role="3cqZAo" node="2QH7JPsZwOK" resolve="clazzName" />
-                      </node>
-                      <node concept="3cpWs3" id="2QH7JPsZwP2" role="3uHU7B">
-                        <node concept="37vLTw" id="2QH7JPsZwP3" role="3uHU7B">
-                          <ref role="3cqZAo" node="2QH7JPsZwOA" resolve="packageName" />
-                        </node>
-                        <node concept="Xl_RD" id="2QH7JPsZwP4" role="3uHU7w">
-                          <property role="Xl_RC" value="." />
-                        </node>
-                      </node>
+                    <node concept="liA8E" id="fofa_ocRbZ" role="2OqNvi">
+                      <ref role="37wK5l" to="wyt6:~Runtime.gc()" resolve="gc" />
                     </node>
                   </node>
                 </node>
-                <node concept="3clFbH" id="2QH7JPsZwP5" role="3cqZAp" />
-                <node concept="3cpWs8" id="2QH7JPsZwPk" role="3cqZAp">
-                  <node concept="3cpWsn" id="2QH7JPsZwPl" role="3cpWs9">
-                    <property role="TrG5h" value="myLanguage" />
-                    <node concept="3uibUv" id="2QH7JPsZwPm" role="1tU5fm">
-                      <ref role="3uigEE" to="j8aq:~ReloadableModule" resolve="ReloadableModule" />
-                    </node>
-                    <node concept="1eOMI4" id="2QH7JPsZwPn" role="33vP2m">
-                      <node concept="10QFUN" id="2QH7JPsZwPo" role="1eOMHV">
-                        <node concept="2OqwBi" id="2QH7JPsZwPp" role="10QFUP">
-                          <node concept="2JrnkZ" id="2QH7JPsZwPq" role="2Oq$k0">
-                            <node concept="2GrUjf" id="2QH7JPsZwPr" role="2JrQYb">
-                              <ref role="2Gs0qQ" node="2QH7JPsZwOy" resolve="typesystemModel" />
-                            </node>
-                          </node>
-                          <node concept="liA8E" id="2QH7JPsZwPs" role="2OqNvi">
-                            <ref role="37wK5l" to="mhbf:~SModel.getModule()" resolve="getModule" />
-                          </node>
-                        </node>
-                        <node concept="3uibUv" id="2QH7JPsZwPt" role="10QFUM">
-                          <ref role="3uigEE" to="j8aq:~ReloadableModule" resolve="ReloadableModule" />
+                <node concept="3J1_TO" id="5PFth5W3AAk" role="3cqZAp">
+                  <node concept="3uVAMA" id="5PFth5W3AU0" role="1zxBo5">
+                    <node concept="XOnhg" id="5PFth5W3AU1" role="1zc67B">
+                      <property role="TrG5h" value="e" />
+                      <node concept="nSUau" id="5PFth5W3AU2" role="1tU5fm">
+                        <node concept="3uibUv" id="5PFth5W3BcA" role="nSUat">
+                          <ref role="3uigEE" to="wyt6:~Exception" resolve="Exception" />
                         </node>
                       </node>
                     </node>
-                  </node>
-                </node>
-                <node concept="3cpWs8" id="2QH7JPsZwPu" role="3cqZAp">
-                  <node concept="3cpWsn" id="2QH7JPsZwPv" role="3cpWs9">
-                    <property role="TrG5h" value="classLoaderOfLanguage" />
-                    <node concept="3uibUv" id="2QH7JPsZwPw" role="1tU5fm">
-                      <ref role="3uigEE" to="3qmy:~MPSModuleClassLoader" resolve="MPSModuleClassLoader" />
-                    </node>
-                    <node concept="2OqwBi" id="2QH7JPsZwPx" role="33vP2m">
-                      <node concept="37vLTw" id="2QH7JPsZwPy" role="2Oq$k0">
-                        <ref role="3cqZAo" node="2QH7JPsZwPl" resolve="myLanguage" />
-                      </node>
-                      <node concept="liA8E" id="2QH7JPsZwPz" role="2OqNvi">
-                        <ref role="37wK5l" to="j8aq:~ReloadableModule.getClassLoader()" resolve="getClassLoader" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3cpWs8" id="2QH7JPsZwP$" role="3cqZAp">
-                  <node concept="3cpWsn" id="2QH7JPsZwP_" role="3cpWs9">
-                    <property role="TrG5h" value="forName" />
-                    <node concept="3uibUv" id="2QH7JPsZwPA" role="1tU5fm">
-                      <ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
-                      <node concept="3uibUv" id="2QH7JPsZwPB" role="11_B2D">
-                        <ref role="3uigEE" to="qurh:~AbstractNonTypesystemRule_Runtime" resolve="AbstractNonTypesystemRule_Runtime" />
-                      </node>
-                    </node>
-                    <node concept="1eOMI4" id="2QH7JPsZwPC" role="33vP2m">
-                      <node concept="10QFUN" id="2QH7JPsZwPD" role="1eOMHV">
-                        <node concept="3uibUv" id="2QH7JPsZwPE" role="10QFUM">
-                          <ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
-                          <node concept="3uibUv" id="2QH7JPsZwPF" role="11_B2D">
-                            <ref role="3uigEE" to="qurh:~AbstractNonTypesystemRule_Runtime" resolve="AbstractNonTypesystemRule_Runtime" />
-                          </node>
-                        </node>
-                        <node concept="2OqwBi" id="2QH7JPsZwPG" role="10QFUP">
-                          <node concept="37vLTw" id="2QH7JPsZwPH" role="2Oq$k0">
-                            <ref role="3cqZAo" node="2QH7JPsZwPv" resolve="classLoaderOfLanguage" />
+                    <node concept="3clFbS" id="5PFth5W3AU3" role="1zc67A">
+                      <node concept="3clFbF" id="5PFth5W3BMp" role="3cqZAp">
+                        <node concept="2OqwBi" id="5PFth5W3BMq" role="3clFbG">
+                          <node concept="37vLTw" id="5PFth5W3BMr" role="2Oq$k0">
+                            <ref role="3cqZAo" node="2QH7JPsZwNG" resolve="res" />
                           </node>
-                          <node concept="liA8E" id="2QH7JPsZwPI" role="2OqNvi">
-                            <ref role="37wK5l" to="wyt6:~ClassLoader.loadClass(java.lang.String)" resolve="loadClass" />
-                            <node concept="37vLTw" id="2QH7JPsZwPJ" role="37wK5m">
-                              <ref role="3cqZAo" node="2QH7JPsZwOY" resolve="fqClassName" />
+                          <node concept="TSZUe" id="5PFth5W3BMs" role="2OqNvi">
+                            <node concept="3cpWs3" id="5PFth5W3BMt" role="25WWJ7">
+                              <node concept="3cpWs3" id="5PFth5W3BMu" role="3uHU7B">
+                                <node concept="3cpWs3" id="5PFth5W3BMv" role="3uHU7B">
+                                  <node concept="3cpWs3" id="5PFth5W3BMw" role="3uHU7B">
+                                    <node concept="2OqwBi" id="5PFth5W3BMx" role="3uHU7w">
+                                      <node concept="2OqwBi" id="5PFth5W3BMy" role="2Oq$k0">
+                                        <node concept="2GrUjf" id="5PFth5W3BMz" role="2Oq$k0">
+                                          <ref role="2Gs0qQ" node="2QH7JPsZwOy" resolve="typesystemModel" />
+                                        </node>
+                                        <node concept="13u695" id="5PFth5W3BM$" role="2OqNvi" />
+                                      </node>
+                                      <node concept="3TrcHB" id="5PFth5W3BM_" role="2OqNvi">
+                                        <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                      </node>
+                                    </node>
+                                    <node concept="3cpWs3" id="5PFth5W3BMA" role="3uHU7B">
+                                      <node concept="3cpWs3" id="5PFth5W3BMB" role="3uHU7B">
+                                        <node concept="Xl_RD" id="5PFth5W3BMC" role="3uHU7B">
+                                          <property role="Xl_RC" value="Non-typesystem check '" />
+                                        </node>
+                                        <node concept="2OqwBi" id="5PFth5W3BMD" role="3uHU7w">
+                                          <node concept="2GrUjf" id="5PFth5W3BME" role="2Oq$k0">
+                                            <ref role="2Gs0qQ" node="2QH7JPsZwOH" resolve="ntsr" />
+                                          </node>
+                                          <node concept="3TrcHB" id="5PFth5W3BMF" role="2OqNvi">
+                                            <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                          </node>
+                                        </node>
+                                      </node>
+                                      <node concept="Xl_RD" id="5PFth5W3BMG" role="3uHU7w">
+                                        <property role="Xl_RC" value="' from language " />
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="Xl_RD" id="5PFth5W3BMH" role="3uHU7w">
+                                    <property role="Xl_RC" value=" produces exception: '" />
+                                  </node>
+                                </node>
+                                <node concept="2OqwBi" id="5PFth5W3BMI" role="3uHU7w">
+                                  <node concept="37vLTw" id="5PFth5W3BMJ" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="5PFth5W3AU1" resolve="e" />
+                                  </node>
+                                  <node concept="liA8E" id="5PFth5W3BMK" role="2OqNvi">
+                                    <ref role="37wK5l" to="wyt6:~Throwable.getMessage()" resolve="getMessage" />
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="Xl_RD" id="5PFth5W3BML" role="3uHU7w">
+                                <property role="Xl_RC" value="'" />
+                              </node>
                             </node>
                           </node>
                         </node>
                       </node>
                     </node>
                   </node>
-                </node>
-                <node concept="3cpWs8" id="2QH7JPsZwPK" role="3cqZAp">
-                  <node concept="3cpWsn" id="2QH7JPsZwPL" role="3cpWs9">
-                    <property role="TrG5h" value="currentRule" />
-                    <node concept="3uibUv" id="2QH7JPsZwPM" role="1tU5fm">
-                      <ref role="3uigEE" to="qurh:~AbstractNonTypesystemRule_Runtime" resolve="AbstractNonTypesystemRule_Runtime" />
-                    </node>
-                    <node concept="2OqwBi" id="2QH7JPsZwPN" role="33vP2m">
-                      <node concept="37vLTw" id="2QH7JPsZwPO" role="2Oq$k0">
-                        <ref role="3cqZAo" node="2QH7JPsZwP_" resolve="forName" />
-                      </node>
-                      <node concept="liA8E" id="2QH7JPsZwPP" role="2OqNvi">
-                        <ref role="37wK5l" to="wyt6:~Class.newInstance()" resolve="newInstance" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbH" id="2QH7JPsZwPQ" role="3cqZAp" />
-                <node concept="3cpWs8" id="2QH7JPsZwPR" role="3cqZAp">
-                  <node concept="3cpWsn" id="2QH7JPsZwPS" role="3cpWs9">
-                    <property role="TrG5h" value="applicableConcept" />
-                    <node concept="3uibUv" id="2QH7JPsZwPT" role="1tU5fm">
-                      <ref role="3uigEE" to="c17a:~SAbstractConcept" resolve="SAbstractConcept" />
-                    </node>
-                    <node concept="2OqwBi" id="2QH7JPsZwPU" role="33vP2m">
-                      <node concept="37vLTw" id="2QH7JPsZwPV" role="2Oq$k0">
-                        <ref role="3cqZAo" node="2QH7JPsZwPL" resolve="currentRule" />
-                      </node>
-                      <node concept="liA8E" id="2QH7JPsZwPW" role="2OqNvi">
-                        <ref role="37wK5l" to="qurh:~IApplicableToConcept.getApplicableConcept()" resolve="getApplicableConcept" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbH" id="2QH7JPsZwPX" role="3cqZAp" />
-                <node concept="L3pyB" id="2QH7JPsZwQq" role="3cqZAp">
-                  <node concept="3clFbS" id="2QH7JPsZwQr" role="L3pyw">
-                    <node concept="3cpWs8" id="2QH7JPsZwQs" role="3cqZAp">
-                      <node concept="3cpWsn" id="2QH7JPsZwQt" role="3cpWs9">
-                        <property role="TrG5h" value="applicableNodes" />
-                        <node concept="3vKaQO" id="2QH7JPsZwQu" role="1tU5fm">
-                          <node concept="3qUE_q" id="2iYG$Wavko8" role="3O5elw">
-                            <node concept="3Tqbb2" id="2iYG$Wavko9" role="3qUE_r" />
-                          </node>
-                        </node>
-                        <node concept="qVDSY" id="2iYG$WavkzX" role="33vP2m">
-                          <node concept="25Kdxt" id="2iYG$WavkzY" role="qVDSX">
-                            <node concept="37vLTw" id="2iYG$WavkzZ" role="25KhWn">
-                              <ref role="3cqZAo" node="2QH7JPsZwPS" resolve="applicableConcept" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3clFbH" id="2QH7JPsZwQz" role="3cqZAp" />
-                    <node concept="3clFbH" id="fofa_ohOx4" role="3cqZAp" />
+                  <node concept="3clFbS" id="5PFth5W3AAm" role="1zxBo7">
                     <node concept="3cpWs8" id="2QH7JPsZwQ$" role="3cqZAp">
                       <node concept="3cpWsn" id="2QH7JPsZwQ_" role="3cpWs9">
                         <property role="TrG5h" value="initiallyUsedMemory" />
@@ -1550,75 +1108,25 @@
                         </node>
                       </node>
                     </node>
-                    <node concept="2Gpval" id="2QH7JPsZwQC" role="3cqZAp">
-                      <node concept="2GrKxI" id="2QH7JPsZwQD" role="2Gsz3X">
-                        <property role="TrG5h" value="crtNode" />
-                      </node>
-                      <node concept="37vLTw" id="2QH7JPsZwQE" role="2GsD0m">
-                        <ref role="3cqZAo" node="2QH7JPsZwQt" resolve="applicableNodes" />
-                      </node>
-                      <node concept="3clFbS" id="2QH7JPsZwQF" role="2LFqv$">
-                        <node concept="3cpWs8" id="2QH7JPsZwQG" role="3cqZAp">
-                          <node concept="3cpWsn" id="2QH7JPsZwQH" role="3cpWs9">
-                            <property role="TrG5h" value="typeCheckingContext" />
-                            <node concept="3uibUv" id="2QH7JPsZwQI" role="1tU5fm">
-                              <ref role="3uigEE" to="u78q:~TypeCheckingContext" resolve="TypeCheckingContext" />
-                            </node>
-                            <node concept="2OqwBi" id="2QH7JPsZwQJ" role="33vP2m">
-                              <node concept="2YIFZM" id="2QH7JPsZwQK" role="2Oq$k0">
-                                <ref role="37wK5l" to="u78q:~TypeContextManager.getInstance()" resolve="getInstance" />
-                                <ref role="1Pybhc" to="u78q:~TypeContextManager" resolve="TypeContextManager" />
-                              </node>
-                              <node concept="liA8E" id="2QH7JPsZwQL" role="2OqNvi">
-                                <ref role="37wK5l" to="u78q:~TypeContextManager.createTypeCheckingContext(org.jetbrains.mps.openapi.model.SNode)" resolve="createTypeCheckingContext" />
-                                <node concept="2GrUjf" id="2QH7JPsZwQM" role="37wK5m">
-                                  <ref role="2Gs0qQ" node="2QH7JPsZwQD" resolve="crtNode" />
-                                </node>
-                              </node>
-                            </node>
+                    <node concept="3cpWs8" id="5PFth5W2qsu" role="3cqZAp">
+                      <node concept="3cpWsn" id="5PFth5W2qsv" role="3cpWs9">
+                        <property role="TrG5h" value="applicableNodesSize" />
+                        <node concept="10Oyi0" id="5PFth5W2qsw" role="1tU5fm" />
+                        <node concept="2YIFZM" id="5PFth5W2qsx" role="33vP2m">
+                          <ref role="37wK5l" to="u5iv:5PFth5W0UOr" resolve="runCheckingRule" />
+                          <ref role="1Pybhc" to="u5iv:5PFth5W0UMZ" resolve="CheckingRuleRunningUtils" />
+                          <node concept="2GrUjf" id="5PFth5W2qsy" role="37wK5m">
+                            <ref role="2Gs0qQ" node="2QH7JPsZwOy" resolve="typesystemModel" />
                           </node>
-                        </node>
-                        <node concept="3cpWs8" id="2QH7JPsZwQN" role="3cqZAp">
-                          <node concept="3cpWsn" id="2QH7JPsZwQO" role="3cpWs9">
-                            <property role="TrG5h" value="applicableAndPattern" />
-                            <node concept="3uibUv" id="2QH7JPsZwQP" role="1tU5fm">
-                              <ref role="3uigEE" to="qurh:~IsApplicableStatus" resolve="IsApplicableStatus" />
-                            </node>
-                            <node concept="2OqwBi" id="2QH7JPsZwQQ" role="33vP2m">
-                              <node concept="37vLTw" id="2QH7JPsZwQR" role="2Oq$k0">
-                                <ref role="3cqZAo" node="2QH7JPsZwPL" resolve="currentRule" />
-                              </node>
-                              <node concept="liA8E" id="2QH7JPsZwQS" role="2OqNvi">
-                                <ref role="37wK5l" to="qurh:~AbstractNonTypesystemRule_Runtime.isApplicableAndPattern(org.jetbrains.mps.openapi.model.SNode)" resolve="isApplicableAndPattern" />
-                                <node concept="2GrUjf" id="2QH7JPsZwQT" role="37wK5m">
-                                  <ref role="2Gs0qQ" node="2QH7JPsZwQD" resolve="crtNode" />
-                                </node>
-                              </node>
-                            </node>
+                          <node concept="2GrUjf" id="5PFth5W2qsz" role="37wK5m">
+                            <ref role="2Gs0qQ" node="2QH7JPsZwOH" resolve="ntsr" />
                           </node>
-                        </node>
-                        <node concept="3clFbF" id="2QH7JPsZwQU" role="3cqZAp">
-                          <node concept="2OqwBi" id="2QH7JPsZwQV" role="3clFbG">
-                            <node concept="37vLTw" id="2QH7JPsZwQW" role="2Oq$k0">
-                              <ref role="3cqZAo" node="2QH7JPsZwPL" resolve="currentRule" />
-                            </node>
-                            <node concept="liA8E" id="2QH7JPsZwQX" role="2OqNvi">
-                              <ref role="37wK5l" to="qurh:~AbstractNonTypesystemRule_Runtime.applyRule(org.jetbrains.mps.openapi.model.SNode,jetbrains.mps.typesystem.inference.TypeCheckingContext,jetbrains.mps.lang.typesystem.runtime.IsApplicableStatus)" resolve="applyRule" />
-                              <node concept="2GrUjf" id="2QH7JPsZwQY" role="37wK5m">
-                                <ref role="2Gs0qQ" node="2QH7JPsZwQD" resolve="crtNode" />
-                              </node>
-                              <node concept="37vLTw" id="2QH7JPsZwQZ" role="37wK5m">
-                                <ref role="3cqZAo" node="2QH7JPsZwQH" resolve="typeCheckingContext" />
-                              </node>
-                              <node concept="37vLTw" id="2QH7JPsZwR0" role="37wK5m">
-                                <ref role="3cqZAo" node="2QH7JPsZwQO" resolve="applicableAndPattern" />
-                              </node>
-                            </node>
+                          <node concept="37vLTw" id="5PFth5W2qs$" role="37wK5m">
+                            <ref role="3cqZAo" node="5PFth5W2fTi" resolve="modelsToCheck" />
                           </node>
                         </node>
                       </node>
                     </node>
-                    <node concept="3clFbH" id="2QH7JPsZwR1" role="3cqZAp" />
                     <node concept="3cpWs8" id="2QH7JPsZwR2" role="3cqZAp">
                       <node concept="3cpWsn" id="2QH7JPsZwR3" role="3cpWs9">
                         <property role="TrG5h" value="usedMemoryInMb" />
@@ -1734,11 +1242,8 @@
                                       <property role="Xl_RC" value="mb for " />
                                     </node>
                                   </node>
-                                  <node concept="2OqwBi" id="2QH7JPsZwR$" role="3uHU7w">
-                                    <node concept="37vLTw" id="2QH7JPsZwR_" role="2Oq$k0">
-                                      <ref role="3cqZAo" node="2QH7JPsZwQt" resolve="applicableNodes" />
-                                    </node>
-                                    <node concept="34oBXx" id="2QH7JPsZwRA" role="2OqNvi" />
+                                  <node concept="37vLTw" id="2QH7JPsZwR_" role="3uHU7w">
+                                    <ref role="3cqZAo" node="5PFth5W2qsv" resolve="applicableNodesSize" />
                                   </node>
                                 </node>
                               </node>
@@ -1746,32 +1251,16 @@
                           </node>
                         </node>
                       </node>
-                      <node concept="1Wc70l" id="fofa_oimga" role="3clFbw">
-                        <node concept="3eOSWO" id="fofa_oiqSG" role="3uHU7w">
-                          <node concept="3cmrfG" id="fofa_oiqSY" role="3uHU7w">
-                            <property role="3cmrfH" value="0" />
-                          </node>
-                          <node concept="2OqwBi" id="fofa_oioyN" role="3uHU7B">
-                            <node concept="37vLTw" id="fofa_oinj4" role="2Oq$k0">
-                              <ref role="3cqZAo" node="2QH7JPsZwQt" resolve="applicableNodes" />
-                            </node>
-                            <node concept="34oBXx" id="fofa_oiqcf" role="2OqNvi" />
-                          </node>
+                      <node concept="3eOSWO" id="2QH7JPsZwRB" role="3clFbw">
+                        <node concept="37vLTw" id="2QH7JPsZwRD" role="3uHU7B">
+                          <ref role="3cqZAo" node="2QH7JPsZwR3" resolve="usedMemoryInMb" />
                         </node>
-                        <node concept="3eOSWO" id="2QH7JPsZwRB" role="3uHU7B">
-                          <node concept="37vLTw" id="2QH7JPsZwRD" role="3uHU7B">
-                            <ref role="3cqZAo" node="2QH7JPsZwR3" resolve="usedMemoryInMb" />
-                          </node>
-                          <node concept="2j1LYi" id="2QH7JPsZwRC" role="3uHU7w">
-                            <ref role="2j1LYj" node="2QH7JPsZwNB" resolve="memoryConsumptionInMb" />
-                          </node>
+                        <node concept="2j1LYi" id="2QH7JPsZwRC" role="3uHU7w">
+                          <ref role="2j1LYj" node="2QH7JPsZwNB" resolve="memoryConsumptionInMb" />
                         </node>
                       </node>
                     </node>
                   </node>
-                  <node concept="37vLTw" id="2QH7JPsZwRE" role="L3pyr">
-                    <ref role="3cqZAo" node="2QH7JPsZwPZ" resolve="modelsToCheck" />
-                  </node>
                 </node>
               </node>
               <node concept="2OqwBi" id="2QH7JPsZwRF" role="2GsD0m">
@@ -1808,7 +1297,7 @@
         <ref role="2j1LYj" node="2QH7JPsZwN_" resolve="modelsToCheckNamesRegex" />
       </node>
       <node concept="Xl_RD" id="2QH7JPsZwRR" role="2j1LYg">
-        <property role="Xl_RC" value="" />
+        <property role="Xl_RC" value=".*" />
       </node>
     </node>
     <node concept="2j1LYv" id="2QH7JPsZwRS" role="2j1YRv">
diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps
index 38987d00..2c8b24aa 100644
--- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps
+++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps
@@ -8,15 +8,34 @@
     <use id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text" version="0" />
     <use id="1a8554c4-eb84-43ba-8c34-6f0d90c6e75a" name="jetbrains.mps.lang.smodel.query" version="3" />
     <use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="12" />
+    <use id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples" version="0" />
   </languages>
   <imports>
     <import index="zn9m" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.openapi.util(MPS.IDEA/)" />
     <import index="tpd4" ref="r:00000000-0000-4000-0000-011c895902b4(jetbrains.mps.lang.typesystem.structure)" />
     <import index="tp5g" ref="r:00000000-0000-4000-0000-011c89590388(jetbrains.mps.lang.test.structure)" />
+    <import index="c17a" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.language(MPS.OpenAPI/)" />
+    <import index="3qmy" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.classloading(MPS.Core/)" />
+    <import index="qurh" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.lang.typesystem.runtime(MPS.Core/)" />
+    <import index="u78q" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.typesystem.inference(MPS.Core/)" />
+    <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
+    <import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" />
+    <import index="j8aq" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.module(MPS.Core/)" />
+    <import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" />
     <import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" implicit="true" />
+    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
+        <child id="1068498886297" name="rValue" index="37vLTx" />
+        <child id="1068498886295" name="lValue" index="37vLTJ" />
+      </concept>
+      <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
+      <concept id="8118189177080264853" name="jetbrains.mps.baseLanguage.structure.AlternativeType" flags="ig" index="nSUau">
+        <child id="8118189177080264854" name="alternative" index="nSUat" />
+      </concept>
+      <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="nn" index="2tJIrI" />
       <concept id="1154032098014" name="jetbrains.mps.baseLanguage.structure.AbstractLoopStatement" flags="nn" index="2LF5Ji">
         <child id="1154032183016" name="body" index="2LFqv$" />
       </concept>
@@ -33,6 +52,18 @@
       <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
         <property id="1070475926801" name="value" index="Xl_RC" />
       </concept>
+      <concept id="4952749571008284462" name="jetbrains.mps.baseLanguage.structure.CatchVariable" flags="ng" index="XOnhg" />
+      <concept id="1081236700938" name="jetbrains.mps.baseLanguage.structure.StaticMethodDeclaration" flags="ig" index="2YIFZL" />
+      <concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
+        <reference id="1144433194310" name="classConcept" index="1Pybhc" />
+      </concept>
+      <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
+      <concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
+      <concept id="1070534934090" name="jetbrains.mps.baseLanguage.structure.CastExpression" flags="nn" index="10QFUN">
+        <child id="1070534934091" name="type" index="10QFUM" />
+        <child id="1070534934092" name="expression" index="10QFUP" />
+      </concept>
+      <concept id="1068390468198" name="jetbrains.mps.baseLanguage.structure.ClassConcept" flags="ig" index="312cEu" />
       <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
         <child id="1068431790190" name="initializer" index="33vP2m" />
       </concept>
@@ -42,10 +73,17 @@
       <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
         <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
       </concept>
+      <concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
+      <concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
       <concept id="1225271177708" name="jetbrains.mps.baseLanguage.structure.StringType" flags="in" index="17QB3L" />
       <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
         <child id="5680397130376446158" name="type" index="1tU5fm" />
       </concept>
+      <concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
+        <child id="1068580123133" name="returnType" index="3clF45" />
+        <child id="1068580123134" name="parameter" index="3clF46" />
+        <child id="1068580123135" name="body" index="3clF47" />
+      </concept>
       <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
         <child id="1068580123156" name="expression" index="3clFbG" />
       </concept>
@@ -57,6 +95,10 @@
       <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
         <child id="1068581517665" name="statement" index="3cqZAp" />
       </concept>
+      <concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
+        <property id="1068580320021" name="value" index="3cmrfH" />
+      </concept>
+      <concept id="1068581242875" name="jetbrains.mps.baseLanguage.structure.PlusExpression" flags="nn" index="3cpWs3" />
       <concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
         <child id="1068581517676" name="expression" index="3cqZAk" />
       </concept>
@@ -64,20 +106,55 @@
         <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
       </concept>
       <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
+      <concept id="1079359253375" name="jetbrains.mps.baseLanguage.structure.ParenthesizedExpression" flags="nn" index="1eOMI4">
+        <child id="1079359253376" name="expression" index="1eOMHV" />
+      </concept>
       <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ngI" index="1ndlxa">
         <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
         <child id="1068499141038" name="actualArgument" index="37wK5m" />
       </concept>
       <concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
+      <concept id="1107461130800" name="jetbrains.mps.baseLanguage.structure.Classifier" flags="ng" index="3pOWGL">
+        <child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
+      </concept>
       <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
         <reference id="1107535924139" name="classifier" index="3uigEE" />
         <child id="1109201940907" name="parameter" index="11_B2D" />
       </concept>
+      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
+        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
+        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
+      </concept>
+      <concept id="3093926081414150598" name="jetbrains.mps.baseLanguage.structure.MultipleCatchClause" flags="ng" index="3uVAMA">
+        <child id="8276990574895933173" name="catchBody" index="1zc67A" />
+        <child id="8276990574895933172" name="throwable" index="1zc67B" />
+      </concept>
+      <concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ngI" index="1B3ioH">
+        <child id="1178549979242" name="visibility" index="1B3o_S" />
+      </concept>
+      <concept id="5351203823916750322" name="jetbrains.mps.baseLanguage.structure.TryUniversalStatement" flags="nn" index="3J1_TO">
+        <child id="8276990574886367510" name="catchClause" index="1zxBo5" />
+        <child id="8276990574886367508" name="body" index="1zxBo7" />
+      </concept>
       <concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
         <child id="8356039341262087992" name="line" index="1aUNEU" />
       </concept>
+      <concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
     </language>
     <language id="40ab19e9-751a-4433-b645-0e65160e58a0" name="org.mpsqa.lint.generic">
+      <concept id="7741759128795038157" name="org.mpsqa.lint.generic.structure.CheckableScriptParameter" flags="ng" index="2j1K4_">
+        <child id="7741759128795045740" name="type" index="2j1LY4" />
+      </concept>
+      <concept id="7741759128795045742" name="org.mpsqa.lint.generic.structure.IScriptsParametersAware" flags="ngI" index="2j1LY6">
+        <child id="7741759128795065655" name="parValues" index="2j1YRv" />
+      </concept>
+      <concept id="7741759128795045754" name="org.mpsqa.lint.generic.structure.CheckableScriptParameterRef" flags="ng" index="2j1LYi">
+        <reference id="7741759128795045755" name="par" index="2j1LYj" />
+      </concept>
+      <concept id="7741759128795045751" name="org.mpsqa.lint.generic.structure.ParamValue" flags="ng" index="2j1LYv">
+        <child id="7741759128795045752" name="exp" index="2j1LYg" />
+        <child id="7741759128795065723" name="paramRef" index="2j1YQj" />
+      </concept>
       <concept id="1024891882119954681" name="org.mpsqa.lint.generic.structure.ISeverityLevelAwareChecker" flags="ngI" index="2oM2l5">
         <property id="1024891882119955433" name="reportLevel" index="2oM2pl" />
       </concept>
@@ -96,18 +173,35 @@
       <concept id="2940128608222714486" name="org.mpsqa.lint.generic.structure.ConceptFunctionParameter_Node" flags="nn" index="1JQnki" />
       <concept id="2555875871752198907" name="org.mpsqa.lint.generic.structure.ConceptFunctionParameter_MPSProject" flags="ng" index="1MG55F" />
       <concept id="2555875871751836213" name="org.mpsqa.lint.generic.structure.CheckableScript" flags="ng" index="1MIHA_">
+        <child id="7741759128795038158" name="additionalParameters" index="2j1K4A" />
         <child id="1716492013482699988" name="check" index="14J5yK" />
         <child id="2555875871751847640" name="documentation" index="1MIJl8" />
       </concept>
       <concept id="2555875871751904530" name="org.mpsqa.lint.generic.structure.GenericCheckingFunction" flags="ig" index="1MIXq2" />
     </language>
     <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
+      <concept id="1204834851141" name="jetbrains.mps.lang.smodel.structure.PoundExpression" flags="ng" index="25Kdxt">
+        <child id="1204834868751" name="expression" index="25KhWn" />
+      </concept>
       <concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
         <reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
       </concept>
+      <concept id="7453996997717780434" name="jetbrains.mps.lang.smodel.structure.Node_GetSConceptOperation" flags="nn" index="2yIwOk" />
+      <concept id="1143226024141" name="jetbrains.mps.lang.smodel.structure.SModelType" flags="in" index="H_c77" />
+      <concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
+        <child id="1145404616321" name="leftExpression" index="2JrQYb" />
+      </concept>
+      <concept id="1212008292747" name="jetbrains.mps.lang.smodel.structure.Model_GetLongNameOperation" flags="nn" index="LkI2h" />
+      <concept id="1171315804604" name="jetbrains.mps.lang.smodel.structure.Model_RootsOperation" flags="nn" index="2RRcyG">
+        <child id="6750920497477046361" name="conceptArgument" index="3MHsoP" />
+      </concept>
+      <concept id="6995935425733782641" name="jetbrains.mps.lang.smodel.structure.Model_GetModule" flags="nn" index="13u695" />
       <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
         <reference id="1138405853777" name="concept" index="ehGHo" />
       </concept>
+      <concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
+        <reference id="1138056395725" name="property" index="3TsBF5" />
+      </concept>
       <concept id="1138056143562" name="jetbrains.mps.lang.smodel.structure.SLinkAccess" flags="nn" index="3TrEf2">
         <reference id="1138056516764" name="link" index="3Tt5mk" />
       </concept>
@@ -121,8 +215,15 @@
       </concept>
     </language>
     <language id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text">
+      <concept id="1094247804558289146" name="jetbrains.mps.lang.text.structure.BulletLine" flags="ng" index="2DRihI" />
+      <concept id="5106752179536586436" name="jetbrains.mps.lang.text.structure.IndentedPoint" flags="ngI" index="2RT3b8">
+        <property id="5106752179536586491" name="indentation" index="2RT3bR" />
+      </concept>
       <concept id="155656958578482948" name="jetbrains.mps.lang.text.structure.Word" flags="nn" index="3oM_SD">
         <property id="155656958578482949" name="value" index="3oM_SC" />
+        <property id="6328114375520539774" name="bold" index="1X82S1" />
+        <property id="6328114375520539796" name="underlined" index="1X82VF" />
+        <property id="6328114375520539777" name="italic" index="1X82VY" />
       </concept>
       <concept id="2535923850359206929" name="jetbrains.mps.lang.text.structure.Text" flags="nn" index="1Pa9Pv">
         <child id="2535923850359210936" name="lines" index="1PaQFQ" />
@@ -135,7 +236,9 @@
       <concept id="7738379549910147341" name="jetbrains.mps.lang.smodel.query.structure.InstancesExpression" flags="ng" index="qVDSY">
         <child id="7738379549910147342" name="conceptArg" index="qVDSX" />
       </concept>
+      <concept id="6864030874027862829" name="jetbrains.mps.lang.smodel.query.structure.ModelsExpression" flags="ng" index="EZOir" />
       <concept id="4234138103881610891" name="jetbrains.mps.lang.smodel.query.structure.WithStatement" flags="ng" index="L3pyB">
+        <property id="192970713427626335" name="includeNonEditable" index="1Fhty8" />
         <child id="4234138103881610935" name="scope" index="L3pyr" />
         <child id="4234138103881610892" name="stmts" index="L3pyw" />
       </concept>
@@ -162,8 +265,14 @@
       <concept id="1227008614712" name="jetbrains.mps.baseLanguage.collections.structure.LinkedListCreator" flags="nn" index="2Jqq0_" />
       <concept id="1160600644654" name="jetbrains.mps.baseLanguage.collections.structure.ListCreatorWithInit" flags="nn" index="Tc6Ow" />
       <concept id="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
+      <concept id="1160666733551" name="jetbrains.mps.baseLanguage.collections.structure.AddAllElementsOperation" flags="nn" index="X8dFx" />
+      <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
       <concept id="1167380149909" name="jetbrains.mps.baseLanguage.collections.structure.RemoveElementOperation" flags="nn" index="3dhRuq" />
       <concept id="1165530316231" name="jetbrains.mps.baseLanguage.collections.structure.IsEmptyOperation" flags="nn" index="1v1jN8" />
+      <concept id="7125221305512719026" name="jetbrains.mps.baseLanguage.collections.structure.CollectionType" flags="in" index="3vKaQO" />
+      <concept id="5686963296372573083" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerType" flags="in" index="3O5elB">
+        <child id="5686963296372573084" name="elementType" index="3O5elw" />
+      </concept>
     </language>
   </registry>
   <node concept="1MIHA_" id="3bllPAaPI3W">
@@ -516,5 +625,942 @@
       </node>
     </node>
   </node>
+  <node concept="1MIHA_" id="5PFth5W025r">
+    <property role="TrG5h" value="checking_rules_producing_exceptions" />
+    <property role="2oM2pl" value="1c_Dn$lNzd7/warning" />
+    <node concept="2j1LYv" id="2QH7JPsZwRM" role="2j1YRv">
+      <node concept="2j1LYi" id="2QH7JPsZwRN" role="2j1YQj">
+        <ref role="2j1LYj" node="2QH7JPsZwNz" resolve="typesystemModelNamesRegex" />
+      </node>
+      <node concept="Xl_RD" id="2QH7JPsZwRO" role="2j1LYg">
+        <property role="Xl_RC" value=".*baseLanguage.*typesystem$" />
+      </node>
+    </node>
+    <node concept="2j1LYv" id="2QH7JPsZwRP" role="2j1YRv">
+      <node concept="2j1LYi" id="2QH7JPsZwRQ" role="2j1YQj">
+        <ref role="2j1LYj" node="2QH7JPsZwN_" resolve="modelsToCheckNamesRegex" />
+      </node>
+      <node concept="Xl_RD" id="2QH7JPsZwRR" role="2j1LYg">
+        <property role="Xl_RC" value=".*" />
+      </node>
+    </node>
+    <node concept="2j1K4_" id="2QH7JPsZwNz" role="2j1K4A">
+      <property role="TrG5h" value="typesystemModelNamesRegex" />
+      <node concept="17QB3L" id="2QH7JPsZwN$" role="2j1LY4" />
+    </node>
+    <node concept="2j1K4_" id="2QH7JPsZwN_" role="2j1K4A">
+      <property role="TrG5h" value="modelsToCheckNamesRegex" />
+      <node concept="17QB3L" id="2QH7JPsZwNA" role="2j1LY4" />
+    </node>
+    <node concept="1Pa9Pv" id="5PFth5W025s" role="1MIJl8">
+      <node concept="1PaTwC" id="5PFth5W025t" role="1PaQFQ">
+        <node concept="3oM_SD" id="5PFth5W025u" role="1PaTwD">
+          <property role="3oM_SC" value="Finds" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W025v" role="1PaTwD">
+          <property role="3oM_SC" value="checking" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W04Y7" role="1PaTwD">
+          <property role="3oM_SC" value="rules" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W04Y8" role="1PaTwD">
+          <property role="3oM_SC" value="which" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W04Y9" role="1PaTwD">
+          <property role="3oM_SC" value="produce" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W04Yn" role="1PaTwD">
+          <property role="3oM_SC" value="exceptions." />
+        </node>
+      </node>
+      <node concept="1PaTwC" id="5PFth5W8A7s" role="1PaQFQ">
+        <node concept="3oM_SD" id="5PFth5W8A7r" role="1PaTwD">
+          <property role="3oM_SC" value="" />
+        </node>
+      </node>
+      <node concept="1PaTwC" id="5PFth5W8A7G" role="1PaQFQ">
+        <node concept="3oM_SD" id="5PFth5W8A7M" role="1PaTwD">
+          <property role="3oM_SC" value="Parameters" />
+          <property role="1X82VF" value="true" />
+        </node>
+      </node>
+      <node concept="2DRihI" id="5PFth5W8A7O" role="1PaQFQ">
+        <property role="2RT3bR" value="0" />
+        <node concept="3oM_SD" id="5PFth5W8A7P" role="1PaTwD">
+          <property role="3oM_SC" value="typesystemModelNamesRegex" />
+          <property role="1X82S1" value="true" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A7Q" role="1PaTwD">
+          <property role="3oM_SC" value="–" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A7R" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A7S" role="1PaTwD">
+          <property role="3oM_SC" value="regex" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A7T" role="1PaTwD">
+          <property role="3oM_SC" value="for" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A7U" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A7V" role="1PaTwD">
+          <property role="3oM_SC" value="name" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A7W" role="1PaTwD">
+          <property role="3oM_SC" value="of" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A7X" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A7Y" role="1PaTwD">
+          <property role="3oM_SC" value="typesystem" />
+          <property role="1X82VY" value="true" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A7Z" role="1PaTwD">
+          <property role="3oM_SC" value="model" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A80" role="1PaTwD">
+          <property role="3oM_SC" value="where" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A81" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A82" role="1PaTwD">
+          <property role="3oM_SC" value="rules" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A83" role="1PaTwD">
+          <property role="3oM_SC" value="to" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A84" role="1PaTwD">
+          <property role="3oM_SC" value="check" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A85" role="1PaTwD">
+          <property role="3oM_SC" value="reside." />
+        </node>
+      </node>
+      <node concept="2DRihI" id="5PFth5W8A86" role="1PaQFQ">
+        <property role="2RT3bR" value="0" />
+        <node concept="3oM_SD" id="5PFth5W8A87" role="1PaTwD">
+          <property role="3oM_SC" value="modelsToCheckNamesRegex" />
+          <property role="1X82S1" value="true" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A88" role="1PaTwD">
+          <property role="3oM_SC" value="–" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A89" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8a" role="1PaTwD">
+          <property role="3oM_SC" value="regex" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8b" role="1PaTwD">
+          <property role="3oM_SC" value="for" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8c" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8d" role="1PaTwD">
+          <property role="3oM_SC" value="names" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8e" role="1PaTwD">
+          <property role="3oM_SC" value="of" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8f" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8g" role="1PaTwD">
+          <property role="3oM_SC" value="models" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8h" role="1PaTwD">
+          <property role="3oM_SC" value="to" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8i" role="1PaTwD">
+          <property role="3oM_SC" value="check." />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8j" role="1PaTwD">
+          <property role="3oM_SC" value="Empty" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8k" role="1PaTwD">
+          <property role="3oM_SC" value="string" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8l" role="1PaTwD">
+          <property role="3oM_SC" value="means" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8m" role="1PaTwD">
+          <property role="3oM_SC" value="all" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8n" role="1PaTwD">
+          <property role="3oM_SC" value="models" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8o" role="1PaTwD">
+          <property role="3oM_SC" value="are" />
+        </node>
+        <node concept="3oM_SD" id="5PFth5W8A8p" role="1PaTwD">
+          <property role="3oM_SC" value="considered." />
+        </node>
+      </node>
+    </node>
+    <node concept="1MIXq2" id="5PFth5W025G" role="14J5yK">
+      <node concept="3clFbS" id="5PFth5W025H" role="2VODD2">
+        <node concept="3cpWs8" id="733wlN4CtMI" role="3cqZAp">
+          <node concept="3cpWsn" id="733wlN4CtMT" role="3cpWs9">
+            <property role="TrG5h" value="res" />
+            <node concept="_YKpA" id="733wlN4CtN2" role="1tU5fm">
+              <node concept="17QB3L" id="733wlN4CtNm" role="_ZDj9" />
+            </node>
+            <node concept="2ShNRf" id="733wlN4CtN3" role="33vP2m">
+              <node concept="Tc6Ow" id="733wlN4CtNn" role="2ShVmc">
+                <node concept="17QB3L" id="733wlN4CtNB" role="HW$YZ" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="733wlN4CtMJ" role="3cqZAp" />
+        <node concept="3cpWs8" id="5PFth5W2$3k" role="3cqZAp">
+          <node concept="3cpWsn" id="5PFth5W2$3l" role="3cpWs9">
+            <property role="TrG5h" value="typesystemModels" />
+            <node concept="_YKpA" id="5PFth5W2$3m" role="1tU5fm">
+              <node concept="H_c77" id="5PFth5W2$3n" role="_ZDj9" />
+            </node>
+            <node concept="2YIFZM" id="5PFth5W27_q" role="33vP2m">
+              <ref role="37wK5l" node="5PFth5W1RxW" resolve="collectTypeSystemFromGlobalRepository" />
+              <ref role="1Pybhc" node="5PFth5W0UMZ" resolve="CheckingRuleRunningUtils" />
+              <node concept="1MG55F" id="5PFth5W27V6" role="37wK5m" />
+              <node concept="2j1LYi" id="5PFth5W28DC" role="37wK5m">
+                <ref role="2j1LYj" node="2QH7JPsZwNz" resolve="typesystemModelNamesRegex" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="733wlN4ZjLQ" role="3cqZAp">
+          <node concept="3clFbS" id="733wlN4ZjLS" role="3clFbx">
+            <node concept="3clFbF" id="733wlN4ZuOU" role="3cqZAp">
+              <node concept="2OqwBi" id="733wlN4ZvKB" role="3clFbG">
+                <node concept="37vLTw" id="733wlN4ZuOS" role="2Oq$k0">
+                  <ref role="3cqZAo" node="733wlN4CtMT" resolve="res" />
+                </node>
+                <node concept="TSZUe" id="733wlN4ZwRs" role="2OqNvi">
+                  <node concept="3cpWs3" id="733wlN4ZxjF" role="25WWJ7">
+                    <node concept="Xl_RD" id="733wlN4ZxjG" role="3uHU7w">
+                      <property role="Xl_RC" value="'" />
+                    </node>
+                    <node concept="3cpWs3" id="733wlN4ZxjH" role="3uHU7B">
+                      <node concept="Xl_RD" id="733wlN4ZxjI" role="3uHU7B">
+                        <property role="Xl_RC" value="No typesystem model was found to match the pattern '" />
+                      </node>
+                      <node concept="2j1LYi" id="733wlN4ZxjJ" role="3uHU7w">
+                        <ref role="2j1LYj" node="2QH7JPsZwNz" resolve="typesystemModelNamesRegex" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2OqwBi" id="733wlN4ZkIF" role="3clFbw">
+            <node concept="37vLTw" id="733wlN4ZkdG" role="2Oq$k0">
+              <ref role="3cqZAo" node="5PFth5W2$3l" resolve="typesystemModels" />
+            </node>
+            <node concept="1v1jN8" id="733wlN4ZliY" role="2OqNvi" />
+          </node>
+        </node>
+        <node concept="3clFbH" id="733wlN4ZycL" role="3cqZAp" />
+        <node concept="3cpWs8" id="5PFth5W2$3o" role="3cqZAp">
+          <node concept="3cpWsn" id="5PFth5W2$3p" role="3cpWs9">
+            <property role="TrG5h" value="modelsToCheck" />
+            <node concept="_YKpA" id="5PFth5W2$3q" role="1tU5fm">
+              <node concept="H_c77" id="5PFth5W2$3r" role="_ZDj9" />
+            </node>
+            <node concept="2YIFZM" id="5PFth5W2dkv" role="33vP2m">
+              <ref role="37wK5l" node="5PFth5W23hP" resolve="collectEditableModelsToCheckFromProject" />
+              <ref role="1Pybhc" node="5PFth5W0UMZ" resolve="CheckingRuleRunningUtils" />
+              <node concept="1MG55F" id="5PFth5W2dCF" role="37wK5m" />
+              <node concept="2j1LYi" id="5PFth5W2ehc" role="37wK5m">
+                <ref role="2j1LYj" node="2QH7JPsZwN_" resolve="modelsToCheckNamesRegex" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="5PFth5W0hse" role="3cqZAp">
+          <node concept="3clFbS" id="5PFth5W0hsf" role="3clFbx">
+            <node concept="3clFbF" id="5PFth5W0hsg" role="3cqZAp">
+              <node concept="2OqwBi" id="5PFth5W0hsh" role="3clFbG">
+                <node concept="37vLTw" id="5PFth5W0hsi" role="2Oq$k0">
+                  <ref role="3cqZAo" node="733wlN4CtMT" resolve="res" />
+                </node>
+                <node concept="TSZUe" id="5PFth5W0hsj" role="2OqNvi">
+                  <node concept="3cpWs3" id="5PFth5W0hsk" role="25WWJ7">
+                    <node concept="Xl_RD" id="5PFth5W0hsl" role="3uHU7w">
+                      <property role="Xl_RC" value="'" />
+                    </node>
+                    <node concept="3cpWs3" id="5PFth5W0hsm" role="3uHU7B">
+                      <node concept="Xl_RD" id="5PFth5W0hsn" role="3uHU7B">
+                        <property role="Xl_RC" value="No model to check was found to match the pattern '" />
+                      </node>
+                      <node concept="2j1LYi" id="5PFth5W0hso" role="3uHU7w">
+                        <ref role="2j1LYj" node="2QH7JPsZwN_" resolve="modelsToCheckNamesRegex" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2OqwBi" id="5PFth5W0hsp" role="3clFbw">
+            <node concept="37vLTw" id="5PFth5W0hsq" role="2Oq$k0">
+              <ref role="3cqZAo" node="5PFth5W2$3p" resolve="modelsToCheck" />
+            </node>
+            <node concept="1v1jN8" id="5PFth5W0hsr" role="2OqNvi" />
+          </node>
+        </node>
+        <node concept="3clFbH" id="5PFth5W0gdn" role="3cqZAp" />
+        <node concept="2Gpval" id="733wlN4Zz33" role="3cqZAp">
+          <node concept="2GrKxI" id="733wlN4Zz35" role="2Gsz3X">
+            <property role="TrG5h" value="typesystemModel" />
+          </node>
+          <node concept="37vLTw" id="733wlN4ZzRM" role="2GsD0m">
+            <ref role="3cqZAo" node="5PFth5W2$3l" resolve="typesystemModels" />
+          </node>
+          <node concept="3clFbS" id="733wlN4Zz39" role="2LFqv$">
+            <node concept="2Gpval" id="733wlN4HaWi" role="3cqZAp">
+              <node concept="2GrKxI" id="733wlN4HaWk" role="2Gsz3X">
+                <property role="TrG5h" value="ntsr" />
+              </node>
+              <node concept="3clFbS" id="733wlN4HaWo" role="2LFqv$">
+                <node concept="3J1_TO" id="5PFth5W2ATX" role="3cqZAp">
+                  <node concept="3uVAMA" id="5PFth5W2BVZ" role="1zxBo5">
+                    <node concept="XOnhg" id="5PFth5W2BW0" role="1zc67B">
+                      <property role="TrG5h" value="ex" />
+                      <node concept="nSUau" id="5PFth5W2BW1" role="1tU5fm">
+                        <node concept="3uibUv" id="5PFth5W2CcR" role="nSUat">
+                          <ref role="3uigEE" to="wyt6:~Exception" resolve="Exception" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbS" id="5PFth5W2BW2" role="1zc67A">
+                      <node concept="3clFbF" id="733wlN4Hh7J" role="3cqZAp">
+                        <node concept="2OqwBi" id="733wlN4HhGQ" role="3clFbG">
+                          <node concept="37vLTw" id="733wlN4Hh7H" role="2Oq$k0">
+                            <ref role="3cqZAo" node="733wlN4CtMT" resolve="res" />
+                          </node>
+                          <node concept="TSZUe" id="733wlN4HiuO" role="2OqNvi">
+                            <node concept="3cpWs3" id="2xFKNLWBFB_" role="25WWJ7">
+                              <node concept="3cpWs3" id="2xFKNLWBFBA" role="3uHU7B">
+                                <node concept="3cpWs3" id="733wlN4Hrwl" role="3uHU7B">
+                                  <node concept="2OqwBi" id="733wlN4HuSM" role="3uHU7w">
+                                    <node concept="2OqwBi" id="733wlN4HtX0" role="2Oq$k0">
+                                      <node concept="2GrUjf" id="733wlN4ZB_u" role="2Oq$k0">
+                                        <ref role="2Gs0qQ" node="733wlN4Zz35" resolve="typesystemModel" />
+                                      </node>
+                                      <node concept="13u695" id="733wlN4Husc" role="2OqNvi" />
+                                    </node>
+                                    <node concept="3TrcHB" id="733wlN4Hvr$" role="2OqNvi">
+                                      <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                    </node>
+                                  </node>
+                                  <node concept="3cpWs3" id="2xFKNLWBFBC" role="3uHU7B">
+                                    <node concept="3cpWs3" id="2xFKNLWBFBD" role="3uHU7B">
+                                      <node concept="Xl_RD" id="2xFKNLWBFBE" role="3uHU7B">
+                                        <property role="Xl_RC" value="Non-typesystem check '" />
+                                      </node>
+                                      <node concept="2OqwBi" id="733wlN4HoAC" role="3uHU7w">
+                                        <node concept="2GrUjf" id="2xFKNLWBZuN" role="2Oq$k0">
+                                          <ref role="2Gs0qQ" node="733wlN4HaWk" resolve="ntsr" />
+                                        </node>
+                                        <node concept="3TrcHB" id="733wlN4HpzT" role="2OqNvi">
+                                          <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                        </node>
+                                      </node>
+                                    </node>
+                                    <node concept="Xl_RD" id="2xFKNLWBFBG" role="3uHU7w">
+                                      <property role="Xl_RC" value="' from language " />
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="Xl_RD" id="2xFKNLWBFBK" role="3uHU7w">
+                                  <property role="Xl_RC" value=" produces exception when ran on project. Exception: " />
+                                </node>
+                              </node>
+                              <node concept="2OqwBi" id="5PFth5W2Mo5" role="3uHU7w">
+                                <node concept="37vLTw" id="2uhEaMSTF4G" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="5PFth5W2BW0" resolve="ex" />
+                                </node>
+                                <node concept="liA8E" id="5PFth5W2MRl" role="2OqNvi">
+                                  <ref role="37wK5l" to="wyt6:~Throwable.getMessage()" resolve="getMessage" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbS" id="5PFth5W2ATZ" role="1zxBo7">
+                    <node concept="3clFbF" id="5PFth5W2BpZ" role="3cqZAp">
+                      <node concept="2YIFZM" id="5PFth5W2Bq1" role="3clFbG">
+                        <ref role="37wK5l" node="5PFth5W0UOr" resolve="runCheckingRule" />
+                        <ref role="1Pybhc" node="5PFth5W0UMZ" resolve="CheckingRuleRunningUtils" />
+                        <node concept="2GrUjf" id="5PFth5W2Bq2" role="37wK5m">
+                          <ref role="2Gs0qQ" node="733wlN4Zz35" resolve="typesystemModel" />
+                        </node>
+                        <node concept="2GrUjf" id="5PFth5W2Bq3" role="37wK5m">
+                          <ref role="2Gs0qQ" node="733wlN4HaWk" resolve="ntsr" />
+                        </node>
+                        <node concept="37vLTw" id="5PFth5W2Bq4" role="37wK5m">
+                          <ref role="3cqZAo" node="5PFth5W2$3p" resolve="modelsToCheck" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="2OqwBi" id="733wlN4HbxY" role="2GsD0m">
+                <node concept="2GrUjf" id="733wlN4ZAMf" role="2Oq$k0">
+                  <ref role="2Gs0qQ" node="733wlN4Zz35" resolve="typesystemModel" />
+                </node>
+                <node concept="2RRcyG" id="733wlN4Hby0" role="2OqNvi">
+                  <node concept="chp4Y" id="733wlN4Hby1" role="3MHsoP">
+                    <ref role="cht4Q" to="tpd4:hp8kY3U" resolve="NonTypesystemRule" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="733wlN4CtMR" role="3cqZAp" />
+        <node concept="3cpWs6" id="733wlN4CtMS" role="3cqZAp">
+          <node concept="37vLTw" id="733wlN4CtN1" role="3cqZAk">
+            <ref role="3cqZAo" node="733wlN4CtMT" resolve="res" />
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="312cEu" id="5PFth5W0UMZ">
+    <property role="TrG5h" value="CheckingRuleRunningUtils" />
+    <node concept="2tJIrI" id="5PFth5W0UNK" role="jymVt" />
+    <node concept="2tJIrI" id="5PFth5W0UNL" role="jymVt" />
+    <node concept="2YIFZL" id="5PFth5W0UOr" role="jymVt">
+      <property role="TrG5h" value="runCheckingRule" />
+      <node concept="3clFbS" id="5PFth5W0UOu" role="3clF47">
+        <node concept="3cpWs8" id="733wlN4CtMM" role="3cqZAp">
+          <node concept="3cpWsn" id="733wlN4CtMW" role="3cpWs9">
+            <property role="TrG5h" value="clazzName" />
+            <node concept="17QB3L" id="733wlN4CtN8" role="1tU5fm" />
+            <node concept="3cpWs3" id="733wlN4CtN9" role="33vP2m">
+              <node concept="2OqwBi" id="733wlN4CtNs" role="3uHU7w">
+                <node concept="2OqwBi" id="733wlN4CtNG" role="2Oq$k0">
+                  <node concept="37vLTw" id="5PFth5W12ui" role="2Oq$k0">
+                    <ref role="3cqZAo" node="5PFth5W0Ynx" resolve="ntsr" />
+                  </node>
+                  <node concept="2yIwOk" id="733wlN4CtO9" role="2OqNvi" />
+                </node>
+                <node concept="liA8E" id="733wlN4CtNH" role="2OqNvi">
+                  <ref role="37wK5l" to="c17a:~SAbstractConcept.getName()" resolve="getName" />
+                </node>
+              </node>
+              <node concept="3cpWs3" id="733wlN4CtNt" role="3uHU7B">
+                <node concept="2OqwBi" id="733wlN4CtNI" role="3uHU7B">
+                  <node concept="37vLTw" id="5PFth5W1161" role="2Oq$k0">
+                    <ref role="3cqZAo" node="5PFth5W0Ynx" resolve="ntsr" />
+                  </node>
+                  <node concept="3TrcHB" id="733wlN4CtOb" role="2OqNvi">
+                    <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                  </node>
+                </node>
+                <node concept="Xl_RD" id="733wlN4CtNJ" role="3uHU7w">
+                  <property role="Xl_RC" value="_" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="733wlN4CtMN" role="3cqZAp">
+          <node concept="3cpWsn" id="733wlN4CtMX" role="3cpWs9">
+            <property role="TrG5h" value="fqClassName" />
+            <node concept="17QB3L" id="733wlN4CtNa" role="1tU5fm" />
+            <node concept="3cpWs3" id="733wlN4CtNb" role="33vP2m">
+              <node concept="37vLTw" id="733wlN4CtNu" role="3uHU7w">
+                <ref role="3cqZAo" node="733wlN4CtMW" resolve="clazzName" />
+              </node>
+              <node concept="3cpWs3" id="733wlN4CtNv" role="3uHU7B">
+                <node concept="2OqwBi" id="5PFth5W17d7" role="3uHU7B">
+                  <node concept="37vLTw" id="5PFth5W19kz" role="2Oq$k0">
+                    <ref role="3cqZAo" node="5PFth5W0Z1a" resolve="typesystemModel" />
+                  </node>
+                  <node concept="LkI2h" id="5PFth5W17M3" role="2OqNvi" />
+                </node>
+                <node concept="Xl_RD" id="733wlN4CtNL" role="3uHU7w">
+                  <property role="Xl_RC" value="." />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="7E22LggeI1Z" role="3cqZAp">
+          <node concept="3cpWsn" id="7E22LggeI20" role="3cpWs9">
+            <property role="TrG5h" value="myLanguage" />
+            <node concept="3uibUv" id="7E22LggeHQ8" role="1tU5fm">
+              <ref role="3uigEE" to="j8aq:~ReloadableModule" resolve="ReloadableModule" />
+            </node>
+            <node concept="1eOMI4" id="7E22LggeI21" role="33vP2m">
+              <node concept="10QFUN" id="7E22LggeI22" role="1eOMHV">
+                <node concept="2OqwBi" id="7E22LggeI23" role="10QFUP">
+                  <node concept="2JrnkZ" id="7E22LggeI24" role="2Oq$k0">
+                    <node concept="37vLTw" id="5PFth5W1a4Z" role="2JrQYb">
+                      <ref role="3cqZAo" node="5PFth5W0Z1a" resolve="typesystemModel" />
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="7E22LggeI26" role="2OqNvi">
+                    <ref role="37wK5l" to="mhbf:~SModel.getModule()" resolve="getModule" />
+                  </node>
+                </node>
+                <node concept="3uibUv" id="7E22LggeI27" role="10QFUM">
+                  <ref role="3uigEE" to="j8aq:~ReloadableModule" resolve="ReloadableModule" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="7E22LggeKxo" role="3cqZAp">
+          <node concept="3cpWsn" id="7E22LggeKxp" role="3cpWs9">
+            <property role="TrG5h" value="classLoaderOfLanguage" />
+            <node concept="3uibUv" id="7E22LggeKnF" role="1tU5fm">
+              <ref role="3uigEE" to="3qmy:~MPSModuleClassLoader" resolve="MPSModuleClassLoader" />
+            </node>
+            <node concept="2OqwBi" id="7E22LggeKxq" role="33vP2m">
+              <node concept="37vLTw" id="7E22LggeKxr" role="2Oq$k0">
+                <ref role="3cqZAo" node="7E22LggeI20" resolve="myLanguage" />
+              </node>
+              <node concept="liA8E" id="7E22LggeKxs" role="2OqNvi">
+                <ref role="37wK5l" to="j8aq:~ReloadableModule.getClassLoader()" resolve="getClassLoader" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="733wlN4CtNh" role="3cqZAp">
+          <node concept="3cpWsn" id="733wlN4CtNz" role="3cpWs9">
+            <property role="TrG5h" value="currentRule" />
+            <node concept="3uibUv" id="733wlN4CtNR" role="1tU5fm">
+              <ref role="3uigEE" to="qurh:~AbstractNonTypesystemRule_Runtime" resolve="AbstractNonTypesystemRule_Runtime" />
+            </node>
+            <node concept="10Nm6u" id="5PFth5W1h_q" role="33vP2m" />
+          </node>
+        </node>
+        <node concept="3J1_TO" id="5PFth5W1ct$" role="3cqZAp">
+          <node concept="3uVAMA" id="5PFth5W1cZ2" role="1zxBo5">
+            <node concept="XOnhg" id="5PFth5W1cZ3" role="1zc67B">
+              <property role="TrG5h" value="e" />
+              <node concept="nSUau" id="5PFth5W1cZ4" role="1tU5fm">
+                <node concept="3uibUv" id="5PFth5W1i3H" role="nSUat">
+                  <ref role="3uigEE" to="wyt6:~Exception" resolve="Exception" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbS" id="5PFth5W1cZ5" role="1zc67A">
+              <node concept="3clFbF" id="5PFth5W1j8q" role="3cqZAp">
+                <node concept="2OqwBi" id="5PFth5W1jKL" role="3clFbG">
+                  <node concept="37vLTw" id="5PFth5W1j8p" role="2Oq$k0">
+                    <ref role="3cqZAo" node="5PFth5W1cZ3" resolve="e" />
+                  </node>
+                  <node concept="liA8E" id="5PFth5W1kG0" role="2OqNvi">
+                    <ref role="37wK5l" to="wyt6:~Throwable.printStackTrace()" resolve="printStackTrace" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3cpWs6" id="5PFth5W1lJz" role="3cqZAp">
+                <node concept="3cmrfG" id="5PFth5W1CG2" role="3cqZAk">
+                  <property role="3cmrfH" value="-1" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbS" id="5PFth5W1ctA" role="1zxBo7">
+            <node concept="3cpWs8" id="733wlN4CtNg" role="3cqZAp">
+              <node concept="3cpWsn" id="733wlN4CtNy" role="3cpWs9">
+                <property role="TrG5h" value="forName" />
+                <node concept="3uibUv" id="733wlN4CtNP" role="1tU5fm">
+                  <ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
+                  <node concept="3uibUv" id="733wlN4CtOe" role="11_B2D">
+                    <ref role="3uigEE" to="qurh:~AbstractNonTypesystemRule_Runtime" resolve="AbstractNonTypesystemRule_Runtime" />
+                  </node>
+                </node>
+                <node concept="1eOMI4" id="733wlN4CtNQ" role="33vP2m">
+                  <node concept="10QFUN" id="733wlN4CtOf" role="1eOMHV">
+                    <node concept="3uibUv" id="733wlN4CtOw" role="10QFUM">
+                      <ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
+                      <node concept="3uibUv" id="733wlN4CtOK" role="11_B2D">
+                        <ref role="3uigEE" to="qurh:~AbstractNonTypesystemRule_Runtime" resolve="AbstractNonTypesystemRule_Runtime" />
+                      </node>
+                    </node>
+                    <node concept="2OqwBi" id="7E22LggeHyq" role="10QFUP">
+                      <node concept="37vLTw" id="7E22LggeKxt" role="2Oq$k0">
+                        <ref role="3cqZAo" node="7E22LggeKxp" resolve="classLoaderOfLanguage" />
+                      </node>
+                      <node concept="liA8E" id="7E22LggeHy$" role="2OqNvi">
+                        <ref role="37wK5l" to="wyt6:~ClassLoader.loadClass(java.lang.String)" resolve="loadClass" />
+                        <node concept="37vLTw" id="7E22LggeHy_" role="37wK5m">
+                          <ref role="3cqZAo" node="733wlN4CtMX" resolve="fqClassName" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="5PFth5W1dZD" role="3cqZAp">
+              <node concept="37vLTI" id="5PFth5W1dZF" role="3clFbG">
+                <node concept="2OqwBi" id="733wlN4CtNS" role="37vLTx">
+                  <node concept="37vLTw" id="733wlN4CtOg" role="2Oq$k0">
+                    <ref role="3cqZAo" node="733wlN4CtNy" resolve="forName" />
+                  </node>
+                  <node concept="liA8E" id="733wlN4CtOh" role="2OqNvi">
+                    <ref role="37wK5l" to="wyt6:~Class.newInstance()" resolve="newInstance" />
+                  </node>
+                </node>
+                <node concept="37vLTw" id="5PFth5W1dZJ" role="37vLTJ">
+                  <ref role="3cqZAo" node="733wlN4CtNz" resolve="currentRule" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="733wlN4CtNi" role="3cqZAp">
+          <node concept="3cpWsn" id="733wlN4CtN$" role="3cpWs9">
+            <property role="TrG5h" value="applicableConcept" />
+            <node concept="3uibUv" id="733wlN4CtNT" role="1tU5fm">
+              <ref role="3uigEE" to="c17a:~SAbstractConcept" resolve="SAbstractConcept" />
+            </node>
+            <node concept="2OqwBi" id="733wlN4CtNU" role="33vP2m">
+              <node concept="37vLTw" id="733wlN4CtOi" role="2Oq$k0">
+                <ref role="3cqZAo" node="733wlN4CtNz" resolve="currentRule" />
+              </node>
+              <node concept="liA8E" id="733wlN4CtOj" role="2OqNvi">
+                <ref role="37wK5l" to="qurh:~IApplicableToConcept.getApplicableConcept()" resolve="getApplicableConcept" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="733wlN4CtNj" role="3cqZAp" />
+        <node concept="3cpWs8" id="733wlN4CtNV" role="3cqZAp">
+          <node concept="3cpWsn" id="733wlN4CtOk" role="3cpWs9">
+            <property role="TrG5h" value="applicableNodes" />
+            <node concept="3vKaQO" id="733wlN4CtOx" role="1tU5fm">
+              <node concept="3Tqbb2" id="5PFth5W2Zap" role="3O5elw" />
+            </node>
+            <node concept="2ShNRf" id="5PFth5W0r95" role="33vP2m">
+              <node concept="Tc6Ow" id="5PFth5W0tk4" role="2ShVmc">
+                <node concept="3Tqbb2" id="5PFth5W30ed" role="HW$YZ" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="L3pyB" id="733wlN4CtNk" role="3cqZAp">
+          <node concept="3clFbS" id="733wlN4CtN_" role="L3pyw">
+            <node concept="3clFbF" id="5PFth5W0oaQ" role="3cqZAp">
+              <node concept="2OqwBi" id="5PFth5W0uxI" role="3clFbG">
+                <node concept="37vLTw" id="5PFth5W0oaW" role="2Oq$k0">
+                  <ref role="3cqZAo" node="733wlN4CtOk" resolve="applicableNodes" />
+                </node>
+                <node concept="X8dFx" id="5PFth5W0wL9" role="2OqNvi">
+                  <node concept="qVDSY" id="733wlN4CtOy" role="25WWJ7">
+                    <node concept="25Kdxt" id="733wlN4CtOM" role="qVDSX">
+                      <node concept="37vLTw" id="733wlN4CtOS" role="25KhWn">
+                        <ref role="3cqZAo" node="733wlN4CtN$" resolve="applicableConcept" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="2Gpval" id="733wlN4CtNY" role="3cqZAp">
+              <node concept="2GrKxI" id="733wlN4CtOm" role="2Gsz3X">
+                <property role="TrG5h" value="crtNode" />
+              </node>
+              <node concept="37vLTw" id="733wlN4CtOn" role="2GsD0m">
+                <ref role="3cqZAo" node="733wlN4CtOk" resolve="applicableNodes" />
+              </node>
+              <node concept="3clFbS" id="733wlN4CtOo" role="2LFqv$">
+                <node concept="3cpWs8" id="733wlN4CtO_" role="3cqZAp">
+                  <node concept="3cpWsn" id="733wlN4CtON" role="3cpWs9">
+                    <property role="TrG5h" value="typeCheckingContext" />
+                    <node concept="3uibUv" id="733wlN4CtOT" role="1tU5fm">
+                      <ref role="3uigEE" to="u78q:~TypeCheckingContext" resolve="TypeCheckingContext" />
+                    </node>
+                    <node concept="2OqwBi" id="733wlN4CtOU" role="33vP2m">
+                      <node concept="2YIFZM" id="733wlN4CtOZ" role="2Oq$k0">
+                        <ref role="37wK5l" to="u78q:~TypeContextManager.getInstance()" resolve="getInstance" />
+                        <ref role="1Pybhc" to="u78q:~TypeContextManager" resolve="TypeContextManager" />
+                      </node>
+                      <node concept="liA8E" id="733wlN4CtP0" role="2OqNvi">
+                        <ref role="37wK5l" to="u78q:~TypeContextManager.createTypeCheckingContext(org.jetbrains.mps.openapi.model.SNode)" resolve="createTypeCheckingContext" />
+                        <node concept="2GrUjf" id="733wlN4CtP6" role="37wK5m">
+                          <ref role="2Gs0qQ" node="733wlN4CtOm" resolve="crtNode" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3cpWs8" id="733wlN4CtOA" role="3cqZAp">
+                  <node concept="3cpWsn" id="733wlN4CtOO" role="3cpWs9">
+                    <property role="TrG5h" value="applicableAndPattern" />
+                    <node concept="3uibUv" id="733wlN4CtOV" role="1tU5fm">
+                      <ref role="3uigEE" to="qurh:~IsApplicableStatus" resolve="IsApplicableStatus" />
+                    </node>
+                    <node concept="2OqwBi" id="733wlN4CtOW" role="33vP2m">
+                      <node concept="37vLTw" id="733wlN4CtP1" role="2Oq$k0">
+                        <ref role="3cqZAo" node="733wlN4CtNz" resolve="currentRule" />
+                      </node>
+                      <node concept="liA8E" id="733wlN4CtP2" role="2OqNvi">
+                        <ref role="37wK5l" to="qurh:~AbstractNonTypesystemRule_Runtime.isApplicableAndPattern(org.jetbrains.mps.openapi.model.SNode)" resolve="isApplicableAndPattern" />
+                        <node concept="2GrUjf" id="733wlN4CtP7" role="37wK5m">
+                          <ref role="2Gs0qQ" node="733wlN4CtOm" resolve="crtNode" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="733wlN4CtOB" role="3cqZAp">
+                  <node concept="2OqwBi" id="733wlN4CtOP" role="3clFbG">
+                    <node concept="37vLTw" id="733wlN4CtOX" role="2Oq$k0">
+                      <ref role="3cqZAo" node="733wlN4CtNz" resolve="currentRule" />
+                    </node>
+                    <node concept="liA8E" id="733wlN4CtOY" role="2OqNvi">
+                      <ref role="37wK5l" to="qurh:~AbstractNonTypesystemRule_Runtime.applyRule(org.jetbrains.mps.openapi.model.SNode,jetbrains.mps.typesystem.inference.TypeCheckingContext,jetbrains.mps.lang.typesystem.runtime.IsApplicableStatus)" resolve="applyRule" />
+                      <node concept="2GrUjf" id="733wlN4CtP3" role="37wK5m">
+                        <ref role="2Gs0qQ" node="733wlN4CtOm" resolve="crtNode" />
+                      </node>
+                      <node concept="37vLTw" id="733wlN4CtP4" role="37wK5m">
+                        <ref role="3cqZAo" node="733wlN4CtON" resolve="typeCheckingContext" />
+                      </node>
+                      <node concept="37vLTw" id="733wlN4CtP5" role="37wK5m">
+                        <ref role="3cqZAo" node="733wlN4CtOO" resolve="applicableAndPattern" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="37vLTw" id="7NPKLoqmE5V" role="L3pyr">
+            <ref role="3cqZAo" node="5PFth5W0ZCK" resolve="modelsToCheck" />
+          </node>
+        </node>
+        <node concept="3cpWs6" id="5PFth5W1DNg" role="3cqZAp">
+          <node concept="2OqwBi" id="5PFth5W1GnF" role="3cqZAk">
+            <node concept="37vLTw" id="5PFth5W1EUD" role="2Oq$k0">
+              <ref role="3cqZAo" node="733wlN4CtOk" resolve="applicableNodes" />
+            </node>
+            <node concept="34oBXx" id="5PFth5W1HOi" role="2OqNvi" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="5PFth5W0UNW" role="1B3o_S" />
+      <node concept="37vLTG" id="5PFth5W0Z1a" role="3clF46">
+        <property role="TrG5h" value="typesystemModel" />
+        <node concept="H_c77" id="5PFth5W0Z$a" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="5PFth5W0Ynx" role="3clF46">
+        <property role="TrG5h" value="ntsr" />
+        <node concept="3Tqbb2" id="5PFth5W0Ynw" role="1tU5fm">
+          <ref role="ehGHo" to="tpd4:hp8kY3U" resolve="NonTypesystemRule" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="5PFth5W0ZCK" role="3clF46">
+        <property role="TrG5h" value="modelsToCheck" />
+        <node concept="_YKpA" id="5PFth5W10cl" role="1tU5fm">
+          <node concept="H_c77" id="5PFth5W10fh" role="_ZDj9" />
+        </node>
+      </node>
+      <node concept="10Oyi0" id="5PFth5W1BAd" role="3clF45" />
+    </node>
+    <node concept="2tJIrI" id="5PFth5W1PAs" role="jymVt" />
+    <node concept="2YIFZL" id="5PFth5W1RxW" role="jymVt">
+      <property role="TrG5h" value="collectTypeSystemFromGlobalRepository" />
+      <node concept="37vLTG" id="5PFth5W204G" role="3clF46">
+        <property role="TrG5h" value="project" />
+        <node concept="3uibUv" id="5PFth5W20b7" role="1tU5fm">
+          <ref role="3uigEE" to="z1c3:~Project" resolve="Project" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="5PFth5W1YvE" role="3clF46">
+        <property role="TrG5h" value="typesystemModelNamesRegex" />
+        <node concept="17QB3L" id="5PFth5W1Yz5" role="1tU5fm" />
+      </node>
+      <node concept="3clFbS" id="5PFth5W1RxZ" role="3clF47">
+        <node concept="3cpWs8" id="733wlN4Z5bX" role="3cqZAp">
+          <node concept="3cpWsn" id="733wlN4Z5c0" role="3cpWs9">
+            <property role="TrG5h" value="typesystemModels" />
+            <node concept="_YKpA" id="733wlN4Z5bT" role="1tU5fm">
+              <node concept="H_c77" id="733wlN4Z5zr" role="_ZDj9" />
+            </node>
+            <node concept="2ShNRf" id="733wlN4Z7_y" role="33vP2m">
+              <node concept="Tc6Ow" id="733wlN4Z8dt" role="2ShVmc">
+                <node concept="H_c77" id="733wlN4Z9fO" role="HW$YZ" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="L3pyB" id="733wlN4Z2qT" role="3cqZAp">
+          <property role="1Fhty8" value="true" />
+          <node concept="3clFbS" id="733wlN4Z2qV" role="L3pyw">
+            <node concept="2Gpval" id="733wlN4Z9U$" role="3cqZAp">
+              <node concept="2GrKxI" id="733wlN4Z9U_" role="2Gsz3X">
+                <property role="TrG5h" value="m" />
+              </node>
+              <node concept="EZOir" id="733wlN4Za2j" role="2GsD0m" />
+              <node concept="3clFbS" id="733wlN4Z9UB" role="2LFqv$">
+                <node concept="3clFbJ" id="733wlN4Za6H" role="3cqZAp">
+                  <node concept="3clFbS" id="733wlN4Za6J" role="3clFbx">
+                    <node concept="3clFbF" id="733wlN4ZhQG" role="3cqZAp">
+                      <node concept="2OqwBi" id="733wlN4ZirZ" role="3clFbG">
+                        <node concept="37vLTw" id="733wlN4ZhQF" role="2Oq$k0">
+                          <ref role="3cqZAo" node="733wlN4Z5c0" resolve="typesystemModels" />
+                        </node>
+                        <node concept="TSZUe" id="733wlN4Zja8" role="2OqNvi">
+                          <node concept="2GrUjf" id="733wlN4Zjh3" role="25WWJ7">
+                            <ref role="2Gs0qQ" node="733wlN4Z9U_" resolve="m" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="2OqwBi" id="733wlN4Zhox" role="3clFbw">
+                    <node concept="2OqwBi" id="733wlN4ZgUJ" role="2Oq$k0">
+                      <node concept="2GrUjf" id="733wlN4ZgMN" role="2Oq$k0">
+                        <ref role="2Gs0qQ" node="733wlN4Z9U_" resolve="m" />
+                      </node>
+                      <node concept="LkI2h" id="733wlN4Zh5H" role="2OqNvi" />
+                    </node>
+                    <node concept="liA8E" id="733wlN4ZhGw" role="2OqNvi">
+                      <ref role="37wK5l" to="wyt6:~String.matches(java.lang.String)" resolve="matches" />
+                      <node concept="37vLTw" id="5PFth5W21j7" role="37wK5m">
+                        <ref role="3cqZAo" node="5PFth5W1YvE" resolve="typesystemModelNamesRegex" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2ShNRf" id="733wlN4ZIlN" role="L3pyr">
+            <node concept="1pGfFk" id="733wlN4ZJk4" role="2ShVmc">
+              <ref role="37wK5l" to="z1c3:~GlobalScope.&lt;init&gt;(org.jetbrains.mps.openapi.module.SRepository)" resolve="GlobalScope" />
+              <node concept="2OqwBi" id="733wlN4ZKvl" role="37wK5m">
+                <node concept="37vLTw" id="5PFth5W20yB" role="2Oq$k0">
+                  <ref role="3cqZAo" node="5PFth5W204G" resolve="project" />
+                </node>
+                <node concept="liA8E" id="733wlN4ZLi2" role="2OqNvi">
+                  <ref role="37wK5l" to="z1c3:~Project.getRepository()" resolve="getRepository" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs6" id="5PFth5W225j" role="3cqZAp">
+          <node concept="37vLTw" id="5PFth5W22lR" role="3cqZAk">
+            <ref role="3cqZAo" node="733wlN4Z5c0" resolve="typesystemModels" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="5PFth5W1PQh" role="1B3o_S" />
+      <node concept="_YKpA" id="5PFth5W1RG8" role="3clF45">
+        <node concept="H_c77" id="5PFth5W1Sbm" role="_ZDj9" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="5PFth5W23$0" role="jymVt" />
+    <node concept="2YIFZL" id="5PFth5W23hP" role="jymVt">
+      <property role="TrG5h" value="collectEditableModelsToCheckFromProject" />
+      <node concept="37vLTG" id="5PFth5W23hQ" role="3clF46">
+        <property role="TrG5h" value="project" />
+        <node concept="3uibUv" id="5PFth5W23hR" role="1tU5fm">
+          <ref role="3uigEE" to="z1c3:~Project" resolve="Project" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="5PFth5W23hS" role="3clF46">
+        <property role="TrG5h" value="modelsToCheckNamesRegex" />
+        <node concept="17QB3L" id="5PFth5W23hT" role="1tU5fm" />
+      </node>
+      <node concept="3clFbS" id="5PFth5W23hU" role="3clF47">
+        <node concept="3cpWs8" id="7NPKLoqmBIk" role="3cqZAp">
+          <node concept="3cpWsn" id="7NPKLoqmBIn" role="3cpWs9">
+            <property role="TrG5h" value="modelsToCheck" />
+            <node concept="_YKpA" id="7NPKLoqmBIg" role="1tU5fm">
+              <node concept="H_c77" id="7NPKLoqmC6M" role="_ZDj9" />
+            </node>
+            <node concept="2ShNRf" id="7NPKLoqmDJV" role="33vP2m">
+              <node concept="Tc6Ow" id="7NPKLoqmJZf" role="2ShVmc">
+                <node concept="H_c77" id="7NPKLoqmLG6" role="HW$YZ" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="2Gpval" id="7NPKLoqmM_L" role="3cqZAp">
+          <node concept="2GrKxI" id="7NPKLoqmM_N" role="2Gsz3X">
+            <property role="TrG5h" value="m" />
+          </node>
+          <node concept="2OqwBi" id="7NPKLoqmO9n" role="2GsD0m">
+            <node concept="37vLTw" id="5PFth5W2aaU" role="2Oq$k0">
+              <ref role="3cqZAo" node="5PFth5W23hQ" resolve="project" />
+            </node>
+            <node concept="liA8E" id="7NPKLoqmOXr" role="2OqNvi">
+              <ref role="37wK5l" to="z1c3:~Project.getProjectModels()" resolve="getProjectModels" />
+            </node>
+          </node>
+          <node concept="3clFbS" id="7NPKLoqmM_R" role="2LFqv$">
+            <node concept="3clFbJ" id="7NPKLoqmPJv" role="3cqZAp">
+              <node concept="2OqwBi" id="7NPKLoqmTZM" role="3clFbw">
+                <node concept="2OqwBi" id="7NPKLoqmSPh" role="2Oq$k0">
+                  <node concept="2OqwBi" id="7NPKLoqmQXc" role="2Oq$k0">
+                    <node concept="2GrUjf" id="7NPKLoqmQ6k" role="2Oq$k0">
+                      <ref role="2Gs0qQ" node="7NPKLoqmM_N" resolve="m" />
+                    </node>
+                    <node concept="liA8E" id="7NPKLoqmRLb" role="2OqNvi">
+                      <ref role="37wK5l" to="mhbf:~SModel.getName()" resolve="getName" />
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="7NPKLoqmTr6" role="2OqNvi">
+                    <ref role="37wK5l" to="mhbf:~SModelName.getLongName()" resolve="getLongName" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="7NPKLoqmVwI" role="2OqNvi">
+                  <ref role="37wK5l" to="wyt6:~String.matches(java.lang.String)" resolve="matches" />
+                  <node concept="37vLTw" id="5PFth5W2aA4" role="37wK5m">
+                    <ref role="3cqZAo" node="5PFth5W23hS" resolve="modelsToCheckNamesRegex" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbS" id="7NPKLoqmPJx" role="3clFbx">
+                <node concept="3clFbF" id="7NPKLoqmWS7" role="3cqZAp">
+                  <node concept="2OqwBi" id="7NPKLoqmXLe" role="3clFbG">
+                    <node concept="37vLTw" id="7NPKLoqmWS6" role="2Oq$k0">
+                      <ref role="3cqZAo" node="7NPKLoqmBIn" resolve="modelsToCheck" />
+                    </node>
+                    <node concept="TSZUe" id="7NPKLoqmYNe" role="2OqNvi">
+                      <node concept="2GrUjf" id="7NPKLoqmZeX" role="25WWJ7">
+                        <ref role="2Gs0qQ" node="7NPKLoqmM_N" resolve="m" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="5PFth5W2b6Y" role="3cqZAp">
+          <node concept="37vLTw" id="5PFth5W2b6W" role="3clFbG">
+            <ref role="3cqZAo" node="7NPKLoqmBIn" resolve="modelsToCheck" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="5PFth5W23is" role="1B3o_S" />
+      <node concept="_YKpA" id="5PFth5W23it" role="3clF45">
+        <node concept="H_c77" id="5PFth5W23iu" role="_ZDj9" />
+      </node>
+    </node>
+    <node concept="3Tm1VV" id="5PFth5W0UN0" role="1B3o_S" />
+  </node>
 </model>
 
diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/org.mpsqa.lint.mps_lang.linters_library.msd b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/org.mpsqa.lint.mps_lang.linters_library.msd
index 28f8ba2b..4527041b 100644
--- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/org.mpsqa.lint.mps_lang.linters_library.msd
+++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/org.mpsqa.lint.mps_lang.linters_library.msd
@@ -33,6 +33,8 @@
     <dependency reexport="false">0cf935df-4699-4e9c-a132-fa109541cba3(jetbrains.mps.build.mps)</dependency>
     <dependency reexport="false">8e98f4e2-decf-4e97-bf80-9109e8b759ee(jetbrains.mps.lang.constraints.rules.runtime)</dependency>
     <dependency reexport="false">8585453e-6bfb-4d80-98de-b16074f1d86c(jetbrains.mps.lang.test)</dependency>
+    <dependency reexport="false">c7d5b9dd-a05f-4be2-bc73-f2e16994cc67(jetbrains.mps.baseLanguage.lightweightdsl)</dependency>
+    <dependency reexport="false">90746344-04fd-4286-97d5-b46ae6a81709(jetbrains.mps.lang.migration)</dependency>
   </dependencies>
   <languageVersions>
     <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="12" />
@@ -40,6 +42,7 @@
     <language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="2" />
     <language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />
     <language slang="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
+    <language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
     <language slang="l:63650c59-16c8-498a-99c8-005c7ee9515d:jetbrains.mps.lang.access" version="0" />
     <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
     <language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
@@ -61,6 +64,7 @@
     <module reference="443f4c36-fcf5-4eb6-9500-8d06ed259e3e(jetbrains.mps.baseLanguage.classifiers)" version="0" />
     <module reference="fd392034-7849-419d-9071-12563d152375(jetbrains.mps.baseLanguage.closures)" version="0" />
     <module reference="83888646-71ce-4f1c-9c53-c54016f6ad4f(jetbrains.mps.baseLanguage.collections)" version="0" />
+    <module reference="c7d5b9dd-a05f-4be2-bc73-f2e16994cc67(jetbrains.mps.baseLanguage.lightweightdsl)" version="0" />
     <module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
     <module reference="f61473f9-130f-42f6-b98d-6c438812c2f6(jetbrains.mps.baseLanguage.unitTest)" version="0" />
     <module reference="798100da-4f0a-421a-b991-71f8c50ce5d2(jetbrains.mps.build)" version="0" />
@@ -77,6 +81,7 @@
     <module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
     <module reference="9e98f4e2-decf-4e97-bf80-9109e8b759aa(jetbrains.mps.lang.feedback.context)" version="0" />
     <module reference="b401a680-8325-4110-8fd3-84331ff25bef(jetbrains.mps.lang.generator)" version="0" />
+    <module reference="90746344-04fd-4286-97d5-b46ae6a81709(jetbrains.mps.lang.migration)" version="0" />
     <module reference="528ff3b9-5fc4-40dd-931f-c6ce3650640e(jetbrains.mps.lang.migration.runtime)" version="0" />
     <module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
     <module reference="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" version="0" />