diff --git a/code/languages/org.mpsqa.arch/languages/org.mpsqa.arch/models/org.mpsqa.arch.behavior.mps b/code/languages/org.mpsqa.arch/languages/org.mpsqa.arch/models/org.mpsqa.arch.behavior.mps
index 43c0d9e7..27749292 100644
--- a/code/languages/org.mpsqa.arch/languages/org.mpsqa.arch/models/org.mpsqa.arch.behavior.mps
+++ b/code/languages/org.mpsqa.arch/languages/org.mpsqa.arch/models/org.mpsqa.arch.behavior.mps
@@ -625,14 +625,14 @@
         <node concept="3cpWs8" id="fm3v0WWNEK" role="3cqZAp">
           <node concept="3cpWsn" id="fm3v0WWNEL" role="3cpWs9">
             <property role="TrG5h" value="allModules" />
+            <node concept="BsUDl" id="fm3v0WWNEM" role="33vP2m">
+              <ref role="37wK5l" node="fm3v0WRLT8" resolve="getModulesOnWhichThisModuleDepends" />
+            </node>
             <node concept="2hMVRd" id="2pcEbw5tgIr" role="1tU5fm">
               <node concept="3uibUv" id="2pcEbw5tgIt" role="2hN53Y">
                 <ref role="3uigEE" to="lui2:~SModule" resolve="SModule" />
               </node>
             </node>
-            <node concept="BsUDl" id="fm3v0WWNEM" role="33vP2m">
-              <ref role="37wK5l" node="fm3v0WRLT8" resolve="getModulesOnWhichThisModuleDepends" />
-            </node>
           </node>
         </node>
         <node concept="3clFbF" id="fm3v0WWQV4" role="3cqZAp">
@@ -795,11 +795,6 @@
     <node concept="13i0hz" id="fm3v0WRLT8" role="13h7CS">
       <property role="TrG5h" value="getModulesOnWhichThisModuleDepends" />
       <node concept="3Tm1VV" id="fm3v0WRLT9" role="1B3o_S" />
-      <node concept="2hMVRd" id="2pcEbw5sWad" role="3clF45">
-        <node concept="3uibUv" id="2pcEbw5sWaf" role="2hN53Y">
-          <ref role="3uigEE" to="lui2:~SModule" resolve="SModule" />
-        </node>
-      </node>
       <node concept="3clFbS" id="fm3v0WRLTb" role="3clF47">
         <node concept="3cpWs8" id="fm3v0WXjzt" role="3cqZAp">
           <node concept="3cpWsn" id="fm3v0WXjzu" role="3cpWs9">
@@ -1217,6 +1212,11 @@
           </node>
         </node>
       </node>
+      <node concept="2hMVRd" id="2pcEbw5sWad" role="3clF45">
+        <node concept="3uibUv" id="2pcEbw5sWaf" role="2hN53Y">
+          <ref role="3uigEE" to="lui2:~SModule" resolve="SModule" />
+        </node>
+      </node>
     </node>
     <node concept="13i0hz" id="fm3v0WTSU$" role="13h7CS">
       <property role="TrG5h" value="getUsedLanguages" />
diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps
index 049368ea..b4730de3 100644
--- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps
+++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps
@@ -28,11 +28,6 @@
     <import index="lui2" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.module(MPS.OpenAPI/)" />
     <import index="vndm" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.smodel.language(MPS.Core/)" />
     <import index="w1kc" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.smodel(MPS.Core/)" />
-    <import index="b9kz" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.openapi.wm.ex(MPS.IDEA/)" />
-    <import index="g1qu" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.util.ui(MPS.IDEA/)" />
-    <import index="jkny" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.openapi.wm(MPS.IDEA/)" />
-    <import index="alof" ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61/java:jetbrains.mps.ide.project(MPS.Platform/)" />
-    <import index="z60i" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.awt(JDK/)" />
     <import index="z1c4" ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61/java:jetbrains.mps.project(MPS.Platform/)" />
     <import index="qqy" ref="r:baac1a2f-1e52-45fa-95c5-02a3dfae441c(org.mpsqa.lint.generic.util)" />
     <import index="3a50" ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61/java:jetbrains.mps.ide(MPS.Platform/)" />
diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps
index 68e9adcc..dfeaba26 100644
--- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps
+++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps
@@ -10,6 +10,7 @@
     <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="19" />
     <use id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text" version="0" />
     <use id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures" version="0" />
+    <use id="774bf8a0-62e5-41e1-af63-f4812e60e48b" name="jetbrains.mps.baseLanguage.checkedDots" version="0" />
   </languages>
   <imports>
     <import index="dush" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.persistence(MPS.OpenAPI/)" />
@@ -208,6 +209,9 @@
         <child id="1201186121363" name="typeParameter" index="2Ghqu4" />
       </concept>
     </language>
+    <language id="774bf8a0-62e5-41e1-af63-f4812e60e48b" name="jetbrains.mps.baseLanguage.checkedDots">
+      <concept id="4079382982702596667" name="jetbrains.mps.baseLanguage.checkedDots.structure.CheckedDotExpression" flags="nn" index="2EnYce" />
+    </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" />
@@ -222,9 +226,11 @@
         <child id="7741759128795045752" name="exp" index="2j1LYg" />
         <child id="7741759128795065723" name="paramRef" index="2j1YQj" />
       </concept>
+      <concept id="1209559114970" name="org.mpsqa.lint.generic.structure.ConceptFunctionParameter_Module" flags="nn" index="2vlQn3" />
       <concept id="7679435328618353697" name="org.mpsqa.lint.generic.structure.FormatException" flags="ng" index="vsK6v">
         <child id="7679435328618377120" name="exception" index="vsfCu" />
       </concept>
+      <concept id="5024442900367365755" name="org.mpsqa.lint.generic.structure.ModuleCheckingFunction" flags="ig" index="V6NT9" />
       <concept id="5024442900372562022" name="org.mpsqa.lint.generic.structure.ModelCheckingFunction" flags="ig" index="ViGxk" />
       <concept id="5024442900372562777" name="org.mpsqa.lint.generic.structure.ConceptFunctionParameter_Model" flags="nn" index="ViGHF" />
       <concept id="7223240310078271419" name="org.mpsqa.lint.generic.structure.ILinterResultsContainer" flags="ngI" index="3dgnlL">
@@ -3372,7 +3378,7 @@
           <property role="1X82S1" value="true" />
         </node>
         <node concept="3oM_SD" id="63CQ8uYy2Nh" role="1PaTwD">
-          <property role="3oM_SC" value="–" />
+          <property role="3oM_SC" value="�" />
         </node>
         <node concept="3oM_SD" id="63CQ8uYy2Ni" role="1PaTwD">
           <property role="3oM_SC" value="regex" />
@@ -3497,7 +3503,7 @@
           <property role="1X82S1" value="true" />
         </node>
         <node concept="3oM_SD" id="63CQ8uYy2Nx" role="1PaTwD">
-          <property role="3oM_SC" value="–" />
+          <property role="3oM_SC" value="�" />
         </node>
         <node concept="3oM_SD" id="63CQ8uYy2Ny" role="1PaTwD">
           <property role="3oM_SC" value="regex" />
@@ -3790,5 +3796,618 @@
       </node>
     </node>
   </node>
+  <node concept="1MIHA_" id="5ye0JLMCuz$">
+    <property role="TrG5h" value="models_with_devkits_as_used_languages" />
+    <property role="3miQiw" value="true" />
+    <node concept="2j1K4_" id="5ye0JLMD2kj" role="2j1K4A">
+      <property role="TrG5h" value="forbiddenDevkitsRegex" />
+      <node concept="17QB3L" id="5ye0JLMD2kp" role="2j1LY4" />
+    </node>
+    <node concept="2j1K4_" id="5ye0JLMD3JQ" role="2j1K4A">
+      <property role="TrG5h" value="whitelistedModulesRegex" />
+      <node concept="17QB3L" id="5ye0JLMD3JW" role="2j1LY4" />
+    </node>
+    <node concept="1Pa9Pv" id="5ye0JLMCuz_" role="1MIJl8">
+      <node concept="1PaTwC" id="5ye0JLMCuzA" role="1PaQFQ">
+        <node concept="3oM_SD" id="5ye0JLMCuzB" role="1PaTwD">
+          <property role="3oM_SC" value="Identifies" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCuzC" role="1PaTwD">
+          <property role="3oM_SC" value="models" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCuzD" role="1PaTwD">
+          <property role="3oM_SC" value="which" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCuzE" role="1PaTwD">
+          <property role="3oM_SC" value="use" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCuzF" role="1PaTwD">
+          <property role="3oM_SC" value="devkits" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1J" role="1PaTwD">
+          <property role="3oM_SC" value="instead" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGqW" role="1PaTwD">
+          <property role="3oM_SC" value="of" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGqX" role="1PaTwD">
+          <property role="3oM_SC" value="only" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1K" role="1PaTwD">
+          <property role="3oM_SC" value="individual" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1L" role="1PaTwD">
+          <property role="3oM_SC" value="languages." />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrC" role="1PaTwD">
+          <property role="3oM_SC" value="If" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrD" role="1PaTwD">
+          <property role="3oM_SC" value="a" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrE" role="1PaTwD">
+          <property role="3oM_SC" value="DevKit" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrF" role="1PaTwD">
+          <property role="3oM_SC" value="is" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrK" role="1PaTwD">
+          <property role="3oM_SC" value="used" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrL" role="1PaTwD">
+          <property role="3oM_SC" value="in" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrM" role="1PaTwD">
+          <property role="3oM_SC" value="a" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrN" role="1PaTwD">
+          <property role="3oM_SC" value="model," />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrO" role="1PaTwD">
+          <property role="3oM_SC" value="all" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrP" role="1PaTwD">
+          <property role="3oM_SC" value="languages" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrQ" role="1PaTwD">
+          <property role="3oM_SC" value="from" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrR" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrS" role="1PaTwD">
+          <property role="3oM_SC" value="devkit" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrT" role="1PaTwD">
+          <property role="3oM_SC" value="are" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrU" role="1PaTwD">
+          <property role="3oM_SC" value="considered" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrV" role="1PaTwD">
+          <property role="3oM_SC" value="to" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrW" role="1PaTwD">
+          <property role="3oM_SC" value="be" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrX" role="1PaTwD">
+          <property role="3oM_SC" value="used" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrY" role="1PaTwD">
+          <property role="3oM_SC" value="at" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGrZ" role="1PaTwD">
+          <property role="3oM_SC" value="" />
+        </node>
+      </node>
+      <node concept="1PaTwC" id="5ye0JLMCGs2" role="1PaQFQ">
+        <node concept="3oM_SD" id="5ye0JLMCGs1" role="1PaTwD">
+          <property role="3oM_SC" value="module" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGs0" role="1PaTwD">
+          <property role="3oM_SC" value="level" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGsK" role="1PaTwD">
+          <property role="3oM_SC" value="and" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGsL" role="1PaTwD">
+          <property role="3oM_SC" value="this" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGsM" role="1PaTwD">
+          <property role="3oM_SC" value="poses" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGtj" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGtk" role="1PaTwD">
+          <property role="3oM_SC" value="following" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1N" role="1PaTwD">
+          <property role="3oM_SC" value="problems:" />
+        </node>
+      </node>
+      <node concept="1PaTwC" id="5ye0JLMCS1P" role="1PaQFQ">
+        <node concept="3oM_SD" id="5ye0JLMCS1O" role="1PaTwD">
+          <property role="3oM_SC" value="" />
+        </node>
+      </node>
+      <node concept="2DRihI" id="5ye0JLMCGve" role="1PaQFQ">
+        <node concept="3oM_SD" id="5ye0JLMCS1M" role="1PaTwD">
+          <property role="3oM_SC" value="creates" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvi" role="1PaTwD">
+          <property role="3oM_SC" value="not" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvj" role="1PaTwD">
+          <property role="3oM_SC" value="wanted" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvk" role="1PaTwD">
+          <property role="3oM_SC" value="dependencies" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvl" role="1PaTwD">
+          <property role="3oM_SC" value="(e.g." />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvm" role="1PaTwD">
+          <property role="3oM_SC" value="only" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvn" role="1PaTwD">
+          <property role="3oM_SC" value="a" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvo" role="1PaTwD">
+          <property role="3oM_SC" value="concept" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvp" role="1PaTwD">
+          <property role="3oM_SC" value="from" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvq" role="1PaTwD">
+          <property role="3oM_SC" value="a" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvr" role="1PaTwD">
+          <property role="3oM_SC" value="language" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvs" role="1PaTwD">
+          <property role="3oM_SC" value="is" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvt" role="1PaTwD">
+          <property role="3oM_SC" value="used," />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvu" role="1PaTwD">
+          <property role="3oM_SC" value="but" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvv" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvw" role="1PaTwD">
+          <property role="3oM_SC" value="module" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvx" role="1PaTwD">
+          <property role="3oM_SC" value="looks" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvy" role="1PaTwD">
+          <property role="3oM_SC" value="to" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvz" role="1PaTwD">
+          <property role="3oM_SC" value="be" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGv$" role="1PaTwD">
+          <property role="3oM_SC" value="dependent" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGv_" role="1PaTwD">
+          <property role="3oM_SC" value="on" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvA" role="1PaTwD">
+          <property role="3oM_SC" value="all" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvB" role="1PaTwD">
+          <property role="3oM_SC" value="languages" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvC" role="1PaTwD">
+          <property role="3oM_SC" value="from" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvD" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvE" role="1PaTwD">
+          <property role="3oM_SC" value="devkit)" />
+        </node>
+      </node>
+      <node concept="2DRihI" id="5ye0JLMCGvF" role="1PaQFQ">
+        <node concept="3oM_SD" id="5ye0JLMCGvH" role="1PaTwD">
+          <property role="3oM_SC" value="all" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvI" role="1PaTwD">
+          <property role="3oM_SC" value="migrations" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvP" role="1PaTwD">
+          <property role="3oM_SC" value="of" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvS" role="1PaTwD">
+          <property role="3oM_SC" value="languages" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvT" role="1PaTwD">
+          <property role="3oM_SC" value="from" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvU" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvV" role="1PaTwD">
+          <property role="3oM_SC" value="devkit" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvW" role="1PaTwD">
+          <property role="3oM_SC" value="affect" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvQ" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvR" role="1PaTwD">
+          <property role="3oM_SC" value="module" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGw2" role="1PaTwD">
+          <property role="3oM_SC" value="-" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGw3" role="1PaTwD">
+          <property role="3oM_SC" value="update" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGw4" role="1PaTwD">
+          <property role="3oM_SC" value="of" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGw5" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGw6" role="1PaTwD">
+          <property role="3oM_SC" value="language" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGw7" role="1PaTwD">
+          <property role="3oM_SC" value="version" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGw8" role="1PaTwD">
+          <property role="3oM_SC" value="metadata" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvX" role="1PaTwD">
+          <property role="3oM_SC" value="(regardless" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvY" role="1PaTwD">
+          <property role="3oM_SC" value="if" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGvZ" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGw0" role="1PaTwD">
+          <property role="3oM_SC" value="language" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGw1" role="1PaTwD">
+          <property role="3oM_SC" value="is" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGw9" role="1PaTwD">
+          <property role="3oM_SC" value="used" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGwa" role="1PaTwD">
+          <property role="3oM_SC" value="or" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCGwb" role="1PaTwD">
+          <property role="3oM_SC" value="not)" />
+        </node>
+      </node>
+      <node concept="1PaTwC" id="5ye0JLMCGsP" role="1PaQFQ">
+        <node concept="3oM_SD" id="5ye0JLMCGsO" role="1PaTwD">
+          <property role="3oM_SC" value="" />
+        </node>
+      </node>
+      <node concept="1PaTwC" id="5ye0JLMCGwd" role="1PaQFQ">
+        <node concept="3oM_SD" id="5ye0JLMCS1h" role="1PaTwD">
+          <property role="3oM_SC" value="Parameters" />
+          <property role="1X82VF" value="true" />
+        </node>
+      </node>
+      <node concept="2DRihI" id="5ye0JLMCS1j" role="1PaQFQ">
+        <property role="2RT3bR" value="0" />
+        <node concept="3oM_SD" id="5ye0JLMCS1k" role="1PaTwD">
+          <property role="3oM_SC" value="devkitRegex" />
+          <property role="1X82S1" value="true" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1l" role="1PaTwD">
+          <property role="3oM_SC" value="–" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1m" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1n" role="1PaTwD">
+          <property role="3oM_SC" value="regex" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1o" role="1PaTwD">
+          <property role="3oM_SC" value="for" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1p" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1q" role="1PaTwD">
+          <property role="3oM_SC" value="name" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1r" role="1PaTwD">
+          <property role="3oM_SC" value="of" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1s" role="1PaTwD">
+          <property role="3oM_SC" value="devkits" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1x" role="1PaTwD">
+          <property role="3oM_SC" value="whose" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1y" role="1PaTwD">
+          <property role="3oM_SC" value="use" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1z" role="1PaTwD">
+          <property role="3oM_SC" value="should" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1$" role="1PaTwD">
+          <property role="3oM_SC" value="be" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS1D" role="1PaTwD">
+          <property role="3oM_SC" value="prevented" />
+        </node>
+      </node>
+      <node concept="2DRihI" id="5ye0JLMCS29" role="1PaQFQ">
+        <property role="2RT3bR" value="0" />
+        <node concept="3oM_SD" id="5ye0JLMCS38" role="1PaTwD">
+          <property role="3oM_SC" value="whitelistedModulesRegex" />
+          <property role="1X82S1" value="true" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS39" role="1PaTwD">
+          <property role="3oM_SC" value="–" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3a" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3b" role="1PaTwD">
+          <property role="3oM_SC" value="regex" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3c" role="1PaTwD">
+          <property role="3oM_SC" value="for" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3d" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3e" role="1PaTwD">
+          <property role="3oM_SC" value="name" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3f" role="1PaTwD">
+          <property role="3oM_SC" value="of" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3g" role="1PaTwD">
+          <property role="3oM_SC" value="modules" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3m" role="1PaTwD">
+          <property role="3oM_SC" value="which" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3n" role="1PaTwD">
+          <property role="3oM_SC" value="are" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3o" role="1PaTwD">
+          <property role="3oM_SC" value="allowed" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3p" role="1PaTwD">
+          <property role="3oM_SC" value="to" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3q" role="1PaTwD">
+          <property role="3oM_SC" value="depend" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3r" role="1PaTwD">
+          <property role="3oM_SC" value="on" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3s" role="1PaTwD">
+          <property role="3oM_SC" value="the" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3t" role="1PaTwD">
+          <property role="3oM_SC" value="devkits" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3h" role="1PaTwD">
+          <property role="3oM_SC" value="in" />
+        </node>
+        <node concept="3oM_SD" id="5ye0JLMCS3y" role="1PaTwD">
+          <property role="3oM_SC" value="question" />
+        </node>
+      </node>
+      <node concept="1PaTwC" id="5ye0JLMCGt5" role="1PaQFQ">
+        <node concept="3oM_SD" id="5ye0JLMCGt4" role="1PaTwD">
+          <property role="3oM_SC" value="" />
+        </node>
+      </node>
+      <node concept="1PaTwC" id="5ye0JLMCGtb" role="1PaQFQ">
+        <node concept="3oM_SD" id="5ye0JLMCGta" role="1PaTwD">
+          <property role="3oM_SC" value="" />
+        </node>
+      </node>
+    </node>
+    <node concept="V6NT9" id="5ye0JLMCWPi" role="14J5yK">
+      <node concept="3clFbS" id="5ye0JLMCWPj" role="2VODD2">
+        <node concept="3cpWs8" id="5ye0JLMCX8Z" role="3cqZAp">
+          <node concept="3cpWsn" id="5ye0JLMCX90" role="3cpWs9">
+            <property role="TrG5h" value="res" />
+            <node concept="_YKpA" id="5ye0JLMCX91" role="1tU5fm">
+              <node concept="17QB3L" id="5ye0JLMCX92" role="_ZDj9" />
+            </node>
+            <node concept="2ShNRf" id="5ye0JLMCX93" role="33vP2m">
+              <node concept="Tc6Ow" id="5ye0JLMCX94" role="2ShVmc">
+                <node concept="17QB3L" id="5ye0JLMCX95" role="HW$YZ" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="5ye0JLMCX96" role="3cqZAp" />
+        <node concept="3clFbJ" id="5ye0JLMCYgD" role="3cqZAp">
+          <node concept="3clFbS" id="5ye0JLMCYgF" role="3clFbx">
+            <node concept="3cpWs6" id="5ye0JLMDcii" role="3cqZAp">
+              <node concept="37vLTw" id="5ye0JLMDcLc" role="3cqZAk">
+                <ref role="3cqZAo" node="5ye0JLMCX90" resolve="res" />
+              </node>
+            </node>
+          </node>
+          <node concept="1Wc70l" id="5ye0JLMD8kL" role="3clFbw">
+            <node concept="2OqwBi" id="5ye0JLMD9N4" role="3uHU7B">
+              <node concept="2j1LYi" id="5ye0JLMD8$6" role="2Oq$k0">
+                <ref role="2j1LYj" node="5ye0JLMD3JQ" resolve="whitelistedModulesRegex" />
+              </node>
+              <node concept="17RvpY" id="5ye0JLMDblv" role="2OqNvi" />
+            </node>
+            <node concept="2EnYce" id="5ye0JLMDeiz" role="3uHU7w">
+              <node concept="2EnYce" id="5ye0JLMDe1V" role="2Oq$k0">
+                <node concept="2vlQn3" id="5ye0JLMCYyC" role="2Oq$k0" />
+                <node concept="liA8E" id="5ye0JLMCZd3" role="2OqNvi">
+                  <ref role="37wK5l" to="lui2:~SModule.getModuleName()" resolve="getModuleName" />
+                </node>
+              </node>
+              <node concept="liA8E" id="5ye0JLMD25b" role="2OqNvi">
+                <ref role="37wK5l" to="wyt6:~String.matches(java.lang.String)" resolve="matches" />
+                <node concept="2j1LYi" id="5ye0JLMDb$p" role="37wK5m">
+                  <ref role="2j1LYj" node="5ye0JLMD3JQ" resolve="whitelistedModulesRegex" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="5ye0JLMDeyM" role="3cqZAp" />
+        <node concept="2Gpval" id="5ye0JLMDf59" role="3cqZAp">
+          <node concept="2GrKxI" id="5ye0JLMDf5b" role="2Gsz3X">
+            <property role="TrG5h" value="model" />
+          </node>
+          <node concept="2OqwBi" id="5ye0JLMDhP$" role="2GsD0m">
+            <node concept="2vlQn3" id="5ye0JLMDhuA" role="2Oq$k0" />
+            <node concept="liA8E" id="5ye0JLMDi64" role="2OqNvi">
+              <ref role="37wK5l" to="lui2:~SModule.getModels()" resolve="getModels" />
+            </node>
+          </node>
+          <node concept="3clFbS" id="5ye0JLMDf5f" role="2LFqv$">
+            <node concept="3cpWs8" id="5ye0JLMCX97" role="3cqZAp">
+              <node concept="3cpWsn" id="5ye0JLMCX98" role="3cpWs9">
+                <property role="TrG5h" value="mi" />
+                <node concept="3uibUv" id="5ye0JLMCX99" role="1tU5fm">
+                  <ref role="3uigEE" to="w1kc:~ModelImports" resolve="ModelImports" />
+                </node>
+                <node concept="2ShNRf" id="5ye0JLMCX9a" role="33vP2m">
+                  <node concept="1pGfFk" id="5ye0JLMCX9b" role="2ShVmc">
+                    <ref role="37wK5l" to="w1kc:~ModelImports.&lt;init&gt;(org.jetbrains.mps.openapi.model.SModel)" resolve="ModelImports" />
+                    <node concept="2GrUjf" id="5ye0JLMDk4G" role="37wK5m">
+                      <ref role="2Gs0qQ" node="5ye0JLMDf5b" resolve="model" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3cpWs8" id="5ye0JLMCX9d" role="3cqZAp">
+              <node concept="3cpWsn" id="5ye0JLMCX9e" role="3cpWs9">
+                <property role="TrG5h" value="usedDevkits" />
+                <node concept="3uibUv" id="5ye0JLMCX9f" role="1tU5fm">
+                  <ref role="3uigEE" to="33ny:~Collection" resolve="Collection" />
+                  <node concept="3uibUv" id="5ye0JLMCX9g" role="11_B2D">
+                    <ref role="3uigEE" to="lui2:~SModuleReference" resolve="SModuleReference" />
+                  </node>
+                </node>
+                <node concept="2OqwBi" id="5ye0JLMCX9h" role="33vP2m">
+                  <node concept="37vLTw" id="5ye0JLMCX9i" role="2Oq$k0">
+                    <ref role="3cqZAo" node="5ye0JLMCX98" resolve="mi" />
+                  </node>
+                  <node concept="liA8E" id="5ye0JLMCX9j" role="2OqNvi">
+                    <ref role="37wK5l" to="w1kc:~ModelImports.getUsedDevKits()" resolve="getUsedDevKits" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbJ" id="5ye0JLMCX9k" role="3cqZAp">
+              <node concept="3clFbS" id="5ye0JLMCX9l" role="3clFbx">
+                <node concept="2Gpval" id="5ye0JLMDpAS" role="3cqZAp">
+                  <node concept="2GrKxI" id="5ye0JLMDpAU" role="2Gsz3X">
+                    <property role="TrG5h" value="devkit" />
+                  </node>
+                  <node concept="37vLTw" id="5ye0JLMDsCS" role="2GsD0m">
+                    <ref role="3cqZAo" node="5ye0JLMCX9e" resolve="usedDevkits" />
+                  </node>
+                  <node concept="3clFbS" id="5ye0JLMDpAY" role="2LFqv$">
+                    <node concept="3clFbJ" id="5ye0JLMDt2k" role="3cqZAp">
+                      <node concept="2EnYce" id="5ye0JLMDG0p" role="3clFbw">
+                        <node concept="2EnYce" id="5ye0JLMDF7F" role="2Oq$k0">
+                          <node concept="2GrUjf" id="5ye0JLMDtrR" role="2Oq$k0">
+                            <ref role="2Gs0qQ" node="5ye0JLMDpAU" resolve="devkit" />
+                          </node>
+                          <node concept="liA8E" id="5ye0JLMDwTg" role="2OqNvi">
+                            <ref role="37wK5l" to="lui2:~SModuleReference.getModuleName()" resolve="getModuleName" />
+                          </node>
+                        </node>
+                        <node concept="liA8E" id="5ye0JLMD_uU" role="2OqNvi">
+                          <ref role="37wK5l" to="wyt6:~String.matches(java.lang.String)" resolve="matches" />
+                          <node concept="2j1LYi" id="5ye0JLMDAd7" role="37wK5m">
+                            <ref role="2j1LYj" node="5ye0JLMD2kj" resolve="forbiddenDevkitsRegex" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3clFbS" id="5ye0JLMDt2m" role="3clFbx">
+                        <node concept="3clFbF" id="5ye0JLMCX9m" role="3cqZAp">
+                          <node concept="2OqwBi" id="5ye0JLMCX9n" role="3clFbG">
+                            <node concept="37vLTw" id="5ye0JLMCX9o" role="2Oq$k0">
+                              <ref role="3cqZAo" node="5ye0JLMCX90" resolve="res" />
+                            </node>
+                            <node concept="TSZUe" id="5ye0JLMCX9p" role="2OqNvi">
+                              <node concept="3cpWs3" id="5ye0JLMCX9q" role="25WWJ7">
+                                <node concept="Xl_RD" id="5ye0JLMCX9r" role="3uHU7w">
+                                  <property role="Xl_RC" value=" (remove the devkit from model properties and use languages instead.)" />
+                                </node>
+                                <node concept="3cpWs3" id="5ye0JLMCX9s" role="3uHU7B">
+                                  <node concept="Xl_RD" id="5ye0JLMCX9t" role="3uHU7B">
+                                    <property role="Xl_RC" value="Model uses forbidden devkit instead of individual languages: " />
+                                  </node>
+                                  <node concept="2OqwBi" id="5ye0JLMDPTx" role="3uHU7w">
+                                    <node concept="2GrUjf" id="5ye0JLMDPkp" role="2Oq$k0">
+                                      <ref role="2Gs0qQ" node="5ye0JLMDpAU" resolve="devkit" />
+                                    </node>
+                                    <node concept="liA8E" id="5ye0JLMDSJt" role="2OqNvi">
+                                      <ref role="37wK5l" to="lui2:~SModuleReference.getModuleName()" resolve="getModuleName" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3fqX7Q" id="5ye0JLMCX9G" role="3clFbw">
+                <node concept="2OqwBi" id="5ye0JLMCX9H" role="3fr31v">
+                  <node concept="37vLTw" id="5ye0JLMCX9I" role="2Oq$k0">
+                    <ref role="3cqZAo" node="5ye0JLMCX9e" resolve="usedDevkits" />
+                  </node>
+                  <node concept="liA8E" id="5ye0JLMCX9J" role="2OqNvi">
+                    <ref role="37wK5l" to="33ny:~Collection.isEmpty()" resolve="isEmpty" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="5ye0JLMCX9K" role="3cqZAp" />
+        <node concept="3cpWs6" id="5ye0JLMCX9L" role="3cqZAp">
+          <node concept="37vLTw" id="5ye0JLMCX9M" role="3cqZAk">
+            <ref role="3cqZAo" node="5ye0JLMCX90" resolve="res" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2j1LYv" id="5ye0JLMD6NU" role="2j1YRv">
+      <node concept="2j1LYi" id="5ye0JLMD6NV" role="2j1YQj">
+        <ref role="2j1LYj" node="5ye0JLMD2kj" resolve="forbiddenDevkitsRegex" />
+      </node>
+      <node concept="Xl_RD" id="5ye0JLMD7lx" role="2j1LYg">
+        <property role="Xl_RC" value=".*" />
+      </node>
+    </node>
+    <node concept="2j1LYv" id="5ye0JLMD7$b" role="2j1YRv">
+      <node concept="2j1LYi" id="5ye0JLMD7$c" role="2j1YQj">
+        <ref role="2j1LYj" node="5ye0JLMD3JQ" resolve="whitelistedModulesRegex" />
+      </node>
+      <node concept="Xl_RD" id="5ye0JLMD85X" role="2j1LYg">
+        <property role="Xl_RC" value="" />
+      </node>
+    </node>
+  </node>
 </model>
 
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_constraints.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_constraints.mps
index 2f95f772..785cd658 100644
--- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_constraints.mps
+++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_constraints.mps
@@ -12,11 +12,11 @@
     <use id="760a0a8c-eabb-4521-8bfd-65db761a9ba3" name="jetbrains.mps.baseLanguage.logging" version="0" />
   </languages>
   <imports>
-    <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="u5iv" ref="r:59e2876f-999a-4af1-8c54-345ff89e1fb6(org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect)" />
     <import index="c17a" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.language(MPS.OpenAPI/)" />
+    <import index="tpd4" ref="r:00000000-0000-4000-0000-011c895902b4(jetbrains.mps.lang.typesystem.structure)" />
+    <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/)" implicit="true" />
   </imports>
   <registry>
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_utils.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_utils.mps
index a6187c46..39439714 100644
--- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_utils.mps
+++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_utils.mps
@@ -1,7 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <model ref="r:52462382-8c4d-49a4-af7c-f0ce549b33e0(org.mpsqa.lint.mps_lang.linters_library.performance_utils)">
   <persistence version="9" />
-  <attribute name="doNotGenerate" value="false" />
   <languages>
     <use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="12" />
     <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="19" />
@@ -9,7 +8,6 @@
     <use id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access" version="0" />
     <use id="f2801650-65d5-424e-bb1b-463a8781b786" name="jetbrains.mps.baseLanguage.javadoc" version="2" />
     <use id="760a0a8c-eabb-4521-8bfd-65db761a9ba3" name="jetbrains.mps.baseLanguage.logging" version="0" />
-    <use id="774bf8a0-62e5-41e1-af63-f4812e60e48b" name="jetbrains.mps.baseLanguage.checkedDots" version="0" />
   </languages>
   <imports>
     <import index="k2t0" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.checkers(MPS.Core/)" />
@@ -32,7 +30,6 @@
     <import index="ze1i" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.smodel.runtime(MPS.Core/)" />
     <import index="ykok" ref="8e98f4e2-decf-4e97-bf80-9109e8b759ee/java:jetbrains.mps.smodel.constraints(jetbrains.mps.lang.constraints.rules.runtime/)" />
     <import index="pdwk" ref="8e98f4e2-decf-4e97-bf80-9109e8b759ee/java:jetbrains.mps.core.aspects.constraints.rules.kinds(jetbrains.mps.lang.constraints.rules.runtime/)" />
-    <import index="i5cy" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util.concurrent.atomic(JDK/)" />
     <import index="o99v" ref="8e98f4e2-decf-4e97-bf80-9109e8b759ee/java:jetbrains.mps.core.aspects.constraints.rules(jetbrains.mps.lang.constraints.rules.runtime/)" implicit="true" />
   </imports>
   <registry>
@@ -52,6 +49,7 @@
       <concept id="1188208481402" name="jetbrains.mps.baseLanguage.structure.HasAnnotation" flags="ngI" index="2AJDlI">
         <child id="1188208488637" name="annotation" index="2AJF6D" />
       </concept>
+      <concept id="1095950406618" name="jetbrains.mps.baseLanguage.structure.DivExpression" flags="nn" index="FJ1c_" />
       <concept id="2820489544401957797" name="jetbrains.mps.baseLanguage.structure.DefaultClassCreator" flags="nn" index="HV5vD">
         <reference id="2820489544401957798" name="classifier" index="HV5vE" />
         <child id="2820489544402271667" name="typeParameter" index="HU9BZ" />
@@ -70,6 +68,7 @@
       <concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
         <child id="1145553007750" name="creator" index="2ShVmc" />
       </concept>
+      <concept id="1070462154015" name="jetbrains.mps.baseLanguage.structure.StaticFieldDeclaration" flags="ig" index="Wx3nA" />
       <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
         <property id="1070475926801" name="value" index="Xl_RC" />
       </concept>
@@ -808,21 +807,9 @@
           <node concept="37vLTI" id="6o7R8__uzQc" role="3clFbG">
             <node concept="2OqwBi" id="6o7R8__uzQd" role="37vLTx">
               <node concept="2ShNRf" id="6o7R8__uzQe" role="2Oq$k0">
-                <node concept="1pGfFk" id="3YxxzAUIz5m" role="2ShVmc">
-                  <property role="373rjd" value="true" />
-                  <ref role="37wK5l" to="wsw7:6nj_ILmBNrL" resolve="ModelCheckerBuilder" />
-                  <node concept="2OqwBi" id="3YxxzAUIO80" role="37wK5m">
-                    <node concept="2ShNRf" id="3YxxzAUI_WM" role="2Oq$k0">
-                      <node concept="1pGfFk" id="3YxxzAUIC72" role="2ShVmc">
-                        <property role="373rjd" value="true" />
-                        <ref role="37wK5l" to="wsw7:6pnunaLnyyn" resolve="ModelCheckerBuilder.ModelsExtractorImpl" />
-                      </node>
-                    </node>
-                    <node concept="liA8E" id="3YxxzAUIR5L" role="2OqNvi">
-                      <ref role="37wK5l" to="wsw7:34euvBSCGJN" resolve="includeStubs" />
-                      <node concept="3clFbT" id="3YxxzAUISGi" role="37wK5m" />
-                    </node>
-                  </node>
+                <node concept="1pGfFk" id="6o7R8__uzQf" role="2ShVmc">
+                  <ref role="37wK5l" to="wsw7:6bXa3O$ak8k" resolve="ModelCheckerBuilder" />
+                  <node concept="3clFbT" id="6o7R8__uzQg" role="37wK5m" />
                 </node>
               </node>
               <node concept="liA8E" id="6o7R8__uzQh" role="2OqNvi">
@@ -1018,7 +1005,7 @@
                         <ref role="2Gs0qQ" node="53wV48CwXHg" resolve="rootNode" />
                       </node>
                       <node concept="37vLTw" id="2xFKNLWA$d6" role="37wK5m">
-                        <ref role="3cqZAo" node="2xFKNLWA2x9" resolve="project" />
+                        <ref role="3cqZAo" node="53wV48C__Mi" resolve="repo" />
                       </node>
                     </node>
                   </node>
@@ -1179,6 +1166,14 @@
       </node>
     </node>
     <node concept="2tJIrI" id="2xFKNLWAt67" role="jymVt" />
+    <node concept="Wx3nA" id="7q9ZTxhfnY7" role="jymVt">
+      <property role="TrG5h" value="elapsedTime" />
+      <node concept="3cpWsb" id="2xFKNLWAsvy" role="1tU5fm" />
+      <node concept="3Tm6S6" id="7q9ZTxhflPE" role="1B3o_S" />
+      <node concept="3cmrfG" id="2xFKNLWAsvz" role="33vP2m">
+        <property role="3cmrfH" value="0" />
+      </node>
+    </node>
     <node concept="2tJIrI" id="7q9ZTxhfk$V" role="jymVt" />
     <node concept="2YIFZL" id="2xFKNLWAswD" role="jymVt">
       <property role="TrG5h" value="profileRootNode" />
@@ -1194,10 +1189,10 @@
         <node concept="3Tqbb2" id="2xFKNLWAtYK" role="1tU5fm" />
       </node>
       <node concept="37vLTG" id="2xFKNLWAx7y" role="3clF46">
-        <property role="TrG5h" value="project" />
+        <property role="TrG5h" value="repo" />
         <property role="3TUv4t" value="true" />
         <node concept="3uibUv" id="2xFKNLWAswG" role="1tU5fm">
-          <ref role="3uigEE" to="z1c3:~Project" resolve="Project" />
+          <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
         </node>
       </node>
       <node concept="3clFbS" id="2xFKNLWAsvt" role="3clF47">
@@ -1272,25 +1267,7 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="RA$Q3v$Y_r" role="3cqZAp" />
-        <node concept="3cpWs8" id="4CydzC94rz0" role="3cqZAp">
-          <node concept="3cpWsn" id="4CydzC94rz3" role="3cpWs9">
-            <property role="TrG5h" value="elapsedTime" />
-            <property role="3TUv4t" value="true" />
-            <node concept="3uibUv" id="4CydzC94wir" role="1tU5fm">
-              <ref role="3uigEE" to="i5cy:~AtomicLong" resolve="AtomicLong" />
-            </node>
-            <node concept="2ShNRf" id="4CydzC94$pH" role="33vP2m">
-              <node concept="1pGfFk" id="4CydzC94WdD" role="2ShVmc">
-                <property role="373rjd" value="true" />
-                <ref role="37wK5l" to="i5cy:~AtomicLong.&lt;init&gt;(long)" resolve="AtomicLong" />
-                <node concept="3cmrfG" id="4CydzC94Z7J" role="37wK5m">
-                  <property role="3cmrfH" value="0" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
+        <node concept="3clFbH" id="2rIsoTq40oL" role="3cqZAp" />
         <node concept="3cpWs8" id="7q9ZTxhepxg" role="3cqZAp">
           <node concept="3cpWsn" id="7q9ZTxhepxh" role="3cpWs9">
             <property role="TrG5h" value="latch" />
@@ -1365,7 +1342,7 @@
                                   <ref role="1Pybhc" node="2xFKNLW_V2v" resolve="TypesystemPerformanceUtils" />
                                   <ref role="37wK5l" node="2xFKNLWAqAT" resolve="runCheckersOnRootNode" />
                                   <node concept="37vLTw" id="2xFKNLWAswJ" role="37wK5m">
-                                    <ref role="3cqZAo" node="2xFKNLWAx7y" resolve="project" />
+                                    <ref role="3cqZAo" node="2xFKNLWAx7y" resolve="repo" />
                                   </node>
                                   <node concept="37vLTw" id="2xFKNLWAw52" role="37wK5m">
                                     <ref role="3cqZAo" node="2xFKNLWAtCy" resolve="rootNode" />
@@ -1386,21 +1363,18 @@
                                   </node>
                                 </node>
                                 <node concept="3clFbF" id="2xFKNLWAsvY" role="3cqZAp">
-                                  <node concept="2OqwBi" id="4CydzC954X_" role="3clFbG">
-                                    <node concept="37vLTw" id="2xFKNLWAsw3" role="2Oq$k0">
-                                      <ref role="3cqZAo" node="4CydzC94rz3" resolve="elapsedTime" />
-                                    </node>
-                                    <node concept="liA8E" id="4CydzC958t6" role="2OqNvi">
-                                      <ref role="37wK5l" to="i5cy:~AtomicLong.set(long)" resolve="set" />
-                                      <node concept="3cpWsd" id="2xFKNLWAsw0" role="37wK5m">
-                                        <node concept="37vLTw" id="2xFKNLWAsw1" role="3uHU7B">
-                                          <ref role="3cqZAo" node="2xFKNLWAsvV" resolve="end" />
-                                        </node>
-                                        <node concept="37vLTw" id="2xFKNLWAsw2" role="3uHU7w">
-                                          <ref role="3cqZAo" node="2xFKNLWAsvI" resolve="start" />
-                                        </node>
+                                  <node concept="37vLTI" id="2xFKNLWAsvZ" role="3clFbG">
+                                    <node concept="3cpWsd" id="2xFKNLWAsw0" role="37vLTx">
+                                      <node concept="37vLTw" id="2xFKNLWAsw1" role="3uHU7B">
+                                        <ref role="3cqZAo" node="2xFKNLWAsvV" resolve="end" />
+                                      </node>
+                                      <node concept="37vLTw" id="2xFKNLWAsw2" role="3uHU7w">
+                                        <ref role="3cqZAo" node="2xFKNLWAsvI" resolve="start" />
                                       </node>
                                     </node>
+                                    <node concept="37vLTw" id="2xFKNLWAsw3" role="37vLTJ">
+                                      <ref role="3cqZAo" node="7q9ZTxhfnY7" resolve="elapsedTime" />
+                                    </node>
                                   </node>
                                 </node>
                                 <node concept="3clFbF" id="7q9ZTxhf3NJ" role="3cqZAp">
@@ -1432,6 +1406,29 @@
           </node>
         </node>
         <node concept="3clFbH" id="7q9ZTxheTb6" role="3cqZAp" />
+        <node concept="3cpWs8" id="2xFKNLWAsw8" role="3cqZAp">
+          <node concept="3cpWsn" id="2xFKNLWAsw9" role="3cpWs9">
+            <property role="TrG5h" value="bound" />
+            <node concept="3cpWsb" id="2xFKNLWAswa" role="1tU5fm" />
+            <node concept="3cpWs3" id="2xFKNLWAswb" role="33vP2m">
+              <node concept="3cmrfG" id="2xFKNLWAswc" role="3uHU7w">
+                <property role="3cmrfH" value="1" />
+              </node>
+              <node concept="2YIFZM" id="2xFKNLWAswd" role="3uHU7B">
+                <ref role="37wK5l" to="wyt6:~Math.round(float)" resolve="round" />
+                <ref role="1Pybhc" to="wyt6:~Math" resolve="Math" />
+                <node concept="FJ1c_" id="2xFKNLWAswe" role="37wK5m">
+                  <node concept="3cmrfG" id="2xFKNLWAswf" role="3uHU7w">
+                    <property role="3cmrfH" value="1000" />
+                  </node>
+                  <node concept="37vLTw" id="2xFKNLWAswA" role="3uHU7B">
+                    <ref role="3cqZAo" node="2xFKNLWAsw$" resolve="timeBoundInMillis" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="3J1_TO" id="2xFKNLWAswh" role="3cqZAp">
           <node concept="3clFbS" id="2xFKNLWAswi" role="1zxBo7">
             <node concept="3clFbF" id="2xFKNLWAswj" role="3cqZAp">
@@ -1442,10 +1439,10 @@
                 <node concept="liA8E" id="2xFKNLWAswm" role="2OqNvi">
                   <ref role="37wK5l" to="5zyv:~CountDownLatch.await(long,java.util.concurrent.TimeUnit)" resolve="await" />
                   <node concept="37vLTw" id="2xFKNLWAswn" role="37wK5m">
-                    <ref role="3cqZAo" node="2xFKNLWAsw$" resolve="timeBoundInMillis" />
+                    <ref role="3cqZAo" node="2xFKNLWAsw9" resolve="bound" />
                   </node>
-                  <node concept="Rm8GO" id="RA$Q3ljaNp" role="37wK5m">
-                    <ref role="Rm8GQ" to="5zyv:~TimeUnit.MILLISECONDS" resolve="MILLISECONDS" />
+                  <node concept="Rm8GO" id="2xFKNLWAswo" role="37wK5m">
+                    <ref role="Rm8GQ" to="5zyv:~TimeUnit.SECONDS" resolve="SECONDS" />
                     <ref role="1Px2BO" to="5zyv:~TimeUnit" resolve="TimeUnit" />
                   </node>
                 </node>
@@ -1455,20 +1452,12 @@
           <node concept="3uVAMA" id="2xFKNLWAswp" role="1zxBo5">
             <node concept="3clFbS" id="2xFKNLWAswq" role="1zc67A">
               <node concept="3clFbF" id="2xFKNLWAswr" role="3cqZAp">
-                <node concept="2OqwBi" id="4CydzC95wPL" role="3clFbG">
-                  <node concept="37vLTw" id="2xFKNLWAswu" role="2Oq$k0">
-                    <ref role="3cqZAo" node="4CydzC94rz3" resolve="elapsedTime" />
+                <node concept="37vLTI" id="2xFKNLWAsws" role="3clFbG">
+                  <node concept="37vLTw" id="2xFKNLWAswt" role="37vLTx">
+                    <ref role="3cqZAo" node="2xFKNLWAsw9" resolve="bound" />
                   </node>
-                  <node concept="liA8E" id="4CydzC95zaY" role="2OqNvi">
-                    <ref role="37wK5l" to="i5cy:~AtomicLong.set(long)" resolve="set" />
-                    <node concept="3cpWs3" id="RA$Q3pl27R" role="37wK5m">
-                      <node concept="3cmrfG" id="RA$Q3pl2bB" role="3uHU7w">
-                        <property role="3cmrfH" value="1" />
-                      </node>
-                      <node concept="37vLTw" id="2xFKNLWAswt" role="3uHU7B">
-                        <ref role="3cqZAo" node="2xFKNLWAsw$" resolve="timeBoundInMillis" />
-                      </node>
-                    </node>
+                  <node concept="37vLTw" id="2xFKNLWAswu" role="37vLTJ">
+                    <ref role="3cqZAo" node="7q9ZTxhfnY7" resolve="elapsedTime" />
                   </node>
                 </node>
               </node>
@@ -1484,13 +1473,8 @@
           </node>
         </node>
         <node concept="3cpWs6" id="2xFKNLWAswy" role="3cqZAp">
-          <node concept="2OqwBi" id="4CydzC95CT$" role="3cqZAk">
-            <node concept="37vLTw" id="2xFKNLWAswz" role="2Oq$k0">
-              <ref role="3cqZAo" node="4CydzC94rz3" resolve="elapsedTime" />
-            </node>
-            <node concept="liA8E" id="4CydzC95Emo" role="2OqNvi">
-              <ref role="37wK5l" to="i5cy:~AtomicLong.get()" resolve="get" />
-            </node>
+          <node concept="37vLTw" id="2xFKNLWAswz" role="3cqZAk">
+            <ref role="3cqZAo" node="7q9ZTxhfnY7" resolve="elapsedTime" />
           </node>
         </node>
       </node>
@@ -1501,9 +1485,9 @@
       <node concept="3Tm6S6" id="2xFKNLWAqAU" role="1B3o_S" />
       <node concept="3cqZAl" id="2xFKNLWAqAV" role="3clF45" />
       <node concept="37vLTG" id="2xFKNLWAqAH" role="3clF46">
-        <property role="TrG5h" value="project" />
+        <property role="TrG5h" value="repo" />
         <node concept="3uibUv" id="2xFKNLWAqAI" role="1tU5fm">
-          <ref role="3uigEE" to="z1c3:~Project" resolve="Project" />
+          <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
         </node>
       </node>
       <node concept="37vLTG" id="2xFKNLWAqAJ" role="3clF46">
@@ -1511,23 +1495,6 @@
         <node concept="3Tqbb2" id="2xFKNLWAqAK" role="1tU5fm" />
       </node>
       <node concept="3clFbS" id="2xFKNLWAq_Y" role="3clF47">
-        <node concept="3cpWs8" id="3YxxzAUFZpQ" role="3cqZAp">
-          <node concept="3cpWsn" id="3YxxzAUFZpR" role="3cpWs9">
-            <property role="TrG5h" value="repository" />
-            <node concept="3uibUv" id="3YxxzAUFWWf" role="1tU5fm">
-              <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
-            </node>
-            <node concept="2OqwBi" id="3YxxzAUFZpS" role="33vP2m">
-              <node concept="37vLTw" id="3YxxzAUFZpT" role="2Oq$k0">
-                <ref role="3cqZAo" node="2xFKNLWAqAH" resolve="project" />
-              </node>
-              <node concept="liA8E" id="3YxxzAUFZpU" role="2OqNvi">
-                <ref role="37wK5l" to="z1c3:~Project.getRepository()" resolve="getRepository" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="3YxxzAUGai8" role="3cqZAp" />
         <node concept="3cpWs8" id="6wZqgFL1MYN" role="3cqZAp">
           <node concept="3cpWsn" id="6wZqgFL1MYO" role="3cpWs9">
             <property role="TrG5h" value="ntsc" />
@@ -1595,14 +1562,7 @@
               <node concept="2ShNRf" id="6wZqgFL2tNX" role="25WWJ7">
                 <node concept="1pGfFk" id="6wZqgFL2vym" role="2ShVmc">
                   <ref role="37wK5l" to="k2t0:~RefScopeChecker.&lt;init&gt;(jetbrains.mps.components.ComponentHost)" resolve="RefScopeChecker" />
-                  <node concept="2OqwBi" id="3YxxzAUG_vP" role="37wK5m">
-                    <node concept="37vLTw" id="3YxxzAUGwMk" role="2Oq$k0">
-                      <ref role="3cqZAo" node="2xFKNLWAqAH" resolve="project" />
-                    </node>
-                    <node concept="liA8E" id="3YxxzAUGDch" role="2OqNvi">
-                      <ref role="37wK5l" to="z1c3:~Project.getPlatform()" resolve="getPlatform" />
-                    </node>
-                  </node>
+                  <node concept="10Nm6u" id="6wZqgFL2wRC" role="37wK5m" />
                 </node>
               </node>
             </node>
@@ -1656,8 +1616,8 @@
                     <node concept="37vLTw" id="5yKoIo4jKTO" role="37wK5m">
                       <ref role="3cqZAo" node="2xFKNLWAqAJ" resolve="rootNode" />
                     </node>
-                    <node concept="37vLTw" id="3YxxzAUGjNH" role="37wK5m">
-                      <ref role="3cqZAo" node="3YxxzAUFZpR" resolve="repository" />
+                    <node concept="37vLTw" id="158mPat2fdG" role="37wK5m">
+                      <ref role="3cqZAo" node="2xFKNLWAqAH" resolve="repo" />
                     </node>
                   </node>
                 </node>
@@ -1672,8 +1632,8 @@
                     <node concept="37vLTw" id="5yKoIo4jRO8" role="37wK5m">
                       <ref role="3cqZAo" node="2xFKNLWAqAJ" resolve="rootNode" />
                     </node>
-                    <node concept="37vLTw" id="3YxxzAUGt$2" role="37wK5m">
-                      <ref role="3cqZAo" node="3YxxzAUFZpR" resolve="repository" />
+                    <node concept="37vLTw" id="158mPat2c7p" role="37wK5m">
+                      <ref role="3cqZAo" node="2xFKNLWAqAH" resolve="repo" />
                     </node>
                   </node>
                 </node>
@@ -1703,6 +1663,44 @@
                   <property role="TrG5h" value="node" />
                 </node>
                 <node concept="3clFbS" id="6wZqgFKY$e7" role="2LFqv$">
+                  <node concept="3cpWs8" id="3$WIIvhc7j" role="3cqZAp">
+                    <node concept="3cpWsn" id="3$WIIvhc7k" role="3cpWs9">
+                      <property role="TrG5h" value="noopContext" />
+                      <node concept="3uibUv" id="3$WIIvhc7l" role="1tU5fm">
+                        <ref role="3uigEE" to="ze1i:~CheckingNodeContext" resolve="CheckingNodeContext" />
+                      </node>
+                      <node concept="2ShNRf" id="3$WIIvhchM" role="33vP2m">
+                        <node concept="YeOm9" id="3$WIIvhm9r" role="2ShVmc">
+                          <node concept="1Y3b0j" id="3$WIIvhm9u" role="YeSDq">
+                            <property role="2bfB8j" value="true" />
+                            <property role="373rjd" value="true" />
+                            <ref role="1Y3XeK" to="ze1i:~CheckingNodeContext" resolve="CheckingNodeContext" />
+                            <ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
+                            <node concept="3Tm1VV" id="3$WIIvhm9v" role="1B3o_S" />
+                            <node concept="3clFb_" id="3$WIIvhm9H" role="jymVt">
+                              <property role="TrG5h" value="setBreakingNode" />
+                              <node concept="3Tm1VV" id="3$WIIvhm9I" role="1B3o_S" />
+                              <node concept="3cqZAl" id="3$WIIvhm9K" role="3clF45" />
+                              <node concept="37vLTG" id="3$WIIvhm9L" role="3clF46">
+                                <property role="TrG5h" value="p1" />
+                                <node concept="3uibUv" id="3$WIIvhm9M" role="1tU5fm">
+                                  <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+                                </node>
+                                <node concept="2AHcQZ" id="3$WIIvhm9N" role="2AJF6D">
+                                  <ref role="2AI5Lk" to="mhfm:~NotNull" resolve="NotNull" />
+                                </node>
+                              </node>
+                              <node concept="3clFbS" id="3$WIIvhm9O" role="3clF47" />
+                              <node concept="2AHcQZ" id="3$WIIvhm9Q" role="2AJF6D">
+                                <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="3$WIIvhnw2" role="3cqZAp" />
                   <node concept="3cpWs8" id="4VtLjdspz0Z" role="3cqZAp">
                     <node concept="3cpWsn" id="4VtLjdspz10" role="3cpWs9">
                       <property role="TrG5h" value="cc" />
@@ -1862,8 +1860,8 @@
                             <node concept="2GrUjf" id="2xFKNLWAqAm" role="37wK5m">
                               <ref role="2Gs0qQ" node="6wZqgFKY$e6" resolve="node" />
                             </node>
-                            <node concept="37vLTw" id="3YxxzAUGNH3" role="37wK5m">
-                              <ref role="3cqZAo" node="3YxxzAUFZpR" resolve="repository" />
+                            <node concept="37vLTw" id="2xFKNLWAqAP" role="37wK5m">
+                              <ref role="3cqZAo" node="2xFKNLWAqAH" resolve="repo" />
                             </node>
                             <node concept="2ShNRf" id="2xFKNLWAqAo" role="37wK5m">
                               <node concept="HV5vD" id="6o7R8__tk1j" role="2ShVmc">
@@ -1899,8 +1897,8 @@
               </node>
             </node>
           </node>
-          <node concept="37vLTw" id="3YxxzAUFZpV" role="ukAjM">
-            <ref role="3cqZAo" node="3YxxzAUFZpR" resolve="repository" />
+          <node concept="37vLTw" id="158mPasuDs8" role="ukAjM">
+            <ref role="3cqZAo" node="2xFKNLWAqAH" resolve="repo" />
           </node>
         </node>
       </node>
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 b6d5d4fa..f8c81aa6 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
@@ -1,7 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <model ref="r:59e2876f-999a-4af1-8c54-345ff89e1fb6(org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect)">
   <persistence version="9" />
-  <attribute name="doNotGenerate" value="false" />
   <languages>
     <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="19" />
     <use id="40ab19e9-751a-4433-b645-0e65160e58a0" name="org.mpsqa.lint.generic" version="1" />
@@ -10,7 +9,6 @@
     <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" />
-    <use id="760a0a8c-eabb-4521-8bfd-65db761a9ba3" name="jetbrains.mps.baseLanguage.logging" version="0" />
   </languages>
   <imports>
     <import index="zn9m" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.openapi.util(MPS.IDEA/)" />
@@ -24,11 +22,11 @@
     <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="w1kc" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.smodel(MPS.Core/)" />
-    <import index="evo" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.newTypesystem.context(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" />
+    <import index="evo" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.newTypesystem.context(MPS.Core/)" implicit="true" />
     <import index="lui2" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.module(MPS.OpenAPI/)" implicit="true" />
+    <import index="w1kc" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.smodel(MPS.Core/)" implicit="true" />
     <import index="31cb" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.extapi.module(MPS.Core/)" implicit="true" />
   </imports>
   <registry>
@@ -1515,14 +1513,6 @@
           </node>
         </node>
         <node concept="2Gpval" id="4Iw0DVMeuxa" role="3cqZAp">
-          <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.getProjectModulesWithGenerators()" resolve="getProjectModulesWithGenerators" />
-            </node>
-          </node>
           <node concept="3clFbS" id="4Iw0DVMeuxg" role="2LFqv$">
             <node concept="2Gpval" id="7NPKLoqmM_L" role="3cqZAp">
               <node concept="2GrKxI" id="7NPKLoqmM_N" role="2Gsz3X">
@@ -1667,6 +1657,14 @@
           <node concept="2GrKxI" id="4Iw0DVMeuxc" role="2Gsz3X">
             <property role="TrG5h" value="module" />
           </node>
+          <node concept="2OqwBi" id="1PMUc645p9z" role="2GsD0m">
+            <node concept="37vLTw" id="1PMUc645k8U" role="2Oq$k0">
+              <ref role="3cqZAo" node="5PFth5W23hQ" resolve="project" />
+            </node>
+            <node concept="liA8E" id="1PMUc645pOH" role="2OqNvi">
+              <ref role="37wK5l" to="z1c3:~Project.getProjectModulesWithGenerators()" resolve="getProjectModulesWithGenerators" />
+            </node>
+          </node>
         </node>
         <node concept="3clFbF" id="5PFth5W2b6Y" role="3cqZAp">
           <node concept="37vLTw" id="5PFth5W2b6W" role="3clFbG">
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 92b6b367..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
@@ -38,7 +38,6 @@
   </dependencies>
   <languageVersions>
     <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="12" />
-    <language slang="l:774bf8a0-62e5-41e1-af63-f4812e60e48b:jetbrains.mps.baseLanguage.checkedDots" version="0" />
     <language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
     <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" />