diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps
index 7bef3c93..df9552bb 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps
@@ -681,6 +681,12 @@
           <ref role="3uigEE" node="3GlpCDSxTG7" resolve="ProgramProducer" />
         </node>
       </node>
+      <node concept="37vLTG" id="3o9wrC3sOnz" role="3clF46">
+        <property role="TrG5h" value="supervisor" />
+        <node concept="3uibUv" id="3o9wrC3sPQg" role="1tU5fm">
+          <ref role="3uigEE" to="w7la:~Supervisor" resolve="Supervisor" />
+        </node>
+      </node>
       <node concept="37vLTG" id="24Vro6cQKgF" role="3clF46">
         <property role="TrG5h" value="tracer" />
         <node concept="3uibUv" id="qubcdtxFI2" role="1tU5fm">
@@ -714,75 +720,6 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="70Wv0dJhMDq" role="3cqZAp" />
-        <node concept="3cpWs8" id="70Wv0dJjilv" role="3cqZAp">
-          <node concept="3cpWsn" id="70Wv0dJjilw" role="3cpWs9">
-            <property role="TrG5h" value="originIdxRef" />
-            <property role="3TUv4t" value="true" />
-            <node concept="3uibUv" id="70Wv0dJjilt" role="1tU5fm">
-              <ref role="3uigEE" to="18ew:~Reference" resolve="Reference" />
-              <node concept="3uibUv" id="70Wv0dJjirR" role="11_B2D">
-                <ref role="3uigEE" to="ksgm:70Wv0dJhQb2" resolve="PrincipalOriginIndex" />
-              </node>
-            </node>
-            <node concept="2ShNRf" id="70Wv0dJjisq" role="33vP2m">
-              <node concept="1pGfFk" id="70Wv0dJjiDI" role="2ShVmc">
-                <ref role="37wK5l" to="18ew:~Reference.&lt;init&gt;()" resolve="Reference" />
-                <node concept="3uibUv" id="70Wv0dJjiEM" role="1pMfVU">
-                  <ref role="3uigEE" to="ksgm:70Wv0dJhQb2" resolve="PrincipalOriginIndex" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbJ" id="70Wv0dJhNgx" role="3cqZAp">
-          <node concept="3clFbS" id="70Wv0dJhNgz" role="3clFbx">
-            <node concept="3cpWs8" id="70Wv0dJhOMA" role="3cqZAp">
-              <node concept="3cpWsn" id="70Wv0dJhOMB" role="3cpWs9">
-                <property role="TrG5h" value="pex" />
-                <node concept="3uibUv" id="4$YN6Qucd45" role="1tU5fm">
-                  <ref role="3uigEE" to="ksgm:7eGEHDlcEJ0" resolve="CodeRulesProgram" />
-                </node>
-                <node concept="1eOMI4" id="70Wv0dJhOMC" role="33vP2m">
-                  <node concept="10QFUN" id="70Wv0dJhOMD" role="1eOMHV">
-                    <node concept="3uibUv" id="4$YN6QuccZK" role="10QFUM">
-                      <ref role="3uigEE" to="ksgm:7eGEHDlcEJ0" resolve="CodeRulesProgram" />
-                    </node>
-                    <node concept="37vLTw" id="7eQMSyza76l" role="10QFUP">
-                      <ref role="3cqZAo" node="7eQMSyz9QyL" resolve="program" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbF" id="70Wv0dJhQs3" role="3cqZAp">
-              <node concept="2OqwBi" id="70Wv0dJjknx" role="3clFbG">
-                <node concept="37vLTw" id="70Wv0dJjiXZ" role="2Oq$k0">
-                  <ref role="3cqZAo" node="70Wv0dJjilw" resolve="originIdxRef" />
-                </node>
-                <node concept="liA8E" id="70Wv0dJjkzh" role="2OqNvi">
-                  <ref role="37wK5l" to="18ew:~Reference.set(java.lang.Object)" resolve="set" />
-                  <node concept="2OqwBi" id="70Wv0dJjkzH" role="37wK5m">
-                    <node concept="37vLTw" id="70Wv0dJjkzI" role="2Oq$k0">
-                      <ref role="3cqZAo" node="70Wv0dJhOMB" resolve="pex" />
-                    </node>
-                    <node concept="liA8E" id="70Wv0dJjkzJ" role="2OqNvi">
-                      <ref role="37wK5l" to="ksgm:70Wv0dJiKW2" resolve="originIndex" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="2ZW3vV" id="70Wv0dJhOKj" role="3clFbw">
-            <node concept="3uibUv" id="4$YN6QuccWT" role="2ZW6by">
-              <ref role="3uigEE" to="ksgm:7eGEHDlcEJ0" resolve="CodeRulesProgram" />
-            </node>
-            <node concept="37vLTw" id="7eQMSyz9TRM" role="2ZW6bz">
-              <ref role="3cqZAo" node="7eQMSyz9QyL" resolve="program" />
-            </node>
-          </node>
-        </node>
         <node concept="3clFbH" id="41ox5VnkhIX" role="3cqZAp" />
         <node concept="3cpWs8" id="7WKNeR9xpPO" role="3cqZAp">
           <node concept="3cpWsn" id="7WKNeR9xpPP" role="3cpWs9">
@@ -1248,602 +1185,8 @@
                   </node>
                   <node concept="liA8E" id="5mr7UHcbsE5" role="2OqNvi">
                     <ref role="37wK5l" to="w7la:~EvaluationSession$Config.start(jetbrains.mps.logic.reactor.evaluation.Supervisor)" resolve="start" />
-                    <node concept="2ShNRf" id="473$26GQW56" role="37wK5m">
-                      <node concept="YeOm9" id="473$26GQWtD" role="2ShVmc">
-                        <node concept="1Y3b0j" id="473$26GQWtG" role="YeSDq">
-                          <property role="2bfB8j" value="true" />
-                          <ref role="1Y3XeK" to="w7la:~Supervisor" resolve="Supervisor" />
-                          <ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
-                          <node concept="3Tm1VV" id="473$26GQWtH" role="1B3o_S" />
-                          <node concept="3clFb_" id="60zk4o6Suoh" role="jymVt">
-                            <property role="1EzhhJ" value="false" />
-                            <property role="TrG5h" value="instantiateArguments" />
-                            <property role="DiZV1" value="false" />
-                            <property role="od$2w" value="false" />
-                            <node concept="3Tm1VV" id="60zk4o6Suoi" role="1B3o_S" />
-                            <node concept="3uibUv" id="60zk4o6Suok" role="3clF45">
-                              <ref role="3uigEE" to="33ny:~List" resolve="List" />
-                              <node concept="3qTvmN" id="60zk4o6Suol" role="11_B2D" />
-                            </node>
-                            <node concept="37vLTG" id="60zk4o6Suom" role="3clF46">
-                              <property role="TrG5h" value="arguments" />
-                              <node concept="3uibUv" id="60zk4o6Suon" role="1tU5fm">
-                                <ref role="3uigEE" to="33ny:~List" resolve="List" />
-                                <node concept="3qTvmN" id="60zk4o6Suoo" role="11_B2D" />
-                              </node>
-                            </node>
-                            <node concept="37vLTG" id="60zk4o6Suop" role="3clF46">
-                              <property role="TrG5h" value="logicalContext" />
-                              <node concept="3uibUv" id="60zk4o6Suoq" role="1tU5fm">
-                                <ref role="3uigEE" to="bj13:~LogicalContext" resolve="LogicalContext" />
-                              </node>
-                            </node>
-                            <node concept="37vLTG" id="4jcOV4hkQup" role="3clF46">
-                              <property role="TrG5h" value="invocationContext" />
-                              <node concept="3uibUv" id="4jcOV4hkSdQ" role="1tU5fm">
-                                <ref role="3uigEE" to="w7la:~InvocationContext" resolve="InvocationContext" />
-                              </node>
-                            </node>
-                            <node concept="3clFbS" id="60zk4o6Suor" role="3clF47">
-                              <node concept="3cpWs8" id="60zk4o6SxJ0" role="3cqZAp">
-                                <node concept="3cpWsn" id="60zk4o6SxJ1" role="3cpWs9">
-                                  <property role="TrG5h" value="res" />
-                                  <node concept="3uibUv" id="60zk4o6SxJ2" role="1tU5fm">
-                                    <ref role="3uigEE" to="33ny:~ArrayList" resolve="ArrayList" />
-                                    <node concept="3uibUv" id="60zk4o6SxJ3" role="11_B2D">
-                                      <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-                                    </node>
-                                  </node>
-                                  <node concept="2ShNRf" id="60zk4o6SxJ4" role="33vP2m">
-                                    <node concept="1pGfFk" id="60zk4o6SxJ5" role="2ShVmc">
-                                      <ref role="37wK5l" to="33ny:~ArrayList.&lt;init&gt;(int)" resolve="ArrayList" />
-                                      <node concept="2OqwBi" id="60zk4o6SxJ6" role="37wK5m">
-                                        <node concept="37vLTw" id="60zk4o6Szda" role="2Oq$k0">
-                                          <ref role="3cqZAo" node="60zk4o6Suom" resolve="arguments" />
-                                        </node>
-                                        <node concept="liA8E" id="60zk4o6SxJa" role="2OqNvi">
-                                          <ref role="37wK5l" to="33ny:~List.size()" resolve="size" />
-                                        </node>
-                                      </node>
-                                      <node concept="3uibUv" id="60zk4o6SxJb" role="1pMfVU">
-                                        <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                              <node concept="1DcWWT" id="60zk4o6SxJc" role="3cqZAp">
-                                <node concept="3clFbS" id="60zk4o6SxJd" role="2LFqv$">
-                                  <node concept="3clFbJ" id="60zk4o6SxJe" role="3cqZAp">
-                                    <node concept="3eNFk2" id="60zk4o6SxJf" role="3eNLev">
-                                      <node concept="2ZW3vV" id="60zk4o6SxJg" role="3eO9$A">
-                                        <node concept="3uibUv" id="60zk4o6SxJh" role="2ZW6by">
-                                          <ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
-                                        </node>
-                                        <node concept="37vLTw" id="60zk4o6SxJi" role="2ZW6bz">
-                                          <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
-                                        </node>
-                                      </node>
-                                      <node concept="3clFbS" id="60zk4o6SxJj" role="3eOfB_">
-                                        <node concept="3clFbF" id="60zk4o6SxJk" role="3cqZAp">
-                                          <node concept="2OqwBi" id="60zk4o6SxJl" role="3clFbG">
-                                            <node concept="37vLTw" id="60zk4o6SxJm" role="2Oq$k0">
-                                              <ref role="3cqZAo" node="60zk4o6SxJ1" resolve="res" />
-                                            </node>
-                                            <node concept="liA8E" id="60zk4o6SxJn" role="2OqNvi">
-                                              <ref role="37wK5l" to="33ny:~ArrayList.add(java.lang.Object)" resolve="add" />
-                                              <node concept="2OqwBi" id="60zk4o6SxJo" role="37wK5m">
-                                                <node concept="37vLTw" id="60zk4o6SxJp" role="2Oq$k0">
-                                                  <ref role="3cqZAo" node="60zk4o6Suop" resolve="logicalContext" />
-                                                </node>
-                                                <node concept="liA8E" id="60zk4o6SxJq" role="2OqNvi">
-                                                  <ref role="37wK5l" to="bj13:~LogicalContext.variable(jetbrains.mps.logic.reactor.logical.MetaLogical)" resolve="variable" />
-                                                  <node concept="10QFUN" id="60zk4o6SxJr" role="37wK5m">
-                                                    <node concept="37vLTw" id="60zk4o6SxJs" role="10QFUP">
-                                                      <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
-                                                    </node>
-                                                    <node concept="3uibUv" id="60zk4o6SxJt" role="10QFUM">
-                                                      <ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
-                                                      <node concept="3uibUv" id="60zk4o6SxJu" role="11_B2D">
-                                                        <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
-                                                      </node>
-                                                    </node>
-                                                  </node>
-                                                </node>
-                                              </node>
-                                            </node>
-                                          </node>
-                                        </node>
-                                        <node concept="3clFbH" id="60zk4o6SxJv" role="3cqZAp" />
-                                      </node>
-                                    </node>
-                                    <node concept="3eNFk2" id="5WBVN_M1CZI" role="3eNLev">
-                                      <node concept="2ZW3vV" id="5WBVN_M1Djq" role="3eO9$A">
-                                        <node concept="3uibUv" id="5WBVN_M1Dpb" role="2ZW6by">
-                                          <ref role="3uigEE" to="i348:5WBVN_M1BKE" resolve="LateExpression" />
-                                        </node>
-                                        <node concept="37vLTw" id="5WBVN_M1DbI" role="2ZW6bz">
-                                          <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
-                                        </node>
-                                      </node>
-                                      <node concept="3clFbS" id="5WBVN_M1CZK" role="3eOfB_">
-                                        <node concept="3cpWs8" id="5WBVN_M1J07" role="3cqZAp">
-                                          <node concept="3cpWsn" id="5WBVN_M1J08" role="3cpWs9">
-                                            <property role="TrG5h" value="exp" />
-                                            <node concept="3uibUv" id="5WBVN_M1J02" role="1tU5fm">
-                                              <ref role="3uigEE" to="i348:5WBVN_M1BKE" resolve="LateExpression" />
-                                              <node concept="3qTvmN" id="5WBVN_M1J05" role="11_B2D" />
-                                            </node>
-                                            <node concept="1eOMI4" id="5WBVN_M1J09" role="33vP2m">
-                                              <node concept="10QFUN" id="5WBVN_M1J0a" role="1eOMHV">
-                                                <node concept="3uibUv" id="5WBVN_M1J0b" role="10QFUM">
-                                                  <ref role="3uigEE" to="i348:5WBVN_M1BKE" resolve="LateExpression" />
-                                                  <node concept="3qTvmN" id="5WBVN_M1J0c" role="11_B2D" />
-                                                </node>
-                                                <node concept="37vLTw" id="5WBVN_M1J0d" role="10QFUP">
-                                                  <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
-                                                </node>
-                                              </node>
-                                            </node>
-                                          </node>
-                                        </node>
-                                        <node concept="3cpWs8" id="5WBVN_M1GEt" role="3cqZAp">
-                                          <node concept="3cpWsn" id="5WBVN_M1GEu" role="3cpWs9">
-                                            <property role="TrG5h" value="expArgs" />
-                                            <node concept="3uibUv" id="5WBVN_M1GEk" role="1tU5fm">
-                                              <ref role="3uigEE" to="33ny:~List" resolve="List" />
-                                              <node concept="3qTvmN" id="5WBVN_M1GEn" role="11_B2D" />
-                                            </node>
-                                            <node concept="1rXfSq" id="5WBVN_M1GEv" role="33vP2m">
-                                              <ref role="37wK5l" node="60zk4o6Suoh" resolve="instantiateArguments" />
-                                              <node concept="2YIFZM" id="5WBVN_MlGya" role="37wK5m">
-                                                <ref role="1Pybhc" to="33ny:~Arrays" resolve="Arrays" />
-                                                <ref role="37wK5l" to="33ny:~Arrays.asList(java.lang.Object...)" resolve="asList" />
-                                                <node concept="2OqwBi" id="5WBVN_M1GEw" role="37wK5m">
-                                                  <node concept="37vLTw" id="5WBVN_M1J0e" role="2Oq$k0">
-                                                    <ref role="3cqZAo" node="5WBVN_M1J08" resolve="exp" />
-                                                  </node>
-                                                  <node concept="liA8E" id="5WBVN_M1GEA" role="2OqNvi">
-                                                    <ref role="37wK5l" to="i348:5WBVN_M1BSf" resolve="metaArgs" />
-                                                  </node>
-                                                </node>
-                                              </node>
-                                              <node concept="37vLTw" id="5WBVN_M1GEB" role="37wK5m">
-                                                <ref role="3cqZAo" node="60zk4o6Suop" resolve="logicalContext" />
-                                              </node>
-                                              <node concept="37vLTw" id="4jcOV4hkYUG" role="37wK5m">
-                                                <ref role="3cqZAo" node="4jcOV4hkQup" resolve="invocationContext" />
-                                              </node>
-                                            </node>
-                                          </node>
-                                        </node>
-                                        <node concept="3SKdUt" id="5WBVN_M1MSf" role="3cqZAp">
-                                          <node concept="1PaTwC" id="589APehYxNB" role="3ndbpf">
-                                            <node concept="3oM_SD" id="589APehYxNC" role="1PaTwD">
-                                              <property role="3oM_SC" value="TODO:" />
-                                            </node>
-                                            <node concept="3oM_SD" id="589APehYxND" role="1PaTwD">
-                                              <property role="3oM_SC" value="user" />
-                                            </node>
-                                            <node concept="3oM_SD" id="589APehYxNE" role="1PaTwD">
-                                              <property role="3oM_SC" value="code" />
-                                            </node>
-                                          </node>
-                                        </node>
-                                        <node concept="3clFbF" id="5WBVN_M1Hyh" role="3cqZAp">
-                                          <node concept="2OqwBi" id="5WBVN_M1HRh" role="3clFbG">
-                                            <node concept="37vLTw" id="5WBVN_M1Hyf" role="2Oq$k0">
-                                              <ref role="3cqZAo" node="60zk4o6SxJ1" resolve="res" />
-                                            </node>
-                                            <node concept="liA8E" id="5WBVN_M1IHI" role="2OqNvi">
-                                              <ref role="37wK5l" to="33ny:~ArrayList.add(java.lang.Object)" resolve="add" />
-                                              <node concept="2OqwBi" id="5WBVN_M1JzG" role="37wK5m">
-                                                <node concept="37vLTw" id="5WBVN_M1JhL" role="2Oq$k0">
-                                                  <ref role="3cqZAo" node="5WBVN_M1J08" resolve="exp" />
-                                                </node>
-                                                <node concept="liA8E" id="5WBVN_M1JVL" role="2OqNvi">
-                                                  <ref role="37wK5l" to="i348:5WBVN_M1BLN" resolve="eval" />
-                                                  <node concept="37vLTw" id="6yUEjXvTvSG" role="37wK5m">
-                                                    <ref role="3cqZAo" node="60zk4o6Suop" resolve="logicalContext" />
-                                                  </node>
-                                                  <node concept="37vLTw" id="4jcOV4hlseO" role="37wK5m">
-                                                    <ref role="3cqZAo" node="4jcOV4hkQup" resolve="invocationContext" />
-                                                  </node>
-                                                  <node concept="2OqwBi" id="5WBVN_M1KyJ" role="37wK5m">
-                                                    <node concept="37vLTw" id="5WBVN_M1K7z" role="2Oq$k0">
-                                                      <ref role="3cqZAo" node="5WBVN_M1GEu" resolve="expArgs" />
-                                                    </node>
-                                                    <node concept="liA8E" id="5WBVN_M1L1T" role="2OqNvi">
-                                                      <ref role="37wK5l" to="33ny:~List.toArray()" resolve="toArray" />
-                                                    </node>
-                                                  </node>
-                                                </node>
-                                              </node>
-                                            </node>
-                                          </node>
-                                        </node>
-                                        <node concept="3clFbH" id="5WBVN_M1Hs2" role="3cqZAp" />
-                                      </node>
-                                    </node>
-                                    <node concept="3clFbS" id="60zk4o6SxJw" role="3clFbx">
-                                      <node concept="3clFbF" id="60zk4o6SxJx" role="3cqZAp">
-                                        <node concept="2OqwBi" id="60zk4o6SxJy" role="3clFbG">
-                                          <node concept="37vLTw" id="60zk4o6SxJz" role="2Oq$k0">
-                                            <ref role="3cqZAo" node="60zk4o6SxJ1" resolve="res" />
-                                          </node>
-                                          <node concept="liA8E" id="60zk4o6SxJ$" role="2OqNvi">
-                                            <ref role="37wK5l" to="33ny:~ArrayList.add(java.lang.Object)" resolve="add" />
-                                            <node concept="2YIFZM" id="3gNap3fNlJv" role="37wK5m">
-                                              <ref role="1Pybhc" to="oy3s:677NV565N1x" resolve="LogicalUtil" />
-                                              <ref role="37wK5l" to="oy3s:4TCblo5NqWF" resolve="instantiateMetaLogicals" />
-                                              <node concept="10QFUN" id="60zk4o6SxJA" role="37wK5m">
-                                                <node concept="3uibUv" id="60zk4o6SxJB" role="10QFUM">
-                                                  <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
-                                                </node>
-                                                <node concept="37vLTw" id="60zk4o6SxJC" role="10QFUP">
-                                                  <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
-                                                </node>
-                                              </node>
-                                              <node concept="37vLTw" id="60zk4o6SxJD" role="37wK5m">
-                                                <ref role="3cqZAo" node="60zk4o6Suop" resolve="logicalContext" />
-                                              </node>
-                                            </node>
-                                          </node>
-                                        </node>
-                                      </node>
-                                      <node concept="3clFbH" id="60zk4o6SxJE" role="3cqZAp" />
-                                    </node>
-                                    <node concept="2ZW3vV" id="60zk4o6SxJF" role="3clFbw">
-                                      <node concept="3uibUv" id="60zk4o6SxJG" role="2ZW6by">
-                                        <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
-                                      </node>
-                                      <node concept="37vLTw" id="60zk4o6SxJH" role="2ZW6bz">
-                                        <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
-                                      </node>
-                                    </node>
-                                    <node concept="9aQIb" id="60zk4o6SxJI" role="9aQIa">
-                                      <node concept="3clFbS" id="60zk4o6SxJJ" role="9aQI4">
-                                        <node concept="3clFbF" id="60zk4o6SxJK" role="3cqZAp">
-                                          <node concept="2OqwBi" id="60zk4o6SxJL" role="3clFbG">
-                                            <node concept="37vLTw" id="60zk4o6SxJM" role="2Oq$k0">
-                                              <ref role="3cqZAo" node="60zk4o6SxJ1" resolve="res" />
-                                            </node>
-                                            <node concept="liA8E" id="60zk4o6SxJN" role="2OqNvi">
-                                              <ref role="37wK5l" to="33ny:~ArrayList.add(java.lang.Object)" resolve="add" />
-                                              <node concept="37vLTw" id="60zk4o6SxJO" role="37wK5m">
-                                                <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
-                                              </node>
-                                            </node>
-                                          </node>
-                                        </node>
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                                <node concept="3cpWsn" id="60zk4o6SxJP" role="1Duv9x">
-                                  <property role="TrG5h" value="a" />
-                                  <node concept="3uibUv" id="60zk4o6SxJQ" role="1tU5fm">
-                                    <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-                                  </node>
-                                </node>
-                                <node concept="37vLTw" id="60zk4o6SI6n" role="1DdaDG">
-                                  <ref role="3cqZAo" node="60zk4o6Suom" resolve="arguments" />
-                                </node>
-                              </node>
-                              <node concept="3clFbF" id="60zk4o6SxJU" role="3cqZAp">
-                                <node concept="37vLTw" id="60zk4o6SxJV" role="3clFbG">
-                                  <ref role="3cqZAo" node="60zk4o6SxJ1" resolve="res" />
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="2AHcQZ" id="60zk4o6Suos" role="2AJF6D">
-                              <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
-                            </node>
-                          </node>
-                          <node concept="2tJIrI" id="473$26GTMiL" role="jymVt" />
-                          <node concept="3clFb_" id="4jcOV4hNvgm" role="jymVt">
-                            <property role="TrG5h" value="handleFeedback" />
-                            <node concept="3Tm1VV" id="4jcOV4hNvgn" role="1B3o_S" />
-                            <node concept="10P_77" id="4jcOV4hNvgp" role="3clF45" />
-                            <node concept="37vLTG" id="4jcOV4hNvgq" role="3clF46">
-                              <property role="TrG5h" value="rule" />
-                              <node concept="3uibUv" id="4jcOV4hNvgr" role="1tU5fm">
-                                <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
-                              </node>
-                            </node>
-                            <node concept="37vLTG" id="4jcOV4hNvgs" role="3clF46">
-                              <property role="TrG5h" value="feedback" />
-                              <node concept="3uibUv" id="4jcOV4hNvgt" role="1tU5fm">
-                                <ref role="3uigEE" to="w7la:~EvaluationFeedback" resolve="EvaluationFeedback" />
-                              </node>
-                            </node>
-                            <node concept="3clFbS" id="4jcOV4hNvgu" role="3clF47">
-                              <node concept="3clFbH" id="4jcOV4hNws0" role="3cqZAp" />
-                              <node concept="3clFbJ" id="4jcOV4hNvEG" role="3cqZAp">
-                                <node concept="3clFbS" id="4jcOV4hNvEH" role="3clFbx">
-                                  <node concept="3cpWs8" id="4jcOV4hNvEI" role="3cqZAp">
-                                    <node concept="3cpWsn" id="4jcOV4hNvEJ" role="3cpWs9">
-                                      <property role="TrG5h" value="principal" />
-                                      <node concept="10P_77" id="4jcOV4hNvEK" role="1tU5fm" />
-                                      <node concept="2OqwBi" id="4jcOV4hNvEL" role="33vP2m">
-                                        <node concept="2OqwBi" id="4jcOV4hNvEM" role="2Oq$k0">
-                                          <node concept="37vLTw" id="4jcOV4hNvEN" role="2Oq$k0">
-                                            <ref role="3cqZAo" node="70Wv0dJjilw" resolve="originIdxRef" />
-                                          </node>
-                                          <node concept="liA8E" id="4jcOV4hNvEO" role="2OqNvi">
-                                            <ref role="37wK5l" to="18ew:~Reference.get()" resolve="get" />
-                                          </node>
-                                        </node>
-                                        <node concept="liA8E" id="4jcOV4hNvEP" role="2OqNvi">
-                                          <ref role="37wK5l" to="ksgm:70Wv0dJhQbd" resolve="isPrincipal" />
-                                          <node concept="2OqwBi" id="4jcOV4hNvEQ" role="37wK5m">
-                                            <node concept="1eOMI4" id="4jcOV4hNvER" role="2Oq$k0">
-                                              <node concept="10QFUN" id="4jcOV4hNvES" role="1eOMHV">
-                                                <node concept="3uibUv" id="4jcOV4hNvET" role="10QFUM">
-                                                  <ref role="3uigEE" to="i348:7nPD14OaO1O" resolve="RuleEx" />
-                                                </node>
-                                                <node concept="37vLTw" id="4jcOV4hNvEU" role="10QFUP">
-                                                  <ref role="3cqZAo" node="4jcOV4hNvgq" resolve="rule" />
-                                                </node>
-                                              </node>
-                                            </node>
-                                            <node concept="liA8E" id="4jcOV4hNvEV" role="2OqNvi">
-                                              <ref role="37wK5l" to="i348:7nPD14Ob4em" resolve="originRef" />
-                                            </node>
-                                          </node>
-                                        </node>
-                                      </node>
-                                    </node>
-                                  </node>
-                                  <node concept="3cpWs8" id="4jcOV4hNvEW" role="3cqZAp">
-                                    <node concept="3cpWsn" id="4jcOV4hNvEX" role="3cpWs9">
-                                      <property role="TrG5h" value="head" />
-                                      <node concept="_YKpA" id="4jcOV4hNvEY" role="1tU5fm">
-                                        <node concept="3uibUv" id="4jcOV4hNvEZ" role="_ZDj9">
-                                          <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
-                                        </node>
-                                      </node>
-                                      <node concept="2OqwBi" id="4jcOV4hNvF0" role="33vP2m">
-                                        <node concept="2OqwBi" id="4jcOV4hNvF1" role="2Oq$k0">
-                                          <node concept="1eOMI4" id="4jcOV4hNvF2" role="2Oq$k0">
-                                            <node concept="10QFUN" id="4jcOV4hNvF3" role="1eOMHV">
-                                              <node concept="A3Dl8" id="4jcOV4hNvF4" role="10QFUM">
-                                                <node concept="3uibUv" id="4jcOV4hNvF5" role="A3Ik2">
-                                                  <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
-                                                </node>
-                                              </node>
-                                              <node concept="2OqwBi" id="4jcOV4hNvF6" role="10QFUP">
-                                                <node concept="37vLTw" id="4jcOV4hNvF7" role="2Oq$k0">
-                                                  <ref role="3cqZAo" node="4jcOV4hNvgq" resolve="rule" />
-                                                </node>
-                                                <node concept="liA8E" id="4jcOV4hNvF8" role="2OqNvi">
-                                                  <ref role="37wK5l" to="av0y:~Rule.headKept()" resolve="headKept" />
-                                                </node>
-                                              </node>
-                                            </node>
-                                          </node>
-                                          <node concept="3QWeyG" id="4jcOV4hNvF9" role="2OqNvi">
-                                            <node concept="10QFUN" id="4jcOV4hNvFa" role="576Qk">
-                                              <node concept="A3Dl8" id="4jcOV4hNvFb" role="10QFUM">
-                                                <node concept="3uibUv" id="4jcOV4hNvFc" role="A3Ik2">
-                                                  <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
-                                                </node>
-                                              </node>
-                                              <node concept="2OqwBi" id="4jcOV4hNvFd" role="10QFUP">
-                                                <node concept="37vLTw" id="4jcOV4hNvFe" role="2Oq$k0">
-                                                  <ref role="3cqZAo" node="4jcOV4hNvgq" resolve="rule" />
-                                                </node>
-                                                <node concept="liA8E" id="4jcOV4hNvFf" role="2OqNvi">
-                                                  <ref role="37wK5l" to="av0y:~Rule.headReplaced()" resolve="headReplaced" />
-                                                </node>
-                                              </node>
-                                            </node>
-                                          </node>
-                                        </node>
-                                        <node concept="ANE8D" id="4jcOV4hNvFg" role="2OqNvi" />
-                                      </node>
-                                    </node>
-                                  </node>
-                                  <node concept="3cpWs8" id="4jcOV4hNvFh" role="3cqZAp">
-                                    <node concept="3cpWsn" id="4jcOV4hNvFi" role="3cpWs9">
-                                      <property role="TrG5h" value="onStart" />
-                                      <node concept="10P_77" id="4jcOV4hNvFj" role="1tU5fm" />
-                                      <node concept="1Wc70l" id="4jcOV4hNvFk" role="33vP2m">
-                                        <node concept="2OqwBi" id="4jcOV4hNvFl" role="3uHU7w">
-                                          <node concept="2OqwBi" id="4jcOV4hNvFm" role="2Oq$k0">
-                                            <node concept="1y4W85" id="4jcOV4hNvFn" role="2Oq$k0">
-                                              <node concept="3cmrfG" id="4jcOV4hNvFo" role="1y58nS">
-                                                <property role="3cmrfH" value="0" />
-                                              </node>
-                                              <node concept="37vLTw" id="4jcOV4hNvFp" role="1y566C">
-                                                <ref role="3cqZAo" node="4jcOV4hNvEX" resolve="head" />
-                                              </node>
-                                            </node>
-                                            <node concept="liA8E" id="4jcOV4hNvFq" role="2OqNvi">
-                                              <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
-                                            </node>
-                                          </node>
-                                          <node concept="liA8E" id="4jcOV4hNvFr" role="2OqNvi">
-                                            <ref role="37wK5l" to="av0y:~Symbol.equals(java.lang.Object)" resolve="equals" />
-                                            <node concept="37vLTw" id="4jcOV4hNvFs" role="37wK5m">
-                                              <ref role="3cqZAo" node="73aHuggfcRr" resolve="mainSymbol" />
-                                            </node>
-                                          </node>
-                                        </node>
-                                        <node concept="3clFbC" id="4jcOV4hNvFt" role="3uHU7B">
-                                          <node concept="2OqwBi" id="4jcOV4hNvFu" role="3uHU7B">
-                                            <node concept="37vLTw" id="4jcOV4hNvFv" role="2Oq$k0">
-                                              <ref role="3cqZAo" node="4jcOV4hNvEX" resolve="head" />
-                                            </node>
-                                            <node concept="34oBXx" id="4jcOV4hNvFw" role="2OqNvi" />
-                                          </node>
-                                          <node concept="3cmrfG" id="4jcOV4hNvFx" role="3uHU7w">
-                                            <property role="3cmrfH" value="1" />
-                                          </node>
-                                        </node>
-                                      </node>
-                                    </node>
-                                  </node>
-                                  <node concept="3clFbH" id="4jcOV4hNvFy" role="3cqZAp" />
-                                  <node concept="3clFbJ" id="4jcOV4hNvFz" role="3cqZAp">
-                                    <node concept="3clFbS" id="4jcOV4hNvF$" role="3clFbx">
-                                      <node concept="3SKdUt" id="4jcOV4hNvF_" role="3cqZAp">
-                                        <node concept="1PaTwC" id="589APehYxNF" role="3ndbpf">
-                                          <node concept="3oM_SD" id="589APehYxNG" role="1PaTwD">
-                                            <property role="3oM_SC" value="stop" />
-                                          </node>
-                                          <node concept="3oM_SD" id="589APehYxNH" role="1PaTwD">
-                                            <property role="3oM_SC" value="the" />
-                                          </node>
-                                          <node concept="3oM_SD" id="589APehYxNI" role="1PaTwD">
-                                            <property role="3oM_SC" value="error" />
-                                          </node>
-                                          <node concept="3oM_SD" id="589APehYxNJ" role="1PaTwD">
-                                            <property role="3oM_SC" value="from" />
-                                          </node>
-                                          <node concept="3oM_SD" id="589APehYxNK" role="1PaTwD">
-                                            <property role="3oM_SC" value="being" />
-                                          </node>
-                                          <node concept="3oM_SD" id="589APehYxNL" role="1PaTwD">
-                                            <property role="3oM_SC" value="propagated," />
-                                          </node>
-                                          <node concept="3oM_SD" id="589APehYxNM" role="1PaTwD">
-                                            <property role="3oM_SC" value="enable" />
-                                          </node>
-                                          <node concept="3oM_SD" id="589APehYxNN" role="1PaTwD">
-                                            <property role="3oM_SC" value="recover" />
-                                          </node>
-                                        </node>
-                                      </node>
-                                      <node concept="3clFbF" id="4jcOV4hNvFB" role="3cqZAp">
-                                        <node concept="2OqwBi" id="4jcOV4hNvFC" role="3clFbG">
-                                          <node concept="liA8E" id="4jcOV4hNvFH" role="2OqNvi">
-                                            <ref role="37wK5l" to="9x2e:oI9Ys2ypk" resolve="report" />
-                                            <node concept="1rXfSq" id="4jcOV4hNTUb" role="37wK5m">
-                                              <ref role="37wK5l" node="4jcOV4hNHoE" resolve="severityToStatus" />
-                                              <node concept="2OqwBi" id="4jcOV4hNV3t" role="37wK5m">
-                                                <node concept="37vLTw" id="4jcOV4hNUv5" role="2Oq$k0">
-                                                  <ref role="3cqZAo" node="4jcOV4hNvgs" resolve="feedback" />
-                                                </node>
-                                                <node concept="liA8E" id="4jcOV4hNVBn" role="2OqNvi">
-                                                  <ref role="37wK5l" to="w7la:~EvaluationFeedback.getSeverity()" resolve="getSeverity" />
-                                                </node>
-                                              </node>
-                                            </node>
-                                            <node concept="2OqwBi" id="4jcOV4hNvFJ" role="37wK5m">
-                                              <node concept="1eOMI4" id="4jcOV4hNvFK" role="2Oq$k0">
-                                                <node concept="10QFUN" id="4jcOV4hNvFL" role="1eOMHV">
-                                                  <node concept="3uibUv" id="4jcOV4hNvFM" role="10QFUM">
-                                                    <ref role="3uigEE" to="i348:7nPD14OaO1O" resolve="RuleEx" />
-                                                  </node>
-                                                  <node concept="37vLTw" id="4jcOV4hNvFN" role="10QFUP">
-                                                    <ref role="3cqZAo" node="4jcOV4hNvgq" resolve="rule" />
-                                                  </node>
-                                                </node>
-                                              </node>
-                                              <node concept="liA8E" id="4jcOV4hNvFO" role="2OqNvi">
-                                                <ref role="37wK5l" to="i348:7nPD14Ob4em" resolve="originRef" />
-                                              </node>
-                                            </node>
-                                            <node concept="2OqwBi" id="4jcOV4hNvFP" role="37wK5m">
-                                              <node concept="37vLTw" id="4jcOV4hNGq$" role="2Oq$k0">
-                                                <ref role="3cqZAo" node="4jcOV4hNvgs" resolve="feedback" />
-                                              </node>
-                                              <node concept="liA8E" id="4jcOV4hNvFR" role="2OqNvi">
-                                                <ref role="37wK5l" to="w7la:~EvaluationFeedback.getMessage()" resolve="getMessage" />
-                                              </node>
-                                            </node>
-                                          </node>
-                                          <node concept="2OqwBi" id="oI9YrWf2v" role="2Oq$k0">
-                                            <node concept="2YIFZM" id="oI9YrWf2w" role="2Oq$k0">
-                                              <ref role="37wK5l" to="w7la:~EvaluationSession.current()" resolve="current" />
-                                              <ref role="1Pybhc" to="w7la:~EvaluationSession" resolve="EvaluationSession" />
-                                            </node>
-                                            <node concept="liA8E" id="3GEs5q_4fTI" role="2OqNvi">
-                                              <ref role="37wK5l" to="w7la:~EvaluationSession.parameter(jetbrains.mps.logic.reactor.evaluation.EvaluationSession$ParameterKey)" resolve="parameter" />
-                                              <node concept="2YIFZM" id="3GEs5q_4fTJ" role="37wK5m">
-                                                <ref role="1Pybhc" to="w7la:~EvaluationSession$ParameterKey" resolve="EvaluationSession.ParameterKey" />
-                                                <ref role="37wK5l" to="w7la:~EvaluationSession$ParameterKey.of(java.lang.String,java.lang.Class)" resolve="of" />
-                                                <node concept="Xl_RD" id="3GEs5q_4fTK" role="37wK5m">
-                                                  <property role="Xl_RC" value="reporting" />
-                                                </node>
-                                                <node concept="3VsKOn" id="3GEs5q_4fTL" role="37wK5m">
-                                                  <ref role="3VsUkX" to="9x2e:oI9YrIZeS" resolve="Reporting" />
-                                                </node>
-                                              </node>
-                                            </node>
-                                          </node>
-                                        </node>
-                                      </node>
-                                      <node concept="3clFbH" id="4jcOV4hN_30" role="3cqZAp" />
-                                      <node concept="3cpWs6" id="4jcOV4hNvFS" role="3cqZAp">
-                                        <node concept="3clFbT" id="4jcOV4hND48" role="3cqZAk">
-                                          <property role="3clFbU" value="true" />
-                                        </node>
-                                      </node>
-                                    </node>
-                                    <node concept="22lmx$" id="4jcOV4hNvFV" role="3clFbw">
-                                      <node concept="37vLTw" id="4jcOV4hNvFW" role="3uHU7w">
-                                        <ref role="3cqZAo" node="4jcOV4hNvFi" resolve="onStart" />
-                                      </node>
-                                      <node concept="37vLTw" id="4jcOV4hNvFX" role="3uHU7B">
-                                        <ref role="3cqZAo" node="4jcOV4hNvEJ" resolve="principal" />
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                                <node concept="1Wc70l" id="4jcOV4hNvFY" role="3clFbw">
-                                  <node concept="1Wc70l" id="4jcOV4hNvFZ" role="3uHU7B">
-                                    <node concept="2ZW3vV" id="4jcOV4hNvG0" role="3uHU7w">
-                                      <node concept="3uibUv" id="4jcOV4hNvG1" role="2ZW6by">
-                                        <ref role="3uigEE" to="i348:7nPD14OaO1O" resolve="RuleEx" />
-                                      </node>
-                                      <node concept="37vLTw" id="4jcOV4hNvG2" role="2ZW6bz">
-                                        <ref role="3cqZAo" node="4jcOV4hNvgq" resolve="rule" />
-                                      </node>
-                                    </node>
-                                    <node concept="3y3z36" id="4jcOV4hNvG3" role="3uHU7B">
-                                      <node concept="10Nm6u" id="4jcOV4hNvG4" role="3uHU7w" />
-                                      <node concept="2OqwBi" id="4jcOV4hNvG5" role="3uHU7B">
-                                        <node concept="37vLTw" id="4jcOV4hNvG6" role="2Oq$k0">
-                                          <ref role="3cqZAo" node="70Wv0dJjilw" resolve="originIdxRef" />
-                                        </node>
-                                        <node concept="liA8E" id="4jcOV4hNvG7" role="2OqNvi">
-                                          <ref role="37wK5l" to="18ew:~Reference.get()" resolve="get" />
-                                        </node>
-                                      </node>
-                                    </node>
-                                  </node>
-                                  <node concept="3y3z36" id="4jcOV4hNvG8" role="3uHU7w">
-                                    <node concept="10Nm6u" id="4jcOV4hNvG9" role="3uHU7w" />
-                                    <node concept="2OqwBi" id="4jcOV4hNvGa" role="3uHU7B">
-                                      <node concept="1eOMI4" id="4jcOV4hNvGb" role="2Oq$k0">
-                                        <node concept="10QFUN" id="4jcOV4hNvGc" role="1eOMHV">
-                                          <node concept="3uibUv" id="4jcOV4hNvGd" role="10QFUM">
-                                            <ref role="3uigEE" to="i348:7nPD14OaO1O" resolve="RuleEx" />
-                                          </node>
-                                          <node concept="37vLTw" id="4jcOV4hNvGe" role="10QFUP">
-                                            <ref role="3cqZAo" node="4jcOV4hNvgq" resolve="rule" />
-                                          </node>
-                                        </node>
-                                      </node>
-                                      <node concept="liA8E" id="4jcOV4hNvGf" role="2OqNvi">
-                                        <ref role="37wK5l" to="i348:7nPD14Ob4em" resolve="originRef" />
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                              <node concept="3clFbH" id="4jcOV4hNDC1" role="3cqZAp" />
-                              <node concept="3cpWs6" id="4jcOV4hNzSP" role="3cqZAp">
-                                <node concept="3clFbT" id="4jcOV4hNzT_" role="3cqZAk" />
-                              </node>
-                              <node concept="3clFbH" id="4jcOV4hNEN1" role="3cqZAp" />
-                            </node>
-                          </node>
-                          <node concept="2tJIrI" id="473$26GTMI5" role="jymVt" />
-                        </node>
-                      </node>
+                    <node concept="37vLTw" id="3o9wrC3sW4Z" role="37wK5m">
+                      <ref role="3cqZAo" node="3o9wrC3sOnz" resolve="supervisor" />
                     </node>
                   </node>
                 </node>
@@ -2314,114 +1657,6 @@
         <ref role="3uigEE" to="zx3l:~RulesDiff" resolve="RulesDiff" />
       </node>
     </node>
-    <node concept="2tJIrI" id="3GlpCDSEXkp" role="jymVt" />
-    <node concept="3clFb_" id="4jcOV4hNHoE" role="jymVt">
-      <property role="TrG5h" value="severityToStatus" />
-      <node concept="37vLTG" id="4jcOV4hNJED" role="3clF46">
-        <property role="TrG5h" value="severity" />
-        <node concept="3uibUv" id="4jcOV4hNK36" role="1tU5fm">
-          <ref role="3uigEE" to="w7la:~EvaluationFeedback$Severity" resolve="EvaluationFeedback.Severity" />
-        </node>
-      </node>
-      <node concept="3uibUv" id="4jcOV4hNKRb" role="3clF45">
-        <ref role="3uigEE" to="2gg1:~MessageStatus" resolve="MessageStatus" />
-      </node>
-      <node concept="3Tm1VV" id="4jcOV4hNHoH" role="1B3o_S" />
-      <node concept="3clFbS" id="4jcOV4hNHoI" role="3clF47">
-        <node concept="3KaCP$" id="4jcOV4hNLf_" role="3cqZAp">
-          <node concept="3KbdKl" id="4jcOV4hNLiB" role="3KbHQx">
-            <node concept="Rm8GO" id="4jcOV4hNLvI" role="3Kbmr1">
-              <ref role="Rm8GQ" to="w7la:~EvaluationFeedback$Severity.DEBUG" resolve="DEBUG" />
-              <ref role="1Px2BO" to="w7la:~EvaluationFeedback$Severity" resolve="EvaluationFeedback.Severity" />
-            </node>
-            <node concept="3clFbS" id="4jcOV4hNLiD" role="3Kbo56">
-              <node concept="3SKdUt" id="4jcOV4hNNXe" role="3cqZAp">
-                <node concept="1PaTwC" id="589APehYxNU" role="3ndbpf">
-                  <node concept="3oM_SD" id="589APehYxNV" role="1PaTwD">
-                    <property role="3oM_SC" value="fall" />
-                  </node>
-                  <node concept="3oM_SD" id="589APehYxNW" role="1PaTwD">
-                    <property role="3oM_SC" value="through" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3KbdKl" id="4jcOV4hNMM$" role="3KbHQx">
-            <node concept="Rm8GO" id="4jcOV4hNNcq" role="3Kbmr1">
-              <ref role="Rm8GQ" to="w7la:~EvaluationFeedback$Severity.INFO" resolve="INFO" />
-              <ref role="1Px2BO" to="w7la:~EvaluationFeedback$Severity" resolve="EvaluationFeedback.Severity" />
-            </node>
-            <node concept="3clFbS" id="4jcOV4hNMMA" role="3Kbo56">
-              <node concept="3cpWs6" id="4jcOV4hNMMB" role="3cqZAp">
-                <node concept="Rm8GO" id="4jcOV4hNMMC" role="3cqZAk">
-                  <ref role="Rm8GQ" to="2gg1:~MessageStatus.OK" resolve="OK" />
-                  <ref role="1Px2BO" to="2gg1:~MessageStatus" resolve="MessageStatus" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3KbdKl" id="4jcOV4hNLyA" role="3KbHQx">
-            <node concept="Rm8GO" id="4jcOV4hNOlF" role="3Kbmr1">
-              <ref role="Rm8GQ" to="w7la:~EvaluationFeedback$Severity.WARN" resolve="WARN" />
-              <ref role="1Px2BO" to="w7la:~EvaluationFeedback$Severity" resolve="EvaluationFeedback.Severity" />
-            </node>
-            <node concept="3clFbS" id="4jcOV4hNLyC" role="3Kbo56">
-              <node concept="3cpWs6" id="4jcOV4hNOoR" role="3cqZAp">
-                <node concept="Rm8GO" id="4jcOV4hNPaf" role="3cqZAk">
-                  <ref role="Rm8GQ" to="2gg1:~MessageStatus.WARNING" resolve="WARNING" />
-                  <ref role="1Px2BO" to="2gg1:~MessageStatus" resolve="MessageStatus" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3KbdKl" id="4jcOV4hNPyw" role="3KbHQx">
-            <node concept="Rm8GO" id="4jcOV4hNPWk" role="3Kbmr1">
-              <ref role="Rm8GQ" to="w7la:~EvaluationFeedback$Severity.ERROR" resolve="ERROR" />
-              <ref role="1Px2BO" to="w7la:~EvaluationFeedback$Severity" resolve="EvaluationFeedback.Severity" />
-            </node>
-            <node concept="3clFbS" id="4jcOV4hNPyy" role="3Kbo56">
-              <node concept="3SKdUt" id="4jcOV4hNS7j" role="3cqZAp">
-                <node concept="1PaTwC" id="589APehYxNX" role="3ndbpf">
-                  <node concept="3oM_SD" id="589APehYxNY" role="1PaTwD">
-                    <property role="3oM_SC" value="fall" />
-                  </node>
-                  <node concept="3oM_SD" id="589APehYxNZ" role="1PaTwD">
-                    <property role="3oM_SC" value="through" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3KbdKl" id="4jcOV4hNQIk" role="3KbHQx">
-            <node concept="Rm8GO" id="4jcOV4hNRcL" role="3Kbmr1">
-              <ref role="Rm8GQ" to="w7la:~EvaluationFeedback$Severity.FATAL" resolve="FATAL" />
-              <ref role="1Px2BO" to="w7la:~EvaluationFeedback$Severity" resolve="EvaluationFeedback.Severity" />
-            </node>
-            <node concept="3clFbS" id="4jcOV4hNQIm" role="3Kbo56">
-              <node concept="3cpWs6" id="4jcOV4hNQIn" role="3cqZAp">
-                <node concept="Rm8GO" id="4jcOV4hNQIo" role="3cqZAk">
-                  <ref role="Rm8GQ" to="2gg1:~MessageStatus.ERROR" resolve="ERROR" />
-                  <ref role="1Px2BO" to="2gg1:~MessageStatus" resolve="MessageStatus" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="37vLTw" id="4jcOV4hNLgj" role="3KbGdf">
-            <ref role="3cqZAo" node="4jcOV4hNJED" resolve="severity" />
-          </node>
-          <node concept="3clFbS" id="4jcOV4hNSzT" role="3Kb1Dw">
-            <node concept="YS8fn" id="4jcOV4hNT1w" role="3cqZAp">
-              <node concept="2ShNRf" id="4jcOV4hNT2d" role="YScLw">
-                <node concept="1pGfFk" id="4jcOV4hNTnL" role="2ShVmc">
-                  <ref role="37wK5l" to="wyt6:~IllegalArgumentException.&lt;init&gt;()" resolve="IllegalArgumentException" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
     <node concept="2tJIrI" id="4jcOV4hNGQi" role="jymVt" />
     <node concept="3Tm1VV" id="41ox5Vnk76b" role="1B3o_S" />
     <node concept="312cEg" id="2UGjFq4Lesf" role="jymVt">
@@ -8818,5 +8053,880 @@
       <ref role="3uigEE" to="w7la:~EvaluationTrace" resolve="EvaluationTrace" />
     </node>
   </node>
+  <node concept="312cEu" id="3o9wrC3s0ii">
+    <property role="TrG5h" value="DefaultSupervisor" />
+    <node concept="3clFb_" id="60zk4o6Suoh" role="jymVt">
+      <property role="1EzhhJ" value="false" />
+      <property role="TrG5h" value="instantiateArguments" />
+      <property role="DiZV1" value="false" />
+      <property role="od$2w" value="false" />
+      <node concept="3Tm1VV" id="60zk4o6Suoi" role="1B3o_S" />
+      <node concept="3uibUv" id="60zk4o6Suok" role="3clF45">
+        <ref role="3uigEE" to="33ny:~List" resolve="List" />
+        <node concept="3qTvmN" id="60zk4o6Suol" role="11_B2D" />
+      </node>
+      <node concept="37vLTG" id="60zk4o6Suom" role="3clF46">
+        <property role="TrG5h" value="arguments" />
+        <node concept="3uibUv" id="60zk4o6Suon" role="1tU5fm">
+          <ref role="3uigEE" to="33ny:~List" resolve="List" />
+          <node concept="3qTvmN" id="60zk4o6Suoo" role="11_B2D" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="60zk4o6Suop" role="3clF46">
+        <property role="TrG5h" value="logicalContext" />
+        <node concept="3uibUv" id="60zk4o6Suoq" role="1tU5fm">
+          <ref role="3uigEE" to="bj13:~LogicalContext" resolve="LogicalContext" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="4jcOV4hkQup" role="3clF46">
+        <property role="TrG5h" value="invocationContext" />
+        <node concept="3uibUv" id="4jcOV4hkSdQ" role="1tU5fm">
+          <ref role="3uigEE" to="w7la:~InvocationContext" resolve="InvocationContext" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="60zk4o6Suor" role="3clF47">
+        <node concept="3cpWs8" id="60zk4o6SxJ0" role="3cqZAp">
+          <node concept="3cpWsn" id="60zk4o6SxJ1" role="3cpWs9">
+            <property role="TrG5h" value="res" />
+            <node concept="3uibUv" id="60zk4o6SxJ2" role="1tU5fm">
+              <ref role="3uigEE" to="33ny:~ArrayList" resolve="ArrayList" />
+              <node concept="3uibUv" id="60zk4o6SxJ3" role="11_B2D">
+                <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="60zk4o6SxJ4" role="33vP2m">
+              <node concept="1pGfFk" id="60zk4o6SxJ5" role="2ShVmc">
+                <ref role="37wK5l" to="33ny:~ArrayList.&lt;init&gt;(int)" resolve="ArrayList" />
+                <node concept="2OqwBi" id="60zk4o6SxJ6" role="37wK5m">
+                  <node concept="37vLTw" id="60zk4o6Szda" role="2Oq$k0">
+                    <ref role="3cqZAo" node="60zk4o6Suom" resolve="arguments" />
+                  </node>
+                  <node concept="liA8E" id="60zk4o6SxJa" role="2OqNvi">
+                    <ref role="37wK5l" to="33ny:~List.size()" resolve="size" />
+                  </node>
+                </node>
+                <node concept="3uibUv" id="60zk4o6SxJb" role="1pMfVU">
+                  <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1DcWWT" id="60zk4o6SxJc" role="3cqZAp">
+          <node concept="3clFbS" id="60zk4o6SxJd" role="2LFqv$">
+            <node concept="3clFbJ" id="60zk4o6SxJe" role="3cqZAp">
+              <node concept="3eNFk2" id="60zk4o6SxJf" role="3eNLev">
+                <node concept="2ZW3vV" id="60zk4o6SxJg" role="3eO9$A">
+                  <node concept="3uibUv" id="60zk4o6SxJh" role="2ZW6by">
+                    <ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
+                  </node>
+                  <node concept="37vLTw" id="60zk4o6SxJi" role="2ZW6bz">
+                    <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="60zk4o6SxJj" role="3eOfB_">
+                  <node concept="3clFbF" id="60zk4o6SxJk" role="3cqZAp">
+                    <node concept="2OqwBi" id="60zk4o6SxJl" role="3clFbG">
+                      <node concept="37vLTw" id="60zk4o6SxJm" role="2Oq$k0">
+                        <ref role="3cqZAo" node="60zk4o6SxJ1" resolve="res" />
+                      </node>
+                      <node concept="liA8E" id="60zk4o6SxJn" role="2OqNvi">
+                        <ref role="37wK5l" to="33ny:~ArrayList.add(java.lang.Object)" resolve="add" />
+                        <node concept="2OqwBi" id="60zk4o6SxJo" role="37wK5m">
+                          <node concept="37vLTw" id="60zk4o6SxJp" role="2Oq$k0">
+                            <ref role="3cqZAo" node="60zk4o6Suop" resolve="logicalContext" />
+                          </node>
+                          <node concept="liA8E" id="60zk4o6SxJq" role="2OqNvi">
+                            <ref role="37wK5l" to="bj13:~LogicalContext.variable(jetbrains.mps.logic.reactor.logical.MetaLogical)" resolve="variable" />
+                            <node concept="10QFUN" id="60zk4o6SxJr" role="37wK5m">
+                              <node concept="37vLTw" id="60zk4o6SxJs" role="10QFUP">
+                                <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
+                              </node>
+                              <node concept="3uibUv" id="60zk4o6SxJt" role="10QFUM">
+                                <ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
+                                <node concept="3uibUv" id="60zk4o6SxJu" role="11_B2D">
+                                  <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="60zk4o6SxJv" role="3cqZAp" />
+                </node>
+              </node>
+              <node concept="3eNFk2" id="5WBVN_M1CZI" role="3eNLev">
+                <node concept="2ZW3vV" id="5WBVN_M1Djq" role="3eO9$A">
+                  <node concept="3uibUv" id="5WBVN_M1Dpb" role="2ZW6by">
+                    <ref role="3uigEE" to="i348:5WBVN_M1BKE" resolve="LateExpression" />
+                  </node>
+                  <node concept="37vLTw" id="5WBVN_M1DbI" role="2ZW6bz">
+                    <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="5WBVN_M1CZK" role="3eOfB_">
+                  <node concept="3cpWs8" id="5WBVN_M1J07" role="3cqZAp">
+                    <node concept="3cpWsn" id="5WBVN_M1J08" role="3cpWs9">
+                      <property role="TrG5h" value="exp" />
+                      <node concept="3uibUv" id="5WBVN_M1J02" role="1tU5fm">
+                        <ref role="3uigEE" to="i348:5WBVN_M1BKE" resolve="LateExpression" />
+                        <node concept="3qTvmN" id="5WBVN_M1J05" role="11_B2D" />
+                      </node>
+                      <node concept="1eOMI4" id="5WBVN_M1J09" role="33vP2m">
+                        <node concept="10QFUN" id="5WBVN_M1J0a" role="1eOMHV">
+                          <node concept="3uibUv" id="5WBVN_M1J0b" role="10QFUM">
+                            <ref role="3uigEE" to="i348:5WBVN_M1BKE" resolve="LateExpression" />
+                            <node concept="3qTvmN" id="5WBVN_M1J0c" role="11_B2D" />
+                          </node>
+                          <node concept="37vLTw" id="5WBVN_M1J0d" role="10QFUP">
+                            <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3cpWs8" id="5WBVN_M1GEt" role="3cqZAp">
+                    <node concept="3cpWsn" id="5WBVN_M1GEu" role="3cpWs9">
+                      <property role="TrG5h" value="expArgs" />
+                      <node concept="3uibUv" id="5WBVN_M1GEk" role="1tU5fm">
+                        <ref role="3uigEE" to="33ny:~List" resolve="List" />
+                        <node concept="3qTvmN" id="5WBVN_M1GEn" role="11_B2D" />
+                      </node>
+                      <node concept="1rXfSq" id="5WBVN_M1GEv" role="33vP2m">
+                        <ref role="37wK5l" node="60zk4o6Suoh" resolve="instantiateArguments" />
+                        <node concept="2YIFZM" id="5WBVN_MlGya" role="37wK5m">
+                          <ref role="37wK5l" to="33ny:~Arrays.asList(java.lang.Object...)" resolve="asList" />
+                          <ref role="1Pybhc" to="33ny:~Arrays" resolve="Arrays" />
+                          <node concept="2OqwBi" id="5WBVN_M1GEw" role="37wK5m">
+                            <node concept="37vLTw" id="5WBVN_M1J0e" role="2Oq$k0">
+                              <ref role="3cqZAo" node="5WBVN_M1J08" resolve="exp" />
+                            </node>
+                            <node concept="liA8E" id="5WBVN_M1GEA" role="2OqNvi">
+                              <ref role="37wK5l" to="i348:5WBVN_M1BSf" resolve="metaArgs" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="37vLTw" id="5WBVN_M1GEB" role="37wK5m">
+                          <ref role="3cqZAo" node="60zk4o6Suop" resolve="logicalContext" />
+                        </node>
+                        <node concept="37vLTw" id="4jcOV4hkYUG" role="37wK5m">
+                          <ref role="3cqZAo" node="4jcOV4hkQup" resolve="invocationContext" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3SKdUt" id="5WBVN_M1MSf" role="3cqZAp">
+                    <node concept="1PaTwC" id="589APehYxNB" role="3ndbpf">
+                      <node concept="3oM_SD" id="589APehYxNC" role="1PaTwD">
+                        <property role="3oM_SC" value="TODO:" />
+                      </node>
+                      <node concept="3oM_SD" id="589APehYxND" role="1PaTwD">
+                        <property role="3oM_SC" value="user" />
+                      </node>
+                      <node concept="3oM_SD" id="589APehYxNE" role="1PaTwD">
+                        <property role="3oM_SC" value="code" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbF" id="5WBVN_M1Hyh" role="3cqZAp">
+                    <node concept="2OqwBi" id="5WBVN_M1HRh" role="3clFbG">
+                      <node concept="37vLTw" id="5WBVN_M1Hyf" role="2Oq$k0">
+                        <ref role="3cqZAo" node="60zk4o6SxJ1" resolve="res" />
+                      </node>
+                      <node concept="liA8E" id="5WBVN_M1IHI" role="2OqNvi">
+                        <ref role="37wK5l" to="33ny:~ArrayList.add(java.lang.Object)" resolve="add" />
+                        <node concept="2OqwBi" id="5WBVN_M1JzG" role="37wK5m">
+                          <node concept="37vLTw" id="5WBVN_M1JhL" role="2Oq$k0">
+                            <ref role="3cqZAo" node="5WBVN_M1J08" resolve="exp" />
+                          </node>
+                          <node concept="liA8E" id="5WBVN_M1JVL" role="2OqNvi">
+                            <ref role="37wK5l" to="i348:5WBVN_M1BLN" resolve="eval" />
+                            <node concept="37vLTw" id="6yUEjXvTvSG" role="37wK5m">
+                              <ref role="3cqZAo" node="60zk4o6Suop" resolve="logicalContext" />
+                            </node>
+                            <node concept="37vLTw" id="4jcOV4hlseO" role="37wK5m">
+                              <ref role="3cqZAo" node="4jcOV4hkQup" resolve="invocationContext" />
+                            </node>
+                            <node concept="2OqwBi" id="5WBVN_M1KyJ" role="37wK5m">
+                              <node concept="37vLTw" id="5WBVN_M1K7z" role="2Oq$k0">
+                                <ref role="3cqZAo" node="5WBVN_M1GEu" resolve="expArgs" />
+                              </node>
+                              <node concept="liA8E" id="5WBVN_M1L1T" role="2OqNvi">
+                                <ref role="37wK5l" to="33ny:~List.toArray()" resolve="toArray" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="5WBVN_M1Hs2" role="3cqZAp" />
+                </node>
+              </node>
+              <node concept="3clFbS" id="60zk4o6SxJw" role="3clFbx">
+                <node concept="3clFbF" id="60zk4o6SxJx" role="3cqZAp">
+                  <node concept="2OqwBi" id="60zk4o6SxJy" role="3clFbG">
+                    <node concept="37vLTw" id="60zk4o6SxJz" role="2Oq$k0">
+                      <ref role="3cqZAo" node="60zk4o6SxJ1" resolve="res" />
+                    </node>
+                    <node concept="liA8E" id="60zk4o6SxJ$" role="2OqNvi">
+                      <ref role="37wK5l" to="33ny:~ArrayList.add(java.lang.Object)" resolve="add" />
+                      <node concept="2YIFZM" id="3gNap3fNlJv" role="37wK5m">
+                        <ref role="37wK5l" to="oy3s:4TCblo5NqWF" resolve="instantiateMetaLogicals" />
+                        <ref role="1Pybhc" to="oy3s:677NV565N1x" resolve="LogicalUtil" />
+                        <node concept="10QFUN" id="60zk4o6SxJA" role="37wK5m">
+                          <node concept="3uibUv" id="60zk4o6SxJB" role="10QFUM">
+                            <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
+                          </node>
+                          <node concept="37vLTw" id="60zk4o6SxJC" role="10QFUP">
+                            <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
+                          </node>
+                        </node>
+                        <node concept="37vLTw" id="60zk4o6SxJD" role="37wK5m">
+                          <ref role="3cqZAo" node="60zk4o6Suop" resolve="logicalContext" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbH" id="60zk4o6SxJE" role="3cqZAp" />
+              </node>
+              <node concept="2ZW3vV" id="60zk4o6SxJF" role="3clFbw">
+                <node concept="3uibUv" id="60zk4o6SxJG" role="2ZW6by">
+                  <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
+                </node>
+                <node concept="37vLTw" id="60zk4o6SxJH" role="2ZW6bz">
+                  <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
+                </node>
+              </node>
+              <node concept="9aQIb" id="60zk4o6SxJI" role="9aQIa">
+                <node concept="3clFbS" id="60zk4o6SxJJ" role="9aQI4">
+                  <node concept="3clFbF" id="60zk4o6SxJK" role="3cqZAp">
+                    <node concept="2OqwBi" id="60zk4o6SxJL" role="3clFbG">
+                      <node concept="37vLTw" id="60zk4o6SxJM" role="2Oq$k0">
+                        <ref role="3cqZAo" node="60zk4o6SxJ1" resolve="res" />
+                      </node>
+                      <node concept="liA8E" id="60zk4o6SxJN" role="2OqNvi">
+                        <ref role="37wK5l" to="33ny:~ArrayList.add(java.lang.Object)" resolve="add" />
+                        <node concept="37vLTw" id="60zk4o6SxJO" role="37wK5m">
+                          <ref role="3cqZAo" node="60zk4o6SxJP" resolve="a" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3cpWsn" id="60zk4o6SxJP" role="1Duv9x">
+            <property role="TrG5h" value="a" />
+            <node concept="3uibUv" id="60zk4o6SxJQ" role="1tU5fm">
+              <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+            </node>
+          </node>
+          <node concept="37vLTw" id="60zk4o6SI6n" role="1DdaDG">
+            <ref role="3cqZAo" node="60zk4o6Suom" resolve="arguments" />
+          </node>
+        </node>
+        <node concept="3clFbF" id="60zk4o6SxJU" role="3cqZAp">
+          <node concept="37vLTw" id="60zk4o6SxJV" role="3clFbG">
+            <ref role="3cqZAo" node="60zk4o6SxJ1" resolve="res" />
+          </node>
+        </node>
+      </node>
+      <node concept="2AHcQZ" id="60zk4o6Suos" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
+    <node concept="3Tm1VV" id="3o9wrC3s0ij" role="1B3o_S" />
+    <node concept="3uibUv" id="3o9wrC3s0Vs" role="EKbjA">
+      <ref role="3uigEE" to="w7la:~Supervisor" resolve="Supervisor" />
+    </node>
+  </node>
+  <node concept="312cEu" id="3o9wrC3sa$h">
+    <property role="TrG5h" value="ReportingSupervisor" />
+    <node concept="2tJIrI" id="3o9wrC3sdlb" role="jymVt" />
+    <node concept="312cEg" id="3o9wrC3sdyr" role="jymVt">
+      <property role="TrG5h" value="originIdxRef" />
+      <node concept="3Tm6S6" id="3o9wrC3sdys" role="1B3o_S" />
+      <node concept="3uibUv" id="3o9wrC3sdyu" role="1tU5fm">
+        <ref role="3uigEE" to="18ew:~Reference" resolve="Reference" />
+        <node concept="3uibUv" id="3o9wrC3sdyv" role="11_B2D">
+          <ref role="3uigEE" to="ksgm:70Wv0dJhQb2" resolve="PrincipalOriginIndex" />
+        </node>
+      </node>
+    </node>
+    <node concept="312cEg" id="3o9wrC3sf7p" role="jymVt">
+      <property role="TrG5h" value="mainSymbol" />
+      <node concept="3Tm6S6" id="3o9wrC3sf7q" role="1B3o_S" />
+      <node concept="3uibUv" id="3o9wrC3sf7s" role="1tU5fm">
+        <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="3o9wrC3sc9E" role="jymVt" />
+    <node concept="3clFbW" id="3o9wrC3sd5d" role="jymVt">
+      <node concept="37vLTG" id="3o9wrC3sdeo" role="3clF46">
+        <property role="TrG5h" value="originIdxRef" />
+        <node concept="3uibUv" id="3o9wrC3sdhn" role="1tU5fm">
+          <ref role="3uigEE" to="18ew:~Reference" resolve="Reference" />
+          <node concept="3uibUv" id="3o9wrC3sdjv" role="11_B2D">
+            <ref role="3uigEE" to="ksgm:70Wv0dJhQb2" resolve="PrincipalOriginIndex" />
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="3o9wrC3sewB" role="3clF46">
+        <property role="TrG5h" value="mainSymbol" />
+        <node concept="3uibUv" id="3o9wrC3sf2p" role="1tU5fm">
+          <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
+        </node>
+      </node>
+      <node concept="3cqZAl" id="3o9wrC3sd5f" role="3clF45" />
+      <node concept="3Tm1VV" id="3o9wrC3sd5g" role="1B3o_S" />
+      <node concept="3clFbS" id="3o9wrC3sd5h" role="3clF47">
+        <node concept="3clFbF" id="3o9wrC3sdRe" role="3cqZAp">
+          <node concept="37vLTI" id="3o9wrC3seqB" role="3clFbG">
+            <node concept="37vLTw" id="3o9wrC3sev2" role="37vLTx">
+              <ref role="3cqZAo" node="3o9wrC3sdeo" resolve="originIdxRef" />
+            </node>
+            <node concept="2OqwBi" id="3o9wrC3se2s" role="37vLTJ">
+              <node concept="Xjq3P" id="3o9wrC3sdRd" role="2Oq$k0" />
+              <node concept="2OwXpG" id="3o9wrC3sedK" role="2OqNvi">
+                <ref role="2Oxat5" node="3o9wrC3sdyr" resolve="originIdxRef" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="3o9wrC3sfmP" role="3cqZAp">
+          <node concept="37vLTI" id="3o9wrC3sfVK" role="3clFbG">
+            <node concept="37vLTw" id="3o9wrC3sg0t" role="37vLTx">
+              <ref role="3cqZAo" node="3o9wrC3sewB" resolve="mainSymbol" />
+            </node>
+            <node concept="2OqwBi" id="3o9wrC3sfzt" role="37vLTJ">
+              <node concept="Xjq3P" id="3o9wrC3sfmN" role="2Oq$k0" />
+              <node concept="2OwXpG" id="3o9wrC3sfIR" role="2OqNvi">
+                <ref role="2Oxat5" node="3o9wrC3sf7p" resolve="mainSymbol" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="3o9wrC3sBJD" role="jymVt" />
+    <node concept="3clFbW" id="3o9wrC3sC_c" role="jymVt">
+      <node concept="37vLTG" id="3o9wrC3sDaO" role="3clF46">
+        <property role="TrG5h" value="program" />
+        <node concept="3uibUv" id="3o9wrC3sDdL" role="1tU5fm">
+          <ref role="3uigEE" to="av0y:~Program" resolve="Program" />
+        </node>
+      </node>
+      <node concept="3cqZAl" id="3o9wrC3sC_e" role="3clF45" />
+      <node concept="3Tm1VV" id="3o9wrC3sC_f" role="1B3o_S" />
+      <node concept="3clFbS" id="3o9wrC3sC_g" role="3clF47">
+        <node concept="3clFbF" id="3o9wrC3sGvK" role="3cqZAp">
+          <node concept="37vLTI" id="3o9wrC3sGGj" role="3clFbG">
+            <node concept="37vLTw" id="3o9wrC3sGvI" role="37vLTJ">
+              <ref role="3cqZAo" node="3o9wrC3sdyr" resolve="originIdxRef" />
+            </node>
+            <node concept="2ShNRf" id="3o9wrC3sIic" role="37vLTx">
+              <node concept="1pGfFk" id="3o9wrC3sIid" role="2ShVmc">
+                <ref role="37wK5l" to="18ew:~Reference.&lt;init&gt;()" resolve="Reference" />
+                <node concept="3uibUv" id="3o9wrC3sIie" role="1pMfVU">
+                  <ref role="3uigEE" to="ksgm:70Wv0dJhQb2" resolve="PrincipalOriginIndex" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="3o9wrC3sGiI" role="3cqZAp">
+          <node concept="3clFbS" id="3o9wrC3sGiJ" role="3clFbx">
+            <node concept="3cpWs8" id="3o9wrC3sGiK" role="3cqZAp">
+              <node concept="3cpWsn" id="3o9wrC3sGiL" role="3cpWs9">
+                <property role="TrG5h" value="pex" />
+                <node concept="3uibUv" id="3o9wrC3sGiM" role="1tU5fm">
+                  <ref role="3uigEE" to="ksgm:7eGEHDlcEJ0" resolve="CodeRulesProgram" />
+                </node>
+                <node concept="1eOMI4" id="3o9wrC3sGiN" role="33vP2m">
+                  <node concept="10QFUN" id="3o9wrC3sGiO" role="1eOMHV">
+                    <node concept="3uibUv" id="3o9wrC3sGiP" role="10QFUM">
+                      <ref role="3uigEE" to="ksgm:7eGEHDlcEJ0" resolve="CodeRulesProgram" />
+                    </node>
+                    <node concept="37vLTw" id="3o9wrC3sGiQ" role="10QFUP">
+                      <ref role="3cqZAo" node="3o9wrC3sDaO" resolve="program" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="3o9wrC3sGiR" role="3cqZAp">
+              <node concept="2OqwBi" id="3o9wrC3sGiS" role="3clFbG">
+                <node concept="37vLTw" id="3o9wrC3sIjP" role="2Oq$k0">
+                  <ref role="3cqZAo" node="3o9wrC3sdyr" resolve="originIdxRef" />
+                </node>
+                <node concept="liA8E" id="3o9wrC3sGiU" role="2OqNvi">
+                  <ref role="37wK5l" to="18ew:~Reference.set(java.lang.Object)" resolve="set" />
+                  <node concept="2OqwBi" id="3o9wrC3sGiV" role="37wK5m">
+                    <node concept="37vLTw" id="3o9wrC3sGiW" role="2Oq$k0">
+                      <ref role="3cqZAo" node="3o9wrC3sGiL" resolve="pex" />
+                    </node>
+                    <node concept="liA8E" id="3o9wrC3sGiX" role="2OqNvi">
+                      <ref role="37wK5l" to="ksgm:70Wv0dJiKW2" resolve="originIndex" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2ZW3vV" id="3o9wrC3sGiY" role="3clFbw">
+            <node concept="3uibUv" id="3o9wrC3sGiZ" role="2ZW6by">
+              <ref role="3uigEE" to="ksgm:7eGEHDlcEJ0" resolve="CodeRulesProgram" />
+            </node>
+            <node concept="37vLTw" id="3o9wrC3sGj0" role="2ZW6bz">
+              <ref role="3cqZAo" node="3o9wrC3sDaO" resolve="program" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="3o9wrC3sJMD" role="3cqZAp" />
+        <node concept="3clFbF" id="3o9wrC3tKav" role="3cqZAp">
+          <node concept="37vLTI" id="3o9wrC3tKS$" role="3clFbG">
+            <node concept="2OqwBi" id="3o9wrC3tKo1" role="37vLTJ">
+              <node concept="Xjq3P" id="3o9wrC3tKat" role="2Oq$k0" />
+              <node concept="2OwXpG" id="3o9wrC3tK$H" role="2OqNvi">
+                <ref role="2Oxat5" node="3o9wrC3sf7p" resolve="mainSymbol" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="3o9wrC3sJQp" role="37vLTx">
+              <node concept="1pGfFk" id="3o9wrC3sJQq" role="2ShVmc">
+                <ref role="37wK5l" to="av0y:~ConstraintSymbol.&lt;init&gt;(java.lang.String,int)" resolve="ConstraintSymbol" />
+                <node concept="Xl_RD" id="3o9wrC3sJQr" role="37wK5m">
+                  <property role="Xl_RC" value="main" />
+                </node>
+                <node concept="3cmrfG" id="3o9wrC3sJQs" role="37wK5m">
+                  <property role="3cmrfH" value="0" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="3o9wrC3scoX" role="jymVt" />
+    <node concept="3clFb_" id="4jcOV4hNvgm" role="jymVt">
+      <property role="TrG5h" value="handleFeedback" />
+      <node concept="3Tm1VV" id="4jcOV4hNvgn" role="1B3o_S" />
+      <node concept="10P_77" id="4jcOV4hNvgp" role="3clF45" />
+      <node concept="37vLTG" id="4jcOV4hNvgq" role="3clF46">
+        <property role="TrG5h" value="rule" />
+        <node concept="3uibUv" id="4jcOV4hNvgr" role="1tU5fm">
+          <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="4jcOV4hNvgs" role="3clF46">
+        <property role="TrG5h" value="feedback" />
+        <node concept="3uibUv" id="4jcOV4hNvgt" role="1tU5fm">
+          <ref role="3uigEE" to="w7la:~EvaluationFeedback" resolve="EvaluationFeedback" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="4jcOV4hNvgu" role="3clF47">
+        <node concept="3clFbH" id="4jcOV4hNws0" role="3cqZAp" />
+        <node concept="3clFbJ" id="4jcOV4hNvEG" role="3cqZAp">
+          <node concept="3clFbS" id="4jcOV4hNvEH" role="3clFbx">
+            <node concept="3cpWs8" id="4jcOV4hNvEI" role="3cqZAp">
+              <node concept="3cpWsn" id="4jcOV4hNvEJ" role="3cpWs9">
+                <property role="TrG5h" value="principal" />
+                <node concept="10P_77" id="4jcOV4hNvEK" role="1tU5fm" />
+                <node concept="2OqwBi" id="4jcOV4hNvEL" role="33vP2m">
+                  <node concept="2OqwBi" id="4jcOV4hNvEM" role="2Oq$k0">
+                    <node concept="37vLTw" id="3o9wrC3sgaG" role="2Oq$k0">
+                      <ref role="3cqZAo" node="3o9wrC3sdyr" resolve="originIdxRef" />
+                    </node>
+                    <node concept="liA8E" id="4jcOV4hNvEO" role="2OqNvi">
+                      <ref role="37wK5l" to="18ew:~Reference.get()" resolve="get" />
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="4jcOV4hNvEP" role="2OqNvi">
+                    <ref role="37wK5l" to="ksgm:70Wv0dJhQbd" resolve="isPrincipal" />
+                    <node concept="2OqwBi" id="4jcOV4hNvEQ" role="37wK5m">
+                      <node concept="1eOMI4" id="4jcOV4hNvER" role="2Oq$k0">
+                        <node concept="10QFUN" id="4jcOV4hNvES" role="1eOMHV">
+                          <node concept="3uibUv" id="4jcOV4hNvET" role="10QFUM">
+                            <ref role="3uigEE" to="i348:7nPD14OaO1O" resolve="RuleEx" />
+                          </node>
+                          <node concept="37vLTw" id="4jcOV4hNvEU" role="10QFUP">
+                            <ref role="3cqZAo" node="4jcOV4hNvgq" resolve="rule" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="4jcOV4hNvEV" role="2OqNvi">
+                        <ref role="37wK5l" to="i348:7nPD14Ob4em" resolve="originRef" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3cpWs8" id="4jcOV4hNvEW" role="3cqZAp">
+              <node concept="3cpWsn" id="4jcOV4hNvEX" role="3cpWs9">
+                <property role="TrG5h" value="head" />
+                <node concept="_YKpA" id="4jcOV4hNvEY" role="1tU5fm">
+                  <node concept="3uibUv" id="4jcOV4hNvEZ" role="_ZDj9">
+                    <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
+                  </node>
+                </node>
+                <node concept="2OqwBi" id="4jcOV4hNvF0" role="33vP2m">
+                  <node concept="2OqwBi" id="4jcOV4hNvF1" role="2Oq$k0">
+                    <node concept="1eOMI4" id="4jcOV4hNvF2" role="2Oq$k0">
+                      <node concept="10QFUN" id="4jcOV4hNvF3" role="1eOMHV">
+                        <node concept="A3Dl8" id="4jcOV4hNvF4" role="10QFUM">
+                          <node concept="3uibUv" id="4jcOV4hNvF5" role="A3Ik2">
+                            <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
+                          </node>
+                        </node>
+                        <node concept="2OqwBi" id="4jcOV4hNvF6" role="10QFUP">
+                          <node concept="37vLTw" id="4jcOV4hNvF7" role="2Oq$k0">
+                            <ref role="3cqZAo" node="4jcOV4hNvgq" resolve="rule" />
+                          </node>
+                          <node concept="liA8E" id="4jcOV4hNvF8" role="2OqNvi">
+                            <ref role="37wK5l" to="av0y:~Rule.headKept()" resolve="headKept" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3QWeyG" id="4jcOV4hNvF9" role="2OqNvi">
+                      <node concept="10QFUN" id="4jcOV4hNvFa" role="576Qk">
+                        <node concept="A3Dl8" id="4jcOV4hNvFb" role="10QFUM">
+                          <node concept="3uibUv" id="4jcOV4hNvFc" role="A3Ik2">
+                            <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
+                          </node>
+                        </node>
+                        <node concept="2OqwBi" id="4jcOV4hNvFd" role="10QFUP">
+                          <node concept="37vLTw" id="4jcOV4hNvFe" role="2Oq$k0">
+                            <ref role="3cqZAo" node="4jcOV4hNvgq" resolve="rule" />
+                          </node>
+                          <node concept="liA8E" id="4jcOV4hNvFf" role="2OqNvi">
+                            <ref role="37wK5l" to="av0y:~Rule.headReplaced()" resolve="headReplaced" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="ANE8D" id="4jcOV4hNvFg" role="2OqNvi" />
+                </node>
+              </node>
+            </node>
+            <node concept="3cpWs8" id="4jcOV4hNvFh" role="3cqZAp">
+              <node concept="3cpWsn" id="4jcOV4hNvFi" role="3cpWs9">
+                <property role="TrG5h" value="onStart" />
+                <node concept="10P_77" id="4jcOV4hNvFj" role="1tU5fm" />
+                <node concept="1Wc70l" id="4jcOV4hNvFk" role="33vP2m">
+                  <node concept="2OqwBi" id="4jcOV4hNvFl" role="3uHU7w">
+                    <node concept="2OqwBi" id="4jcOV4hNvFm" role="2Oq$k0">
+                      <node concept="1y4W85" id="4jcOV4hNvFn" role="2Oq$k0">
+                        <node concept="3cmrfG" id="4jcOV4hNvFo" role="1y58nS">
+                          <property role="3cmrfH" value="0" />
+                        </node>
+                        <node concept="37vLTw" id="4jcOV4hNvFp" role="1y566C">
+                          <ref role="3cqZAo" node="4jcOV4hNvEX" resolve="head" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="4jcOV4hNvFq" role="2OqNvi">
+                        <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
+                      </node>
+                    </node>
+                    <node concept="liA8E" id="4jcOV4hNvFr" role="2OqNvi">
+                      <ref role="37wK5l" to="av0y:~Symbol.equals(java.lang.Object)" resolve="equals" />
+                      <node concept="37vLTw" id="3o9wrC3sghu" role="37wK5m">
+                        <ref role="3cqZAo" node="3o9wrC3sf7p" resolve="mainSymbol" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbC" id="4jcOV4hNvFt" role="3uHU7B">
+                    <node concept="2OqwBi" id="4jcOV4hNvFu" role="3uHU7B">
+                      <node concept="37vLTw" id="4jcOV4hNvFv" role="2Oq$k0">
+                        <ref role="3cqZAo" node="4jcOV4hNvEX" resolve="head" />
+                      </node>
+                      <node concept="34oBXx" id="4jcOV4hNvFw" role="2OqNvi" />
+                    </node>
+                    <node concept="3cmrfG" id="4jcOV4hNvFx" role="3uHU7w">
+                      <property role="3cmrfH" value="1" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="4jcOV4hNvFy" role="3cqZAp" />
+            <node concept="3clFbJ" id="4jcOV4hNvFz" role="3cqZAp">
+              <node concept="3clFbS" id="4jcOV4hNvF$" role="3clFbx">
+                <node concept="3SKdUt" id="4jcOV4hNvF_" role="3cqZAp">
+                  <node concept="1PaTwC" id="589APehYxNF" role="3ndbpf">
+                    <node concept="3oM_SD" id="589APehYxNG" role="1PaTwD">
+                      <property role="3oM_SC" value="stop" />
+                    </node>
+                    <node concept="3oM_SD" id="589APehYxNH" role="1PaTwD">
+                      <property role="3oM_SC" value="the" />
+                    </node>
+                    <node concept="3oM_SD" id="589APehYxNI" role="1PaTwD">
+                      <property role="3oM_SC" value="error" />
+                    </node>
+                    <node concept="3oM_SD" id="589APehYxNJ" role="1PaTwD">
+                      <property role="3oM_SC" value="from" />
+                    </node>
+                    <node concept="3oM_SD" id="589APehYxNK" role="1PaTwD">
+                      <property role="3oM_SC" value="being" />
+                    </node>
+                    <node concept="3oM_SD" id="589APehYxNL" role="1PaTwD">
+                      <property role="3oM_SC" value="propagated," />
+                    </node>
+                    <node concept="3oM_SD" id="589APehYxNM" role="1PaTwD">
+                      <property role="3oM_SC" value="enable" />
+                    </node>
+                    <node concept="3oM_SD" id="589APehYxNN" role="1PaTwD">
+                      <property role="3oM_SC" value="recover" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="4jcOV4hNvFB" role="3cqZAp">
+                  <node concept="2OqwBi" id="4jcOV4hNvFC" role="3clFbG">
+                    <node concept="liA8E" id="4jcOV4hNvFH" role="2OqNvi">
+                      <ref role="37wK5l" to="9x2e:oI9Ys2ypk" resolve="report" />
+                      <node concept="1rXfSq" id="4jcOV4hNTUb" role="37wK5m">
+                        <ref role="37wK5l" node="4jcOV4hNHoE" resolve="severityToStatus" />
+                        <node concept="2OqwBi" id="4jcOV4hNV3t" role="37wK5m">
+                          <node concept="37vLTw" id="4jcOV4hNUv5" role="2Oq$k0">
+                            <ref role="3cqZAo" node="4jcOV4hNvgs" resolve="feedback" />
+                          </node>
+                          <node concept="liA8E" id="4jcOV4hNVBn" role="2OqNvi">
+                            <ref role="37wK5l" to="w7la:~EvaluationFeedback.getSeverity()" resolve="getSeverity" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="2OqwBi" id="4jcOV4hNvFJ" role="37wK5m">
+                        <node concept="1eOMI4" id="4jcOV4hNvFK" role="2Oq$k0">
+                          <node concept="10QFUN" id="4jcOV4hNvFL" role="1eOMHV">
+                            <node concept="3uibUv" id="4jcOV4hNvFM" role="10QFUM">
+                              <ref role="3uigEE" to="i348:7nPD14OaO1O" resolve="RuleEx" />
+                            </node>
+                            <node concept="37vLTw" id="4jcOV4hNvFN" role="10QFUP">
+                              <ref role="3cqZAo" node="4jcOV4hNvgq" resolve="rule" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="liA8E" id="4jcOV4hNvFO" role="2OqNvi">
+                          <ref role="37wK5l" to="i348:7nPD14Ob4em" resolve="originRef" />
+                        </node>
+                      </node>
+                      <node concept="2OqwBi" id="4jcOV4hNvFP" role="37wK5m">
+                        <node concept="37vLTw" id="4jcOV4hNGq$" role="2Oq$k0">
+                          <ref role="3cqZAo" node="4jcOV4hNvgs" resolve="feedback" />
+                        </node>
+                        <node concept="liA8E" id="4jcOV4hNvFR" role="2OqNvi">
+                          <ref role="37wK5l" to="w7la:~EvaluationFeedback.getMessage()" resolve="getMessage" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="2OqwBi" id="oI9YrWf2v" role="2Oq$k0">
+                      <node concept="2YIFZM" id="oI9YrWf2w" role="2Oq$k0">
+                        <ref role="1Pybhc" to="w7la:~EvaluationSession" resolve="EvaluationSession" />
+                        <ref role="37wK5l" to="w7la:~EvaluationSession.current()" resolve="current" />
+                      </node>
+                      <node concept="liA8E" id="3GEs5q_4fTI" role="2OqNvi">
+                        <ref role="37wK5l" to="w7la:~EvaluationSession.parameter(jetbrains.mps.logic.reactor.evaluation.EvaluationSession$ParameterKey)" resolve="parameter" />
+                        <node concept="2YIFZM" id="3GEs5q_4fTJ" role="37wK5m">
+                          <ref role="37wK5l" to="w7la:~EvaluationSession$ParameterKey.of(java.lang.String,java.lang.Class)" resolve="of" />
+                          <ref role="1Pybhc" to="w7la:~EvaluationSession$ParameterKey" resolve="EvaluationSession.ParameterKey" />
+                          <node concept="Xl_RD" id="3GEs5q_4fTK" role="37wK5m">
+                            <property role="Xl_RC" value="reporting" />
+                          </node>
+                          <node concept="3VsKOn" id="3GEs5q_4fTL" role="37wK5m">
+                            <ref role="3VsUkX" to="9x2e:oI9YrIZeS" resolve="Reporting" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbH" id="4jcOV4hN_30" role="3cqZAp" />
+                <node concept="3cpWs6" id="4jcOV4hNvFS" role="3cqZAp">
+                  <node concept="3clFbT" id="4jcOV4hND48" role="3cqZAk">
+                    <property role="3clFbU" value="true" />
+                  </node>
+                </node>
+              </node>
+              <node concept="22lmx$" id="4jcOV4hNvFV" role="3clFbw">
+                <node concept="37vLTw" id="4jcOV4hNvFW" role="3uHU7w">
+                  <ref role="3cqZAo" node="4jcOV4hNvFi" resolve="onStart" />
+                </node>
+                <node concept="37vLTw" id="4jcOV4hNvFX" role="3uHU7B">
+                  <ref role="3cqZAo" node="4jcOV4hNvEJ" resolve="principal" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1Wc70l" id="4jcOV4hNvFY" role="3clFbw">
+            <node concept="1Wc70l" id="4jcOV4hNvFZ" role="3uHU7B">
+              <node concept="2ZW3vV" id="4jcOV4hNvG0" role="3uHU7w">
+                <node concept="3uibUv" id="4jcOV4hNvG1" role="2ZW6by">
+                  <ref role="3uigEE" to="i348:7nPD14OaO1O" resolve="RuleEx" />
+                </node>
+                <node concept="37vLTw" id="4jcOV4hNvG2" role="2ZW6bz">
+                  <ref role="3cqZAo" node="4jcOV4hNvgq" resolve="rule" />
+                </node>
+              </node>
+              <node concept="3y3z36" id="4jcOV4hNvG3" role="3uHU7B">
+                <node concept="10Nm6u" id="4jcOV4hNvG4" role="3uHU7w" />
+                <node concept="2OqwBi" id="4jcOV4hNvG5" role="3uHU7B">
+                  <node concept="37vLTw" id="3o9wrC3sg2u" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3o9wrC3sdyr" resolve="originIdxRef" />
+                  </node>
+                  <node concept="liA8E" id="4jcOV4hNvG7" role="2OqNvi">
+                    <ref role="37wK5l" to="18ew:~Reference.get()" resolve="get" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3y3z36" id="4jcOV4hNvG8" role="3uHU7w">
+              <node concept="10Nm6u" id="4jcOV4hNvG9" role="3uHU7w" />
+              <node concept="2OqwBi" id="4jcOV4hNvGa" role="3uHU7B">
+                <node concept="1eOMI4" id="4jcOV4hNvGb" role="2Oq$k0">
+                  <node concept="10QFUN" id="4jcOV4hNvGc" role="1eOMHV">
+                    <node concept="3uibUv" id="4jcOV4hNvGd" role="10QFUM">
+                      <ref role="3uigEE" to="i348:7nPD14OaO1O" resolve="RuleEx" />
+                    </node>
+                    <node concept="37vLTw" id="4jcOV4hNvGe" role="10QFUP">
+                      <ref role="3cqZAo" node="4jcOV4hNvgq" resolve="rule" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="liA8E" id="4jcOV4hNvGf" role="2OqNvi">
+                  <ref role="37wK5l" to="i348:7nPD14Ob4em" resolve="originRef" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="4jcOV4hNDC1" role="3cqZAp" />
+        <node concept="3cpWs6" id="4jcOV4hNzSP" role="3cqZAp">
+          <node concept="3clFbT" id="4jcOV4hNzT_" role="3cqZAk" />
+        </node>
+      </node>
+      <node concept="2AHcQZ" id="3o9wrC3scyf" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="3GlpCDSEXkp" role="jymVt" />
+    <node concept="3clFb_" id="4jcOV4hNHoE" role="jymVt">
+      <property role="TrG5h" value="severityToStatus" />
+      <node concept="37vLTG" id="4jcOV4hNJED" role="3clF46">
+        <property role="TrG5h" value="severity" />
+        <node concept="3uibUv" id="4jcOV4hNK36" role="1tU5fm">
+          <ref role="3uigEE" to="w7la:~EvaluationFeedback$Severity" resolve="EvaluationFeedback.Severity" />
+        </node>
+      </node>
+      <node concept="3uibUv" id="4jcOV4hNKRb" role="3clF45">
+        <ref role="3uigEE" to="2gg1:~MessageStatus" resolve="MessageStatus" />
+      </node>
+      <node concept="3Tm1VV" id="4jcOV4hNHoH" role="1B3o_S" />
+      <node concept="3clFbS" id="4jcOV4hNHoI" role="3clF47">
+        <node concept="3KaCP$" id="4jcOV4hNLf_" role="3cqZAp">
+          <node concept="3KbdKl" id="4jcOV4hNLiB" role="3KbHQx">
+            <node concept="Rm8GO" id="4jcOV4hNLvI" role="3Kbmr1">
+              <ref role="1Px2BO" to="w7la:~EvaluationFeedback$Severity" resolve="EvaluationFeedback.Severity" />
+              <ref role="Rm8GQ" to="w7la:~EvaluationFeedback$Severity.DEBUG" resolve="DEBUG" />
+            </node>
+            <node concept="3clFbS" id="4jcOV4hNLiD" role="3Kbo56">
+              <node concept="3SKdUt" id="4jcOV4hNNXe" role="3cqZAp">
+                <node concept="1PaTwC" id="589APehYxNU" role="3ndbpf">
+                  <node concept="3oM_SD" id="589APehYxNV" role="1PaTwD">
+                    <property role="3oM_SC" value="fall" />
+                  </node>
+                  <node concept="3oM_SD" id="589APehYxNW" role="1PaTwD">
+                    <property role="3oM_SC" value="through" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3KbdKl" id="4jcOV4hNMM$" role="3KbHQx">
+            <node concept="Rm8GO" id="4jcOV4hNNcq" role="3Kbmr1">
+              <ref role="1Px2BO" to="w7la:~EvaluationFeedback$Severity" resolve="EvaluationFeedback.Severity" />
+              <ref role="Rm8GQ" to="w7la:~EvaluationFeedback$Severity.INFO" resolve="INFO" />
+            </node>
+            <node concept="3clFbS" id="4jcOV4hNMMA" role="3Kbo56">
+              <node concept="3cpWs6" id="4jcOV4hNMMB" role="3cqZAp">
+                <node concept="Rm8GO" id="4jcOV4hNMMC" role="3cqZAk">
+                  <ref role="Rm8GQ" to="2gg1:~MessageStatus.OK" resolve="OK" />
+                  <ref role="1Px2BO" to="2gg1:~MessageStatus" resolve="MessageStatus" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3KbdKl" id="4jcOV4hNLyA" role="3KbHQx">
+            <node concept="Rm8GO" id="4jcOV4hNOlF" role="3Kbmr1">
+              <ref role="1Px2BO" to="w7la:~EvaluationFeedback$Severity" resolve="EvaluationFeedback.Severity" />
+              <ref role="Rm8GQ" to="w7la:~EvaluationFeedback$Severity.WARN" resolve="WARN" />
+            </node>
+            <node concept="3clFbS" id="4jcOV4hNLyC" role="3Kbo56">
+              <node concept="3cpWs6" id="4jcOV4hNOoR" role="3cqZAp">
+                <node concept="Rm8GO" id="4jcOV4hNPaf" role="3cqZAk">
+                  <ref role="1Px2BO" to="2gg1:~MessageStatus" resolve="MessageStatus" />
+                  <ref role="Rm8GQ" to="2gg1:~MessageStatus.WARNING" resolve="WARNING" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3KbdKl" id="4jcOV4hNPyw" role="3KbHQx">
+            <node concept="Rm8GO" id="4jcOV4hNPWk" role="3Kbmr1">
+              <ref role="1Px2BO" to="w7la:~EvaluationFeedback$Severity" resolve="EvaluationFeedback.Severity" />
+              <ref role="Rm8GQ" to="w7la:~EvaluationFeedback$Severity.ERROR" resolve="ERROR" />
+            </node>
+            <node concept="3clFbS" id="4jcOV4hNPyy" role="3Kbo56">
+              <node concept="3SKdUt" id="4jcOV4hNS7j" role="3cqZAp">
+                <node concept="1PaTwC" id="589APehYxNX" role="3ndbpf">
+                  <node concept="3oM_SD" id="589APehYxNY" role="1PaTwD">
+                    <property role="3oM_SC" value="fall" />
+                  </node>
+                  <node concept="3oM_SD" id="589APehYxNZ" role="1PaTwD">
+                    <property role="3oM_SC" value="through" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3KbdKl" id="4jcOV4hNQIk" role="3KbHQx">
+            <node concept="Rm8GO" id="4jcOV4hNRcL" role="3Kbmr1">
+              <ref role="1Px2BO" to="w7la:~EvaluationFeedback$Severity" resolve="EvaluationFeedback.Severity" />
+              <ref role="Rm8GQ" to="w7la:~EvaluationFeedback$Severity.FATAL" resolve="FATAL" />
+            </node>
+            <node concept="3clFbS" id="4jcOV4hNQIm" role="3Kbo56">
+              <node concept="3cpWs6" id="4jcOV4hNQIn" role="3cqZAp">
+                <node concept="Rm8GO" id="4jcOV4hNQIo" role="3cqZAk">
+                  <ref role="1Px2BO" to="2gg1:~MessageStatus" resolve="MessageStatus" />
+                  <ref role="Rm8GQ" to="2gg1:~MessageStatus.ERROR" resolve="ERROR" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="37vLTw" id="4jcOV4hNLgj" role="3KbGdf">
+            <ref role="3cqZAo" node="4jcOV4hNJED" resolve="severity" />
+          </node>
+          <node concept="3clFbS" id="4jcOV4hNSzT" role="3Kb1Dw">
+            <node concept="YS8fn" id="4jcOV4hNT1w" role="3cqZAp">
+              <node concept="2ShNRf" id="4jcOV4hNT2d" role="YScLw">
+                <node concept="1pGfFk" id="4jcOV4hNTnL" role="2ShVmc">
+                  <ref role="37wK5l" to="wyt6:~IllegalArgumentException.&lt;init&gt;()" resolve="IllegalArgumentException" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="3o9wrC3sbje" role="jymVt" />
+    <node concept="3Tm1VV" id="3o9wrC3sa$i" role="1B3o_S" />
+    <node concept="3uibUv" id="3o9wrC3saA3" role="1zkMxy">
+      <ref role="3uigEE" node="3o9wrC3s0ii" resolve="DefaultSupervisor" />
+    </node>
+  </node>
 </model>
 
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 3b5e5d77..ccae1c9c 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
@@ -58,6 +58,10 @@
       <concept id="1197029447546" name="jetbrains.mps.baseLanguage.structure.FieldReferenceOperation" flags="nn" index="2OwXpG">
         <reference id="1197029500499" name="fieldDeclaration" index="2Oxat5" />
       </concept>
+      <concept id="1083260308424" name="jetbrains.mps.baseLanguage.structure.EnumConstantReference" flags="nn" index="Rm8GO">
+        <reference id="1083260308426" name="enumConstantDeclaration" index="Rm8GQ" />
+        <reference id="1144432896254" name="enumClass" index="1Px2BO" />
+      </concept>
       <concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
         <child id="1145553007750" name="creator" index="2ShVmc" />
       </concept>
@@ -208,6 +212,13 @@
         <property id="8575328350543493365" name="message" index="huDt6" />
         <property id="2423417345669755629" name="filter" index="1eyWvh" />
       </concept>
+      <concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
+        <property id="709746936026609031" name="linkId" index="3V$3ak" />
+        <property id="709746936026609029" name="role_DebugInfo" index="3V$3am" />
+      </concept>
+      <concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
+        <child id="3078666699043039389" name="commentedNode" index="8Wnug" />
+      </concept>
     </language>
     <language id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text">
       <concept id="155656958578482948" name="jetbrains.mps.lang.text.structure.Word" flags="ng" index="3oM_SD">
@@ -224,6 +235,10 @@
       <concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
         <child id="540871147943773366" name="argument" index="25WWJ7" />
       </concept>
+      <concept id="1226511727824" name="jetbrains.mps.baseLanguage.collections.structure.SetType" flags="in" index="2hMVRd">
+        <child id="1226511765987" name="elementType" index="2hN53Y" />
+      </concept>
+      <concept id="1226516258405" name="jetbrains.mps.baseLanguage.collections.structure.HashSetCreator" flags="nn" index="2i4dXS" />
       <concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
         <child id="1151688676805" name="elementType" index="_ZDj9" />
       </concept>
@@ -841,18 +856,39 @@
           </node>
         </node>
         <node concept="3SKdUt" id="3irtEZPtk8E" role="3cqZAp">
-          <node concept="1PaTwC" id="3irtEZPtk8F" role="3ndbpf">
+          <node concept="1PaTwC" id="3o9wrC3x1iM" role="3ndbpf">
             <node concept="3oM_SD" id="3irtEZPtkYa" role="1PaTwD">
               <property role="3oM_SC" value="reset" />
             </node>
             <node concept="3oM_SD" id="3irtEZPtkYN" role="1PaTwD">
               <property role="3oM_SC" value="known" />
             </node>
-            <node concept="3oM_SD" id="3irtEZPtlAv" role="1PaTwD">
+            <node concept="3oM_SD" id="3o9wrC3x1l3" role="1PaTwD">
               <property role="3oM_SC" value="types" />
             </node>
           </node>
         </node>
+        <node concept="3cpWs8" id="3o9wrC3x3LS" role="3cqZAp">
+          <node concept="3cpWsn" id="3o9wrC3x3LT" role="3cpWs9">
+            <property role="TrG5h" value="supervisor" />
+            <node concept="3uibUv" id="3o9wrC3x3LU" role="1tU5fm">
+              <ref role="3uigEE" to="w7la:~Supervisor" resolve="Supervisor" />
+            </node>
+            <node concept="2ShNRf" id="3o9wrC3tQA6" role="33vP2m">
+              <node concept="1pGfFk" id="3o9wrC3x0nv" role="2ShVmc">
+                <ref role="37wK5l" to="hano:3o9wrC3sC_c" resolve="ReportingSupervisor" />
+                <node concept="2OqwBi" id="3o9wrC3x0Fv" role="37wK5m">
+                  <node concept="37vLTw" id="3o9wrC3x0rp" role="2Oq$k0">
+                    <ref role="3cqZAo" node="tyIfzC1aUL" resolve="tplApp" />
+                  </node>
+                  <node concept="liA8E" id="3o9wrC3x0Rm" role="2OqNvi">
+                    <ref role="37wK5l" to="hano:3GlpCDSyO$P" resolve="getProgram" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="3clFbF" id="1CcQBrQrYPT" role="3cqZAp">
           <node concept="37vLTI" id="1CcQBrQrYPV" role="3clFbG">
             <node concept="37vLTw" id="1CcQBrQrYPZ" role="37vLTJ">
@@ -873,9 +909,12 @@
                     <node concept="Xl_RD" id="6tPOoeTc4db" role="37wK5m">
                       <property role="Xl_RC" value=".initial" />
                     </node>
-                    <node concept="37vLTw" id="tyIfzC2VIs" role="37wK5m">
+                    <node concept="37vLTw" id="3o9wrC3u78G" role="37wK5m">
                       <ref role="3cqZAo" node="tyIfzC1aUL" resolve="tplApp" />
                     </node>
+                    <node concept="37vLTw" id="3o9wrC3x51d" role="37wK5m">
+                      <ref role="3cqZAo" node="3o9wrC3x3LT" resolve="supervisor" />
+                    </node>
                     <node concept="37vLTw" id="4aLjyB0ZChy" role="37wK5m">
                       <ref role="3cqZAo" node="4aLjyB0YZFj" resolve="trace" />
                     </node>
@@ -922,6 +961,26 @@
         <node concept="3Tqbb2" id="tyIfzC10eM" role="3rvSg0" />
       </node>
     </node>
+    <node concept="2tJIrI" id="3o9wrC3ywav" role="jymVt" />
+    <node concept="3clFb_" id="3o9wrC3y$h_" role="jymVt">
+      <property role="TrG5h" value="getFailedNodes" />
+      <node concept="3clFbS" id="3o9wrC3y$hC" role="3clF47">
+        <node concept="3cpWs6" id="3o9wrC3yAWo" role="3cqZAp">
+          <node concept="2OqwBi" id="3o9wrC3yC0i" role="3cqZAk">
+            <node concept="37vLTw" id="3o9wrC3yAX9" role="2Oq$k0">
+              <ref role="3cqZAo" node="tyIfzC1bTY" resolve="reporting" />
+            </node>
+            <node concept="2OwXpG" id="3o9wrC3yDo0" role="2OqNvi">
+              <ref role="2Oxat5" node="3o9wrC3yh0W" resolve="failedNodes" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="3o9wrC3yyRO" role="1B3o_S" />
+      <node concept="2hMVRd" id="3o9wrC3$myb" role="3clF45">
+        <node concept="2sp9CU" id="3o9wrC3$myc" role="2hN53Y" />
+      </node>
+    </node>
     <node concept="2tJIrI" id="tyIfzC3uC1" role="jymVt" />
     <node concept="3clFb_" id="tyIfzC3x3f" role="jymVt">
       <property role="TrG5h" value="produceProgram" />
@@ -1591,6 +1650,36 @@
         </node>
         <node concept="3Tm1VV" id="tyIfzC3g7p" role="1B3o_S" />
       </node>
+      <node concept="1X3_iC" id="3o9wrC3$jn5" role="lGtFl">
+        <property role="3V$3am" value="member" />
+        <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1107461130800/5375687026011219971" />
+        <node concept="312cEg" id="3o9wrC3xwBH" role="8Wnug">
+          <property role="TrG5h" value="errors" />
+          <node concept="3Tm1VV" id="3o9wrC3xvfS" role="1B3o_S" />
+          <node concept="3rvAFt" id="3o9wrC3xwzG" role="1tU5fm">
+            <node concept="2sp9CU" id="3o9wrC3xym4" role="3rvQeY" />
+            <node concept="17QB3L" id="3o9wrC3xyu_" role="3rvSg0" />
+          </node>
+          <node concept="2ShNRf" id="3o9wrC3xxXa" role="33vP2m">
+            <node concept="3rGOSV" id="3o9wrC3xyam" role="2ShVmc">
+              <node concept="2sp9CU" id="3o9wrC3xyB6" role="3rHrn6" />
+              <node concept="17QB3L" id="3o9wrC3xyJB" role="3rHtpV" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="312cEg" id="3o9wrC3yh0W" role="jymVt">
+        <property role="TrG5h" value="failedNodes" />
+        <node concept="3Tm1VV" id="3o9wrC3yiff" role="1B3o_S" />
+        <node concept="2hMVRd" id="3o9wrC3$8hI" role="1tU5fm">
+          <node concept="2sp9CU" id="3o9wrC3yg3Q" role="2hN53Y" />
+        </node>
+        <node concept="2ShNRf" id="3o9wrC3$bKM" role="33vP2m">
+          <node concept="2i4dXS" id="3o9wrC3$bTV" role="2ShVmc">
+            <node concept="2sp9CU" id="3o9wrC3$gWr" role="HW$YZ" />
+          </node>
+        </node>
+      </node>
       <node concept="2tJIrI" id="tyIfzC1DZo" role="jymVt" />
       <node concept="3clFb_" id="3GEs5q_3o$P" role="jymVt">
         <property role="TrG5h" value="assignType" />
@@ -1677,8 +1766,38 @@
         <node concept="10P_77" id="3GEs5q_3o_o" role="3clF45" />
         <node concept="3Tm1VV" id="3GEs5q_3o_p" role="1B3o_S" />
         <node concept="3clFbS" id="3GEs5q_3o_q" role="3clF47">
-          <node concept="3clFbF" id="3GEs5q_3o_r" role="3cqZAp">
-            <node concept="3clFbT" id="3GEs5q_3o_s" role="3clFbG" />
+          <node concept="3clFbJ" id="3o9wrC3ylNj" role="3cqZAp">
+            <node concept="3clFbS" id="3o9wrC3ylNl" role="3clFbx">
+              <node concept="3clFbF" id="3o9wrC3$3ft" role="3cqZAp">
+                <node concept="2OqwBi" id="3o9wrC3$lh4" role="3clFbG">
+                  <node concept="37vLTw" id="3o9wrC3$3fr" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3o9wrC3yh0W" resolve="failedNodes" />
+                  </node>
+                  <node concept="TSZUe" id="3o9wrC3$lO3" role="2OqNvi">
+                    <node concept="37vLTw" id="3o9wrC3$mcD" role="25WWJ7">
+                      <ref role="3cqZAo" node="3GEs5q_3o_k" resolve="target" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3cpWs6" id="3o9wrC3yuGr" role="3cqZAp">
+                <node concept="3clFbT" id="3o9wrC3yuH$" role="3cqZAk" />
+              </node>
+            </node>
+            <node concept="3clFbC" id="3o9wrC3yngU" role="3clFbw">
+              <node concept="37vLTw" id="3o9wrC3x8$c" role="3uHU7B">
+                <ref role="3cqZAo" node="3GEs5q_3o_i" resolve="kind" />
+              </node>
+              <node concept="Rm8GO" id="3o9wrC3xdGv" role="3uHU7w">
+                <ref role="1Px2BO" to="2gg1:~MessageStatus" resolve="MessageStatus" />
+                <ref role="Rm8GQ" to="2gg1:~MessageStatus.ERROR" resolve="ERROR" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3o9wrC3yruk" role="3cqZAp">
+            <node concept="3clFbT" id="3o9wrC3yruj" role="3clFbG">
+              <property role="3clFbU" value="true" />
+            </node>
           </node>
         </node>
         <node concept="2AHcQZ" id="3GEs5q_3o_t" role="2AJF6D">
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps
index 1f853f9e..712e8b21 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps
@@ -1123,6 +1123,27 @@
                   </node>
                 </node>
               </node>
+              <node concept="3cpWs8" id="3o9wrC3tYX9" role="3cqZAp">
+                <node concept="3cpWsn" id="3o9wrC3tYXa" role="3cpWs9">
+                  <property role="TrG5h" value="supervisor" />
+                  <node concept="3uibUv" id="3o9wrC3_Fke" role="1tU5fm">
+                    <ref role="3uigEE" to="hano:3o9wrC3sa$h" resolve="ReportingSupervisor" />
+                  </node>
+                  <node concept="2ShNRf" id="3o9wrC3tZfr" role="33vP2m">
+                    <node concept="1pGfFk" id="3o9wrC3u2Jf" role="2ShVmc">
+                      <ref role="37wK5l" to="hano:3o9wrC3sC_c" resolve="ReportingSupervisor" />
+                      <node concept="2OqwBi" id="3o9wrC3u3mt" role="37wK5m">
+                        <node concept="37vLTw" id="3o9wrC3u307" role="2Oq$k0">
+                          <ref role="3cqZAo" node="6$7vuu2ugt3" resolve="tplApp" />
+                        </node>
+                        <node concept="liA8E" id="3o9wrC3u59R" role="2OqNvi">
+                          <ref role="37wK5l" to="hano:3GlpCDSyO$P" resolve="getProgram" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
               <node concept="3clFbF" id="YbzkzLckMI" role="3cqZAp">
                 <node concept="2OqwBi" id="YbzkzLcpjZ" role="3clFbG">
                   <node concept="10M0yZ" id="YbzkzLcocA" role="2Oq$k0">
@@ -1172,6 +1193,9 @@
                               <node concept="37vLTw" id="7eQMSyzaBa7" role="37wK5m">
                                 <ref role="3cqZAo" node="6$7vuu2ugt3" resolve="tplApp" />
                               </node>
+                              <node concept="37vLTw" id="3o9wrC3u6jn" role="37wK5m">
+                                <ref role="3cqZAo" node="3o9wrC3tYXa" resolve="supervisor" />
+                              </node>
                               <node concept="10M0yZ" id="4$YN6QuoGjt" role="37wK5m">
                                 <ref role="3cqZAo" to="hano:24Vro6cS5rK" resolve="NULL" />
                                 <ref role="1PxDUh" to="hano:qubcdtxBiR" resolve="EvaluationTraceExt" />
diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
index b53cb97a..9105c1fd 100644
--- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
@@ -1985,6 +1985,28 @@
                           </node>
                         </node>
                       </node>
+                      <node concept="3cpWs8" id="3o9wrC3tl4y" role="3cqZAp">
+                        <node concept="3cpWsn" id="3o9wrC3tl4w" role="3cpWs9">
+                          <property role="3TUv4t" value="true" />
+                          <property role="TrG5h" value="supervisor" />
+                          <node concept="3uibUv" id="3o9wrC3tmgD" role="1tU5fm">
+                            <ref role="3uigEE" to="w7la:~Supervisor" resolve="Supervisor" />
+                          </node>
+                          <node concept="2ShNRf" id="3o9wrC3trPm" role="33vP2m">
+                            <node concept="1pGfFk" id="3o9wrC3ttgt" role="2ShVmc">
+                              <ref role="37wK5l" to="hano:3o9wrC3sC_c" resolve="ReportingSupervisor" />
+                              <node concept="2OqwBi" id="3o9wrC3tvAX" role="37wK5m">
+                                <node concept="37vLTw" id="3o9wrC3tu_g" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="7WKNeR9AoxI" resolve="programProducer" />
+                                </node>
+                                <node concept="liA8E" id="3o9wrC3twLu" role="2OqNvi">
+                                  <ref role="37wK5l" to="hano:3GlpCDSyO$P" resolve="getProgram" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
                       <node concept="3clFbH" id="7WKNeR9AmNV" role="3cqZAp" />
                       <node concept="3clFbF" id="Hg6Enc7CQd" role="3cqZAp">
                         <node concept="37vLTI" id="Hg6Enc7CQe" role="3clFbG">
@@ -2009,6 +2031,9 @@
                                   <node concept="37vLTw" id="7WKNeR9AoxM" role="37wK5m">
                                     <ref role="3cqZAo" node="7WKNeR9AoxI" resolve="programProducer" />
                                   </node>
+                                  <node concept="37vLTw" id="3o9wrC3tHFL" role="37wK5m">
+                                    <ref role="3cqZAo" node="3o9wrC3tl4w" resolve="supervisor" />
+                                  </node>
                                   <node concept="2ShNRf" id="7WKNeR9Gjbf" role="37wK5m">
                                     <node concept="1pGfFk" id="7WKNeR9Gjbg" role="2ShVmc">
                                       <ref role="37wK5l" node="7nPD14NbIzp" resolve="MultiTrace" />
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.incrementalBL@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.incrementalBL@tests.mps
index 2a655571..0e46cc92 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.incrementalBL@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.incrementalBL@tests.mps
@@ -23,6 +23,7 @@
     <import index="av0y" ref="bbf5c548-7111-4a53-a117-cdefc664cf34/java:jetbrains.mps.logic.reactor.program(jetbrains.mps.logic.reactor/)" />
     <import index="i348" ref="r:42a15dec-83a9-4fe1-80d6-3bf898c512bd(jetbrains.mps.lang.coderules.template)" />
     <import index="zx3l" ref="bbf5c548-7111-4a53-a117-cdefc664cf34/java:jetbrains.mps.logic.reactor.core(jetbrains.mps.logic.reactor/)" />
+    <import index="w7la" ref="bbf5c548-7111-4a53-a117-cdefc664cf34/java:jetbrains.mps.logic.reactor.evaluation(jetbrains.mps.logic.reactor/)" />
     <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
     <import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" implicit="true" />
     <import index="guwi" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.io(JDK/)" implicit="true" />
@@ -235,6 +236,7 @@
       </concept>
     </language>
     <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
+      <concept id="5045161044515397667" name="jetbrains.mps.lang.smodel.structure.Node_PointerOperation" flags="ng" index="iZEcu" />
       <concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
       <concept id="1173122760281" name="jetbrains.mps.lang.smodel.structure.Node_GetAncestorsOperation" flags="nn" index="z$bX8" />
       <concept id="1143234257716" name="jetbrains.mps.lang.smodel.structure.Node_GetModelOperation" flags="nn" index="I4A8Y" />
@@ -717,6 +719,256 @@
       </node>
       <node concept="3Tm6S6" id="3vh3iHvq1Ke" role="1B3o_S" />
     </node>
+    <node concept="2XrIbr" id="3o9wrC3yMuL" role="1qtyYc">
+      <property role="TrG5h" value="replaceFailTest" />
+      <node concept="37vLTG" id="3o9wrC3yMuM" role="3clF46">
+        <property role="TrG5h" value="typecheckRoot" />
+        <node concept="3Tqbb2" id="3o9wrC3yMuN" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="3o9wrC3yMuO" role="3clF46">
+        <property role="TrG5h" value="failingNode" />
+        <node concept="3Tqbb2" id="3o9wrC3yMuP" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="3o9wrC3yMuS" role="3clF46">
+        <property role="TrG5h" value="replacedNode" />
+        <node concept="3Tqbb2" id="3o9wrC3yMuT" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="3o9wrC3yMuU" role="3clF46">
+        <property role="TrG5h" value="replaceWith" />
+        <node concept="3Tqbb2" id="3o9wrC3yMuV" role="1tU5fm" />
+      </node>
+      <node concept="3cqZAl" id="3o9wrC3yMuW" role="3clF45" />
+      <node concept="3clFbS" id="3o9wrC3yMuX" role="3clF47">
+        <node concept="3cpWs8" id="3o9wrC3yMuY" role="3cqZAp">
+          <node concept="3cpWsn" id="3o9wrC3yMuZ" role="3cpWs9">
+            <property role="TrG5h" value="repo" />
+            <property role="3TUv4t" value="true" />
+            <node concept="3uibUv" id="3o9wrC3yMv0" role="1tU5fm">
+              <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
+            </node>
+            <node concept="2OqwBi" id="3o9wrC3yMv1" role="33vP2m">
+              <node concept="2JrnkZ" id="3o9wrC3yMv2" role="2Oq$k0">
+                <node concept="2OqwBi" id="3o9wrC3yMv3" role="2JrQYb">
+                  <node concept="I4A8Y" id="3o9wrC3yMv4" role="2OqNvi" />
+                  <node concept="37vLTw" id="3o9wrC3yMv5" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3o9wrC3yMuM" resolve="typecheckRoot" />
+                  </node>
+                </node>
+              </node>
+              <node concept="liA8E" id="3o9wrC3yMv6" role="2OqNvi">
+                <ref role="37wK5l" to="mhbf:~SModel.getRepository()" resolve="getRepository" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="3o9wrC3yMv7" role="3cqZAp">
+          <node concept="3cpWsn" id="3o9wrC3yMv8" role="3cpWs9">
+            <property role="TrG5h" value="launcher" />
+            <node concept="3uibUv" id="3o9wrC3yMv9" role="1tU5fm">
+              <ref role="3uigEE" to="hfva:tyIfzC0ZNj" resolve="IncrementalLaunchHelper" />
+            </node>
+            <node concept="2ShNRf" id="3o9wrC3yMva" role="33vP2m">
+              <node concept="1pGfFk" id="3o9wrC3yMvb" role="2ShVmc">
+                <ref role="37wK5l" to="hfva:tyIfzC0ZVq" resolve="IncrementalLaunchHelper" />
+                <node concept="37vLTw" id="3o9wrC3yMvc" role="37wK5m">
+                  <ref role="3cqZAo" node="3o9wrC3yMuZ" resolve="repo" />
+                </node>
+                <node concept="2OqwBi" id="3o9wrC3yMvd" role="37wK5m">
+                  <node concept="I4A8Y" id="3o9wrC3yMve" role="2OqNvi" />
+                  <node concept="37vLTw" id="3o9wrC3yMvf" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3o9wrC3yMuM" resolve="typecheckRoot" />
+                  </node>
+                </node>
+                <node concept="10M0yZ" id="3o9wrC3yMvg" role="37wK5m">
+                  <ref role="3cqZAo" to="tj24:4t7Xo7inNvw" resolve="TYPECHECK" />
+                  <ref role="1PxDUh" to="tj24:4t7Xo7inNgi" resolve="TypecheckingQueryKind" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="3o9wrC3yMvh" role="3cqZAp" />
+        <node concept="3cpWs8" id="3o9wrC3yMvi" role="3cqZAp">
+          <node concept="3cpWsn" id="3o9wrC3yMvj" role="3cpWs9">
+            <property role="TrG5h" value="types1" />
+            <node concept="3rvAFt" id="3o9wrC3yMvk" role="1tU5fm">
+              <node concept="3uibUv" id="3o9wrC3yMvl" role="3rvQeY">
+                <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+              </node>
+              <node concept="3Tqbb2" id="3o9wrC3yMvm" role="3rvSg0" />
+            </node>
+            <node concept="2OqwBi" id="3o9wrC3yMvn" role="33vP2m">
+              <node concept="37vLTw" id="3o9wrC3yMvo" role="2Oq$k0">
+                <ref role="3cqZAo" node="3o9wrC3yMv8" resolve="launcher" />
+              </node>
+              <node concept="liA8E" id="3o9wrC3yMvp" role="2OqNvi">
+                <ref role="37wK5l" to="hfva:2u_o41fICWA" resolve="launch" />
+                <node concept="37vLTw" id="3o9wrC3yMvq" role="37wK5m">
+                  <ref role="3cqZAo" node="3o9wrC3yMuM" resolve="typecheckRoot" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="3o9wrC3yMv$" role="3cqZAp" />
+        <node concept="3clFbF" id="3o9wrC3yMv_" role="3cqZAp">
+          <node concept="2OqwBi" id="3o9wrC3yMvA" role="3clFbG">
+            <node concept="37vLTw" id="3o9wrC3yMvB" role="2Oq$k0">
+              <ref role="3cqZAo" node="3o9wrC3yMuS" resolve="replacedNode" />
+            </node>
+            <node concept="1P9Npp" id="3o9wrC3yMvC" role="2OqNvi">
+              <node concept="37vLTw" id="3o9wrC3yMvD" role="1P9ThW">
+                <ref role="3cqZAo" node="3o9wrC3yMuU" resolve="replaceWith" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="3o9wrC3yMvE" role="3cqZAp" />
+        <node concept="3cpWs8" id="3o9wrC3yMvF" role="3cqZAp">
+          <node concept="3cpWsn" id="3o9wrC3yMvG" role="3cpWs9">
+            <property role="TrG5h" value="typesDelta" />
+            <node concept="2OqwBi" id="3o9wrC3yMvH" role="33vP2m">
+              <node concept="37vLTw" id="3o9wrC3yMvI" role="2Oq$k0">
+                <ref role="3cqZAo" node="3o9wrC3yMv8" resolve="launcher" />
+              </node>
+              <node concept="liA8E" id="3o9wrC3yMvJ" role="2OqNvi">
+                <ref role="37wK5l" to="hfva:2u_o41fHwMs" resolve="relaunch" />
+                <node concept="37vLTw" id="3o9wrC3yMvK" role="37wK5m">
+                  <ref role="3cqZAo" node="3o9wrC3yMuM" resolve="typecheckRoot" />
+                </node>
+              </node>
+            </node>
+            <node concept="3rvAFt" id="3o9wrC3yMvL" role="1tU5fm">
+              <node concept="3uibUv" id="3o9wrC3yMvM" role="3rvQeY">
+                <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+              </node>
+              <node concept="3Tqbb2" id="3o9wrC3yMvN" role="3rvSg0" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="3o9wrC3yMvO" role="3cqZAp" />
+        <node concept="3clFbF" id="3o9wrC3yMvU" role="3cqZAp">
+          <node concept="2YIFZM" id="3o9wrC3yMvV" role="3clFbG">
+            <ref role="37wK5l" to="hfva:3evPR3Eeopd" resolve="printTypes" />
+            <ref role="1Pybhc" to="hfva:3evPR3EeeoU" resolve="TestInfoPrinter" />
+            <node concept="37vLTw" id="3o9wrC3yMvW" role="37wK5m">
+              <ref role="3cqZAo" node="3o9wrC3yMuZ" resolve="repo" />
+            </node>
+            <node concept="37vLTw" id="3o9wrC3yMvX" role="37wK5m">
+              <ref role="3cqZAo" node="3o9wrC3yMvj" resolve="types1" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="3o9wrC3yMvY" role="3cqZAp">
+          <node concept="2YIFZM" id="3o9wrC3yMvZ" role="3clFbG">
+            <ref role="37wK5l" to="hfva:3evPR3Eeopd" resolve="printTypes" />
+            <ref role="1Pybhc" to="hfva:3evPR3EeeoU" resolve="TestInfoPrinter" />
+            <node concept="37vLTw" id="3o9wrC3yMw0" role="37wK5m">
+              <ref role="3cqZAo" node="3o9wrC3yMuZ" resolve="repo" />
+            </node>
+            <node concept="37vLTw" id="3o9wrC3yMw1" role="37wK5m">
+              <ref role="3cqZAo" node="3o9wrC3yMvG" resolve="typesDelta" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="3o9wrC3_Dgr" role="3cqZAp" />
+        <node concept="3SKdUt" id="3o9wrC3yMw3" role="3cqZAp">
+          <node concept="1PaTwC" id="3o9wrC3yMw4" role="3ndbpf">
+            <node concept="3oM_SD" id="3o9wrC3yMw5" role="1PaTwD">
+              <property role="3oM_SC" value="relaunch" />
+            </node>
+            <node concept="3oM_SD" id="3o9wrC3yMw6" role="1PaTwD">
+              <property role="3oM_SC" value="recomputes" />
+            </node>
+            <node concept="3oM_SD" id="3o9wrC3yMw7" role="1PaTwD">
+              <property role="3oM_SC" value="less" />
+            </node>
+            <node concept="3oM_SD" id="3o9wrC3yMw8" role="1PaTwD">
+              <property role="3oM_SC" value="than" />
+            </node>
+            <node concept="3oM_SD" id="3o9wrC3yMw9" role="1PaTwD">
+              <property role="3oM_SC" value="the" />
+            </node>
+            <node concept="3oM_SD" id="3o9wrC3yMwa" role="1PaTwD">
+              <property role="3oM_SC" value="whole" />
+            </node>
+            <node concept="3oM_SD" id="3o9wrC3yMwb" role="1PaTwD">
+              <property role="3oM_SC" value="program" />
+            </node>
+          </node>
+        </node>
+        <node concept="3vwNmj" id="3o9wrC3yMwc" role="3cqZAp">
+          <node concept="3eOVzh" id="3o9wrC3yMwd" role="3vwVQn">
+            <node concept="2OqwBi" id="3o9wrC3yMwe" role="3uHU7w">
+              <node concept="37vLTw" id="3o9wrC3yMwf" role="2Oq$k0">
+                <ref role="3cqZAo" node="3o9wrC3yMvj" resolve="types1" />
+              </node>
+              <node concept="34oBXx" id="3o9wrC3yMwg" role="2OqNvi" />
+            </node>
+            <node concept="2OqwBi" id="3o9wrC3yMwh" role="3uHU7B">
+              <node concept="37vLTw" id="3o9wrC3yMwi" role="2Oq$k0">
+                <ref role="3cqZAo" node="3o9wrC3yMvG" resolve="typesDelta" />
+              </node>
+              <node concept="34oBXx" id="3o9wrC3yMwj" role="2OqNvi" />
+            </node>
+          </node>
+        </node>
+        <node concept="3vFxKo" id="3o9wrC3_5SP" role="3cqZAp">
+          <node concept="2OqwBi" id="3o9wrC3_686" role="3vFALc">
+            <node concept="37vLTw" id="3o9wrC3_687" role="2Oq$k0">
+              <ref role="3cqZAo" node="3o9wrC3yMvG" resolve="typesDelta" />
+            </node>
+            <node concept="2Nt0df" id="3o9wrC3_688" role="2OqNvi">
+              <node concept="2OqwBi" id="3o9wrC3_9U4" role="38cxEo">
+                <node concept="liA8E" id="3o9wrC3_dBv" role="2OqNvi">
+                  <ref role="37wK5l" to="mhbf:~SNode.getReference()" resolve="getReference" />
+                </node>
+                <node concept="2JrnkZ" id="3o9wrC3_9U9" role="2Oq$k0">
+                  <node concept="37vLTw" id="3o9wrC3_9Nx" role="2JrQYb">
+                    <ref role="3cqZAo" node="3o9wrC3yMuO" resolve="failingNode" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3vwNmj" id="3o9wrC3$v_W" role="3cqZAp">
+          <node concept="2OqwBi" id="3o9wrC3$$bG" role="3vwVQn">
+            <node concept="2OqwBi" id="3o9wrC3$vOt" role="2Oq$k0">
+              <node concept="37vLTw" id="3o9wrC3$vIy" role="2Oq$k0">
+                <ref role="3cqZAo" node="3o9wrC3yMv8" resolve="launcher" />
+              </node>
+              <node concept="liA8E" id="3o9wrC3$zF3" role="2OqNvi">
+                <ref role="37wK5l" to="hfva:3o9wrC3y$h_" resolve="getFailedNodes" />
+              </node>
+            </node>
+            <node concept="3JPx81" id="3o9wrC3$CCI" role="2OqNvi">
+              <node concept="2OqwBi" id="3o9wrC3$GuH" role="25WWJ7">
+                <node concept="37vLTw" id="3o9wrC3$CEb" role="2Oq$k0">
+                  <ref role="3cqZAo" node="3o9wrC3yMuO" resolve="failingNode" />
+                </node>
+                <node concept="iZEcu" id="3o9wrC3$GCn" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="3o9wrC3yMwv" role="3cqZAp">
+          <node concept="2OqwBi" id="3o9wrC3yMww" role="3clFbG">
+            <node concept="2WthIp" id="3o9wrC3yMwx" role="2Oq$k0" />
+            <node concept="2XshWL" id="3o9wrC3yMwy" role="2OqNvi">
+              <ref role="2WH_rO" node="2FNFm8neJtd" resolve="assertSameAsGroundTruth" />
+              <node concept="37vLTw" id="3o9wrC3yMwz" role="2XxRq1">
+                <ref role="3cqZAo" node="3o9wrC3yMuM" resolve="typecheckRoot" />
+              </node>
+              <node concept="37vLTw" id="3o9wrC3yMw$" role="2XxRq1">
+                <ref role="3cqZAo" node="3o9wrC3yMv8" resolve="launcher" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="3o9wrC3yMw_" role="1B3o_S" />
+    </node>
     <node concept="2XrIbr" id="7eQMSyzli7C" role="1qtyYc">
       <property role="TrG5h" value="findRulesForNode" />
       <node concept="37vLTG" id="7eQMSyzlkY9" role="3clF46">
@@ -2039,27 +2291,17 @@
       <property role="TrG5h" value="replaceIncorrectlyFail" />
       <node concept="3cqZAl" id="3vh3iHvqKT7" role="3clF45" />
       <node concept="3clFbS" id="3vh3iHvqKT8" role="3clF47">
-        <node concept="3SKdUt" id="2u_o41fMz0o" role="3cqZAp">
-          <node concept="1PaTwC" id="2u_o41fMz0p" role="3ndbpf">
-            <node concept="3oM_SD" id="2u_o41fMz0S" role="1PaTwD">
-              <property role="3oM_SC" value="TODO" />
-            </node>
-          </node>
-        </node>
         <node concept="3clFbF" id="3vh3iHvqKT9" role="3cqZAp">
           <node concept="2OqwBi" id="3vh3iHvqKTa" role="3clFbG">
             <node concept="2WthIp" id="3vh3iHvqKTb" role="2Oq$k0" />
             <node concept="2XshWL" id="3vh3iHvqKTc" role="2OqNvi">
-              <ref role="2WH_rO" node="3vh3iHvpMrp" resolve="replaceTest" />
+              <ref role="2WH_rO" node="3o9wrC3yMuL" resolve="replaceFailTest" />
               <node concept="3xONca" id="3vh3iHvqKTd" role="2XxRq1">
                 <ref role="3xOPvv" node="6gZak$B1XHR" resolve="iVarDecl" />
               </node>
               <node concept="3xONca" id="3vh3iHvqNCd" role="2XxRq1">
                 <ref role="3xOPvv" node="6gZak$B1XHR" resolve="iVarDecl" />
               </node>
-              <node concept="2c44tf" id="3vh3iHvqKTf" role="2XxRq1">
-                <node concept="17QB3L" id="3vh3iHvqP$N" role="2c44tc" />
-              </node>
               <node concept="3xONca" id="3vh3iHvqPB5" role="2XxRq1">
                 <ref role="3xOPvv" node="55idZnEzOte" resolve="plusOp" />
               </node>