diff --git a/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
index defa5c38..1bc8b74a 100644
--- a/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
+++ b/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
@@ -544,11 +544,6 @@
       <ref role="2rTdP9" to="wq2x:7eGEHDlgPU4" resolve="Rule" />
       <ref role="2rZz_L" to="tpee:fz12cDA" resolve="ClassConcept" />
     </node>
-    <node concept="2rT7sh" id="1ffsG7bSkra" role="2rTMjI">
-      <property role="TrG5h" value="rule_template_fragment" />
-      <ref role="2rZz_L" to="tpee:fz12cDA" resolve="ClassConcept" />
-      <ref role="2rTdP9" to="wq2x:1ffsG7bLeN5" resolve="RulePart" />
-    </node>
     <node concept="2rT7sh" id="4vbeH84CXAV" role="2rTMjI">
       <property role="TrG5h" value="condition_input_parameter" />
       <ref role="2rZz_L" to="tpee:fz7vLUk" resolve="ParameterDeclaration" />
@@ -7753,225 +7748,6 @@
       </node>
     </node>
   </node>
-  <node concept="13MO4I" id="1ffsG7bOdjA">
-    <property role="3GE5qa" value="rule" />
-    <property role="TrG5h" value="frag_RuleTemplateFragment_common" />
-    <ref role="3gUMe" to="wq2x:1ffsG7bLeN5" resolve="RulePart" />
-    <node concept="312cEu" id="1ffsG7bOg_T" role="13RCb5">
-      <property role="2bfB8j" value="true" />
-      <property role="TrG5h" value="frag_RuleTemplateFragment" />
-      <property role="1sVAO0" value="true" />
-      <node concept="2tJIrI" id="1ffsG7bOgDc" role="jymVt" />
-      <node concept="3clFbW" id="1ffsG7bOgDu" role="jymVt">
-        <node concept="37vLTG" id="1ffsG7bNFq8" role="3clF46">
-          <property role="TrG5h" value="name" />
-          <node concept="17QB3L" id="1ffsG7bNFrW" role="1tU5fm" />
-        </node>
-        <node concept="3cqZAl" id="1ffsG7bOgDw" role="3clF45" />
-        <node concept="3Tm1VV" id="1ffsG7bOgDx" role="1B3o_S" />
-        <node concept="3clFbS" id="1ffsG7bOgDy" role="3clF47">
-          <node concept="XkiVB" id="1ffsG7bOhWu" role="3cqZAp">
-            <ref role="37wK5l" to="i348:1ffsG7bUbEV" resolve="BaseRuleTemplate" />
-            <node concept="37vLTw" id="1ffsG7bOhXC" role="37wK5m">
-              <ref role="3cqZAo" node="1ffsG7bNFq8" resolve="name" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2tJIrI" id="1ffsG7bOiUK" role="jymVt" />
-      <node concept="3clFb_" id="1ffsG7bOj0s" role="jymVt">
-        <property role="TrG5h" value="isApplicable" />
-        <property role="1EzhhJ" value="false" />
-        <node concept="37vLTG" id="1ffsG7bOj0t" role="3clF46">
-          <property role="TrG5h" value="input" />
-          <node concept="3Tqbb2" id="1ffsG7bOj0u" role="1tU5fm" />
-          <node concept="2ZBi8u" id="1ffsG7bZQ7h" role="lGtFl">
-            <ref role="2rW$FS" node="4vbeH84CXAV" resolve="condition_input_parameter" />
-          </node>
-          <node concept="1W57fq" id="1ffsG7bOj0v" role="lGtFl">
-            <node concept="3IZrLx" id="1ffsG7bOj0w" role="3IZSJc">
-              <node concept="3clFbS" id="1ffsG7bOj0x" role="2VODD2">
-                <node concept="3clFbF" id="1ffsG7bOj0y" role="3cqZAp">
-                  <node concept="2OqwBi" id="1ffsG7bOj0z" role="3clFbG">
-                    <node concept="2OqwBi" id="1ffsG7bOj0$" role="2Oq$k0">
-                      <node concept="2OqwBi" id="1ffsG7bOsYR" role="2Oq$k0">
-                        <node concept="30H73N" id="1ffsG7bOj0_" role="2Oq$k0" />
-                        <node concept="3TrEf2" id="1ffsG7bOteb" role="2OqNvi">
-                          <ref role="3Tt5mk" to="wq2x:1ffsG7bLfTr" />
-                        </node>
-                      </node>
-                      <node concept="3TrEf2" id="1ffsG7bOj0A" role="2OqNvi">
-                        <ref role="3Tt5mk" to="wq2x:5NuEpF1iiJF" />
-                      </node>
-                    </node>
-                    <node concept="3x8VRR" id="1ffsG7bOj0B" role="2OqNvi" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="gft3U" id="1ffsG7bOj0C" role="UU_$l">
-              <node concept="37vLTG" id="1ffsG7bOj0D" role="gfFT$">
-                <property role="TrG5h" value="$no_input$" />
-                <node concept="3Tqbb2" id="1ffsG7bOj0E" role="1tU5fm" />
-              </node>
-            </node>
-          </node>
-          <node concept="29HgVG" id="1ffsG7bOj0F" role="lGtFl">
-            <node concept="3NFfHV" id="1ffsG7bOj0G" role="3NFExx">
-              <node concept="3clFbS" id="1ffsG7bOj0H" role="2VODD2">
-                <node concept="3clFbF" id="1ffsG7bOj0I" role="3cqZAp">
-                  <node concept="2OqwBi" id="1ffsG7bOj0J" role="3clFbG">
-                    <node concept="2OqwBi" id="1ffsG7bOj0K" role="2Oq$k0">
-                      <node concept="2OqwBi" id="1ffsG7bOtol" role="2Oq$k0">
-                        <node concept="30H73N" id="1ffsG7bOj0L" role="2Oq$k0" />
-                        <node concept="3TrEf2" id="1ffsG7bOt_U" role="2OqNvi">
-                          <ref role="3Tt5mk" to="wq2x:1ffsG7bLfTr" />
-                        </node>
-                      </node>
-                      <node concept="3TrEf2" id="1ffsG7bOj0M" role="2OqNvi">
-                        <ref role="3Tt5mk" to="wq2x:5NuEpF1iiJF" />
-                      </node>
-                    </node>
-                    <node concept="3TrEf2" id="1ffsG7bOj0N" role="2OqNvi">
-                      <ref role="3Tt5mk" to="wq2x:5NuEpF1ihrB" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="37vLTG" id="1ffsG7bOj0O" role="3clF46">
-          <property role="TrG5h" value="boundValue" />
-          <node concept="3uibUv" id="1ffsG7bOj0P" role="1tU5fm">
-            <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-          </node>
-          <node concept="2ZBi8u" id="1ffsG7c045g" role="lGtFl">
-            <ref role="2rW$FS" node="7t5VLKH5rUl" resolve="condition_boundValue_parameter" />
-          </node>
-          <node concept="1W57fq" id="1ffsG7bOj0Q" role="lGtFl">
-            <node concept="3IZrLx" id="1ffsG7bOj0R" role="3IZSJc">
-              <node concept="3clFbS" id="1ffsG7bOj0S" role="2VODD2">
-                <node concept="3clFbF" id="1ffsG7bOj0T" role="3cqZAp">
-                  <node concept="2OqwBi" id="1ffsG7bOj0U" role="3clFbG">
-                    <node concept="2OqwBi" id="1ffsG7bOj0V" role="2Oq$k0">
-                      <node concept="2OqwBi" id="1ffsG7bOu4B" role="2Oq$k0">
-                        <node concept="30H73N" id="1ffsG7bOj0W" role="2Oq$k0" />
-                        <node concept="3TrEf2" id="1ffsG7bOujV" role="2OqNvi">
-                          <ref role="3Tt5mk" to="wq2x:1ffsG7bLfTr" />
-                        </node>
-                      </node>
-                      <node concept="3TrEf2" id="1ffsG7bOj0X" role="2OqNvi">
-                        <ref role="3Tt5mk" to="wq2x:1zN1RIkQKTu" />
-                      </node>
-                    </node>
-                    <node concept="3x8VRR" id="1ffsG7bOj0Y" role="2OqNvi" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="gft3U" id="1ffsG7bOj0Z" role="UU_$l">
-              <node concept="37vLTG" id="1ffsG7bOj10" role="gfFT$">
-                <property role="TrG5h" value="$noBoundValue$" />
-                <node concept="3uibUv" id="1ffsG7bOj11" role="1tU5fm">
-                  <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="29HgVG" id="1ffsG7bOj12" role="lGtFl">
-            <node concept="3NFfHV" id="1ffsG7bOj13" role="3NFExx">
-              <node concept="3clFbS" id="1ffsG7bOj14" role="2VODD2">
-                <node concept="3clFbF" id="1ffsG7bOj15" role="3cqZAp">
-                  <node concept="2OqwBi" id="1ffsG7bOj16" role="3clFbG">
-                    <node concept="2OqwBi" id="1ffsG7bOj17" role="2Oq$k0">
-                      <node concept="2OqwBi" id="1ffsG7bOuuz" role="2Oq$k0">
-                        <node concept="30H73N" id="1ffsG7bOj18" role="2Oq$k0" />
-                        <node concept="3TrEf2" id="1ffsG7bOuG8" role="2OqNvi">
-                          <ref role="3Tt5mk" to="wq2x:1ffsG7bLfTr" />
-                        </node>
-                      </node>
-                      <node concept="3TrEf2" id="1ffsG7bOj19" role="2OqNvi">
-                        <ref role="3Tt5mk" to="wq2x:1zN1RIkQKTu" />
-                      </node>
-                    </node>
-                    <node concept="3TrEf2" id="1ffsG7bOj1a" role="2OqNvi">
-                      <ref role="3Tt5mk" to="wq2x:5MHpiylFI5Z" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="10P_77" id="1ffsG7bOj1b" role="3clF45" />
-        <node concept="3Tm1VV" id="1ffsG7bOj1c" role="1B3o_S" />
-        <node concept="3clFbS" id="1ffsG7bOj1d" role="3clF47">
-          <node concept="3clFbF" id="1ffsG7bOj1e" role="3cqZAp">
-            <node concept="3clFbT" id="1ffsG7bOj1f" role="3clFbG">
-              <property role="3clFbU" value="true" />
-            </node>
-            <node concept="2b32R4" id="1ffsG7bOj1g" role="lGtFl">
-              <node concept="3JmXsc" id="1ffsG7bOj1h" role="2P8S$">
-                <node concept="3clFbS" id="1ffsG7bOj1i" role="2VODD2">
-                  <node concept="3clFbF" id="1ffsG7bOj1j" role="3cqZAp">
-                    <node concept="2OqwBi" id="1ffsG7bOj1k" role="3clFbG">
-                      <node concept="2OqwBi" id="1ffsG7bOj1l" role="2Oq$k0">
-                        <node concept="3TrEf2" id="1ffsG7bOj1m" role="2OqNvi">
-                          <ref role="3Tt5mk" to="wq2x:tIwzd1_VRv" />
-                        </node>
-                        <node concept="2OqwBi" id="1ffsG7bOj1n" role="2Oq$k0">
-                          <node concept="30H73N" id="1ffsG7bOj1o" role="2Oq$k0" />
-                          <node concept="3TrEf2" id="1ffsG7bOj1p" role="2OqNvi">
-                            <ref role="3Tt5mk" to="wq2x:1ffsG7bnJXK" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3Tsc0h" id="1ffsG7bOj1q" role="2OqNvi">
-                        <ref role="3TtcxE" to="tpee:fzcqZ_x" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="2AHcQZ" id="1ffsG7bOj1r" role="2AJF6D">
-          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
-        </node>
-        <node concept="raruj" id="1ffsG7bOj1s" role="lGtFl" />
-        <node concept="1W57fq" id="1ffsG7bOj1t" role="lGtFl">
-          <node concept="3IZrLx" id="1ffsG7bOj1u" role="3IZSJc">
-            <node concept="3clFbS" id="1ffsG7bOj1v" role="2VODD2">
-              <node concept="3clFbF" id="1ffsG7bOj1w" role="3cqZAp">
-                <node concept="2OqwBi" id="1ffsG7bOj1x" role="3clFbG">
-                  <node concept="2OqwBi" id="1ffsG7bOj1y" role="2Oq$k0">
-                    <node concept="30H73N" id="1ffsG7bOj1z" role="2Oq$k0" />
-                    <node concept="3TrEf2" id="1ffsG7bOj1$" role="2OqNvi">
-                      <ref role="3Tt5mk" to="wq2x:1ffsG7bnJXK" />
-                    </node>
-                  </node>
-                  <node concept="3x8VRR" id="1ffsG7bOj1_" role="2OqNvi" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2tJIrI" id="1ffsG7bOiVh" role="jymVt" />
-      <node concept="3Tm1VV" id="1ffsG7bOg_U" role="1B3o_S" />
-      <node concept="16euLQ" id="1ffsG7bNFpR" role="16eVyc">
-        <property role="TrG5h" value="S" />
-      </node>
-      <node concept="3uibUv" id="1ffsG7bOgCm" role="1zkMxy">
-        <ref role="3uigEE" to="i348:1ffsG7bUbCM" resolve="BaseRuleTemplate" />
-        <node concept="16syzq" id="1ffsG7bOgLF" role="11_B2D">
-          <ref role="16sUi3" node="1ffsG7bNFpR" resolve="S" />
-        </node>
-      </node>
-    </node>
-  </node>
   <node concept="bUwia" id="2N2MQGCM$We">
     <property role="TrG5h" value="type" />
     <property role="3GE5qa" value="type" />
diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps
index bc955c30..244d92e0 100644
--- a/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps
+++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps
@@ -20,10 +20,6 @@
   </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="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
         <child id="1197027771414" name="operand" index="2Oq$k0" />
         <child id="1197027833540" name="operation" index="2OqNvi" />
@@ -40,7 +36,6 @@
       <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="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
         <child id="1068431790190" name="initializer" index="33vP2m" />
       </concept>
@@ -48,7 +43,6 @@
         <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" />
@@ -61,14 +55,9 @@
       <concept id="1068580123165" name="jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" flags="ig" index="3clFb_">
         <property id="1178608670077" name="isAbstract" index="1EzhhJ" />
       </concept>
-      <concept id="1068580123152" name="jetbrains.mps.baseLanguage.structure.EqualsExpression" flags="nn" index="3clFbC" />
       <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
         <child id="1068580123156" name="expression" index="3clFbG" />
       </concept>
-      <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
-        <child id="1068580123160" name="condition" index="3clFbw" />
-        <child id="1068580123161" name="ifTrue" index="3clFbx" />
-      </concept>
       <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
         <child id="1068581517665" name="statement" index="3cqZAp" />
       </concept>
@@ -84,10 +73,6 @@
         <property id="521412098689998745" name="nonStatic" index="2bfB8j" />
         <child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
       </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="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
         <child id="1178549979242" name="visibility" index="1B3o_S" />
       </concept>
@@ -175,39 +160,6 @@
               </node>
             </node>
           </node>
-          <node concept="3clFbJ" id="1ffsG7bMjaH" role="3cqZAp">
-            <node concept="3clFbS" id="1ffsG7bMjaJ" role="3clFbx">
-              <node concept="3clFbF" id="1ffsG7bMju0" role="3cqZAp">
-                <node concept="37vLTI" id="1ffsG7bMjAH" role="3clFbG">
-                  <node concept="2OqwBi" id="1ffsG7bMkkT" role="37vLTx">
-                    <node concept="2OqwBi" id="1ffsG7bMjJE" role="2Oq$k0">
-                      <node concept="2rP1CM" id="1ffsG7bMjFH" role="2Oq$k0" />
-                      <node concept="2Xjw5R" id="1ffsG7bMjZC" role="2OqNvi">
-                        <node concept="1xMEDy" id="1ffsG7bMjZE" role="1xVPHs">
-                          <node concept="chp4Y" id="1ffsG7bMk4U" role="ri$Ld">
-                            <ref role="cht4Q" to="wq2x:1ffsG7bLeN5" resolve="RulePart" />
-                          </node>
-                        </node>
-                        <node concept="1xIGOp" id="1ffsG7bMked" role="1xVPHs" />
-                      </node>
-                    </node>
-                    <node concept="3TrEf2" id="1ffsG7bMk$Q" role="2OqNvi">
-                      <ref role="3Tt5mk" to="wq2x:1ffsG7bLfTr" />
-                    </node>
-                  </node>
-                  <node concept="37vLTw" id="1ffsG7bMjtY" role="37vLTJ">
-                    <ref role="3cqZAo" node="6ntBQ9KM$Fp" resolve="rule" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbC" id="1ffsG7bMjmD" role="3clFbw">
-              <node concept="10Nm6u" id="1ffsG7bMjpC" role="3uHU7w" />
-              <node concept="37vLTw" id="1ffsG7bMjf7" role="3uHU7B">
-                <ref role="3cqZAo" node="6ntBQ9KM$Fp" resolve="rule" />
-              </node>
-            </node>
-          </node>
           <node concept="3clFbF" id="6ntBQ9KM82u" role="3cqZAp">
             <node concept="2ShNRf" id="6ntBQ9KM82q" role="3clFbG">
               <node concept="YeOm9" id="6ntBQ9KM8cc" role="2ShVmc">
diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps
index 78778dfd..41927632 100644
--- a/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps
+++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps
@@ -1566,170 +1566,6 @@
       <node concept="l2Vlx" id="4EfgX2EvGmB" role="2iSdaV" />
     </node>
   </node>
-  <node concept="24kQdi" id="1ffsG7bLfm7">
-    <property role="3GE5qa" value="rule" />
-    <ref role="1XX52x" to="wq2x:1ffsG7bLeN5" resolve="RulePart" />
-    <node concept="3EZMnI" id="1ffsG7bLfsl" role="2wV5jI">
-      <node concept="3F0ifn" id="1ffsG7bLfsm" role="3EZMnx">
-        <property role="3F0ifm" value="rule template fragment" />
-        <ref role="1k5W1q" to="tpen:hgVS8CF" resolve="KeyWord" />
-      </node>
-      <node concept="3F0A7n" id="1ffsG7bLfsn" role="3EZMnx">
-        <ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
-        <ref role="1k5W1q" to="tpen:hshUnm6" resolve="StaticMethod" />
-      </node>
-      <node concept="3F0ifn" id="1ffsG7bLh33" role="3EZMnx">
-        <property role="3F0ifm" value="extending" />
-        <ref role="1k5W1q" to="tpen:hgVS8CF" resolve="KeyWord" />
-      </node>
-      <node concept="1iCGBv" id="1ffsG7bLgBx" role="3EZMnx">
-        <ref role="1NtTu8" to="wq2x:1ffsG7bLfTr" />
-        <node concept="1sVBvm" id="1ffsG7bLgBz" role="1sWHZn">
-          <node concept="3F0A7n" id="1ffsG7bLgKd" role="2wV5jI">
-            <property role="1Intyy" value="true" />
-            <ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
-          </node>
-        </node>
-        <node concept="ljvvj" id="1ffsG7bLTzm" role="3F10Kt">
-          <property role="VOm3f" value="true" />
-        </node>
-      </node>
-      <node concept="3EZMnI" id="1ffsG7bLfsq" role="3EZMnx">
-        <property role="S$Qs1" value="false" />
-        <node concept="VPM3Z" id="1ffsG7bLfsr" role="3F10Kt">
-          <property role="VOm3f" value="false" />
-        </node>
-        <node concept="l2Vlx" id="1ffsG7bLfss" role="2iSdaV" />
-        <node concept="3EZMnI" id="1ffsG7bLfst" role="3EZMnx">
-          <node concept="VPM3Z" id="1ffsG7bLft7" role="3F10Kt">
-            <property role="VOm3f" value="false" />
-          </node>
-          <node concept="lj46D" id="1ffsG7bLft8" role="3F10Kt">
-            <property role="VOm3f" value="true" />
-          </node>
-          <node concept="1Bsynf" id="1ffsG7bLft9" role="3F10Kt">
-            <property role="VOm3f" value="true" />
-          </node>
-          <node concept="l2Vlx" id="1ffsG7bLfta" role="2iSdaV" />
-          <node concept="3EZMnI" id="1ffsG7bLftb" role="3EZMnx">
-            <node concept="VPM3Z" id="1ffsG7bLftc" role="3F10Kt">
-              <property role="VOm3f" value="false" />
-            </node>
-            <node concept="l2Vlx" id="1ffsG7bLftd" role="2iSdaV" />
-            <node concept="3F1sOY" id="1ffsG7bLfte" role="3EZMnx">
-              <property role="1$x2rV" value="applicable always" />
-              <ref role="1NtTu8" to="wq2x:1ffsG7bnJXK" />
-              <node concept="ljvvj" id="1ffsG7bLftf" role="3F10Kt">
-                <property role="VOm3f" value="true" />
-              </node>
-            </node>
-            <node concept="3F1sOY" id="1ffsG7bLfti" role="3EZMnx">
-              <property role="1$x2rV" value="no required nodes" />
-              <ref role="1NtTu8" to="wq2x:1ffsG7bh6Cz" />
-              <node concept="ljvvj" id="1ffsG7bLftj" role="3F10Kt">
-                <property role="VOm3f" value="true" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3F0ifn" id="1ffsG7bLftm" role="3EZMnx">
-          <property role="3F0ifm" value=" " />
-          <ref role="1k5W1q" to="tpen:hshO_Yc" resolve="Comment" />
-          <node concept="VPM3Z" id="1ffsG7bLftn" role="3F10Kt">
-            <property role="VOm3f" value="false" />
-          </node>
-          <node concept="lj46D" id="1ffsG7bLfto" role="3F10Kt">
-            <property role="VOm3f" value="true" />
-          </node>
-          <node concept="ljvvj" id="1ffsG7bLftp" role="3F10Kt">
-            <property role="VOm3f" value="true" />
-          </node>
-        </node>
-        <node concept="3EZMnI" id="1ffsG7bLftq" role="3EZMnx">
-          <node concept="VPM3Z" id="1ffsG7bLftr" role="3F10Kt">
-            <property role="VOm3f" value="false" />
-          </node>
-          <node concept="lj46D" id="1ffsG7bLfts" role="3F10Kt">
-            <property role="VOm3f" value="true" />
-          </node>
-          <node concept="1Bsynf" id="1ffsG7bLftt" role="3F10Kt">
-            <property role="VOm3f" value="true" />
-          </node>
-          <node concept="3F2HdR" id="1ffsG7bLftu" role="3EZMnx">
-            <property role="2czwfO" value=" " />
-            <ref role="1NtTu8" to="wq2x:1ffsG7bCfL5" />
-            <node concept="l2Vlx" id="1ffsG7bLftv" role="2czzBx" />
-            <node concept="tppnM" id="1ffsG7bLftw" role="sWeuL">
-              <node concept="ljvvj" id="1ffsG7bLftx" role="3F10Kt">
-                <property role="VOm3f" value="true" />
-              </node>
-            </node>
-            <node concept="lj46D" id="1ffsG7bLfty" role="3F10Kt">
-              <property role="VOm3f" value="true" />
-            </node>
-            <node concept="ljvvj" id="1ffsG7bLftz" role="3F10Kt">
-              <property role="VOm3f" value="true" />
-            </node>
-            <node concept="3F0ifn" id="1ffsG7bLft$" role="2czzBI">
-              <property role="3F0ifm" value="no head" />
-              <ref role="1k5W1q" to="tpen:hinfsDb" resolve="EmptyCell" />
-              <node concept="Vb9p2" id="1ffsG7bLft_" role="3F10Kt">
-                <property role="Vbekb" value="BOLD" />
-              </node>
-            </node>
-          </node>
-          <node concept="3F2HdR" id="1ffsG7bLftA" role="3EZMnx">
-            <property role="2czwfO" value=" " />
-            <ref role="1NtTu8" to="wq2x:1ffsG7bFM2v" />
-            <node concept="l2Vlx" id="1ffsG7bLftB" role="2czzBx" />
-            <node concept="tppnM" id="1ffsG7bLftC" role="sWeuL">
-              <node concept="ljvvj" id="1ffsG7bLftD" role="3F10Kt">
-                <property role="VOm3f" value="true" />
-              </node>
-            </node>
-            <node concept="lj46D" id="1ffsG7bLftE" role="3F10Kt">
-              <property role="VOm3f" value="true" />
-            </node>
-            <node concept="ljvvj" id="1ffsG7bLftF" role="3F10Kt">
-              <property role="VOm3f" value="true" />
-            </node>
-            <node concept="3F0ifn" id="1ffsG7bLftG" role="2czzBI">
-              <property role="3F0ifm" value="unconditionally" />
-              <ref role="1k5W1q" to="tpen:hinfsDb" resolve="EmptyCell" />
-              <node concept="Vb9p2" id="1ffsG7bLftH" role="3F10Kt">
-                <property role="Vbekb" value="BOLD" />
-              </node>
-            </node>
-          </node>
-          <node concept="3F2HdR" id="1ffsG7bLftI" role="3EZMnx">
-            <property role="2czwfO" value=" " />
-            <ref role="1NtTu8" to="wq2x:1ffsG7bIxDv" />
-            <node concept="l2Vlx" id="1ffsG7bLftJ" role="2czzBx" />
-            <node concept="tppnM" id="1ffsG7bLftK" role="sWeuL">
-              <node concept="ljvvj" id="1ffsG7bLftL" role="3F10Kt">
-                <property role="VOm3f" value="true" />
-              </node>
-            </node>
-            <node concept="lj46D" id="1ffsG7bLftM" role="3F10Kt">
-              <property role="VOm3f" value="true" />
-            </node>
-            <node concept="ljvvj" id="1ffsG7bLftN" role="3F10Kt">
-              <property role="VOm3f" value="true" />
-            </node>
-            <node concept="3F0ifn" id="1ffsG7bLftO" role="2czzBI">
-              <property role="3F0ifm" value="no body" />
-              <ref role="1k5W1q" to="tpen:hinfsDb" resolve="EmptyCell" />
-              <node concept="Vb9p2" id="1ffsG7bLftP" role="3F10Kt">
-                <property role="Vbekb" value="BOLD" />
-              </node>
-            </node>
-          </node>
-          <node concept="l2Vlx" id="1ffsG7bLftQ" role="2iSdaV" />
-        </node>
-      </node>
-      <node concept="l2Vlx" id="1ffsG7bLftR" role="2iSdaV" />
-    </node>
-  </node>
   <node concept="24kQdi" id="6infEALDvtu">
     <property role="3GE5qa" value="constraint" />
     <ref role="1XX52x" to="wq2x:6infEALDvmn" resolve="AssertExpressionConstraint" />
diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps
index aa9e94fe..d8baabcf 100644
--- a/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps
+++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps
@@ -558,18 +558,6 @@
       <ref role="PrY4T" to="5j4j:7E86$tK$Rgo" resolve="LogicalVariableScope" />
     </node>
   </node>
-  <node concept="1TIwiD" id="1ffsG7bLeN5">
-    <property role="3GE5qa" value="rule" />
-    <property role="TrG5h" value="RulePart" />
-    <property role="34LRSv" value="template part" />
-    <ref role="1TJDcQ" node="4EfgX2ET3GH" resolve="AbstractRule" />
-    <node concept="1TJgyj" id="1ffsG7bLfTr" role="1TKVEi">
-      <property role="20lmBu" value="reference" />
-      <property role="20kJfa" value="host" />
-      <ref role="20lvS9" node="7eGEHDlgPU4" resolve="Rule" />
-    </node>
-    <node concept="asaX9" id="3g$8GQBXsMN" role="lGtFl" />
-  </node>
   <node concept="1TIwiD" id="6infEALDvmn">
     <property role="3GE5qa" value="constraint" />
     <property role="TrG5h" value="AssertExpressionConstraint" />