diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps
index 3cf601e1..74250f64 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps
@@ -4415,23 +4415,6 @@
             </node>
           </node>
         </node>
-        <node concept="1X3_iC" id="6dzPt95E60E" role="lGtFl">
-          <property role="3V$3am" value="statement" />
-          <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
-          <node concept="3clFbF" id="6dzPt95DZy1" role="8Wnug">
-            <node concept="2OqwBi" id="6dzPt95E03K" role="3clFbG">
-              <node concept="2OqwBi" id="6dzPt95DZCE" role="2Oq$k0">
-                <node concept="Xjq3P" id="6dzPt95DZxZ" role="2Oq$k0" />
-                <node concept="2OwXpG" id="6dzPt95DZKP" role="2OqNvi">
-                  <ref role="2Oxat5" node="5Qx6_65wuyf" resolve="typesIndex" />
-                </node>
-              </node>
-              <node concept="liA8E" id="6dzPt95E5Lq" role="2OqNvi">
-                <ref role="37wK5l" node="6dzPt95E0_d" resolve="register" />
-              </node>
-            </node>
-          </node>
-        </node>
       </node>
       <node concept="37vLTG" id="WJTIIoU_$S" role="3clF46">
         <property role="TrG5h" value="repo" />
@@ -4504,20 +4487,6 @@
             </node>
           </node>
         </node>
-        <node concept="1X3_iC" id="6dzPt95E6od" role="lGtFl">
-          <property role="3V$3am" value="statement" />
-          <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
-          <node concept="3clFbF" id="WJTIIoZMOf" role="8Wnug">
-            <node concept="2OqwBi" id="WJTIIoZN3J" role="3clFbG">
-              <node concept="37vLTw" id="WJTIIoZMOd" role="2Oq$k0">
-                <ref role="3cqZAo" node="5Qx6_65wuyf" resolve="typesIndex" />
-              </node>
-              <node concept="liA8E" id="WJTIIoZNF9" role="2OqNvi">
-                <ref role="37wK5l" node="QpMEos8NdQ" resolve="unregister" />
-              </node>
-            </node>
-          </node>
-        </node>
         <node concept="2Gpval" id="1z4$59jdVSO" role="3cqZAp">
           <node concept="3clFbS" id="1z4$59jdVSP" role="2LFqv$">
             <node concept="3clFbJ" id="1z4$59jdVTp" role="3cqZAp">
@@ -4665,20 +4634,6 @@
             </node>
           </node>
         </node>
-        <node concept="1X3_iC" id="6dzPt95E884" role="lGtFl">
-          <property role="3V$3am" value="statement" />
-          <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
-          <node concept="3clFbF" id="6dzPt95E733" role="8Wnug">
-            <node concept="2OqwBi" id="6dzPt95E7q$" role="3clFbG">
-              <node concept="37vLTw" id="6dzPt95E731" role="2Oq$k0">
-                <ref role="3cqZAo" node="5Qx6_65wuyf" resolve="typesIndex" />
-              </node>
-              <node concept="liA8E" id="6dzPt95E7T3" role="2OqNvi">
-                <ref role="37wK5l" node="6dzPt95E0_d" resolve="register" />
-              </node>
-            </node>
-          </node>
-        </node>
         <node concept="3clFbH" id="WJTIIp0C2k" role="3cqZAp" />
         <node concept="3clFbF" id="WJTIIp0_sJ" role="3cqZAp">
           <node concept="2OqwBi" id="WJTIIp0_G0" role="3clFbG">
@@ -4917,35 +4872,6 @@
         <node concept="3Tmbuc" id="WJTIIoW$16" role="1B3o_S" />
         <node concept="3cqZAl" id="WJTIIoVhg_" role="3clF45" />
       </node>
-      <node concept="2tJIrI" id="WJTIIoW$xY" role="jymVt" />
-      <node concept="3clFb_" id="QpMEos8NdQ" role="jymVt">
-        <property role="TrG5h" value="unregister" />
-        <node concept="3cqZAl" id="QpMEos8NdT" role="3clF45" />
-        <node concept="3Tmbuc" id="QpMEos8NdU" role="1B3o_S" />
-        <node concept="3clFbS" id="QpMEos8NdV" role="3clF47">
-          <node concept="3clFbF" id="WJTIIoWzSE" role="3cqZAp">
-            <node concept="3nyPlj" id="WJTIIoWzSD" role="3clFbG">
-              <ref role="37wK5l" to="tj24:QpMEos8NdQ" resolve="unregister" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2tJIrI" id="6dzPt95E4dU" role="jymVt" />
-      <node concept="3clFb_" id="6dzPt95E0_d" role="jymVt">
-        <property role="TrG5h" value="register" />
-        <node concept="3cqZAl" id="6dzPt95E0_e" role="3clF45" />
-        <node concept="3Tmbuc" id="6dzPt95E0_f" role="1B3o_S" />
-        <node concept="3clFbS" id="6dzPt95E0_g" role="3clF47">
-          <node concept="3clFbF" id="6dzPt95E0_h" role="3cqZAp">
-            <node concept="3nyPlj" id="6dzPt95E0_i" role="3clFbG">
-              <ref role="37wK5l" to="tj24:6$gg4kAGFiw" resolve="register" />
-              <node concept="37vLTw" id="6dzPt95E5oS" role="37wK5m">
-                <ref role="3cqZAo" node="tyIfzC1aQx" resolve="repo" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
       <node concept="2tJIrI" id="1z4$59jdh5g" role="jymVt" />
       <node concept="3clFb_" id="1z4$59je3qp" role="jymVt">
         <property role="TrG5h" value="putType" />