diff --git a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps
index 4bbc1183..6804a7f9 100644
--- a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps
@@ -46,7 +46,6 @@
     <import index="rbkg" ref="63b449db-0918-4a4a-a891-2c430ab133e4/java:org.junit.jupiter.api.extension(org.junit.junit5/)" />
     <import index="yqm7" ref="63b449db-0918-4a4a-a891-2c430ab133e4/java:org.junit.jupiter.api(org.junit.junit5/)" />
     <import index="wyuk" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.components(MPS.Core/)" />
-    <import index="u3gh" ref="r:38f1070b-d1ae-4036-84ce-ffb866741b84(jetbrains.mps.workbench.progress)" />
     <import index="guwi" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.io(JDK/)" implicit="true" />
   </imports>
   <registry>
diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
index 8b33516e..2d872fbc 100644
--- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
@@ -314,15 +314,10 @@
     <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
       <concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
         <property id="1193676396447" name="virtualPackage" index="3GE5qa" />
-        <child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
       </concept>
       <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ngI" index="TrEIO">
         <property id="1169194664001" name="name" index="TrG5h" />
       </concept>
-      <concept id="779128492853369165" name="jetbrains.mps.lang.core.structure.SideTransformInfo" flags="ng" index="1KehLL">
-        <property id="779128492853934523" name="cellId" index="1K8rM7" />
-        <property id="779128492853699361" name="side" index="1Kfyot" />
-      </concept>
     </language>
     <language id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text">
       <concept id="155656958578482948" name="jetbrains.mps.lang.text.structure.Word" flags="nn" index="3oM_SD">
@@ -6023,10 +6018,6 @@
         </node>
         <node concept="2AHcQZ" id="6Uh0cilk$dA" role="2AJF6D">
           <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
-          <node concept="1KehLL" id="2daneBOR$ri" role="lGtFl">
-            <property role="1K8rM7" value="Constant_d5p1uc_a0" />
-            <property role="1Kfyot" value="Fg1jLUVyTf/left" />
-          </node>
         </node>
       </node>
       <node concept="2tJIrI" id="3mz2_dYbkp6" role="jymVt" />
@@ -6113,7 +6104,7 @@
         <node concept="37vLTG" id="2Cji6EQLUqG" role="3clF46">
           <property role="TrG5h" value="observer" />
           <node concept="3uibUv" id="2Cji6EQLUqH" role="1tU5fm">
-            <ref role="3uigEE" to="zx3l:~LogicalObserver" resolve="LogicalObserver" />
+            <ref role="3uigEE" to="bj13:~LogicalObserver" resolve="LogicalObserver" />
           </node>
         </node>
         <node concept="3clFbS" id="2Cji6EQLUqI" role="3clF47">
@@ -6137,7 +6128,7 @@
         <node concept="37vLTG" id="2Cji6EQLUqO" role="3clF46">
           <property role="TrG5h" value="observer" />
           <node concept="3uibUv" id="2Cji6EQLUqP" role="1tU5fm">
-            <ref role="3uigEE" to="zx3l:~LogicalObserver" resolve="LogicalObserver" />
+            <ref role="3uigEE" to="bj13:~LogicalObserver" resolve="LogicalObserver" />
           </node>
         </node>
         <node concept="3clFbS" id="2Cji6EQLUqQ" role="3clF47">