From e76eeeb6763dfdd943eda1c0d7eb0735f3a1e2cf Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Fri, 3 Jul 2020 16:35:27 +0200
Subject: [PATCH] Ensure failures during query template application are
 reported.

---
 .../jetbrains.mps.lang.coderules.program.mps  | 680 +++++++++---------
 1 file changed, 331 insertions(+), 349 deletions(-)

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 8dc75c6e..fd3b5060 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
@@ -5919,35 +5919,35 @@
             <node concept="3clFbS" id="5X1yxJI9h8G" role="1zc67A">
               <node concept="3cpWs6" id="5X1yxJI9FIO" role="3cqZAp">
                 <node concept="1Ls8ON" id="5X1yxJI9FIP" role="3cqZAk">
-                  <node concept="2YIFZM" id="7TC1Xcd$6oX" role="1Lso8e">
-                    <ref role="37wK5l" to="psoy:5X1yxJHYTYX" resolve="RECOVER" />
+                  <node concept="2YIFZM" id="HwwsI3jg_D" role="1Lso8e">
+                    <ref role="37wK5l" to="psoy:5X1yxJHYPm2" resolve="FAIL" />
                     <ref role="1Pybhc" to="psoy:7Oc59RSEjdb" resolve="Result" />
-                    <node concept="2ShNRf" id="5X1yxJI9FIR" role="37wK5m">
-                      <node concept="1pGfFk" id="5X1yxJI9FIS" role="2ShVmc">
+                    <node concept="2ShNRf" id="HwwsI3jg_E" role="37wK5m">
+                      <node concept="1pGfFk" id="HwwsI3jg_F" role="2ShVmc">
                         <ref role="37wK5l" to="i348:5X1yxJHUoaR" resolve="TemplateApplicationException" />
-                        <node concept="3cpWs3" id="5X1yxJI9FIT" role="37wK5m">
-                          <node concept="2YIFZM" id="5X1yxJI9FIU" role="3uHU7w">
+                        <node concept="3cpWs3" id="HwwsI3jg_G" role="37wK5m">
+                          <node concept="2YIFZM" id="HwwsI3jg_H" role="3uHU7w">
                             <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object)" resolve="valueOf" />
                             <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
-                            <node concept="37vLTw" id="5X1yxJI9FIV" role="37wK5m">
+                            <node concept="37vLTw" id="HwwsI3jg_I" role="37wK5m">
                               <ref role="3cqZAo" node="5EDW3XEuKDu" resolve="query" />
                             </node>
                           </node>
-                          <node concept="3cpWs3" id="5X1yxJI9FIW" role="3uHU7B">
-                            <node concept="3cpWs3" id="5X1yxJI9FIX" role="3uHU7B">
-                              <node concept="Xl_RD" id="5X1yxJI9FIY" role="3uHU7B">
+                          <node concept="3cpWs3" id="HwwsI3jg_J" role="3uHU7B">
+                            <node concept="3cpWs3" id="HwwsI3jg_K" role="3uHU7B">
+                              <node concept="Xl_RD" id="HwwsI3jg_L" role="3uHU7B">
                                 <property role="Xl_RC" value="Error applying template (" />
                               </node>
-                              <node concept="37vLTw" id="5X1yxJI9FIZ" role="3uHU7w">
+                              <node concept="37vLTw" id="HwwsI3jg_M" role="3uHU7w">
                                 <ref role="3cqZAo" node="6OXbTDyaLzX" resolve="tpl" />
                               </node>
                             </node>
-                            <node concept="Xl_RD" id="5X1yxJI9FJ0" role="3uHU7w">
+                            <node concept="Xl_RD" id="HwwsI3jg_N" role="3uHU7w">
                               <property role="Xl_RC" value=")" />
                             </node>
                           </node>
                         </node>
-                        <node concept="37vLTw" id="5X1yxJIacXz" role="37wK5m">
+                        <node concept="37vLTw" id="HwwsI3jg_O" role="37wK5m">
                           <ref role="3cqZAo" node="5X1yxJI9h8E" resolve="ex" />
                         </node>
                       </node>
@@ -7127,377 +7127,355 @@
           </node>
         </node>
         <node concept="3clFbH" id="6OXbTDyeezy" role="3cqZAp" />
-        <node concept="3J1_TO" id="6OXbTDye_gp" role="3cqZAp">
-          <node concept="3clFbS" id="6OXbTDy1Beq" role="1zxBo7">
-            <node concept="3cpWs8" id="6OXbTDydyNR" role="3cqZAp">
-              <node concept="3cpWsn" id="6OXbTDydyNS" role="3cpWs9">
-                <property role="TrG5h" value="result_builders" />
-                <node concept="1LlUBW" id="6OXbTDydyMo" role="1tU5fm">
-                  <node concept="3uibUv" id="6OXbTDydyMz" role="1Lm7xW">
-                    <ref role="3uigEE" to="psoy:7Oc59RSEjdb" resolve="Result" />
-                  </node>
-                  <node concept="A3Dl8" id="6OXbTDydyMx" role="1Lm7xW">
-                    <node concept="3uibUv" id="6OXbTDydyMy" role="A3Ik2">
-                      <ref role="3uigEE" to="i348:7eGEHDlc$ap" resolve="RuleBuilder" />
-                    </node>
-                  </node>
+        <node concept="3cpWs8" id="6OXbTDydyNR" role="3cqZAp">
+          <node concept="3cpWsn" id="6OXbTDydyNS" role="3cpWs9">
+            <property role="TrG5h" value="result_builders" />
+            <node concept="1LlUBW" id="6OXbTDydyMo" role="1tU5fm">
+              <node concept="3uibUv" id="6OXbTDydyMz" role="1Lm7xW">
+                <ref role="3uigEE" to="psoy:7Oc59RSEjdb" resolve="Result" />
+              </node>
+              <node concept="A3Dl8" id="6OXbTDydyMx" role="1Lm7xW">
+                <node concept="3uibUv" id="6OXbTDydyMy" role="A3Ik2">
+                  <ref role="3uigEE" to="i348:7eGEHDlc$ap" resolve="RuleBuilder" />
                 </node>
-                <node concept="1rXfSq" id="6OXbTDydyNT" role="33vP2m">
-                  <ref role="37wK5l" node="6OXbTDyaLzV" resolve="applyQueryTemplate" />
-                  <node concept="37vLTw" id="6tPOoeT4SaD" role="37wK5m">
-                    <ref role="3cqZAo" node="6OXbTDydhIZ" resolve="queryTemplate" />
+              </node>
+            </node>
+            <node concept="1rXfSq" id="6OXbTDydyNT" role="33vP2m">
+              <ref role="37wK5l" node="6OXbTDyaLzV" resolve="applyQueryTemplate" />
+              <node concept="37vLTw" id="6tPOoeT4SaD" role="37wK5m">
+                <ref role="3cqZAo" node="6OXbTDydhIZ" resolve="queryTemplate" />
+              </node>
+              <node concept="37vLTw" id="5EDW3XEuGAn" role="37wK5m">
+                <ref role="3cqZAo" node="5EDW3XEuyBX" resolve="query" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="2BZXJed1VFt" role="3cqZAp">
+          <node concept="37vLTI" id="2BZXJed1VPh" role="3clFbG">
+            <node concept="2OqwBi" id="2BZXJed1W6q" role="37vLTx">
+              <node concept="37vLTw" id="2BZXJed1W0J" role="2Oq$k0">
+                <ref role="3cqZAo" node="6OXbTDyef8r" resolve="result" />
+              </node>
+              <node concept="liA8E" id="2BZXJed1We4" role="2OqNvi">
+                <ref role="37wK5l" to="psoy:7nkyKX7v7xb" resolve="and" />
+                <node concept="1LFfDK" id="2BZXJed1X2p" role="37wK5m">
+                  <node concept="3cmrfG" id="2BZXJed1Xfp" role="1LF_Uc">
+                    <property role="3cmrfH" value="0" />
                   </node>
-                  <node concept="37vLTw" id="5EDW3XEuGAn" role="37wK5m">
-                    <ref role="3cqZAo" node="5EDW3XEuyBX" resolve="query" />
+                  <node concept="37vLTw" id="2BZXJed1W$4" role="1LFl5Q">
+                    <ref role="3cqZAo" node="6OXbTDydyNS" resolve="result_builders" />
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3clFbH" id="6OXbTDyd$2C" role="3cqZAp" />
-            <node concept="3clFbJ" id="6OXbTDydW47" role="3cqZAp">
-              <node concept="3clFbS" id="6OXbTDydW49" role="3clFbx">
-                <node concept="3clFbH" id="6OXbTDydW48" role="3cqZAp" />
-                <node concept="3cpWs8" id="6OXbTDzFnYI" role="3cqZAp">
-                  <node concept="3cpWsn" id="6OXbTDzFnYJ" role="3cpWs9">
-                    <property role="TrG5h" value="builders" />
-                    <node concept="3vKaQO" id="6OXbTDzFnYK" role="1tU5fm">
-                      <node concept="3uibUv" id="6OXbTDzFnYL" role="3O5elw">
-                        <ref role="3uigEE" to="i348:7eGEHDlc$ap" resolve="RuleBuilder" />
+            <node concept="37vLTw" id="2BZXJed1VFs" role="37vLTJ">
+              <ref role="3cqZAo" node="6OXbTDyef8r" resolve="result" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6OXbTDyd$2C" role="3cqZAp" />
+        <node concept="3clFbJ" id="6OXbTDydW47" role="3cqZAp">
+          <node concept="3clFbS" id="6OXbTDydW49" role="3clFbx">
+            <node concept="3clFbH" id="6OXbTDydW48" role="3cqZAp" />
+            <node concept="3cpWs8" id="6OXbTDzFnYI" role="3cqZAp">
+              <node concept="3cpWsn" id="6OXbTDzFnYJ" role="3cpWs9">
+                <property role="TrG5h" value="builders" />
+                <node concept="3vKaQO" id="6OXbTDzFnYK" role="1tU5fm">
+                  <node concept="3uibUv" id="6OXbTDzFnYL" role="3O5elw">
+                    <ref role="3uigEE" to="i348:7eGEHDlc$ap" resolve="RuleBuilder" />
+                  </node>
+                </node>
+                <node concept="2ShNRf" id="6OXbTDzFnYM" role="33vP2m">
+                  <node concept="Tc6Ow" id="6OXbTDzFnYN" role="2ShVmc">
+                    <node concept="3uibUv" id="6OXbTDzFnYO" role="HW$YZ">
+                      <ref role="3uigEE" to="i348:7eGEHDlc$ap" resolve="RuleBuilder" />
+                    </node>
+                    <node concept="1LFfDK" id="6OXbTDzFnYP" role="I$8f6">
+                      <node concept="3cmrfG" id="6OXbTDzFnYQ" role="1LF_Uc">
+                        <property role="3cmrfH" value="1" />
+                      </node>
+                      <node concept="37vLTw" id="6OXbTDzFoOp" role="1LFl5Q">
+                        <ref role="3cqZAo" node="6OXbTDydyNS" resolve="result_builders" />
                       </node>
                     </node>
-                    <node concept="2ShNRf" id="6OXbTDzFnYM" role="33vP2m">
-                      <node concept="Tc6Ow" id="6OXbTDzFnYN" role="2ShVmc">
-                        <node concept="3uibUv" id="6OXbTDzFnYO" role="HW$YZ">
-                          <ref role="3uigEE" to="i348:7eGEHDlc$ap" resolve="RuleBuilder" />
-                        </node>
-                        <node concept="1LFfDK" id="6OXbTDzFnYP" role="I$8f6">
-                          <node concept="3cmrfG" id="6OXbTDzFnYQ" role="1LF_Uc">
-                            <property role="3cmrfH" value="1" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3J1_TO" id="6OXbTDye1zC" role="3cqZAp">
+              <node concept="3clFbS" id="6OXbTDye1zE" role="1zxBo7">
+                <node concept="2Gpval" id="6OXbTDzFl4o" role="3cqZAp">
+                  <node concept="3clFbS" id="6OXbTDzFl4p" role="2LFqv$">
+                    <node concept="3clFbJ" id="6OXbTDzFl4q" role="3cqZAp">
+                      <node concept="3clFbS" id="6OXbTDzFl4r" role="3clFbx">
+                        <node concept="3SKdUt" id="6OXbTDzFl4s" role="3cqZAp">
+                          <node concept="1PaTwC" id="589APehYxRy" role="1aUNEU">
+                            <node concept="3oM_SD" id="589APehYxRz" role="1PaTwD">
+                              <property role="3oM_SC" value="goals" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxR$" role="1PaTwD">
+                              <property role="3oM_SC" value="get" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxR_" role="1PaTwD">
+                              <property role="3oM_SC" value="triggered" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRA" role="1PaTwD">
+                              <property role="3oM_SC" value="by" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRB" role="1PaTwD">
+                              <property role="3oM_SC" value="the" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRC" role="1PaTwD">
+                              <property role="3oM_SC" value="&quot;main&quot;" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRD" role="1PaTwD">
+                              <property role="3oM_SC" value="constraint" />
+                            </node>
                           </node>
-                          <node concept="37vLTw" id="6OXbTDzFoOp" role="1LFl5Q">
-                            <ref role="3cqZAo" node="6OXbTDydyNS" resolve="result_builders" />
+                        </node>
+                        <node concept="3clFbF" id="6OXbTDzFl4u" role="3cqZAp">
+                          <node concept="2OqwBi" id="6OXbTDzFl4v" role="3clFbG">
+                            <node concept="2GrUjf" id="6OXbTDzFl4w" role="2Oq$k0">
+                              <ref role="2Gs0qQ" node="6OXbTDzFl4V" resolve="builder" />
+                            </node>
+                            <node concept="liA8E" id="6OXbTDzFl4x" role="2OqNvi">
+                              <ref role="37wK5l" to="i348:7eGEHDlc$bR" resolve="appendHeadKept" />
+                              <node concept="37vLTw" id="6OXbTDzFl4y" role="37wK5m">
+                                <ref role="3cqZAo" node="6i42QSsj_y2" resolve="mainConstraint" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3fqX7Q" id="6OXbTDzFl4z" role="3clFbw">
+                        <node concept="2OqwBi" id="6OXbTDzFl4$" role="3fr31v">
+                          <node concept="2GrUjf" id="6OXbTDzFl4_" role="2Oq$k0">
+                            <ref role="2Gs0qQ" node="6OXbTDzFl4V" resolve="builder" />
+                          </node>
+                          <node concept="liA8E" id="6OXbTDzFl4A" role="2OqNvi">
+                            <ref role="37wK5l" to="i348:7nkyKX7mcq7" resolve="hasHead" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbJ" id="6OXbTDzFl4B" role="3cqZAp">
+                      <node concept="3clFbS" id="6OXbTDzFl4C" role="3clFbx">
+                        <node concept="3SKdUt" id="6OXbTDzFl4D" role="3cqZAp">
+                          <node concept="1PaTwC" id="589APehYxRE" role="1aUNEU">
+                            <node concept="3oM_SD" id="589APehYxRF" role="1PaTwD">
+                              <property role="3oM_SC" value="facts" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRG" role="1PaTwD">
+                              <property role="3oM_SC" value="have" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRH" role="1PaTwD">
+                              <property role="3oM_SC" value="&quot;assert(true)&quot;" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRI" role="1PaTwD">
+                              <property role="3oM_SC" value="in" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRJ" role="1PaTwD">
+                              <property role="3oM_SC" value="the" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRK" role="1PaTwD">
+                              <property role="3oM_SC" value="body" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3SKdUt" id="6OXbTDzFl4F" role="3cqZAp">
+                          <node concept="1PaTwC" id="589APehYxRL" role="1aUNEU">
+                            <node concept="3oM_SD" id="589APehYxRM" role="1PaTwD">
+                              <property role="3oM_SC" value="TODO:" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRN" role="1PaTwD">
+                              <property role="3oM_SC" value="support" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRO" role="1PaTwD">
+                              <property role="3oM_SC" value="facts" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3SKdUt" id="6OXbTDzFl4H" role="3cqZAp">
+                          <node concept="1PaTwC" id="589APehYxRP" role="1aUNEU">
+                            <node concept="3oM_SD" id="589APehYxRQ" role="1PaTwD">
+                              <property role="3oM_SC" value="FIXME:" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRR" role="1PaTwD">
+                              <property role="3oM_SC" value="support" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRS" role="1PaTwD">
+                              <property role="3oM_SC" value="rules" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRT" role="1PaTwD">
+                              <property role="3oM_SC" value="that" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRU" role="1PaTwD">
+                              <property role="3oM_SC" value="only" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRV" role="1PaTwD">
+                              <property role="3oM_SC" value="add" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRW" role="1PaTwD">
+                              <property role="3oM_SC" value="required" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRX" role="1PaTwD">
+                              <property role="3oM_SC" value="roots" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRY" role="1PaTwD">
+                              <property role="3oM_SC" value="instead" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxRZ" role="1PaTwD">
+                              <property role="3oM_SC" value="of" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxS0" role="1PaTwD">
+                              <property role="3oM_SC" value="this" />
+                            </node>
+                            <node concept="3oM_SD" id="589APehYxS1" role="1PaTwD">
+                              <property role="3oM_SC" value="hack!s" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3clFbF" id="6OXbTDzFl4J" role="3cqZAp">
+                          <node concept="2OqwBi" id="6OXbTDzFl4K" role="3clFbG">
+                            <node concept="2GrUjf" id="6OXbTDzFl4L" role="2Oq$k0">
+                              <ref role="2Gs0qQ" node="6OXbTDzFl4V" resolve="builder" />
+                            </node>
+                            <node concept="liA8E" id="6OXbTDzFl4M" role="2OqNvi">
+                              <ref role="37wK5l" to="i348:7eGEHDlc$aw" resolve="appendBody" />
+                              <node concept="2ShNRf" id="6OXbTDzFl4N" role="37wK5m">
+                                <node concept="1pGfFk" id="6OXbTDzFl4O" role="2ShVmc">
+                                  <ref role="37wK5l" to="cxk7:4xBopTzrPWl" resolve="AssertPredicate" />
+                                  <node concept="10M0yZ" id="6OXbTDzFl4P" role="37wK5m">
+                                    <ref role="3cqZAo" to="wyt6:~Boolean.TRUE" resolve="TRUE" />
+                                    <ref role="1PxDUh" to="wyt6:~Boolean" resolve="Boolean" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3fqX7Q" id="6OXbTDzFl4Q" role="3clFbw">
+                        <node concept="2OqwBi" id="6OXbTDzFl4R" role="3fr31v">
+                          <node concept="2GrUjf" id="6OXbTDzFl4S" role="2Oq$k0">
+                            <ref role="2Gs0qQ" node="6OXbTDzFl4V" resolve="builder" />
+                          </node>
+                          <node concept="liA8E" id="6OXbTDzFl4T" role="2OqNvi">
+                            <ref role="37wK5l" to="i348:7nkyKX7mnWq" resolve="hasBody" />
                           </node>
                         </node>
                       </node>
                     </node>
                   </node>
+                  <node concept="37vLTw" id="6OXbTDzFwae" role="2GsD0m">
+                    <ref role="3cqZAo" node="6OXbTDzFnYJ" resolve="builders" />
+                  </node>
+                  <node concept="2GrKxI" id="6OXbTDzFl4V" role="2Gsz3X">
+                    <property role="TrG5h" value="builder" />
+                  </node>
                 </node>
-                <node concept="3J1_TO" id="6OXbTDye1zC" role="3cqZAp">
-                  <node concept="3clFbS" id="6OXbTDye1zE" role="1zxBo7">
-                    <node concept="2Gpval" id="6OXbTDzFl4o" role="3cqZAp">
-                      <node concept="3clFbS" id="6OXbTDzFl4p" role="2LFqv$">
-                        <node concept="3clFbJ" id="6OXbTDzFl4q" role="3cqZAp">
-                          <node concept="3clFbS" id="6OXbTDzFl4r" role="3clFbx">
-                            <node concept="3SKdUt" id="6OXbTDzFl4s" role="3cqZAp">
-                              <node concept="1PaTwC" id="589APehYxRy" role="1aUNEU">
-                                <node concept="3oM_SD" id="589APehYxRz" role="1PaTwD">
-                                  <property role="3oM_SC" value="goals" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxR$" role="1PaTwD">
-                                  <property role="3oM_SC" value="get" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxR_" role="1PaTwD">
-                                  <property role="3oM_SC" value="triggered" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRA" role="1PaTwD">
-                                  <property role="3oM_SC" value="by" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRB" role="1PaTwD">
-                                  <property role="3oM_SC" value="the" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRC" role="1PaTwD">
-                                  <property role="3oM_SC" value="&quot;main&quot;" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRD" role="1PaTwD">
-                                  <property role="3oM_SC" value="constraint" />
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="3clFbF" id="6OXbTDzFl4u" role="3cqZAp">
-                              <node concept="2OqwBi" id="6OXbTDzFl4v" role="3clFbG">
-                                <node concept="2GrUjf" id="6OXbTDzFl4w" role="2Oq$k0">
-                                  <ref role="2Gs0qQ" node="6OXbTDzFl4V" resolve="builder" />
-                                </node>
-                                <node concept="liA8E" id="6OXbTDzFl4x" role="2OqNvi">
-                                  <ref role="37wK5l" to="i348:7eGEHDlc$bR" resolve="appendHeadKept" />
-                                  <node concept="37vLTw" id="6OXbTDzFl4y" role="37wK5m">
-                                    <ref role="3cqZAo" node="6i42QSsj_y2" resolve="mainConstraint" />
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="3fqX7Q" id="6OXbTDzFl4z" role="3clFbw">
-                            <node concept="2OqwBi" id="6OXbTDzFl4$" role="3fr31v">
-                              <node concept="2GrUjf" id="6OXbTDzFl4_" role="2Oq$k0">
-                                <ref role="2Gs0qQ" node="6OXbTDzFl4V" resolve="builder" />
-                              </node>
-                              <node concept="liA8E" id="6OXbTDzFl4A" role="2OqNvi">
-                                <ref role="37wK5l" to="i348:7nkyKX7mcq7" resolve="hasHead" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="3clFbJ" id="6OXbTDzFl4B" role="3cqZAp">
-                          <node concept="3clFbS" id="6OXbTDzFl4C" role="3clFbx">
-                            <node concept="3SKdUt" id="6OXbTDzFl4D" role="3cqZAp">
-                              <node concept="1PaTwC" id="589APehYxRE" role="1aUNEU">
-                                <node concept="3oM_SD" id="589APehYxRF" role="1PaTwD">
-                                  <property role="3oM_SC" value="facts" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRG" role="1PaTwD">
-                                  <property role="3oM_SC" value="have" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRH" role="1PaTwD">
-                                  <property role="3oM_SC" value="&quot;assert(true)&quot;" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRI" role="1PaTwD">
-                                  <property role="3oM_SC" value="in" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRJ" role="1PaTwD">
-                                  <property role="3oM_SC" value="the" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRK" role="1PaTwD">
-                                  <property role="3oM_SC" value="body" />
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="3SKdUt" id="6OXbTDzFl4F" role="3cqZAp">
-                              <node concept="1PaTwC" id="589APehYxRL" role="1aUNEU">
-                                <node concept="3oM_SD" id="589APehYxRM" role="1PaTwD">
-                                  <property role="3oM_SC" value="TODO:" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRN" role="1PaTwD">
-                                  <property role="3oM_SC" value="support" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRO" role="1PaTwD">
-                                  <property role="3oM_SC" value="facts" />
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="3SKdUt" id="6OXbTDzFl4H" role="3cqZAp">
-                              <node concept="1PaTwC" id="589APehYxRP" role="1aUNEU">
-                                <node concept="3oM_SD" id="589APehYxRQ" role="1PaTwD">
-                                  <property role="3oM_SC" value="FIXME:" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRR" role="1PaTwD">
-                                  <property role="3oM_SC" value="support" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRS" role="1PaTwD">
-                                  <property role="3oM_SC" value="rules" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRT" role="1PaTwD">
-                                  <property role="3oM_SC" value="that" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRU" role="1PaTwD">
-                                  <property role="3oM_SC" value="only" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRV" role="1PaTwD">
-                                  <property role="3oM_SC" value="add" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRW" role="1PaTwD">
-                                  <property role="3oM_SC" value="required" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRX" role="1PaTwD">
-                                  <property role="3oM_SC" value="roots" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRY" role="1PaTwD">
-                                  <property role="3oM_SC" value="instead" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxRZ" role="1PaTwD">
-                                  <property role="3oM_SC" value="of" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxS0" role="1PaTwD">
-                                  <property role="3oM_SC" value="this" />
-                                </node>
-                                <node concept="3oM_SD" id="589APehYxS1" role="1PaTwD">
-                                  <property role="3oM_SC" value="hack!s" />
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="3clFbF" id="6OXbTDzFl4J" role="3cqZAp">
-                              <node concept="2OqwBi" id="6OXbTDzFl4K" role="3clFbG">
-                                <node concept="2GrUjf" id="6OXbTDzFl4L" role="2Oq$k0">
-                                  <ref role="2Gs0qQ" node="6OXbTDzFl4V" resolve="builder" />
-                                </node>
-                                <node concept="liA8E" id="6OXbTDzFl4M" role="2OqNvi">
-                                  <ref role="37wK5l" to="i348:7eGEHDlc$aw" resolve="appendBody" />
-                                  <node concept="2ShNRf" id="6OXbTDzFl4N" role="37wK5m">
-                                    <node concept="1pGfFk" id="6OXbTDzFl4O" role="2ShVmc">
-                                      <ref role="37wK5l" to="cxk7:4xBopTzrPWl" resolve="AssertPredicate" />
-                                      <node concept="10M0yZ" id="6OXbTDzFl4P" role="37wK5m">
-                                        <ref role="3cqZAo" to="wyt6:~Boolean.TRUE" resolve="TRUE" />
-                                        <ref role="1PxDUh" to="wyt6:~Boolean" resolve="Boolean" />
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="3fqX7Q" id="6OXbTDzFl4Q" role="3clFbw">
-                            <node concept="2OqwBi" id="6OXbTDzFl4R" role="3fr31v">
-                              <node concept="2GrUjf" id="6OXbTDzFl4S" role="2Oq$k0">
-                                <ref role="2Gs0qQ" node="6OXbTDzFl4V" resolve="builder" />
-                              </node>
-                              <node concept="liA8E" id="6OXbTDzFl4T" role="2OqNvi">
-                                <ref role="37wK5l" to="i348:7nkyKX7mnWq" resolve="hasBody" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
+                <node concept="3clFbF" id="6tPOoeT524D" role="3cqZAp">
+                  <node concept="2OqwBi" id="6tPOoeT53LW" role="3clFbG">
+                    <node concept="2OqwBi" id="6tPOoeT52Fu" role="2Oq$k0">
+                      <node concept="Xjq3P" id="6tPOoeT524B" role="2Oq$k0" />
+                      <node concept="2OwXpG" id="6tPOoeT538g" role="2OqNvi">
+                        <ref role="2Oxat5" node="6tPOoeT4XhE" resolve="rulesListTable" />
                       </node>
-                      <node concept="37vLTw" id="6OXbTDzFwae" role="2GsD0m">
+                    </node>
+                    <node concept="liA8E" id="6tPOoeT544o" role="2OqNvi">
+                      <ref role="37wK5l" node="6OXbTDy0Er4" resolve="update" />
+                      <node concept="37vLTw" id="6tPOoeT5urx" role="37wK5m">
+                        <ref role="3cqZAo" node="6OXbTDydhIZ" resolve="queryTemplate" />
+                      </node>
+                      <node concept="37vLTw" id="6tPOoeT5v0Z" role="37wK5m">
                         <ref role="3cqZAo" node="6OXbTDzFnYJ" resolve="builders" />
                       </node>
-                      <node concept="2GrKxI" id="6OXbTDzFl4V" role="2Gsz3X">
-                        <property role="TrG5h" value="builder" />
-                      </node>
                     </node>
-                    <node concept="3clFbF" id="6tPOoeT524D" role="3cqZAp">
-                      <node concept="2OqwBi" id="6tPOoeT53LW" role="3clFbG">
-                        <node concept="2OqwBi" id="6tPOoeT52Fu" role="2Oq$k0">
-                          <node concept="Xjq3P" id="6tPOoeT524B" role="2Oq$k0" />
-                          <node concept="2OwXpG" id="6tPOoeT538g" role="2OqNvi">
-                            <ref role="2Oxat5" node="6tPOoeT4XhE" resolve="rulesListTable" />
-                          </node>
-                        </node>
-                        <node concept="liA8E" id="6tPOoeT544o" role="2OqNvi">
-                          <ref role="37wK5l" node="6OXbTDy0Er4" resolve="update" />
-                          <node concept="37vLTw" id="6tPOoeT5urx" role="37wK5m">
-                            <ref role="3cqZAo" node="6OXbTDydhIZ" resolve="queryTemplate" />
-                          </node>
-                          <node concept="37vLTw" id="6tPOoeT5v0Z" role="37wK5m">
-                            <ref role="3cqZAo" node="6OXbTDzFnYJ" resolve="builders" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3clFbH" id="6OXbTDyecwE" role="3cqZAp" />
                   </node>
-                  <node concept="3uVAMA" id="6OXbTDydX1w" role="1zxBo5">
-                    <node concept="XOnhg" id="6OXbTDydX1x" role="1zc67B">
-                      <property role="3TUv4t" value="false" />
-                      <property role="TrG5h" value="e" />
-                      <node concept="nSUau" id="1RuR1FHyeq4" role="1tU5fm">
-                        <node concept="3uibUv" id="6OXbTDydXmU" role="nSUat">
-                          <ref role="3uigEE" to="av0y:~InvalidRuleException" resolve="InvalidRuleException" />
+                </node>
+                <node concept="3clFbH" id="6OXbTDyecwE" role="3cqZAp" />
+              </node>
+              <node concept="3uVAMA" id="6OXbTDydX1w" role="1zxBo5">
+                <node concept="XOnhg" id="6OXbTDydX1x" role="1zc67B">
+                  <property role="3TUv4t" value="false" />
+                  <property role="TrG5h" value="e" />
+                  <node concept="nSUau" id="1RuR1FHyeq4" role="1tU5fm">
+                    <node concept="3uibUv" id="6OXbTDydXmU" role="nSUat">
+                      <ref role="3uigEE" to="av0y:~InvalidRuleException" resolve="InvalidRuleException" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbS" id="6OXbTDydX1z" role="1zc67A">
+                  <node concept="3cpWs8" id="6OXbTDydY23" role="3cqZAp">
+                    <node concept="3cpWsn" id="6OXbTDydY24" role="3cpWs9">
+                      <property role="TrG5h" value="details" />
+                      <node concept="17QB3L" id="6OXbTDydY25" role="1tU5fm" />
+                      <node concept="2YIFZM" id="6OXbTDyeyio" role="33vP2m">
+                        <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object)" resolve="valueOf" />
+                        <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                        <node concept="37vLTw" id="5EDW3XEuIQB" role="37wK5m">
+                          <ref role="3cqZAo" node="5EDW3XEuyBX" resolve="query" />
                         </node>
                       </node>
                     </node>
-                    <node concept="3clFbS" id="6OXbTDydX1z" role="1zc67A">
-                      <node concept="3cpWs8" id="6OXbTDydY23" role="3cqZAp">
-                        <node concept="3cpWsn" id="6OXbTDydY24" role="3cpWs9">
-                          <property role="TrG5h" value="details" />
-                          <node concept="17QB3L" id="6OXbTDydY25" role="1tU5fm" />
-                          <node concept="2YIFZM" id="6OXbTDyeyio" role="33vP2m">
-                            <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object)" resolve="valueOf" />
-                            <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
-                            <node concept="37vLTw" id="5EDW3XEuIQB" role="37wK5m">
-                              <ref role="3cqZAo" node="5EDW3XEuyBX" resolve="query" />
-                            </node>
-                          </node>
+                  </node>
+                  <node concept="3clFbF" id="6OXbTDydY2n" role="3cqZAp">
+                    <node concept="37vLTI" id="6OXbTDydY2o" role="3clFbG">
+                      <node concept="2OqwBi" id="6OXbTDydY2p" role="37vLTx">
+                        <node concept="37vLTw" id="6OXbTDyegrm" role="2Oq$k0">
+                          <ref role="3cqZAo" node="6OXbTDyef8r" resolve="result" />
                         </node>
-                      </node>
-                      <node concept="3clFbF" id="6OXbTDydY2n" role="3cqZAp">
-                        <node concept="37vLTI" id="6OXbTDydY2o" role="3clFbG">
-                          <node concept="2OqwBi" id="6OXbTDydY2p" role="37vLTx">
-                            <node concept="37vLTw" id="6OXbTDyegrm" role="2Oq$k0">
-                              <ref role="3cqZAo" node="6OXbTDyef8r" resolve="result" />
-                            </node>
-                            <node concept="liA8E" id="6OXbTDydY2r" role="2OqNvi">
-                              <ref role="37wK5l" to="psoy:7nkyKX7v7xb" resolve="and" />
-                              <node concept="2YIFZM" id="7TC1Xcd$6oV" role="37wK5m">
-                                <ref role="37wK5l" to="psoy:5X1yxJHYPm2" resolve="FAIL" />
-                                <ref role="1Pybhc" to="psoy:7Oc59RSEjdb" resolve="Result" />
-                                <node concept="2ShNRf" id="5X1yxJI1zs_" role="37wK5m">
-                                  <node concept="1pGfFk" id="5X1yxJI1zsA" role="2ShVmc">
-                                    <ref role="37wK5l" to="i348:5X1yxJHUoaR" resolve="TemplateApplicationException" />
-                                    <node concept="3cpWs3" id="5X1yxJI1zsB" role="37wK5m">
-                                      <node concept="37vLTw" id="5X1yxJI1zsC" role="3uHU7w">
-                                        <ref role="3cqZAo" node="6OXbTDydY24" resolve="details" />
-                                      </node>
-                                      <node concept="3cpWs3" id="5X1yxJI1zsD" role="3uHU7B">
-                                        <node concept="3cpWs3" id="5X1yxJI1zsE" role="3uHU7B">
-                                          <node concept="3cpWs3" id="5X1yxJI1zsF" role="3uHU7B">
-                                            <node concept="2OqwBi" id="5X1yxJI1zsG" role="3uHU7B">
-                                              <node concept="37vLTw" id="5X1yxJI1zsH" role="2Oq$k0">
-                                                <ref role="3cqZAo" node="6OXbTDydX1x" resolve="e" />
-                                              </node>
-                                              <node concept="liA8E" id="5X1yxJI1zsI" role="2OqNvi">
-                                                <ref role="37wK5l" to="wyt6:~Throwable.getMessage()" resolve="getMessage" />
-                                              </node>
-                                            </node>
-                                            <node concept="Xl_RD" id="5X1yxJI1zsJ" role="3uHU7w">
-                                              <property role="Xl_RC" value="(" />
-                                            </node>
+                        <node concept="liA8E" id="6OXbTDydY2r" role="2OqNvi">
+                          <ref role="37wK5l" to="psoy:7nkyKX7v7xb" resolve="and" />
+                          <node concept="2YIFZM" id="7TC1Xcd$6oV" role="37wK5m">
+                            <ref role="37wK5l" to="psoy:5X1yxJHYPm2" resolve="FAIL" />
+                            <ref role="1Pybhc" to="psoy:7Oc59RSEjdb" resolve="Result" />
+                            <node concept="2ShNRf" id="5X1yxJI1zs_" role="37wK5m">
+                              <node concept="1pGfFk" id="5X1yxJI1zsA" role="2ShVmc">
+                                <ref role="37wK5l" to="i348:5X1yxJHUoaR" resolve="TemplateApplicationException" />
+                                <node concept="3cpWs3" id="5X1yxJI1zsB" role="37wK5m">
+                                  <node concept="37vLTw" id="5X1yxJI1zsC" role="3uHU7w">
+                                    <ref role="3cqZAo" node="6OXbTDydY24" resolve="details" />
+                                  </node>
+                                  <node concept="3cpWs3" id="5X1yxJI1zsD" role="3uHU7B">
+                                    <node concept="3cpWs3" id="5X1yxJI1zsE" role="3uHU7B">
+                                      <node concept="3cpWs3" id="5X1yxJI1zsF" role="3uHU7B">
+                                        <node concept="2OqwBi" id="5X1yxJI1zsG" role="3uHU7B">
+                                          <node concept="37vLTw" id="5X1yxJI1zsH" role="2Oq$k0">
+                                            <ref role="3cqZAo" node="6OXbTDydX1x" resolve="e" />
                                           </node>
-                                          <node concept="2OqwBi" id="5X1yxJI1zsK" role="3uHU7w">
-                                            <node concept="liA8E" id="5X1yxJI1zsL" role="2OqNvi">
-                                              <ref role="37wK5l" to="wyt6:~Object.toString()" resolve="toString" />
-                                            </node>
-                                            <node concept="37vLTw" id="5X1yxJI1zsM" role="2Oq$k0">
-                                              <ref role="3cqZAo" node="6OXbTDydhIZ" resolve="queryTemplate" />
-                                            </node>
+                                          <node concept="liA8E" id="5X1yxJI1zsI" role="2OqNvi">
+                                            <ref role="37wK5l" to="wyt6:~Throwable.getMessage()" resolve="getMessage" />
                                           </node>
                                         </node>
-                                        <node concept="Xl_RD" id="5X1yxJI1zsN" role="3uHU7w">
-                                          <property role="Xl_RC" value=")" />
+                                        <node concept="Xl_RD" id="5X1yxJI1zsJ" role="3uHU7w">
+                                          <property role="Xl_RC" value="(" />
+                                        </node>
+                                      </node>
+                                      <node concept="2OqwBi" id="5X1yxJI1zsK" role="3uHU7w">
+                                        <node concept="liA8E" id="5X1yxJI1zsL" role="2OqNvi">
+                                          <ref role="37wK5l" to="wyt6:~Object.toString()" resolve="toString" />
+                                        </node>
+                                        <node concept="37vLTw" id="5X1yxJI1zsM" role="2Oq$k0">
+                                          <ref role="3cqZAo" node="6OXbTDydhIZ" resolve="queryTemplate" />
                                         </node>
                                       </node>
                                     </node>
-                                    <node concept="37vLTw" id="5X1yxJI1zsO" role="37wK5m">
-                                      <ref role="3cqZAo" node="6OXbTDydX1x" resolve="e" />
+                                    <node concept="Xl_RD" id="5X1yxJI1zsN" role="3uHU7w">
+                                      <property role="Xl_RC" value=")" />
                                     </node>
                                   </node>
                                 </node>
+                                <node concept="37vLTw" id="5X1yxJI1zsO" role="37wK5m">
+                                  <ref role="3cqZAo" node="6OXbTDydX1x" resolve="e" />
+                                </node>
                               </node>
                             </node>
                           </node>
-                          <node concept="37vLTw" id="6OXbTDyefYD" role="37vLTJ">
-                            <ref role="3cqZAo" node="6OXbTDyef8r" resolve="result" />
-                          </node>
                         </node>
                       </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbH" id="2BZXJed1UUQ" role="3cqZAp" />
-              </node>
-              <node concept="2OqwBi" id="6OXbTDye0r$" role="3clFbw">
-                <node concept="1LFfDK" id="6OXbTDydZtr" role="2Oq$k0">
-                  <node concept="37vLTw" id="6OXbTDydZ0n" role="1LFl5Q">
-                    <ref role="3cqZAo" node="6OXbTDydyNS" resolve="result_builders" />
-                  </node>
-                  <node concept="3cmrfG" id="6OXbTDye03w" role="1LF_Uc">
-                    <property role="3cmrfH" value="0" />
-                  </node>
-                </node>
-                <node concept="liA8E" id="6OXbTDye0IL" role="2OqNvi">
-                  <ref role="37wK5l" to="psoy:7Oc59RS_hsj" resolve="isSuccessful" />
-                </node>
-              </node>
-              <node concept="9aQIb" id="2BZXJed1UiI" role="9aQIa">
-                <node concept="3clFbS" id="2BZXJed1UiJ" role="9aQI4">
-                  <node concept="3clFbF" id="2BZXJed1VFt" role="3cqZAp">
-                    <node concept="37vLTI" id="2BZXJed1VPh" role="3clFbG">
-                      <node concept="2OqwBi" id="2BZXJed1W6q" role="37vLTx">
-                        <node concept="37vLTw" id="2BZXJed1W0J" role="2Oq$k0">
-                          <ref role="3cqZAo" node="6OXbTDyef8r" resolve="result" />
-                        </node>
-                        <node concept="liA8E" id="2BZXJed1We4" role="2OqNvi">
-                          <ref role="37wK5l" to="psoy:7nkyKX7v7xb" resolve="and" />
-                          <node concept="1LFfDK" id="2BZXJed1X2p" role="37wK5m">
-                            <node concept="3cmrfG" id="2BZXJed1Xfp" role="1LF_Uc">
-                              <property role="3cmrfH" value="0" />
-                            </node>
-                            <node concept="37vLTw" id="2BZXJed1W$4" role="1LFl5Q">
-                              <ref role="3cqZAo" node="6OXbTDydyNS" resolve="result_builders" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="37vLTw" id="2BZXJed1VFs" role="37vLTJ">
+                      <node concept="37vLTw" id="6OXbTDyefYD" role="37vLTJ">
                         <ref role="3cqZAo" node="6OXbTDyef8r" resolve="result" />
                       </node>
                     </node>
@@ -7505,10 +7483,14 @@
                 </node>
               </node>
             </node>
-            <node concept="3clFbH" id="6OXbTDydmGN" role="3cqZAp" />
           </node>
-          <node concept="1wplmZ" id="9YgDx2C2bJZ" role="1zxBo6">
-            <node concept="3clFbS" id="6OXbTDye_gs" role="1wplMD" />
+          <node concept="2OqwBi" id="6OXbTDye0r$" role="3clFbw">
+            <node concept="37vLTw" id="5ygLqKOC9kH" role="2Oq$k0">
+              <ref role="3cqZAo" node="6OXbTDyef8r" resolve="result" />
+            </node>
+            <node concept="liA8E" id="6OXbTDye0IL" role="2OqNvi">
+              <ref role="37wK5l" to="psoy:7Oc59RS_hsj" resolve="isSuccessful" />
+            </node>
           </node>
         </node>
         <node concept="3clFbH" id="6OXbTDye$9R" role="3cqZAp" />