diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
index 6f043066..f394b572 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
@@ -428,273 +428,310 @@
       </node>
       <node concept="3Tm6S6" id="2PLbMk5R0zx" role="1B3o_S" />
     </node>
-    <node concept="1LZb2c" id="tyIfzBA5cL" role="1SL9yI">
-      <property role="TrG5h" value="basicPrincipalConstraintsAnalysis" />
-      <node concept="3uibUv" id="tyIfzBA5cM" role="Sfmx6">
-        <ref role="3uigEE" to="wyt6:~Exception" resolve="Exception" />
-      </node>
-      <node concept="3cqZAl" id="tyIfzBA5cN" role="3clF45" />
-      <node concept="3clFbS" id="tyIfzBA5cO" role="3clF47">
-        <node concept="3clFbH" id="tyIfzBPkAU" role="3cqZAp" />
-        <node concept="3cpWs8" id="4VntlICnIHB" role="3cqZAp">
-          <node concept="3cpWsn" id="4VntlICnIHC" role="3cpWs9">
-            <property role="TrG5h" value="spec" />
-            <node concept="3uibUv" id="scOg5xjfow" role="1tU5fm">
-              <ref role="3uigEE" to="av0y:~IncrementalSpec" resolve="IncrementalSpec" />
+    <node concept="1X3_iC" id="4LE1vMPguHC" role="lGtFl">
+      <property role="3V$3am" value="testMethods" />
+      <property role="3V$3ak" value="8585453e-6bfb-4d80-98de-b16074f1d86c/1216913645126/1217501895093" />
+      <node concept="1LZb2c" id="tyIfzBA5cL" role="8Wnug">
+        <property role="TrG5h" value="basicPrincipalConstraintsAnalysis" />
+        <node concept="3uibUv" id="tyIfzBA5cM" role="Sfmx6">
+          <ref role="3uigEE" to="wyt6:~Exception" resolve="Exception" />
+        </node>
+        <node concept="3cqZAl" id="tyIfzBA5cN" role="3clF45" />
+        <node concept="3clFbS" id="tyIfzBA5cO" role="3clF47">
+          <node concept="3clFbH" id="tyIfzBPkAU" role="3cqZAp" />
+          <node concept="3cpWs8" id="4VntlICnIHB" role="3cqZAp">
+            <node concept="3cpWsn" id="4VntlICnIHC" role="3cpWs9">
+              <property role="TrG5h" value="spec" />
+              <node concept="3uibUv" id="scOg5xjfow" role="1tU5fm">
+                <ref role="3uigEE" to="av0y:~IncrementalSpec" resolve="IncrementalSpec" />
+              </node>
             </node>
           </node>
-        </node>
-        <node concept="1QHqEK" id="tyIfzBIkFO" role="3cqZAp">
-          <node concept="1QHqEC" id="tyIfzBIkFP" role="1QHqEI">
-            <node concept="3clFbS" id="tyIfzBIkFQ" role="1bW5cS">
-              <node concept="3cpWs8" id="tyIfzC3L69" role="3cqZAp">
-                <node concept="3cpWsn" id="tyIfzC3L6a" role="3cpWs9">
-                  <property role="TrG5h" value="repo" />
-                  <property role="3TUv4t" value="true" />
-                  <node concept="3uibUv" id="tyIfzC3L6b" role="1tU5fm">
-                    <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
-                  </node>
-                  <node concept="2OqwBi" id="tyIfzC3L6c" role="33vP2m">
-                    <node concept="1jxXqW" id="tyIfzC3L6d" role="2Oq$k0" />
-                    <node concept="liA8E" id="tyIfzC3L6e" role="2OqNvi">
-                      <ref role="37wK5l" to="z1c3:~Project.getRepository()" resolve="getRepository" />
+          <node concept="1QHqEK" id="tyIfzBIkFO" role="3cqZAp">
+            <node concept="1QHqEC" id="tyIfzBIkFP" role="1QHqEI">
+              <node concept="3clFbS" id="tyIfzBIkFQ" role="1bW5cS">
+                <node concept="3cpWs8" id="tyIfzC3L69" role="3cqZAp">
+                  <node concept="3cpWsn" id="tyIfzC3L6a" role="3cpWs9">
+                    <property role="TrG5h" value="repo" />
+                    <property role="3TUv4t" value="true" />
+                    <node concept="3uibUv" id="tyIfzC3L6b" role="1tU5fm">
+                      <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
                     </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3cpWs8" id="tyIfzC3L6f" role="3cqZAp">
-                <node concept="3cpWsn" id="tyIfzC3L6g" role="3cpWs9">
-                  <property role="TrG5h" value="demo" />
-                  <node concept="3Tqbb2" id="tyIfzC3L6h" role="1tU5fm">
-                    <ref role="ehGHo" to="qulx:7lt0LtPHOlU" resolve="Root" />
-                  </node>
-                  <node concept="2OqwBi" id="tyIfzC3L6i" role="33vP2m">
-                    <node concept="2tJFMh" id="tyIfzC3L6j" role="2Oq$k0">
-                      <node concept="ZC_QK" id="tyIfzC3L6k" role="2tJFKM">
-                        <ref role="2aWVGs" to="sppd:7lt0LtPHRY$" resolve="Demo" />
-                      </node>
-                    </node>
-                    <node concept="Vyspw" id="tyIfzC3L6l" role="2OqNvi">
-                      <node concept="37vLTw" id="tyIfzC3L6m" role="Vysub">
-                        <ref role="3cqZAo" node="tyIfzC3L6a" resolve="repo" />
+                    <node concept="2OqwBi" id="tyIfzC3L6c" role="33vP2m">
+                      <node concept="1jxXqW" id="tyIfzC3L6d" role="2Oq$k0" />
+                      <node concept="liA8E" id="tyIfzC3L6e" role="2OqNvi">
+                        <ref role="37wK5l" to="z1c3:~Project.getRepository()" resolve="getRepository" />
                       </node>
                     </node>
                   </node>
                 </node>
-              </node>
-              <node concept="3clFbH" id="2Y70AYEcpao" role="3cqZAp" />
-              <node concept="3cpWs8" id="tyIfzC3OTB" role="3cqZAp">
-                <node concept="3cpWsn" id="tyIfzC3OTC" role="3cpWs9">
-                  <property role="TrG5h" value="launcher" />
-                  <node concept="3uibUv" id="tyIfzC3OTD" role="1tU5fm">
-                    <ref role="3uigEE" to="hmoe:tyIfzC0ZNj" resolve="IncrementalLauncher" />
-                  </node>
-                  <node concept="2ShNRf" id="tyIfzC3Sr4" role="33vP2m">
-                    <node concept="1pGfFk" id="tyIfzC3Sr3" role="2ShVmc">
-                      <ref role="37wK5l" to="hmoe:WJTIIoUgQU" resolve="CollectingIncrementalLauncher" />
-                      <node concept="37vLTw" id="tyIfzC3W$o" role="37wK5m">
-                        <ref role="3cqZAo" node="tyIfzC3L6a" resolve="repo" />
-                      </node>
-                      <node concept="2OqwBi" id="tyIfzC40lo" role="37wK5m">
-                        <node concept="37vLTw" id="tyIfzC405c" role="2Oq$k0">
-                          <ref role="3cqZAo" node="tyIfzC3L6g" resolve="demo" />
+                <node concept="3cpWs8" id="tyIfzC3L6f" role="3cqZAp">
+                  <node concept="3cpWsn" id="tyIfzC3L6g" role="3cpWs9">
+                    <property role="TrG5h" value="demo" />
+                    <node concept="3Tqbb2" id="tyIfzC3L6h" role="1tU5fm">
+                      <ref role="ehGHo" to="qulx:7lt0LtPHOlU" resolve="Root" />
+                    </node>
+                    <node concept="2OqwBi" id="tyIfzC3L6i" role="33vP2m">
+                      <node concept="2tJFMh" id="tyIfzC3L6j" role="2Oq$k0">
+                        <node concept="ZC_QK" id="tyIfzC3L6k" role="2tJFKM">
+                          <ref role="2aWVGs" to="sppd:7lt0LtPHRY$" resolve="Demo" />
                         </node>
-                        <node concept="I4A8Y" id="tyIfzC40_M" role="2OqNvi" />
                       </node>
-                      <node concept="2OqwBi" id="1XKnVQyDWb" role="37wK5m">
-                        <node concept="37vLTw" id="1XKnVQdS8f" role="2Oq$k0">
-                          <ref role="3cqZAo" node="tyIfzC3L6g" resolve="demo" />
+                      <node concept="Vyspw" id="tyIfzC3L6l" role="2OqNvi">
+                        <node concept="37vLTw" id="tyIfzC3L6m" role="Vysub">
+                          <ref role="3cqZAo" node="tyIfzC3L6a" resolve="repo" />
                         </node>
-                        <node concept="2Rxl7S" id="1XKnVQyFn0" role="2OqNvi" />
                       </node>
                     </node>
                   </node>
                 </node>
-              </node>
-              <node concept="3clFbH" id="tyIfzC3Hzk" role="3cqZAp" />
-              <node concept="3cpWs8" id="tyIfzC4r6g" role="3cqZAp">
-                <node concept="3cpWsn" id="tyIfzC4r6h" role="3cpWs9">
-                  <property role="TrG5h" value="res" />
-                  <node concept="3uibUv" id="tyIfzC4r6i" role="1tU5fm">
-                    <ref role="3uigEE" to="psoy:7Oc59RSEjdb" resolve="Result" />
-                  </node>
-                  <node concept="2OqwBi" id="tyIfzC4uHe" role="33vP2m">
-                    <node concept="37vLTw" id="tyIfzC4uuB" role="2Oq$k0">
-                      <ref role="3cqZAo" node="tyIfzC3OTC" resolve="launcher" />
+                <node concept="3clFbH" id="2Y70AYEcpao" role="3cqZAp" />
+                <node concept="3cpWs8" id="tyIfzC3OTB" role="3cqZAp">
+                  <node concept="3cpWsn" id="tyIfzC3OTC" role="3cpWs9">
+                    <property role="TrG5h" value="launcher" />
+                    <node concept="3uibUv" id="tyIfzC3OTD" role="1tU5fm">
+                      <ref role="3uigEE" to="hmoe:tyIfzC0ZNj" resolve="IncrementalLauncher" />
                     </node>
-                    <node concept="liA8E" id="tyIfzC4y1T" role="2OqNvi">
-                      <ref role="37wK5l" to="hmoe:tyIfzC3x3f" resolve="produceProgram" />
-                      <node concept="2ShNRf" id="3j46jeGDMzS" role="37wK5m">
-                        <node concept="2HTt$P" id="3j46jeGDOff" role="2ShVmc">
-                          <node concept="3Tqbb2" id="3j46jeGDOmu" role="2HTBi0" />
-                          <node concept="37vLTw" id="3j46jeGDOqh" role="2HTEbv">
+                    <node concept="2ShNRf" id="tyIfzC3Sr4" role="33vP2m">
+                      <node concept="1pGfFk" id="tyIfzC3Sr3" role="2ShVmc">
+                        <ref role="37wK5l" to="hmoe:WJTIIoUgQU" resolve="CollectingIncrementalLauncher" />
+                        <node concept="37vLTw" id="tyIfzC3W$o" role="37wK5m">
+                          <ref role="3cqZAo" node="tyIfzC3L6a" resolve="repo" />
+                        </node>
+                        <node concept="2OqwBi" id="tyIfzC40lo" role="37wK5m">
+                          <node concept="37vLTw" id="tyIfzC405c" role="2Oq$k0">
                             <ref role="3cqZAo" node="tyIfzC3L6g" resolve="demo" />
                           </node>
+                          <node concept="I4A8Y" id="tyIfzC40_M" role="2OqNvi" />
                         </node>
-                      </node>
-                      <node concept="2OqwBi" id="3j46jeGQWxf" role="37wK5m">
-                        <node concept="37vLTw" id="3j46jeGQWoa" role="2Oq$k0">
-                          <ref role="3cqZAo" node="tyIfzC3OTC" resolve="launcher" />
+                        <node concept="2OqwBi" id="1XKnVQyDWb" role="37wK5m">
+                          <node concept="37vLTw" id="1XKnVQdS8f" role="2Oq$k0">
+                            <ref role="3cqZAo" node="tyIfzC3L6g" resolve="demo" />
+                          </node>
+                          <node concept="2Rxl7S" id="1XKnVQyFn0" role="2OqNvi" />
                         </node>
-                        <node concept="liA8E" id="3j46jeGQWI$" role="2OqNvi">
-                          <ref role="37wK5l" to="hmoe:3j46jeGMWII" resolve="getCheckQuery" />
-                        </node>
-                      </node>
-                      <node concept="3clFbT" id="6DQTzHxzFny" role="37wK5m">
-                        <property role="3clFbU" value="true" />
                       </node>
                     </node>
                   </node>
                 </node>
-              </node>
-              <node concept="3vwNmj" id="tyIfzBIV7r" role="3cqZAp">
-                <node concept="2OqwBi" id="tyIfzBIVFd" role="3vwVQn">
-                  <node concept="37vLTw" id="tyIfzC4AF8" role="2Oq$k0">
-                    <ref role="3cqZAo" node="tyIfzC4r6h" resolve="res" />
-                  </node>
-                  <node concept="liA8E" id="tyIfzBIVZ3" role="2OqNvi">
-                    <ref role="37wK5l" to="psoy:7Oc59RS_hsj" resolve="isSuccessful" />
-                  </node>
-                </node>
-              </node>
-              <node concept="3clFbF" id="4VntlICnIU5" role="3cqZAp">
-                <node concept="37vLTI" id="4VntlICnJ3r" role="3clFbG">
-                  <node concept="2OqwBi" id="4VntlICnLoq" role="37vLTx">
-                    <node concept="37vLTw" id="4VntlICnLdD" role="2Oq$k0">
-                      <ref role="3cqZAo" node="tyIfzC3OTC" resolve="launcher" />
+                <node concept="3clFbH" id="tyIfzC3Hzk" role="3cqZAp" />
+                <node concept="3cpWs8" id="tyIfzC4r6g" role="3cqZAp">
+                  <node concept="3cpWsn" id="tyIfzC4r6h" role="3cpWs9">
+                    <property role="TrG5h" value="res" />
+                    <node concept="3uibUv" id="tyIfzC4r6i" role="1tU5fm">
+                      <ref role="3uigEE" to="psoy:7Oc59RSEjdb" resolve="Result" />
                     </node>
-                    <node concept="liA8E" id="4VntlICnMya" role="2OqNvi">
-                      <ref role="37wK5l" to="hmoe:4VntlICnjoD" resolve="getProgramSpec" />
+                    <node concept="2OqwBi" id="tyIfzC4uHe" role="33vP2m">
+                      <node concept="37vLTw" id="tyIfzC4uuB" role="2Oq$k0">
+                        <ref role="3cqZAo" node="tyIfzC3OTC" resolve="launcher" />
+                      </node>
+                      <node concept="liA8E" id="tyIfzC4y1T" role="2OqNvi">
+                        <ref role="37wK5l" to="hmoe:tyIfzC3x3f" resolve="produceProgram" />
+                        <node concept="2ShNRf" id="3j46jeGDMzS" role="37wK5m">
+                          <node concept="2HTt$P" id="3j46jeGDOff" role="2ShVmc">
+                            <node concept="3Tqbb2" id="3j46jeGDOmu" role="2HTBi0" />
+                            <node concept="37vLTw" id="3j46jeGDOqh" role="2HTEbv">
+                              <ref role="3cqZAo" node="tyIfzC3L6g" resolve="demo" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="2OqwBi" id="3j46jeGQWxf" role="37wK5m">
+                          <node concept="37vLTw" id="3j46jeGQWoa" role="2Oq$k0">
+                            <ref role="3cqZAo" node="tyIfzC3OTC" resolve="launcher" />
+                          </node>
+                          <node concept="liA8E" id="3j46jeGQWI$" role="2OqNvi">
+                            <ref role="37wK5l" to="hmoe:3j46jeGMWII" resolve="getCheckQuery" />
+                          </node>
+                        </node>
+                        <node concept="3clFbT" id="6DQTzHxzFny" role="37wK5m">
+                          <property role="3clFbU" value="true" />
+                        </node>
+                      </node>
                     </node>
                   </node>
-                  <node concept="37vLTw" id="4VntlICnIU3" role="37vLTJ">
-                    <ref role="3cqZAo" node="4VntlICnIHC" resolve="spec" />
+                </node>
+                <node concept="3vwNmj" id="tyIfzBIV7r" role="3cqZAp">
+                  <node concept="2OqwBi" id="tyIfzBIVFd" role="3vwVQn">
+                    <node concept="37vLTw" id="tyIfzC4AF8" role="2Oq$k0">
+                      <ref role="3cqZAo" node="tyIfzC4r6h" resolve="res" />
+                    </node>
+                    <node concept="liA8E" id="tyIfzBIVZ3" role="2OqNvi">
+                      <ref role="37wK5l" to="psoy:7Oc59RS_hsj" resolve="isSuccessful" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="4VntlICnIU5" role="3cqZAp">
+                  <node concept="37vLTI" id="4VntlICnJ3r" role="3clFbG">
+                    <node concept="2OqwBi" id="4VntlICnLoq" role="37vLTx">
+                      <node concept="37vLTw" id="4VntlICnLdD" role="2Oq$k0">
+                        <ref role="3cqZAo" node="tyIfzC3OTC" resolve="launcher" />
+                      </node>
+                      <node concept="liA8E" id="4VntlICnMya" role="2OqNvi">
+                        <ref role="37wK5l" to="hmoe:4VntlICnjoD" resolve="getProgramSpec" />
+                      </node>
+                    </node>
+                    <node concept="37vLTw" id="4VntlICnIU3" role="37vLTJ">
+                      <ref role="3cqZAo" node="4VntlICnIHC" resolve="spec" />
+                    </node>
                   </node>
                 </node>
               </node>
             </node>
-          </node>
-          <node concept="2OqwBi" id="tyIfzBIkGT" role="ukAjM">
-            <node concept="1jxXqW" id="tyIfzBIkGU" role="2Oq$k0" />
-            <node concept="liA8E" id="tyIfzBIkGV" role="2OqNvi">
-              <ref role="37wK5l" to="z1c3:~Project.getRepository()" resolve="getRepository" />
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="tyIfzBL6FW" role="3cqZAp" />
-        <node concept="3vwNmj" id="2PLbMk5QW18" role="3cqZAp">
-          <node concept="2OqwBi" id="2PLbMk5QW9O" role="3vwVQn">
-            <node concept="37vLTw" id="2PLbMk5QW4C" role="2Oq$k0">
-              <ref role="3cqZAo" node="4VntlICnIHC" resolve="spec" />
-            </node>
-            <node concept="liA8E" id="2PLbMk5QWU3" role="2OqNvi">
-              <ref role="37wK5l" to="av0y:~IncrementalSpec.isPrincipal(jetbrains.mps.logic.reactor.program.Constraint)" resolve="isPrincipal" />
-              <node concept="2OqwBi" id="2PLbMk5R0AT" role="37wK5m">
-                <node concept="2WthIp" id="2PLbMk5R0AW" role="2Oq$k0" />
-                <node concept="2XshWL" id="2PLbMk5R0AY" role="2OqNvi">
-                  <ref role="2WH_rO" node="2PLbMk5R0rZ" resolve="ctr" />
-                  <node concept="Xl_RD" id="2PLbMk5R0CH" role="2XxRq1">
-                    <property role="Xl_RC" value="typeof" />
-                  </node>
-                  <node concept="3cmrfG" id="2PLbMk5R0Pp" role="2XxRq1">
-                    <property role="3cmrfH" value="2" />
-                  </node>
-                </node>
+            <node concept="2OqwBi" id="tyIfzBIkGT" role="ukAjM">
+              <node concept="1jxXqW" id="tyIfzBIkGU" role="2Oq$k0" />
+              <node concept="liA8E" id="tyIfzBIkGV" role="2OqNvi">
+                <ref role="37wK5l" to="z1c3:~Project.getRepository()" resolve="getRepository" />
               </node>
             </node>
           </node>
-        </node>
-        <node concept="3SKdUt" id="2PLbMk5R1IT" role="3cqZAp">
-          <node concept="1PaTwC" id="2PLbMk5R1IU" role="1aUNEU">
-            <node concept="3oM_SD" id="2PLbMk5R1IV" role="1PaTwD">
-              <property role="3oM_SC" value="constraints" />
-            </node>
-            <node concept="3oM_SD" id="2PLbMk5R1IW" role="1PaTwD">
-              <property role="3oM_SC" value="from" />
-            </node>
-            <node concept="3oM_SD" id="2PLbMk5R1IX" role="1PaTwD">
-              <property role="3oM_SC" value="queries" />
-            </node>
-            <node concept="3oM_SD" id="2PLbMk5R1IY" role="1PaTwD">
-              <property role="3oM_SC" value="are" />
-            </node>
-            <node concept="3oM_SD" id="2PLbMk5R1IZ" role="1PaTwD">
-              <property role="3oM_SC" value="principal" />
-            </node>
-            <node concept="3oM_SD" id="2PLbMk5R1J0" role="1PaTwD">
-              <property role="3oM_SC" value="too" />
-            </node>
-          </node>
-        </node>
-        <node concept="3vwNmj" id="2PLbMk5R0Ql" role="3cqZAp">
-          <node concept="2OqwBi" id="2PLbMk5R0Qm" role="3vwVQn">
-            <node concept="37vLTw" id="2PLbMk5R0Qn" role="2Oq$k0">
-              <ref role="3cqZAo" node="4VntlICnIHC" resolve="spec" />
-            </node>
-            <node concept="liA8E" id="2PLbMk5R0Qo" role="2OqNvi">
-              <ref role="37wK5l" to="av0y:~IncrementalSpec.isPrincipal(jetbrains.mps.logic.reactor.program.Constraint)" resolve="isPrincipal" />
-              <node concept="2OqwBi" id="2PLbMk5R0Qp" role="37wK5m">
-                <node concept="2WthIp" id="2PLbMk5R0Qq" role="2Oq$k0" />
-                <node concept="2XshWL" id="2PLbMk5R0Qr" role="2OqNvi">
-                  <ref role="2WH_rO" node="2PLbMk5R0rZ" resolve="ctr" />
-                  <node concept="Xl_RD" id="2PLbMk5R0Qs" role="2XxRq1">
-                    <property role="Xl_RC" value="recover" />
-                  </node>
-                  <node concept="3cmrfG" id="6QbNnfq6w$M" role="2XxRq1">
-                    <property role="3cmrfH" value="1" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3SKdUt" id="tyIfzBMK8j" role="3cqZAp">
-          <node concept="1PaTwC" id="tyIfzBMK8k" role="1aUNEU">
-            <node concept="3oM_SD" id="tyIfzBMNoA" role="1PaTwD">
-              <property role="3oM_SC" value="'main'" />
-            </node>
-            <node concept="3oM_SD" id="tyIfzBMNoK" role="1PaTwD">
-              <property role="3oM_SC" value="is" />
-            </node>
-            <node concept="3oM_SD" id="tyIfzBMNoN" role="1PaTwD">
-              <property role="3oM_SC" value="always" />
-            </node>
-            <node concept="3oM_SD" id="tyIfzBMQlx" role="1PaTwD">
-              <property role="3oM_SC" value="a" />
-            </node>
-            <node concept="3oM_SD" id="tyIfzBMQlI" role="1PaTwD">
-              <property role="3oM_SC" value="principal" />
-            </node>
-            <node concept="3oM_SD" id="tyIfzBMQlW" role="1PaTwD">
-              <property role="3oM_SC" value="constraint" />
-            </node>
-          </node>
-        </node>
-        <node concept="1X3_iC" id="6b4eZz$Bk2Z" role="lGtFl">
-          <property role="3V$3am" value="statement" />
-          <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
-          <node concept="3vwNmj" id="2PLbMk5R0Uk" role="8Wnug">
-            <node concept="2OqwBi" id="2PLbMk5R0Ul" role="3vwVQn">
-              <node concept="37vLTw" id="2PLbMk5R0Um" role="2Oq$k0">
+          <node concept="3clFbH" id="tyIfzBL6FW" role="3cqZAp" />
+          <node concept="3vwNmj" id="2PLbMk5QW18" role="3cqZAp">
+            <node concept="2OqwBi" id="2PLbMk5QW9O" role="3vwVQn">
+              <node concept="37vLTw" id="2PLbMk5QW4C" role="2Oq$k0">
                 <ref role="3cqZAo" node="4VntlICnIHC" resolve="spec" />
               </node>
-              <node concept="liA8E" id="2PLbMk5R0Un" role="2OqNvi">
+              <node concept="liA8E" id="2PLbMk5QWU3" role="2OqNvi">
                 <ref role="37wK5l" to="av0y:~IncrementalSpec.isPrincipal(jetbrains.mps.logic.reactor.program.Constraint)" resolve="isPrincipal" />
-                <node concept="2OqwBi" id="2PLbMk5R0Uo" role="37wK5m">
-                  <node concept="2WthIp" id="2PLbMk5R0Up" role="2Oq$k0" />
-                  <node concept="2XshWL" id="2PLbMk5R0Uq" role="2OqNvi">
+                <node concept="2OqwBi" id="2PLbMk5R0AT" role="37wK5m">
+                  <node concept="2WthIp" id="2PLbMk5R0AW" role="2Oq$k0" />
+                  <node concept="2XshWL" id="2PLbMk5R0AY" role="2OqNvi">
                     <ref role="2WH_rO" node="2PLbMk5R0rZ" resolve="ctr" />
-                    <node concept="Xl_RD" id="2PLbMk5R0Ur" role="2XxRq1">
-                      <property role="Xl_RC" value="main" />
+                    <node concept="Xl_RD" id="2PLbMk5R0CH" role="2XxRq1">
+                      <property role="Xl_RC" value="typeof" />
                     </node>
-                    <node concept="3cmrfG" id="2PLbMk5R1j8" role="2XxRq1">
-                      <property role="3cmrfH" value="0" />
+                    <node concept="3cmrfG" id="2PLbMk5R0Pp" role="2XxRq1">
+                      <property role="3cmrfH" value="2" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
           </node>
+          <node concept="3SKdUt" id="2PLbMk5R1IT" role="3cqZAp">
+            <node concept="1PaTwC" id="2PLbMk5R1IU" role="1aUNEU">
+              <node concept="3oM_SD" id="2PLbMk5R1IV" role="1PaTwD">
+                <property role="3oM_SC" value="constraints" />
+              </node>
+              <node concept="3oM_SD" id="2PLbMk5R1IW" role="1PaTwD">
+                <property role="3oM_SC" value="from" />
+              </node>
+              <node concept="3oM_SD" id="2PLbMk5R1IX" role="1PaTwD">
+                <property role="3oM_SC" value="queries" />
+              </node>
+              <node concept="3oM_SD" id="2PLbMk5R1IY" role="1PaTwD">
+                <property role="3oM_SC" value="are" />
+              </node>
+              <node concept="3oM_SD" id="2PLbMk5R1IZ" role="1PaTwD">
+                <property role="3oM_SC" value="principal" />
+              </node>
+              <node concept="3oM_SD" id="2PLbMk5R1J0" role="1PaTwD">
+                <property role="3oM_SC" value="too" />
+              </node>
+            </node>
+          </node>
+          <node concept="3vwNmj" id="2PLbMk5R0Ql" role="3cqZAp">
+            <node concept="2OqwBi" id="2PLbMk5R0Qm" role="3vwVQn">
+              <node concept="37vLTw" id="2PLbMk5R0Qn" role="2Oq$k0">
+                <ref role="3cqZAo" node="4VntlICnIHC" resolve="spec" />
+              </node>
+              <node concept="liA8E" id="2PLbMk5R0Qo" role="2OqNvi">
+                <ref role="37wK5l" to="av0y:~IncrementalSpec.isPrincipal(jetbrains.mps.logic.reactor.program.Constraint)" resolve="isPrincipal" />
+                <node concept="2OqwBi" id="2PLbMk5R0Qp" role="37wK5m">
+                  <node concept="2WthIp" id="2PLbMk5R0Qq" role="2Oq$k0" />
+                  <node concept="2XshWL" id="2PLbMk5R0Qr" role="2OqNvi">
+                    <ref role="2WH_rO" node="2PLbMk5R0rZ" resolve="ctr" />
+                    <node concept="Xl_RD" id="2PLbMk5R0Qs" role="2XxRq1">
+                      <property role="Xl_RC" value="recover" />
+                    </node>
+                    <node concept="3cmrfG" id="6QbNnfq6w$M" role="2XxRq1">
+                      <property role="3cmrfH" value="1" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3SKdUt" id="tyIfzBMK8j" role="3cqZAp">
+            <node concept="1PaTwC" id="tyIfzBMK8k" role="1aUNEU">
+              <node concept="3oM_SD" id="tyIfzBMNoA" role="1PaTwD">
+                <property role="3oM_SC" value="'main'" />
+              </node>
+              <node concept="3oM_SD" id="tyIfzBMNoK" role="1PaTwD">
+                <property role="3oM_SC" value="is" />
+              </node>
+              <node concept="3oM_SD" id="tyIfzBMNoN" role="1PaTwD">
+                <property role="3oM_SC" value="always" />
+              </node>
+              <node concept="3oM_SD" id="tyIfzBMQlx" role="1PaTwD">
+                <property role="3oM_SC" value="a" />
+              </node>
+              <node concept="3oM_SD" id="tyIfzBMQlI" role="1PaTwD">
+                <property role="3oM_SC" value="principal" />
+              </node>
+              <node concept="3oM_SD" id="tyIfzBMQlW" role="1PaTwD">
+                <property role="3oM_SC" value="constraint" />
+              </node>
+            </node>
+          </node>
+          <node concept="1X3_iC" id="6b4eZz$Bk2Z" role="lGtFl">
+            <property role="3V$3am" value="statement" />
+            <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+            <node concept="3vwNmj" id="2PLbMk5R0Uk" role="8Wnug">
+              <node concept="2OqwBi" id="2PLbMk5R0Ul" role="3vwVQn">
+                <node concept="37vLTw" id="2PLbMk5R0Um" role="2Oq$k0">
+                  <ref role="3cqZAo" node="4VntlICnIHC" resolve="spec" />
+                </node>
+                <node concept="liA8E" id="2PLbMk5R0Un" role="2OqNvi">
+                  <ref role="37wK5l" to="av0y:~IncrementalSpec.isPrincipal(jetbrains.mps.logic.reactor.program.Constraint)" resolve="isPrincipal" />
+                  <node concept="2OqwBi" id="2PLbMk5R0Uo" role="37wK5m">
+                    <node concept="2WthIp" id="2PLbMk5R0Up" role="2Oq$k0" />
+                    <node concept="2XshWL" id="2PLbMk5R0Uq" role="2OqNvi">
+                      <ref role="2WH_rO" node="2PLbMk5R0rZ" resolve="ctr" />
+                      <node concept="Xl_RD" id="2PLbMk5R0Ur" role="2XxRq1">
+                        <property role="Xl_RC" value="main" />
+                      </node>
+                      <node concept="3cmrfG" id="2PLbMk5R1j8" role="2XxRq1">
+                        <property role="3cmrfH" value="0" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1LZb2c" id="zdQkICxiHy" role="1SL9yI">
+      <property role="TrG5h" value="placeholder" />
+      <node concept="3cqZAl" id="zdQkICxiHz" role="3clF45" />
+      <node concept="3clFbS" id="zdQkICxiHB" role="3clF47">
+        <node concept="3SKdUt" id="zdQkICxiVw" role="3cqZAp">
+          <node concept="1PaTwC" id="zdQkICxiVx" role="1aUNEU">
+            <node concept="3oM_SD" id="zdQkICxiVH" role="1PaTwD">
+              <property role="3oM_SC" value="FIXME" />
+            </node>
+            <node concept="3oM_SD" id="zdQkICxiVJ" role="1PaTwD">
+              <property role="3oM_SC" value="this" />
+            </node>
+            <node concept="3oM_SD" id="zdQkICxiVM" role="1PaTwD">
+              <property role="3oM_SC" value="test" />
+            </node>
+            <node concept="3oM_SD" id="zdQkICxiVQ" role="1PaTwD">
+              <property role="3oM_SC" value="case" />
+            </node>
+            <node concept="3oM_SD" id="zdQkICxiVV" role="1PaTwD">
+              <property role="3oM_SC" value="is" />
+            </node>
+            <node concept="3oM_SD" id="zdQkICxiW1" role="1PaTwD">
+              <property role="3oM_SC" value="obsolete" />
+            </node>
+          </node>
+        </node>
+        <node concept="3vwNmj" id="zdQkICxjbC" role="3cqZAp">
+          <node concept="3clFbT" id="zdQkICxjbY" role="3vwVQn">
+            <property role="3clFbU" value="true" />
+          </node>
         </node>
       </node>
     </node>