diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
index c63b0959..f8476cbd 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
@@ -15701,30 +15701,34 @@
               </node>
             </node>
           </node>
-          <node concept="3clFbJ" id="scOg5xDdN2" role="3cqZAp">
-            <node concept="3clFbS" id="scOg5xDdN4" role="3clFbx">
-              <node concept="3clFbF" id="scOg5xDiix" role="3cqZAp">
-                <node concept="1rXfSq" id="scOg5xDiiv" role="3clFbG">
-                  <ref role="37wK5l" node="scOg5xBW3c" resolve="reportWarning" />
-                  <node concept="Xl_RD" id="scOg5xDiJI" role="37wK5m">
-                    <property role="Xl_RC" value="Incremental processing is requested, but program can't be executed incrementally!" />
+          <node concept="1X3_iC" id="2fVm_55dBAR" role="lGtFl">
+            <property role="3V$3am" value="statement" />
+            <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+            <node concept="3clFbJ" id="scOg5xDdN2" role="8Wnug">
+              <node concept="3clFbS" id="scOg5xDdN4" role="3clFbx">
+                <node concept="3clFbF" id="scOg5xDiix" role="3cqZAp">
+                  <node concept="1rXfSq" id="scOg5xDiiv" role="3clFbG">
+                    <ref role="37wK5l" node="scOg5xBW3c" resolve="reportWarning" />
+                    <node concept="Xl_RD" id="scOg5xDiJI" role="37wK5m">
+                      <property role="Xl_RC" value="Incremental processing is requested, but program can't be executed incrementally!" />
+                    </node>
                   </node>
                 </node>
               </node>
-            </node>
-            <node concept="3fqX7Q" id="scOg5xDhQA" role="3clFbw">
-              <node concept="2OqwBi" id="scOg5xDhQC" role="3fr31v">
-                <node concept="2OqwBi" id="scOg5xDhQD" role="2Oq$k0">
-                  <node concept="37vLTw" id="scOg5xDhQE" role="2Oq$k0">
-                    <ref role="3cqZAo" node="5tAk4yVTd8M" resolve="incrProgSpec" />
+              <node concept="3fqX7Q" id="scOg5xDhQA" role="3clFbw">
+                <node concept="2OqwBi" id="scOg5xDhQC" role="3fr31v">
+                  <node concept="2OqwBi" id="scOg5xDhQD" role="2Oq$k0">
+                    <node concept="37vLTw" id="scOg5xDhQE" role="2Oq$k0">
+                      <ref role="3cqZAo" node="5tAk4yVTd8M" resolve="incrProgSpec" />
+                    </node>
+                    <node concept="liA8E" id="scOg5xDhQF" role="2OqNvi">
+                      <ref role="37wK5l" to="av0y:~IncrementalSpec.ability()" resolve="ability" />
+                    </node>
                   </node>
-                  <node concept="liA8E" id="scOg5xDhQF" role="2OqNvi">
-                    <ref role="37wK5l" to="av0y:~IncrementalSpec.ability()" resolve="ability" />
+                  <node concept="liA8E" id="scOg5xDhQG" role="2OqNvi">
+                    <ref role="37wK5l" to="av0y:~IncrementalSpec$Enabled.allowed()" resolve="allowed" />
                   </node>
                 </node>
-                <node concept="liA8E" id="scOg5xDhQG" role="2OqNvi">
-                  <ref role="37wK5l" to="av0y:~IncrementalSpec$Enabled.allowed()" resolve="allowed" />
-                </node>
               </node>
             </node>
           </node>