diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps
index 74a05d01..12312b74 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps
@@ -5707,13 +5707,22 @@
             </node>
           </node>
         </node>
-        <node concept="3cpWs6" id="6TxWhgAx12l" role="3cqZAp">
-          <node concept="2OqwBi" id="6TxWhgAx1Dw" role="3cqZAk">
-            <node concept="37vLTw" id="6TxWhgAx1r4" role="2Oq$k0">
-              <ref role="3cqZAo" node="5gVsyvEZeb_" resolve="pref" />
+        <node concept="3clFbF" id="6TxWhgA$9sz" role="3cqZAp">
+          <node concept="3K4zz7" id="6TxWhgA$ag7" role="3clFbG">
+            <node concept="3clFbT" id="6TxWhgA$bkF" role="3K4GZi" />
+            <node concept="3y3z36" id="6TxWhgA$9KK" role="3K4Cdx">
+              <node concept="10Nm6u" id="6TxWhgA$a83" role="3uHU7w" />
+              <node concept="37vLTw" id="6TxWhgA$9sx" role="3uHU7B">
+                <ref role="3cqZAo" node="5gVsyvEZeb_" resolve="pref" />
+              </node>
             </node>
-            <node concept="34pFcN" id="6TxWhgAx1XS" role="2OqNvi">
-              <ref role="2WH_rO" to="qox2:14pL6xi901F" resolve="typecheckingEnabled" />
+            <node concept="2OqwBi" id="6TxWhgA$ayu" role="3K4E3e">
+              <node concept="37vLTw" id="6TxWhgA$ayv" role="2Oq$k0">
+                <ref role="3cqZAo" node="5gVsyvEZeb_" resolve="pref" />
+              </node>
+              <node concept="34pFcN" id="6TxWhgA$ayw" role="2OqNvi">
+                <ref role="2WH_rO" to="qox2:14pL6xi901F" resolve="typecheckingEnabled" />
+              </node>
             </node>
           </node>
         </node>
@@ -5751,18 +5760,28 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbF" id="6TxWhgAx3sO" role="3cqZAp">
-          <node concept="37vLTI" id="6TxWhgAx46W" role="3clFbG">
-            <node concept="37vLTw" id="6TxWhgAx4xP" role="37vLTx">
-              <ref role="3cqZAo" node="6TxWhgAx2CQ" resolve="enabled" />
+        <node concept="3clFbJ" id="6TxWhgA$c0c" role="3cqZAp">
+          <node concept="3clFbS" id="6TxWhgA$c0e" role="3clFbx">
+            <node concept="3clFbF" id="6TxWhgAx3sO" role="3cqZAp">
+              <node concept="37vLTI" id="6TxWhgAx46W" role="3clFbG">
+                <node concept="37vLTw" id="6TxWhgAx4xP" role="37vLTx">
+                  <ref role="3cqZAo" node="6TxWhgAx2CQ" resolve="enabled" />
+                </node>
+                <node concept="2OqwBi" id="6TxWhgAx2bs" role="37vLTJ">
+                  <node concept="37vLTw" id="6TxWhgAx2bt" role="2Oq$k0">
+                    <ref role="3cqZAo" node="6TxWhgAx2bk" resolve="pref" />
+                  </node>
+                  <node concept="34pFcN" id="6TxWhgAx2bu" role="2OqNvi">
+                    <ref role="2WH_rO" to="qox2:14pL6xi901F" resolve="typecheckingEnabled" />
+                  </node>
+                </node>
+              </node>
             </node>
-            <node concept="2OqwBi" id="6TxWhgAx2bs" role="37vLTJ">
-              <node concept="37vLTw" id="6TxWhgAx2bt" role="2Oq$k0">
-                <ref role="3cqZAo" node="6TxWhgAx2bk" resolve="pref" />
-              </node>
-              <node concept="34pFcN" id="6TxWhgAx2bu" role="2OqNvi">
-                <ref role="2WH_rO" to="qox2:14pL6xi901F" resolve="typecheckingEnabled" />
-              </node>
+          </node>
+          <node concept="3y3z36" id="6TxWhgA$cTZ" role="3clFbw">
+            <node concept="10Nm6u" id="6TxWhgA$dhi" role="3uHU7w" />
+            <node concept="37vLTw" id="6TxWhgA$cnJ" role="3uHU7B">
+              <ref role="3cqZAo" node="6TxWhgAx2bk" resolve="pref" />
             </node>
           </node>
         </node>