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 7b448b98..0289638d 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
@@ -2419,6 +2419,74 @@
         </node>
       </node>
     </node>
+    <node concept="2tJIrI" id="2Z9ItkdcaIO" role="jymVt" />
+    <node concept="2YIFZL" id="2Z9Itkdc8b_" role="jymVt">
+      <property role="TrG5h" value="RECOVER" />
+      <node concept="37vLTG" id="2Z9Itkdc8bA" role="3clF46">
+        <property role="TrG5h" value="error" />
+        <node concept="17QB3L" id="2Z9Itkdc8bB" role="1tU5fm" />
+      </node>
+      <node concept="3uibUv" id="2Z9Itkdc8bC" role="3clF45">
+        <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+      </node>
+      <node concept="3Tm1VV" id="2Z9Itkdc8bD" role="1B3o_S" />
+      <node concept="3clFbS" id="2Z9Itkdc8bE" role="3clF47">
+        <node concept="3clFbF" id="2Z9Itkdc8bF" role="3cqZAp">
+          <node concept="2ShNRf" id="2Z9Itkdc8bG" role="3clFbG">
+            <node concept="1pGfFk" id="2Z9Itkdc8bH" role="2ShVmc">
+              <ref role="37wK5l" node="2Z9ItkdbLJl" resolve="Result.RECOVERED" />
+              <node concept="2ShNRf" id="2Z9Itkdc8bI" role="37wK5m">
+                <node concept="1pGfFk" id="2Z9Itkdc8bJ" role="2ShVmc">
+                  <ref role="37wK5l" node="6i42QSs$lgE" resolve="Result.ReportedError" />
+                  <node concept="37vLTw" id="2Z9Itkdc8bK" role="37wK5m">
+                    <ref role="3cqZAo" node="2Z9Itkdc8bA" resolve="error" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2Z9Itkdc8bL" role="jymVt" />
+    <node concept="2YIFZL" id="2Z9Itkdc8bM" role="jymVt">
+      <property role="TrG5h" value="RECOVER" />
+      <node concept="37vLTG" id="2Z9Itkdc8bN" role="3clF46">
+        <property role="TrG5h" value="error" />
+        <node concept="17QB3L" id="2Z9Itkdc8bO" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="2Z9Itkdc8bP" role="3clF46">
+        <property role="TrG5h" value="cause" />
+        <node concept="3uibUv" id="2Z9Itkdc8bQ" role="1tU5fm">
+          <ref role="3uigEE" to="wyt6:~Throwable" resolve="Throwable" />
+        </node>
+      </node>
+      <node concept="3uibUv" id="2Z9Itkdc8bR" role="3clF45">
+        <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+      </node>
+      <node concept="3Tm1VV" id="2Z9Itkdc8bS" role="1B3o_S" />
+      <node concept="3clFbS" id="2Z9Itkdc8bT" role="3clF47">
+        <node concept="3clFbF" id="2Z9Itkdc8bU" role="3cqZAp">
+          <node concept="2ShNRf" id="2Z9Itkdc8bV" role="3clFbG">
+            <node concept="1pGfFk" id="2Z9Itkdc8bW" role="2ShVmc">
+              <ref role="37wK5l" node="2Z9ItkdbLJl" resolve="Result.RECOVERED" />
+              <node concept="2ShNRf" id="2Z9Itkdc8bX" role="37wK5m">
+                <node concept="1pGfFk" id="2Z9Itkdc8bY" role="2ShVmc">
+                  <ref role="37wK5l" node="6i42QSs$lgR" resolve="Result.ReportedError" />
+                  <node concept="37vLTw" id="2Z9Itkdc8bZ" role="37wK5m">
+                    <ref role="3cqZAo" node="2Z9Itkdc8bN" resolve="error" />
+                  </node>
+                  <node concept="37vLTw" id="2Z9Itkdc8c0" role="37wK5m">
+                    <ref role="3cqZAo" node="2Z9Itkdc8bP" resolve="cause" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2Z9Itkdc84V" role="jymVt" />
     <node concept="2tJIrI" id="6i42QSsr2_q" role="jymVt" />
     <node concept="Wx3nA" id="7Oc59RSEmdT" role="jymVt">
       <property role="TrG5h" value="OK_RESULT" />
@@ -2609,6 +2677,275 @@
         <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
       </node>
     </node>
+    <node concept="2tJIrI" id="2Z9ItkdbOqM" role="jymVt" />
+    <node concept="312cEu" id="2Z9ItkdbLJj" role="jymVt">
+      <property role="2bfB8j" value="false" />
+      <property role="TrG5h" value="RECOVERED" />
+      <node concept="2tJIrI" id="2Z9ItkdbLJk" role="jymVt" />
+      <node concept="3clFbW" id="2Z9ItkdbLJl" role="jymVt">
+        <node concept="37vLTG" id="2Z9ItkdbLJm" role="3clF46">
+          <property role="TrG5h" value="errors" />
+          <node concept="8X2XB" id="2Z9ItkdbLJn" role="1tU5fm">
+            <node concept="3uibUv" id="2Z9ItkdbLJo" role="8Xvag">
+              <ref role="3uigEE" node="6i42QSs$lgC" resolve="Result.ReportedError" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cqZAl" id="2Z9ItkdbLJp" role="3clF45" />
+        <node concept="3Tm6S6" id="2Z9ItkdbLJq" role="1B3o_S" />
+        <node concept="3clFbS" id="2Z9ItkdbLJr" role="3clF47">
+          <node concept="3clFbF" id="2Z9ItkdbLJs" role="3cqZAp">
+            <node concept="37vLTI" id="2Z9ItkdbLJt" role="3clFbG">
+              <node concept="2OqwBi" id="2Z9ItkdbLJu" role="37vLTJ">
+                <node concept="Xjq3P" id="2Z9ItkdbLJv" role="2Oq$k0" />
+                <node concept="2OwXpG" id="2Z9ItkdbLJw" role="2OqNvi">
+                  <ref role="2Oxat5" node="2Z9ItkdbLL1" resolve="errors" />
+                </node>
+              </node>
+              <node concept="2ShNRf" id="2Z9ItkdbLJx" role="37vLTx">
+                <node concept="1pGfFk" id="2Z9ItkdbLJy" role="2ShVmc">
+                  <ref role="37wK5l" to="33ny:~ArrayList.&lt;init&gt;(java.util.Collection)" resolve="ArrayList" />
+                  <node concept="2YIFZM" id="2Z9ItkdbLJz" role="37wK5m">
+                    <ref role="1Pybhc" to="33ny:~Arrays" resolve="Arrays" />
+                    <ref role="37wK5l" to="33ny:~Arrays.asList(java.lang.Object...)" resolve="asList" />
+                    <node concept="37vLTw" id="2Z9ItkdbLJ$" role="37wK5m">
+                      <ref role="3cqZAo" node="2Z9ItkdbLJm" resolve="errors" />
+                    </node>
+                  </node>
+                  <node concept="3uibUv" id="2Z9ItkdbLJ_" role="1pMfVU">
+                    <ref role="3uigEE" node="6i42QSs$lgC" resolve="Result.ReportedError" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="2Z9ItkdbLJA" role="jymVt" />
+      <node concept="3clFbW" id="2Z9ItkdbLJB" role="jymVt">
+        <node concept="37vLTG" id="2Z9ItkdbLJC" role="3clF46">
+          <property role="TrG5h" value="results" />
+          <node concept="8X2XB" id="2Z9ItkdbLJD" role="1tU5fm">
+            <node concept="3uibUv" id="2Z9ItkdbLJE" role="8Xvag">
+              <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cqZAl" id="2Z9ItkdbLJF" role="3clF45" />
+        <node concept="3Tm6S6" id="2Z9ItkdbLJG" role="1B3o_S" />
+        <node concept="3clFbS" id="2Z9ItkdbLJH" role="3clF47">
+          <node concept="3clFbF" id="2Z9ItkdbLJI" role="3cqZAp">
+            <node concept="37vLTI" id="2Z9ItkdbLJJ" role="3clFbG">
+              <node concept="2OqwBi" id="2Z9ItkdbLJK" role="37vLTJ">
+                <node concept="Xjq3P" id="2Z9ItkdbLJL" role="2Oq$k0" />
+                <node concept="2OwXpG" id="2Z9ItkdbLJM" role="2OqNvi">
+                  <ref role="2Oxat5" node="2Z9ItkdbLL1" resolve="errors" />
+                </node>
+              </node>
+              <node concept="2ShNRf" id="2Z9ItkdbLJN" role="37vLTx">
+                <node concept="1pGfFk" id="2Z9ItkdbLJO" role="2ShVmc">
+                  <ref role="37wK5l" to="33ny:~ArrayList.&lt;init&gt;()" resolve="ArrayList" />
+                  <node concept="3uibUv" id="2Z9ItkdbLJP" role="1pMfVU">
+                    <ref role="3uigEE" node="6i42QSs$lgC" resolve="Result.ReportedError" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1DcWWT" id="2Z9ItkdbLJQ" role="3cqZAp">
+            <node concept="3clFbS" id="2Z9ItkdbLJR" role="2LFqv$">
+              <node concept="3clFbF" id="2Z9ItkdbLJS" role="3cqZAp">
+                <node concept="2OqwBi" id="2Z9ItkdbLJT" role="3clFbG">
+                  <node concept="37vLTw" id="2Z9ItkdbLJU" role="2Oq$k0">
+                    <ref role="3cqZAo" node="2Z9ItkdbLL1" resolve="errors" />
+                  </node>
+                  <node concept="liA8E" id="2Z9ItkdbLJV" role="2OqNvi">
+                    <ref role="37wK5l" to="33ny:~List.addAll(java.util.Collection)" resolve="addAll" />
+                    <node concept="2OqwBi" id="2Z9ItkdbLJW" role="37wK5m">
+                      <node concept="37vLTw" id="2Z9ItkdbLJX" role="2Oq$k0">
+                        <ref role="3cqZAo" node="2Z9ItkdbLJZ" resolve="r" />
+                      </node>
+                      <node concept="liA8E" id="2Z9ItkdbLJY" role="2OqNvi">
+                        <ref role="37wK5l" node="7Oc59RSEnG3" resolve="errors" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3cpWsn" id="2Z9ItkdbLJZ" role="1Duv9x">
+              <property role="TrG5h" value="r" />
+              <node concept="3uibUv" id="2Z9ItkdbLK0" role="1tU5fm">
+                <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+              </node>
+            </node>
+            <node concept="37vLTw" id="2Z9ItkdbLK1" role="1DdaDG">
+              <ref role="3cqZAo" node="2Z9ItkdbLJC" resolve="results" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="2Z9ItkdbLK2" role="jymVt" />
+      <node concept="3clFb_" id="2Z9ItkdbLK3" role="jymVt">
+        <property role="TrG5h" value="isSuccessful" />
+        <property role="1EzhhJ" value="false" />
+        <node concept="10P_77" id="2Z9ItkdbLK4" role="3clF45" />
+        <node concept="3Tm1VV" id="2Z9ItkdbLK5" role="1B3o_S" />
+        <node concept="3clFbS" id="2Z9ItkdbLK6" role="3clF47">
+          <node concept="3clFbF" id="2Z9ItkdbLK7" role="3cqZAp">
+            <node concept="3clFbT" id="2Z9ItkdbLK8" role="3clFbG">
+              <property role="3clFbU" value="true" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="2Z9ItkdbLK9" role="jymVt" />
+      <node concept="3clFb_" id="2Z9ItkdbLKa" role="jymVt">
+        <property role="TrG5h" value="and" />
+        <property role="1EzhhJ" value="false" />
+        <node concept="37vLTG" id="2Z9ItkdbLKb" role="3clF46">
+          <property role="TrG5h" value="that" />
+          <node concept="3uibUv" id="2Z9ItkdbLKc" role="1tU5fm">
+            <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+          </node>
+        </node>
+        <node concept="3uibUv" id="2Z9ItkdbLKd" role="3clF45">
+          <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+        </node>
+        <node concept="3Tm1VV" id="2Z9ItkdbLKe" role="1B3o_S" />
+        <node concept="3clFbS" id="2Z9ItkdbLKf" role="3clF47">
+          <node concept="3clFbF" id="2Z9ItkdbLKg" role="3cqZAp">
+            <node concept="3K4zz7" id="2Z9ItkdbLKh" role="3clFbG">
+              <node concept="2OqwBi" id="2Z9ItkdbLKj" role="3K4Cdx">
+                <node concept="37vLTw" id="2Z9ItkdbLKk" role="2Oq$k0">
+                  <ref role="3cqZAo" node="2Z9ItkdbLKb" resolve="that" />
+                </node>
+                <node concept="liA8E" id="2Z9ItkdbLKl" role="2OqNvi">
+                  <ref role="37wK5l" node="7Oc59RS_hsj" resolve="isSuccessful" />
+                </node>
+              </node>
+              <node concept="2ShNRf" id="2Z9ItkdbLKm" role="3K4E3e">
+                <node concept="1pGfFk" id="2Z9ItkdbLKn" role="2ShVmc">
+                  <ref role="37wK5l" node="2Z9ItkdbLJB" resolve="Result.RECOVERED" />
+                  <node concept="Xjq3P" id="2Z9ItkdbLKo" role="37wK5m" />
+                  <node concept="37vLTw" id="2Z9ItkdbLKp" role="37wK5m">
+                    <ref role="3cqZAo" node="2Z9ItkdbLKb" resolve="that" />
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTw" id="2Z9ItkdcgZe" role="3K4GZi">
+                <ref role="3cqZAo" node="2Z9ItkdbLKb" resolve="that" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="2Z9ItkdbLKq" role="jymVt" />
+      <node concept="3clFb_" id="2Z9ItkdbLKr" role="jymVt">
+        <property role="TrG5h" value="errors" />
+        <property role="1EzhhJ" value="false" />
+        <node concept="3uibUv" id="2Z9ItkdbLKs" role="3clF45">
+          <ref role="3uigEE" to="33ny:~Collection" resolve="Collection" />
+          <node concept="3uibUv" id="2Z9ItkdbLKt" role="11_B2D">
+            <ref role="3uigEE" node="6i42QSs$lgC" resolve="Result.ReportedError" />
+          </node>
+        </node>
+        <node concept="3Tm1VV" id="2Z9ItkdbLKu" role="1B3o_S" />
+        <node concept="3clFbS" id="2Z9ItkdbLKv" role="3clF47">
+          <node concept="3clFbF" id="2Z9ItkdbLKw" role="3cqZAp">
+            <node concept="2YIFZM" id="2Z9ItkdbLKx" role="3clFbG">
+              <ref role="37wK5l" to="33ny:~Collections.unmodifiableCollection(java.util.Collection)" resolve="unmodifiableCollection" />
+              <ref role="1Pybhc" to="33ny:~Collections" resolve="Collections" />
+              <node concept="37vLTw" id="2Z9ItkdbLKy" role="37wK5m">
+                <ref role="3cqZAo" node="2Z9ItkdbLL1" resolve="errors" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="2Z9ItkdbLKz" role="jymVt" />
+      <node concept="3clFb_" id="2Z9ItkdbLK$" role="jymVt">
+        <property role="TrG5h" value="message" />
+        <property role="1EzhhJ" value="false" />
+        <node concept="17QB3L" id="2Z9ItkdbLK_" role="3clF45" />
+        <node concept="3Tm1VV" id="2Z9ItkdbLKA" role="1B3o_S" />
+        <node concept="3clFbS" id="2Z9ItkdbLKB" role="3clF47">
+          <node concept="3cpWs8" id="2Z9ItkdbLKC" role="3cqZAp">
+            <node concept="3cpWsn" id="2Z9ItkdbLKD" role="3cpWs9">
+              <property role="TrG5h" value="joiner" />
+              <node concept="3uibUv" id="2Z9ItkdbLKE" role="1tU5fm">
+                <ref role="3uigEE" to="33ny:~StringJoiner" resolve="StringJoiner" />
+              </node>
+              <node concept="2ShNRf" id="2Z9ItkdbLKF" role="33vP2m">
+                <node concept="1pGfFk" id="2Z9ItkdbLKG" role="2ShVmc">
+                  <ref role="37wK5l" to="33ny:~StringJoiner.&lt;init&gt;(java.lang.CharSequence)" resolve="StringJoiner" />
+                  <node concept="Xl_RD" id="2Z9ItkdbLKH" role="37wK5m">
+                    <property role="Xl_RC" value="\n" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1DcWWT" id="2Z9ItkdbLKI" role="3cqZAp">
+            <node concept="3clFbS" id="2Z9ItkdbLKJ" role="2LFqv$">
+              <node concept="3clFbF" id="2Z9ItkdbLKK" role="3cqZAp">
+                <node concept="2OqwBi" id="2Z9ItkdbLKL" role="3clFbG">
+                  <node concept="37vLTw" id="2Z9ItkdbLKM" role="2Oq$k0">
+                    <ref role="3cqZAo" node="2Z9ItkdbLKD" resolve="joiner" />
+                  </node>
+                  <node concept="liA8E" id="2Z9ItkdbLKN" role="2OqNvi">
+                    <ref role="37wK5l" to="33ny:~StringJoiner.add(java.lang.CharSequence)" resolve="add" />
+                    <node concept="2OqwBi" id="2Z9ItkdbLKO" role="37wK5m">
+                      <node concept="37vLTw" id="2Z9ItkdbLKP" role="2Oq$k0">
+                        <ref role="3cqZAo" node="2Z9ItkdbLKR" resolve="err" />
+                      </node>
+                      <node concept="liA8E" id="2Z9ItkdbLKQ" role="2OqNvi">
+                        <ref role="37wK5l" node="6i42QSs$lhj" resolve="toString" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3cpWsn" id="2Z9ItkdbLKR" role="1Duv9x">
+              <property role="TrG5h" value="err" />
+              <node concept="3uibUv" id="2Z9ItkdbLKS" role="1tU5fm">
+                <ref role="3uigEE" node="6i42QSs$lgC" resolve="Result.ReportedError" />
+              </node>
+            </node>
+            <node concept="37vLTw" id="2Z9ItkdbLKT" role="1DdaDG">
+              <ref role="3cqZAo" node="2Z9ItkdbLL1" resolve="errors" />
+            </node>
+          </node>
+          <node concept="3clFbF" id="2Z9ItkdbLKU" role="3cqZAp">
+            <node concept="2OqwBi" id="2Z9ItkdbLKV" role="3clFbG">
+              <node concept="37vLTw" id="2Z9ItkdbLKW" role="2Oq$k0">
+                <ref role="3cqZAo" node="2Z9ItkdbLKD" resolve="joiner" />
+              </node>
+              <node concept="liA8E" id="2Z9ItkdbLKX" role="2OqNvi">
+                <ref role="37wK5l" to="33ny:~StringJoiner.toString()" resolve="toString" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="2Z9ItkdbLKY" role="jymVt" />
+      <node concept="3Tm6S6" id="2Z9ItkdbLKZ" role="1B3o_S" />
+      <node concept="3uibUv" id="2Z9ItkdbLL0" role="1zkMxy">
+        <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+      </node>
+      <node concept="312cEg" id="2Z9ItkdbLL1" role="jymVt">
+        <property role="TrG5h" value="errors" />
+        <node concept="3Tm6S6" id="2Z9ItkdbLL2" role="1B3o_S" />
+        <node concept="3uibUv" id="2Z9ItkdbLL3" role="1tU5fm">
+          <ref role="3uigEE" to="33ny:~List" resolve="List" />
+          <node concept="3uibUv" id="2Z9ItkdbLL4" role="11_B2D">
+            <ref role="3uigEE" node="6i42QSs$lgC" resolve="Result.ReportedError" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2Z9ItkdbKaB" role="jymVt" />
     <node concept="2tJIrI" id="7Oc59RSJnVk" role="jymVt" />
     <node concept="312cEu" id="7Oc59RSEjfX" role="jymVt">
       <property role="2bfB8j" value="false" />
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps
index a79f387c..621fbb57 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps
@@ -4701,105 +4701,131 @@
       </node>
       <node concept="3Tm1VV" id="cmlg9O$qY1" role="1B3o_S" />
       <node concept="3clFbS" id="7nkyKX7ncaR" role="3clF47">
-        <node concept="SfApY" id="7nkyKX7nl0O" role="3cqZAp">
-          <node concept="3clFbS" id="7nkyKX7nl0Q" role="SfCbr">
-            <node concept="1DcWWT" id="4MqhgXUSKVL" role="3cqZAp">
-              <node concept="3clFbS" id="4MqhgXUSKVO" role="2LFqv$">
-                <node concept="3clFbF" id="4MqhgXUSLTN" role="3cqZAp">
-                  <node concept="2OqwBi" id="4MqhgXUSMc_" role="3clFbG">
-                    <node concept="37vLTw" id="4MqhgXUSLTM" role="2Oq$k0">
-                      <ref role="3cqZAo" node="1CcQBrPh8x2" resolve="programBuilder" />
-                    </node>
-                    <node concept="liA8E" id="4MqhgXUSMpw" role="2OqNvi">
-                      <ref role="37wK5l" node="4MqhgXUQoOL" resolve="addRulesList" />
-                      <node concept="37vLTw" id="6tPOoeTbvfq" role="37wK5m">
-                        <ref role="3cqZAo" node="4MqhgXUSKVP" resolve="handler" />
+        <node concept="3cpWs8" id="2Z9Itkddll5" role="3cqZAp">
+          <node concept="3cpWsn" id="2Z9Itkddll6" role="3cpWs9">
+            <property role="TrG5h" value="res" />
+            <node concept="3uibUv" id="2Z9Itkddll7" role="1tU5fm">
+              <ref role="3uigEE" to="hano:7Oc59RSEjdb" resolve="Result" />
+            </node>
+            <node concept="2YIFZM" id="2Z9Itkddqk0" role="33vP2m">
+              <ref role="37wK5l" to="hano:7Oc59RSEjeq" resolve="OK" />
+              <ref role="1Pybhc" to="hano:7Oc59RSEjdb" resolve="Result" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2Z9Itkdelyf" role="3cqZAp" />
+        <node concept="1DcWWT" id="4MqhgXUSKVL" role="3cqZAp">
+          <node concept="3clFbS" id="4MqhgXUSKVO" role="2LFqv$">
+            <node concept="3clFbF" id="2Z9ItkddN6w" role="3cqZAp">
+              <node concept="37vLTI" id="2Z9ItkddNs6" role="3clFbG">
+                <node concept="2OqwBi" id="2Z9ItkddNMX" role="37vLTx">
+                  <node concept="37vLTw" id="2Z9ItkddNGc" role="2Oq$k0">
+                    <ref role="3cqZAo" node="2Z9Itkddll6" resolve="res" />
+                  </node>
+                  <node concept="liA8E" id="2Z9ItkddNZZ" role="2OqNvi">
+                    <ref role="37wK5l" to="hano:7nkyKX7v7xb" resolve="and" />
+                    <node concept="2OqwBi" id="4MqhgXUSMc_" role="37wK5m">
+                      <node concept="37vLTw" id="4MqhgXUSLTM" role="2Oq$k0">
+                        <ref role="3cqZAo" node="1CcQBrPh8x2" resolve="programBuilder" />
+                      </node>
+                      <node concept="liA8E" id="4MqhgXUSMpw" role="2OqNvi">
+                        <ref role="37wK5l" node="4MqhgXUQoOL" resolve="addRulesList" />
+                        <node concept="37vLTw" id="6tPOoeTbvfq" role="37wK5m">
+                          <ref role="3cqZAo" node="4MqhgXUSKVP" resolve="handler" />
+                        </node>
                       </node>
                     </node>
                   </node>
                 </node>
-              </node>
-              <node concept="3cpWsn" id="4MqhgXUSKVP" role="1Duv9x">
-                <property role="TrG5h" value="handler" />
-                <node concept="3uibUv" id="4MqhgXUSKVT" role="1tU5fm">
-                  <ref role="3uigEE" to="av0y:~RulesList" resolve="RulesList" />
-                </node>
-              </node>
-              <node concept="2OqwBi" id="6tPOoeTbtQC" role="1DdaDG">
-                <node concept="37vLTw" id="6tPOoeTbtQD" role="2Oq$k0">
-                  <ref role="3cqZAo" node="6tPOoeT4XhE" resolve="rulesListTable" />
-                </node>
-                <node concept="liA8E" id="6tPOoeTbtQE" role="2OqNvi">
-                  <ref role="37wK5l" node="7DvO2M9UagU" resolve="allLists" />
+                <node concept="37vLTw" id="2Z9ItkddN6u" role="37vLTJ">
+                  <ref role="3cqZAo" node="2Z9Itkddll6" resolve="res" />
                 </node>
               </node>
             </node>
-            <node concept="3SKdUt" id="5yr01fE2ejp" role="3cqZAp">
-              <node concept="1PaTwC" id="5yr01fE2ejq" role="3ndbpf">
-                <node concept="3oM_SD" id="5yr01fE2ejs" role="1PaTwD">
-                  <property role="3oM_SC" value="FIXME" />
-                </node>
-                <node concept="3oM_SD" id="5yr01fE2eBk" role="1PaTwD">
-                  <property role="3oM_SC" value="provide" />
-                </node>
-                <node concept="3oM_SD" id="5yr01fE2eFr" role="1PaTwD">
-                  <property role="3oM_SC" value="the" />
-                </node>
-                <node concept="3oM_SD" id="5yr01fE2eHx" role="1PaTwD">
-                  <property role="3oM_SC" value="session" />
+          </node>
+          <node concept="3cpWsn" id="4MqhgXUSKVP" role="1Duv9x">
+            <property role="TrG5h" value="handler" />
+            <node concept="3uibUv" id="4MqhgXUSKVT" role="1tU5fm">
+              <ref role="3uigEE" to="av0y:~RulesList" resolve="RulesList" />
+            </node>
+          </node>
+          <node concept="2OqwBi" id="6tPOoeTbtQC" role="1DdaDG">
+            <node concept="37vLTw" id="6tPOoeTbtQD" role="2Oq$k0">
+              <ref role="3cqZAo" node="6tPOoeT4XhE" resolve="rulesListTable" />
+            </node>
+            <node concept="liA8E" id="6tPOoeTbtQE" role="2OqNvi">
+              <ref role="37wK5l" node="7DvO2M9UagU" resolve="allLists" />
+            </node>
+          </node>
+        </node>
+        <node concept="3SKdUt" id="5yr01fE2ejp" role="3cqZAp">
+          <node concept="1PaTwC" id="5yr01fE2ejq" role="3ndbpf">
+            <node concept="3oM_SD" id="5yr01fE2ejs" role="1PaTwD">
+              <property role="3oM_SC" value="FIXME" />
+            </node>
+            <node concept="3oM_SD" id="5yr01fE2eBk" role="1PaTwD">
+              <property role="3oM_SC" value="provide" />
+            </node>
+            <node concept="3oM_SD" id="5yr01fE2eFr" role="1PaTwD">
+              <property role="3oM_SC" value="the" />
+            </node>
+            <node concept="3oM_SD" id="5yr01fE2eHx" role="1PaTwD">
+              <property role="3oM_SC" value="session" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="6i42QSskaRB" role="3cqZAp">
+          <node concept="3cpWsn" id="6i42QSskaRC" role="3cpWs9">
+            <property role="TrG5h" value="mainBuilder" />
+            <node concept="3uibUv" id="6i42QSskaR_" role="1tU5fm">
+              <ref role="3uigEE" to="i348:7eGEHDlc$ap" resolve="RuleBuilder" />
+            </node>
+            <node concept="2ShNRf" id="6i42QSskaRD" role="33vP2m">
+              <node concept="1pGfFk" id="6i42QSskaRE" role="2ShVmc">
+                <ref role="37wK5l" to="i348:5yr01fE1Jnt" resolve="RuleBuilder" />
+                <node concept="10Nm6u" id="5yr01fE2e5j" role="37wK5m" />
+                <node concept="Xl_RD" id="6i42QSskaRF" role="37wK5m">
+                  <property role="Xl_RC" value="finish" />
                 </node>
               </node>
             </node>
-            <node concept="3cpWs8" id="6i42QSskaRB" role="3cqZAp">
-              <node concept="3cpWsn" id="6i42QSskaRC" role="3cpWs9">
-                <property role="TrG5h" value="mainBuilder" />
-                <node concept="3uibUv" id="6i42QSskaR_" role="1tU5fm">
-                  <ref role="3uigEE" to="i348:7eGEHDlc$ap" resolve="RuleBuilder" />
-                </node>
-                <node concept="2ShNRf" id="6i42QSskaRD" role="33vP2m">
-                  <node concept="1pGfFk" id="6i42QSskaRE" role="2ShVmc">
-                    <ref role="37wK5l" to="i348:5yr01fE1Jnt" resolve="RuleBuilder" />
-                    <node concept="10Nm6u" id="5yr01fE2e5j" role="37wK5m" />
-                    <node concept="Xl_RD" id="6i42QSskaRF" role="37wK5m">
-                      <property role="Xl_RC" value="finish" />
-                    </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="6i42QSskf4h" role="3cqZAp">
+          <node concept="2OqwBi" id="6i42QSskfxe" role="3clFbG">
+            <node concept="37vLTw" id="6i42QSskf4f" role="2Oq$k0">
+              <ref role="3cqZAo" node="6i42QSskaRC" resolve="mainBuilder" />
+            </node>
+            <node concept="liA8E" id="6i42QSskfKn" role="2OqNvi">
+              <ref role="37wK5l" to="i348:7eGEHDlc$bq" resolve="appendHeadReplaced" />
+              <node concept="37vLTw" id="6i42QSskgaA" role="37wK5m">
+                <ref role="3cqZAo" node="6i42QSsj_y2" resolve="mainConstraint" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="6i42QSskgAG" role="3cqZAp">
+          <node concept="2OqwBi" id="6i42QSskgZE" role="3clFbG">
+            <node concept="37vLTw" id="6i42QSskgAE" role="2Oq$k0">
+              <ref role="3cqZAo" node="6i42QSskaRC" resolve="mainBuilder" />
+            </node>
+            <node concept="liA8E" id="6i42QSskhfn" role="2OqNvi">
+              <ref role="37wK5l" to="i348:7eGEHDlc$aw" resolve="appendBody" />
+              <node concept="2ShNRf" id="6i42QSskpry" role="37wK5m">
+                <node concept="1pGfFk" id="6i42QSskq5F" role="2ShVmc">
+                  <ref role="37wK5l" to="cxk7:4xBopTzrPWl" resolve="AssertPredicate" />
+                  <node concept="10M0yZ" id="6i42QSskqiG" role="37wK5m">
+                    <ref role="1PxDUh" to="wyt6:~Boolean" resolve="Boolean" />
+                    <ref role="3cqZAo" to="wyt6:~Boolean.TRUE" resolve="TRUE" />
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3clFbF" id="6i42QSskf4h" role="3cqZAp">
-              <node concept="2OqwBi" id="6i42QSskfxe" role="3clFbG">
-                <node concept="37vLTw" id="6i42QSskf4f" role="2Oq$k0">
-                  <ref role="3cqZAo" node="6i42QSskaRC" resolve="mainBuilder" />
-                </node>
-                <node concept="liA8E" id="6i42QSskfKn" role="2OqNvi">
-                  <ref role="37wK5l" to="i348:7eGEHDlc$bq" resolve="appendHeadReplaced" />
-                  <node concept="37vLTw" id="6i42QSskgaA" role="37wK5m">
-                    <ref role="3cqZAo" node="6i42QSsj_y2" resolve="mainConstraint" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbF" id="6i42QSskgAG" role="3cqZAp">
-              <node concept="2OqwBi" id="6i42QSskgZE" role="3clFbG">
-                <node concept="37vLTw" id="6i42QSskgAE" role="2Oq$k0">
-                  <ref role="3cqZAo" node="6i42QSskaRC" resolve="mainBuilder" />
-                </node>
-                <node concept="liA8E" id="6i42QSskhfn" role="2OqNvi">
-                  <ref role="37wK5l" to="i348:7eGEHDlc$aw" resolve="appendBody" />
-                  <node concept="2ShNRf" id="6i42QSskpry" role="37wK5m">
-                    <node concept="1pGfFk" id="6i42QSskq5F" role="2ShVmc">
-                      <ref role="37wK5l" to="cxk7:4xBopTzrPWl" resolve="AssertPredicate" />
-                      <node concept="10M0yZ" id="6i42QSskqiG" role="37wK5m">
-                        <ref role="1PxDUh" to="wyt6:~Boolean" resolve="Boolean" />
-                        <ref role="3cqZAo" to="wyt6:~Boolean.TRUE" resolve="TRUE" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbH" id="4MqhgXUQmg3" role="3cqZAp" />
+          </node>
+        </node>
+        <node concept="3clFbH" id="4MqhgXUQmg3" role="3cqZAp" />
+        <node concept="SfApY" id="2Z9ItkdeMdx" role="3cqZAp">
+          <node concept="3clFbS" id="2Z9ItkdeMdz" role="SfCbr">
             <node concept="3cpWs8" id="4MqhgXUQinu" role="3cqZAp">
               <node concept="3cpWsn" id="4MqhgXUQinv" role="3cpWs9">
                 <property role="TrG5h" value="mainRulesListBuilder" />
@@ -4851,60 +4877,83 @@
                 </node>
               </node>
             </node>
-            <node concept="3clFbH" id="4MqhgXUSRQp" role="3cqZAp" />
-            <node concept="3clFbF" id="4MqhgXUSNRx" role="3cqZAp">
-              <node concept="2OqwBi" id="4MqhgXUSOsg" role="3clFbG">
-                <node concept="37vLTw" id="4MqhgXUSNRv" role="2Oq$k0">
-                  <ref role="3cqZAo" node="1CcQBrPh8x2" resolve="programBuilder" />
-                </node>
-                <node concept="liA8E" id="4MqhgXUSOHT" role="2OqNvi">
-                  <ref role="37wK5l" node="4MqhgXUQoOL" resolve="addRulesList" />
-                  <node concept="2OqwBi" id="4MqhgXUSPwA" role="37wK5m">
-                    <node concept="37vLTw" id="4MqhgXUSPaX" role="2Oq$k0">
-                      <ref role="3cqZAo" node="4MqhgXUQinv" resolve="mainRulesListBuilder" />
-                    </node>
-                    <node concept="liA8E" id="cmlg9NhrJf" role="2OqNvi">
-                      <ref role="37wK5l" node="4MqhgXUNDLG" resolve="toRulesList" />
+            <node concept="3clFbF" id="2Z9ItkddSpy" role="3cqZAp">
+              <node concept="37vLTI" id="2Z9ItkddT2f" role="3clFbG">
+                <node concept="2OqwBi" id="2Z9ItkddTdd" role="37vLTx">
+                  <node concept="37vLTw" id="2Z9ItkddT7G" role="2Oq$k0">
+                    <ref role="3cqZAo" node="2Z9Itkddll6" resolve="res" />
+                  </node>
+                  <node concept="liA8E" id="2Z9ItkddTgR" role="2OqNvi">
+                    <ref role="37wK5l" to="hano:7nkyKX7v7xb" resolve="and" />
+                    <node concept="2OqwBi" id="4MqhgXUSOsg" role="37wK5m">
+                      <node concept="37vLTw" id="4MqhgXUSNRv" role="2Oq$k0">
+                        <ref role="3cqZAo" node="1CcQBrPh8x2" resolve="programBuilder" />
+                      </node>
+                      <node concept="liA8E" id="4MqhgXUSOHT" role="2OqNvi">
+                        <ref role="37wK5l" node="4MqhgXUQoOL" resolve="addRulesList" />
+                        <node concept="2OqwBi" id="4MqhgXUSPwA" role="37wK5m">
+                          <node concept="37vLTw" id="4MqhgXUSPaX" role="2Oq$k0">
+                            <ref role="3cqZAo" node="4MqhgXUQinv" resolve="mainRulesListBuilder" />
+                          </node>
+                          <node concept="liA8E" id="cmlg9NhrJf" role="2OqNvi">
+                            <ref role="37wK5l" node="4MqhgXUNDLG" resolve="toRulesList" />
+                          </node>
+                        </node>
+                      </node>
                     </node>
                   </node>
                 </node>
+                <node concept="37vLTw" id="2Z9ItkddSpw" role="37vLTJ">
+                  <ref role="3cqZAo" node="2Z9Itkddll6" resolve="res" />
+                </node>
               </node>
             </node>
-            <node concept="3clFbH" id="4MqhgXUSQVJ" role="3cqZAp" />
           </node>
-          <node concept="TDmWw" id="7nkyKX7nl0R" role="TEbGg">
-            <node concept="3cpWsn" id="7nkyKX7nl0T" role="TDEfY">
+          <node concept="TDmWw" id="2Z9ItkdeMd$" role="TEbGg">
+            <node concept="3cpWsn" id="2Z9ItkdeMdA" role="TDEfY">
               <property role="TrG5h" value="e" />
-              <node concept="3uibUv" id="7nkyKX7nmdZ" role="1tU5fm">
+              <node concept="3uibUv" id="2Z9ItkdeTZR" role="1tU5fm">
                 <ref role="3uigEE" to="av0y:~InvalidRuleException" resolve="InvalidRuleException" />
               </node>
             </node>
-            <node concept="3clFbS" id="7nkyKX7nl0X" role="TDEfX">
-              <node concept="3cpWs6" id="6i42QSsp0NP" role="3cqZAp">
-                <node concept="2YIFZM" id="6i42QSsp4Ua" role="3cqZAk">
-                  <ref role="1Pybhc" to="hano:7Oc59RSEjdb" resolve="Result" />
-                  <ref role="37wK5l" to="hano:6i42QSsr2_r" resolve="FAIL" />
-                  <node concept="2OqwBi" id="6i42QSsp6Fk" role="37wK5m">
-                    <node concept="37vLTw" id="6i42QSsp6Fl" role="2Oq$k0">
-                      <ref role="3cqZAo" node="7nkyKX7nl0T" resolve="e" />
+            <node concept="3clFbS" id="2Z9ItkdeMdE" role="TDEfX">
+              <node concept="3clFbF" id="2Z9ItkdeTOA" role="3cqZAp">
+                <node concept="37vLTI" id="2Z9Itkdf2r_" role="3clFbG">
+                  <node concept="2OqwBi" id="2Z9Itkdf2VT" role="37vLTx">
+                    <node concept="37vLTw" id="2Z9Itkdf2FF" role="2Oq$k0">
+                      <ref role="3cqZAo" node="2Z9Itkddll6" resolve="res" />
                     </node>
-                    <node concept="liA8E" id="6i42QSsp6Fm" role="2OqNvi">
-                      <ref role="37wK5l" to="wyt6:~Throwable.getMessage()" resolve="getMessage" />
+                    <node concept="liA8E" id="2Z9Itkdf37I" role="2OqNvi">
+                      <ref role="37wK5l" to="hano:7nkyKX7v7xb" resolve="and" />
+                      <node concept="2YIFZM" id="2Z9Itkdf3xJ" role="37wK5m">
+                        <ref role="1Pybhc" to="hano:7Oc59RSEjdb" resolve="Result" />
+                        <ref role="37wK5l" to="hano:6i42QSsr2_r" resolve="FAIL" />
+                        <node concept="2OqwBi" id="2Z9Itkdf42g" role="37wK5m">
+                          <node concept="37vLTw" id="2Z9Itkdf3NS" role="2Oq$k0">
+                            <ref role="3cqZAo" node="2Z9ItkdeMdA" resolve="e" />
+                          </node>
+                          <node concept="liA8E" id="2Z9Itkdf4q4" role="2OqNvi">
+                            <ref role="37wK5l" to="wyt6:~Throwable.getMessage()" resolve="getMessage" />
+                          </node>
+                        </node>
+                        <node concept="37vLTw" id="2Z9Itkdf4Q0" role="37wK5m">
+                          <ref role="3cqZAo" node="2Z9ItkdeMdA" resolve="e" />
+                        </node>
+                      </node>
                     </node>
                   </node>
-                  <node concept="37vLTw" id="5zqVskM9lCB" role="37wK5m">
-                    <ref role="3cqZAo" node="7nkyKX7nl0T" resolve="e" />
+                  <node concept="37vLTw" id="2Z9ItkdeTO_" role="37vLTJ">
+                    <ref role="3cqZAo" node="2Z9Itkddll6" resolve="res" />
                   </node>
                 </node>
               </node>
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="7nkyKX7nrdm" role="3cqZAp" />
+        <node concept="3clFbH" id="4MqhgXUSQVJ" role="3cqZAp" />
         <node concept="3cpWs6" id="7nkyKX7nru7" role="3cqZAp">
-          <node concept="2YIFZM" id="6i42QSspfHj" role="3cqZAk">
-            <ref role="1Pybhc" to="hano:7Oc59RSEjdb" resolve="Result" />
-            <ref role="37wK5l" to="hano:7Oc59RSEjeq" resolve="OK" />
+          <node concept="37vLTw" id="2Z9ItkddEBa" role="3cqZAk">
+            <ref role="3cqZAo" node="2Z9Itkddll6" resolve="res" />
           </node>
         </node>
       </node>
@@ -10216,18 +10265,243 @@
       <property role="TrG5h" value="addRulesList" />
       <property role="DiZV1" value="true" />
       <node concept="37vLTG" id="4MqhgXUQrZn" role="3clF46">
-        <property role="TrG5h" value="handler" />
+        <property role="TrG5h" value="rulesList" />
         <node concept="3uibUv" id="4MqhgXUQsf0" role="1tU5fm">
           <ref role="3uigEE" to="av0y:~RulesList" resolve="RulesList" />
         </node>
       </node>
-      <node concept="3cqZAl" id="4MqhgXUQoON" role="3clF45" />
+      <node concept="3uibUv" id="2Z9ItkdcX5u" role="3clF45">
+        <ref role="3uigEE" to="hano:7Oc59RSEjdb" resolve="Result" />
+      </node>
       <node concept="3Tm1VV" id="4MqhgXUQoOO" role="1B3o_S" />
       <node concept="3clFbS" id="4MqhgXUQoOP" role="3clF47">
-        <node concept="SfApY" id="4MqhgXUQtfM" role="3cqZAp">
-          <node concept="3clFbS" id="4MqhgXUQtfO" role="SfCbr">
-            <node concept="1DcWWT" id="4MqhgXUQtEm" role="3cqZAp">
-              <node concept="3clFbS" id="4MqhgXUQtEp" role="2LFqv$">
+        <node concept="3clFbH" id="2Z9Itkdbdci" role="3cqZAp" />
+        <node concept="3cpWs8" id="2Z9ItkdcHIm" role="3cqZAp">
+          <node concept="3cpWsn" id="2Z9ItkdcHIn" role="3cpWs9">
+            <property role="TrG5h" value="res" />
+            <node concept="3uibUv" id="2Z9ItkdcHIo" role="1tU5fm">
+              <ref role="3uigEE" to="hano:7Oc59RSEjdb" resolve="Result" />
+            </node>
+            <node concept="2YIFZM" id="2Z9ItkdcHYV" role="33vP2m">
+              <ref role="37wK5l" to="hano:7Oc59RSEjeq" resolve="OK" />
+              <ref role="1Pybhc" to="hano:7Oc59RSEjdb" resolve="Result" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2Z9Itkdba04" role="3cqZAp">
+          <node concept="3cpWsn" id="2Z9Itkdba07" role="3cpWs9">
+            <property role="TrG5h" value="validRules" />
+            <node concept="_YKpA" id="2Z9Itkdba00" role="1tU5fm">
+              <node concept="3uibUv" id="2Z9Itkdbacy" role="_ZDj9">
+                <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="2Z9Itkdbayv" role="33vP2m">
+              <node concept="Tc6Ow" id="2Z9ItkdbaU4" role="2ShVmc">
+                <node concept="3uibUv" id="2Z9Itkdbb_x" role="HW$YZ">
+                  <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2Z9Itkdbflb" role="3cqZAp" />
+        <node concept="1DcWWT" id="4MqhgXUQtEm" role="3cqZAp">
+          <node concept="3clFbS" id="4MqhgXUQtEp" role="2LFqv$">
+            <node concept="SfApY" id="2Z9ItkdaP90" role="3cqZAp">
+              <node concept="3clFbS" id="2Z9ItkdaP92" role="SfCbr">
+                <node concept="3clFbF" id="2Z9ItkdcTdA" role="3cqZAp">
+                  <node concept="1rXfSq" id="2Z9ItkdaMQh" role="3clFbG">
+                    <ref role="37wK5l" node="2Z9ItkdaJ0K" resolve="introduceRule" />
+                    <node concept="37vLTw" id="2Z9ItkdaMXr" role="37wK5m">
+                      <ref role="3cqZAo" node="4MqhgXUQtEq" resolve="rule" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="2Z9Itkdbqx4" role="3cqZAp">
+                  <node concept="2OqwBi" id="2Z9Itkdbrcg" role="3clFbG">
+                    <node concept="37vLTw" id="2Z9Itkdbqx2" role="2Oq$k0">
+                      <ref role="3cqZAo" node="2Z9Itkdba07" resolve="validRules" />
+                    </node>
+                    <node concept="TSZUe" id="2Z9ItkdbrMP" role="2OqNvi">
+                      <node concept="37vLTw" id="2Z9ItkdbrSX" role="25WWJ7">
+                        <ref role="3cqZAo" node="4MqhgXUQtEq" resolve="rule" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbH" id="2Z9ItkdaP91" role="3cqZAp" />
+              </node>
+              <node concept="TDmWw" id="2Z9ItkdaP93" role="TEbGg">
+                <node concept="3cpWsn" id="2Z9ItkdaP95" role="TDEfY">
+                  <property role="TrG5h" value="e" />
+                  <node concept="3uibUv" id="2Z9ItkdaPdz" role="1tU5fm">
+                    <ref role="3uigEE" to="av0y:~InvalidRuleException" resolve="InvalidRuleException" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="2Z9ItkdaP99" role="TDEfX">
+                  <node concept="3SKdUt" id="2Z9Itkdk4Fb" role="3cqZAp">
+                    <node concept="1PaTwC" id="2Z9Itkdk4Fc" role="3ndbpf">
+                      <node concept="3oM_SD" id="2Z9Itkdk69I" role="1PaTwD">
+                        <property role="3oM_SC" value="errors" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk6fo" role="1PaTwD">
+                        <property role="3oM_SC" value="that" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk6ix" role="1PaTwD">
+                        <property role="3oM_SC" value="can" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk6kr" role="1PaTwD">
+                        <property role="3oM_SC" value="arise" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk6pE" role="1PaTwD">
+                        <property role="3oM_SC" value="here" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk6rA" role="1PaTwD">
+                        <property role="3oM_SC" value="seem" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk6vh" role="1PaTwD">
+                        <property role="3oM_SC" value="not" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk6wN" role="1PaTwD">
+                        <property role="3oM_SC" value="fatal," />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk6$Q" role="1PaTwD">
+                        <property role="3oM_SC" value="so" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk6AS" role="1PaTwD">
+                        <property role="3oM_SC" value="any" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk4LO" role="1PaTwD">
+                        <property role="3oM_SC" value="rule" />
+                      </node>
+                    </node>
+                    <node concept="1PaTwC" id="2Z9Itkdk6CU" role="3ndbpf">
+                      <node concept="3oM_SD" id="2Z9Itkdk6H3" role="1PaTwD">
+                        <property role="3oM_SC" value="which" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk4Ph" role="1PaTwD">
+                        <property role="3oM_SC" value="failed" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk4Sh" role="1PaTwD">
+                        <property role="3oM_SC" value="to" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk6N$" role="1PaTwD">
+                        <property role="3oM_SC" value="generate" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk4Za" role="1PaTwD">
+                        <property role="3oM_SC" value="is" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk52d" role="1PaTwD">
+                        <property role="3oM_SC" value="considered" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk5bK" role="1PaTwD">
+                        <property role="3oM_SC" value="safe" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk5da" role="1PaTwD">
+                        <property role="3oM_SC" value="to" />
+                      </node>
+                      <node concept="3oM_SD" id="2Z9Itkdk5e_" role="1PaTwD">
+                        <property role="3oM_SC" value="drop" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbF" id="2Z9ItkdcTto" role="3cqZAp">
+                    <node concept="37vLTI" id="2Z9ItkdcTFX" role="3clFbG">
+                      <node concept="2OqwBi" id="2Z9ItkdcTLI" role="37vLTx">
+                        <node concept="37vLTw" id="2Z9ItkdcTL6" role="2Oq$k0">
+                          <ref role="3cqZAo" node="2Z9ItkdcHIn" resolve="res" />
+                        </node>
+                        <node concept="liA8E" id="2Z9ItkdcTTy" role="2OqNvi">
+                          <ref role="37wK5l" to="hano:7nkyKX7v7xb" resolve="and" />
+                          <node concept="2YIFZM" id="2Z9ItkdcU35" role="37wK5m">
+                            <ref role="1Pybhc" to="hano:7Oc59RSEjdb" resolve="Result" />
+                            <ref role="37wK5l" to="hano:2Z9Itkdc8bM" resolve="RECOVER" />
+                            <node concept="Xl_RD" id="2Z9ItkdcU8f" role="37wK5m">
+                              <property role="Xl_RC" value="drop invalid rule" />
+                            </node>
+                            <node concept="37vLTw" id="2Z9ItkdcUuG" role="37wK5m">
+                              <ref role="3cqZAo" node="2Z9ItkdaP95" resolve="e" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="37vLTw" id="2Z9ItkdcTtn" role="37vLTJ">
+                        <ref role="3cqZAo" node="2Z9ItkdcHIn" resolve="res" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3cpWsn" id="4MqhgXUQtEq" role="1Duv9x">
+            <property role="TrG5h" value="rule" />
+            <node concept="3uibUv" id="4MqhgXUQtEu" role="1tU5fm">
+              <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
+            </node>
+          </node>
+          <node concept="2OqwBi" id="4MqhgXUQtEv" role="1DdaDG">
+            <node concept="37vLTw" id="4MqhgXUQtEw" role="2Oq$k0">
+              <ref role="3cqZAo" node="4MqhgXUQrZn" resolve="rulesList" />
+            </node>
+            <node concept="liA8E" id="4MqhgXUQtEx" role="2OqNvi">
+              <ref role="37wK5l" to="av0y:~RulesList.rules()" resolve="rules" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2Z9Itkdblok" role="3cqZAp" />
+        <node concept="3cpWs8" id="2Z9Itkdbsb1" role="3cqZAp">
+          <node concept="3cpWsn" id="2Z9Itkdbsb2" role="3cpWs9">
+            <property role="TrG5h" value="introducedRules" />
+            <node concept="3uibUv" id="2Z9Itkdbsb3" role="1tU5fm">
+              <ref role="3uigEE" to="av0y:~RulesList" resolve="RulesList" />
+            </node>
+            <node concept="2ShNRf" id="2Z9ItkdbsEW" role="33vP2m">
+              <node concept="1pGfFk" id="2Z9Itkdbt2w" role="2ShVmc">
+                <ref role="37wK5l" node="4MqhgXUM$CT" resolve="RulesListTable.RulesListImpl" />
+                <node concept="2OqwBi" id="2Z9Itkdbtcw" role="37wK5m">
+                  <node concept="37vLTw" id="2Z9Itkdbt6J" role="2Oq$k0">
+                    <ref role="3cqZAo" node="4MqhgXUQrZn" resolve="rulesList" />
+                  </node>
+                  <node concept="liA8E" id="2Z9ItkdbtkK" role="2OqNvi">
+                    <ref role="37wK5l" to="av0y:~RulesList.name()" resolve="name" />
+                  </node>
+                </node>
+                <node concept="37vLTw" id="2Z9Itkdbtr2" role="37wK5m">
+                  <ref role="3cqZAo" node="2Z9Itkdba07" resolve="validRules" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4MqhgXUQuKx" role="3cqZAp">
+          <node concept="2OqwBi" id="4MqhgXUQv8b" role="3clFbG">
+            <node concept="37vLTw" id="4MqhgXUQuKv" role="2Oq$k0">
+              <ref role="3cqZAo" node="4MqhgXULVBA" resolve="rulesLists" />
+            </node>
+            <node concept="TSZUe" id="4$YN6Qv1S83" role="2OqNvi">
+              <node concept="37vLTw" id="2Z9ItkdbtLR" role="25WWJ7">
+                <ref role="3cqZAo" node="2Z9Itkdbsb2" resolve="introducedRules" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs6" id="2Z9ItkdcY7y" role="3cqZAp">
+          <node concept="37vLTw" id="2Z9ItkdcY8P" role="3cqZAk">
+            <ref role="3cqZAo" node="2Z9ItkdcHIn" resolve="res" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2Z9ItkdaH7h" role="jymVt" />
+    <node concept="3clFb_" id="2Z9ItkdaJ0K" role="jymVt">
+      <property role="TrG5h" value="introduceRule" />
+      <node concept="3clFbS" id="2Z9ItkdaJ0N" role="3clF47">
+        <node concept="SfApY" id="2Z9ItkdaNUt" role="3cqZAp">
+          <node concept="3clFbS" id="2Z9ItkdaNUv" role="SfCbr">
+            <node concept="1DcWWT" id="2fZlvnrsIJF" role="3cqZAp">
+              <node concept="3clFbS" id="2fZlvnrsIJG" role="2LFqv$">
                 <node concept="3SKdUt" id="2fZlvnrsIJv" role="3cqZAp">
                   <node concept="1PaTwC" id="2fZlvnrsIJw" role="3ndbpf">
                     <node concept="3oM_SD" id="2fZlvnrsIJx" role="1PaTwD">
@@ -10262,77 +10536,59 @@
                     </node>
                   </node>
                 </node>
-                <node concept="1DcWWT" id="2fZlvnrsIJF" role="3cqZAp">
-                  <node concept="3clFbS" id="2fZlvnrsIJG" role="2LFqv$">
-                    <node concept="3clFbF" id="2fZlvnrsIJH" role="3cqZAp">
-                      <node concept="1rXfSq" id="2fZlvnrsIJI" role="3clFbG">
-                        <ref role="37wK5l" node="7eGEHDlefwa" resolve="introduceConstraint" />
-                        <node concept="37vLTw" id="2fZlvnrsIJJ" role="37wK5m">
-                          <ref role="3cqZAo" node="2fZlvnrsIJK" resolve="item" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3cpWsn" id="2fZlvnrsIJK" role="1Duv9x">
-                    <property role="TrG5h" value="item" />
-                    <node concept="3uibUv" id="2fZlvnrsIJL" role="1tU5fm">
-                      <ref role="3uigEE" to="av0y:~AndItem" resolve="AndItem" />
-                    </node>
-                  </node>
-                  <node concept="2OqwBi" id="2fZlvnrsIJM" role="1DdaDG">
-                    <node concept="37vLTw" id="2fZlvnrsIJP" role="2Oq$k0">
-                      <ref role="3cqZAo" node="4MqhgXUQtEq" resolve="rule" />
-                    </node>
-                    <node concept="liA8E" id="2fZlvnrsIJO" role="2OqNvi">
-                      <ref role="37wK5l" to="av0y:~Rule.all()" resolve="all" />
+                <node concept="3clFbF" id="2fZlvnrsIJH" role="3cqZAp">
+                  <node concept="1rXfSq" id="2fZlvnrsIJI" role="3clFbG">
+                    <ref role="37wK5l" node="7eGEHDlefwa" resolve="introduceConstraint" />
+                    <node concept="37vLTw" id="2fZlvnrsIJJ" role="37wK5m">
+                      <ref role="3cqZAo" node="2fZlvnrsIJK" resolve="item" />
                     </node>
                   </node>
                 </node>
               </node>
-              <node concept="3cpWsn" id="4MqhgXUQtEq" role="1Duv9x">
-                <property role="TrG5h" value="rule" />
-                <node concept="3uibUv" id="4MqhgXUQtEu" role="1tU5fm">
-                  <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
+              <node concept="3cpWsn" id="2fZlvnrsIJK" role="1Duv9x">
+                <property role="TrG5h" value="item" />
+                <node concept="3uibUv" id="2fZlvnrsIJL" role="1tU5fm">
+                  <ref role="3uigEE" to="av0y:~AndItem" resolve="AndItem" />
                 </node>
               </node>
-              <node concept="2OqwBi" id="4MqhgXUQtEv" role="1DdaDG">
-                <node concept="37vLTw" id="4MqhgXUQtEw" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4MqhgXUQrZn" resolve="handler" />
+              <node concept="2OqwBi" id="2fZlvnrsIJM" role="1DdaDG">
+                <node concept="37vLTw" id="2fZlvnrsIJP" role="2Oq$k0">
+                  <ref role="3cqZAo" node="2Z9ItkdaJNw" resolve="rule" />
                 </node>
-                <node concept="liA8E" id="4MqhgXUQtEx" role="2OqNvi">
-                  <ref role="37wK5l" to="av0y:~RulesList.rules()" resolve="rules" />
+                <node concept="liA8E" id="2fZlvnrsIJO" role="2OqNvi">
+                  <ref role="37wK5l" to="av0y:~Rule.all()" resolve="all" />
                 </node>
               </node>
             </node>
-            <node concept="3clFbH" id="4MqhgXUQtuw" role="3cqZAp" />
+            <node concept="3clFbH" id="2Z9ItkdcGMJ" role="3cqZAp" />
           </node>
-          <node concept="TDmWw" id="4MqhgXUQtfP" role="TEbGg">
-            <node concept="3cpWsn" id="4MqhgXUQtfR" role="TDEfY">
+          <node concept="TDmWw" id="2Z9ItkdaNUw" role="TEbGg">
+            <node concept="3cpWsn" id="2Z9ItkdaNUy" role="TDEfY">
               <property role="TrG5h" value="e" />
-              <node concept="3uibUv" id="4MqhgXUQthM" role="1tU5fm">
+              <node concept="3uibUv" id="2Z9ItkdaNZl" role="1tU5fm">
                 <ref role="3uigEE" to="av0y:~InvalidConstraintException" resolve="InvalidConstraintException" />
               </node>
             </node>
-            <node concept="3clFbS" id="4MqhgXUQtfV" role="TDEfX">
-              <node concept="YS8fn" id="4MqhgXUQtUn" role="3cqZAp">
-                <node concept="2ShNRf" id="4MqhgXUQtUo" role="YScLw">
-                  <node concept="1pGfFk" id="4MqhgXUQtUp" role="2ShVmc">
+            <node concept="3clFbS" id="2Z9ItkdaNUA" role="TDEfX">
+              <node concept="YS8fn" id="2Z9ItkdcSvQ" role="3cqZAp">
+                <node concept="2ShNRf" id="2Z9ItkdaO4S" role="YScLw">
+                  <node concept="1pGfFk" id="2Z9ItkdaO4T" role="2ShVmc">
                     <ref role="37wK5l" to="av0y:~InvalidRuleException.&lt;init&gt;(java.lang.String,java.lang.Throwable)" resolve="InvalidRuleException" />
-                    <node concept="3cpWs3" id="4MqhgXUQtUq" role="37wK5m">
-                      <node concept="2OqwBi" id="4MqhgXUQtUr" role="3uHU7w">
-                        <node concept="37vLTw" id="4MqhgXUQtUs" role="2Oq$k0">
-                          <ref role="3cqZAo" node="4MqhgXUQtfR" resolve="e" />
+                    <node concept="3cpWs3" id="2Z9ItkdaO4U" role="37wK5m">
+                      <node concept="2OqwBi" id="2Z9ItkdaO4V" role="3uHU7w">
+                        <node concept="37vLTw" id="2Z9ItkdaO4W" role="2Oq$k0">
+                          <ref role="3cqZAo" node="2Z9ItkdaNUy" resolve="e" />
                         </node>
-                        <node concept="liA8E" id="4MqhgXUQtUt" role="2OqNvi">
+                        <node concept="liA8E" id="2Z9ItkdaO4X" role="2OqNvi">
                           <ref role="37wK5l" to="wyt6:~Throwable.getMessage()" resolve="getMessage" />
                         </node>
                       </node>
-                      <node concept="Xl_RD" id="4MqhgXUQtUu" role="3uHU7B">
+                      <node concept="Xl_RD" id="2Z9ItkdaO4Y" role="3uHU7B">
                         <property role="Xl_RC" value="Invalid rule/constraint: " />
                       </node>
                     </node>
-                    <node concept="37vLTw" id="4MqhgXUQtUv" role="37wK5m">
-                      <ref role="3cqZAo" node="4MqhgXUQtfR" resolve="e" />
+                    <node concept="37vLTw" id="2Z9ItkdaO4Z" role="37wK5m">
+                      <ref role="3cqZAo" node="2Z9ItkdaNUy" resolve="e" />
                     </node>
                   </node>
                 </node>
@@ -10340,20 +10596,16 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbF" id="4MqhgXUQuKx" role="3cqZAp">
-          <node concept="2OqwBi" id="4MqhgXUQv8b" role="3clFbG">
-            <node concept="37vLTw" id="4MqhgXUQuKv" role="2Oq$k0">
-              <ref role="3cqZAo" node="4MqhgXULVBA" resolve="rulesLists" />
-            </node>
-            <node concept="TSZUe" id="4$YN6Qv1S83" role="2OqNvi">
-              <node concept="37vLTw" id="4$YN6Qv1SkQ" role="25WWJ7">
-                <ref role="3cqZAo" node="4MqhgXUQrZn" resolve="handler" />
-              </node>
-            </node>
-          </node>
-        </node>
       </node>
-      <node concept="3uibUv" id="4MqhgXUQsXS" role="Sfmx6">
+      <node concept="3Tm6S6" id="2Z9ItkdaIq$" role="1B3o_S" />
+      <node concept="3cqZAl" id="2Z9ItkdcQFN" role="3clF45" />
+      <node concept="37vLTG" id="2Z9ItkdaJNw" role="3clF46">
+        <property role="TrG5h" value="rule" />
+        <node concept="3uibUv" id="2Z9ItkdaJNv" role="1tU5fm">
+          <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
+        </node>
+      </node>
+      <node concept="3uibUv" id="2Z9ItkdcPp2" role="Sfmx6">
         <ref role="3uigEE" to="av0y:~InvalidRuleException" resolve="InvalidRuleException" />
       </node>
     </node>
@@ -10362,6 +10614,7 @@
       <property role="TrG5h" value="introduceConstraint" />
       <node concept="3cqZAl" id="7Oc59RSHdhK" role="3clF45" />
       <node concept="3clFbS" id="7eGEHDlefwc" role="3clF47">
+        <node concept="3clFbH" id="2Z9Itkd9Rv4" role="3cqZAp" />
         <node concept="3clFbF" id="7Oc59RSHTjZ" role="3cqZAp">
           <node concept="1rXfSq" id="7Oc59RSHTjX" role="3clFbG">
             <ref role="37wK5l" node="7eGEHDldpbj" resolve="checkValidConstraint" />
@@ -10370,6 +10623,7 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbH" id="2Z9Itkd9Rcg" role="3cqZAp" />
         <node concept="3clFbJ" id="5uFPQ7BH0cX" role="3cqZAp">
           <node concept="3clFbS" id="5uFPQ7BH0cZ" role="3clFbx">
             <node concept="3cpWs8" id="5uFPQ7BH1yI" role="3cqZAp">
@@ -10461,7 +10715,7 @@
     <node concept="2tJIrI" id="2pvEdquu$2W" role="jymVt" />
     <node concept="3clFb_" id="7eGEHDldpbj" role="jymVt">
       <property role="TrG5h" value="checkValidConstraint" />
-      <node concept="3cqZAl" id="7Oc59RSHNKF" role="3clF45" />
+      <node concept="3cqZAl" id="2Z9ItkdaPM0" role="3clF45" />
       <node concept="3Tm6S6" id="2fZlvnrsAHp" role="1B3o_S" />
       <node concept="3clFbS" id="7eGEHDldpbn" role="3clF47">
         <node concept="3clFbJ" id="5uFPQ7BEi6d" role="3cqZAp">
diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
index 0d249117..7d4e0882 100644
--- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
@@ -891,6 +891,43 @@
                           </node>
                         </node>
                         <node concept="3clFbH" id="6nFpYluZ9DC" role="3cqZAp" />
+                        <node concept="3SKdUt" id="7jjK09jCa5$" role="3cqZAp">
+                          <node concept="1PaTwC" id="7jjK09jCm1y" role="3ndbpf">
+                            <node concept="3oM_SD" id="7jjK09jCn$m" role="1PaTwD">
+                              <property role="3oM_SC" value="TODO:" />
+                            </node>
+                            <node concept="3oM_SD" id="7jjK09jCbbP" role="1PaTwD">
+                              <property role="3oM_SC" value="handle" />
+                            </node>
+                            <node concept="3oM_SD" id="7jjK09jCcfY" role="1PaTwD">
+                              <property role="3oM_SC" value="non-fatal" />
+                            </node>
+                            <node concept="3oM_SD" id="7jjK09jCguU" role="1PaTwD">
+                              <property role="3oM_SC" value="errors" />
+                            </node>
+                            <node concept="3oM_SD" id="7jjK09jCoBg" role="1PaTwD">
+                              <property role="3oM_SC" value="(isSuccessful" />
+                            </node>
+                            <node concept="3oM_SD" id="7jjK09jCrKQ" role="1PaTwD">
+                              <property role="3oM_SC" value="==" />
+                            </node>
+                            <node concept="3oM_SD" id="7jjK09jCsik" role="1PaTwD">
+                              <property role="3oM_SC" value="true" />
+                            </node>
+                            <node concept="3oM_SD" id="7jjK09jCtms" role="1PaTwD">
+                              <property role="3oM_SC" value="but" />
+                            </node>
+                            <node concept="3oM_SD" id="7jjK09jCtnP" role="1PaTwD">
+                              <property role="3oM_SC" value="errors.isEmpty" />
+                            </node>
+                            <node concept="3oM_SD" id="7jjK09jCwiz" role="1PaTwD">
+                              <property role="3oM_SC" value="==" />
+                            </node>
+                            <node concept="3oM_SD" id="7jjK09jCwjY" role="1PaTwD">
+                              <property role="3oM_SC" value="false)" />
+                            </node>
+                          </node>
+                        </node>
                         <node concept="3clFbF" id="7kTeLbPtIoT" role="3cqZAp">
                           <node concept="37vLTI" id="7kTeLbPtIoU" role="3clFbG">
                             <node concept="37vLTw" id="7kTeLbPtIoV" role="37vLTJ">