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 cc812b15..592f338b 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
@@ -171,6 +171,7 @@
       <concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
         <property id="4276006055363816570" name="isSynchronized" index="od$2w" />
         <property id="1181808852946" name="isFinal" index="DiZV1" />
+        <child id="1164879685961" name="throwsItem" index="Sfmx6" />
         <child id="1068580123133" name="returnType" index="3clF45" />
         <child id="1068580123134" name="parameter" index="3clF46" />
         <child id="1068580123135" name="body" index="3clF47" />
@@ -184,6 +185,8 @@
       </concept>
       <concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
       <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
+        <property id="4467513934994662257" name="forceMultiLine" index="TyiWK" />
+        <property id="4467513934994662256" name="forceOneLine" index="TyiWL" />
         <child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
         <child id="1068580123160" name="condition" index="3clFbw" />
         <child id="1068580123161" name="ifTrue" index="3clFbx" />
@@ -386,6 +389,13 @@
       <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
         <property id="1169194664001" name="name" index="TrG5h" />
       </concept>
+      <concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
+        <property id="709746936026609031" name="linkId" index="3V$3ak" />
+        <property id="709746936026609029" name="role_DebugInfo" index="3V$3am" />
+      </concept>
+      <concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
+        <child id="3078666699043039389" name="commentedNode" index="8Wnug" />
+      </concept>
     </language>
     <language id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text">
       <concept id="155656958578482948" name="jetbrains.mps.lang.text.structure.Word" flags="ng" index="3oM_SD">
@@ -4628,14 +4638,19 @@
         <node concept="3cpWs8" id="6tPOoeTaVAX" role="3cqZAp">
           <node concept="3cpWsn" id="6tPOoeTaVAY" role="3cpWs9">
             <property role="TrG5h" value="programBuilder" />
-            <node concept="3uibUv" id="6tPOoeTaVAW" role="1tU5fm">
-              <ref role="3uigEE" to="ksgm:5rhZO$TYZJM" resolve="ProgramBuilder" />
+            <node concept="3uibUv" id="4baZKvaNZHJ" role="1tU5fm">
+              <ref role="3uigEE" node="5rhZO$TYZJM" resolve="ProgramProducer.ProgramBuilder" />
             </node>
             <node concept="2ShNRf" id="6tPOoeTaVAZ" role="33vP2m">
               <node concept="1pGfFk" id="6tPOoeTaVB0" role="2ShVmc">
-                <ref role="37wK5l" to="ksgm:5rhZO$TZ9Ji" resolve="ProgramBuilder" />
-                <node concept="37vLTw" id="6nFpYluWEAm" role="37wK5m">
-                  <ref role="3cqZAo" node="6nFpYluW$vz" resolve="originIndex" />
+                <ref role="37wK5l" node="4baZKvaO3Fj" resolve="ProgramProducer.ProgramBuilder" />
+                <node concept="2OqwBi" id="4baZKvaO6tz" role="37wK5m">
+                  <node concept="37vLTw" id="4baZKvaO6t$" role="2Oq$k0">
+                    <ref role="3cqZAo" node="6OXbTDxQIa8" resolve="factory" />
+                  </node>
+                  <node concept="liA8E" id="4baZKvaO6t_" role="2OqNvi">
+                    <ref role="37wK5l" to="ksgm:4baZKvaJUD7" resolve="getPreambleInfo" />
+                  </node>
                 </node>
               </node>
             </node>
@@ -4658,8 +4673,31 @@
                   </node>
                   <node concept="liA8E" id="cmlg9O$B54" role="2OqNvi">
                     <ref role="37wK5l" to="ksgm:7nkyKX7ncaN" resolve="buildProgram" />
-                    <node concept="37vLTw" id="cmlg9O$DiN" role="37wK5m">
-                      <ref role="3cqZAo" node="6tPOoeTaVAY" resolve="programBuilder" />
+                    <node concept="1bVj0M" id="4baZKvaLWNY" role="37wK5m">
+                      <node concept="3clFbS" id="4baZKvaLWNZ" role="1bW5cS">
+                        <node concept="3clFbF" id="4baZKvaLXy9" role="3cqZAp">
+                          <node concept="2OqwBi" id="4baZKvaLXFF" role="3clFbG">
+                            <node concept="37vLTw" id="4baZKvaLXy8" role="2Oq$k0">
+                              <ref role="3cqZAo" node="6tPOoeTaVAY" resolve="programBuilder" />
+                            </node>
+                            <node concept="liA8E" id="4baZKvaLXMy" role="2OqNvi">
+                              <ref role="37wK5l" node="5NUR$P2uf1" resolve="addAll" />
+                              <node concept="37vLTw" id="4baZKvaLXSB" role="37wK5m">
+                                <ref role="3cqZAo" node="4baZKvaLWTt" resolve="rules" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3clFbH" id="4baZKvaLXXg" role="3cqZAp" />
+                      </node>
+                      <node concept="37vLTG" id="4baZKvaLWTt" role="1bW2Oz">
+                        <property role="TrG5h" value="rules" />
+                        <node concept="A3Dl8" id="4baZKvaLX4J" role="1tU5fm">
+                          <node concept="3uibUv" id="4baZKvaLXdK" role="A3Ik2">
+                            <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
+                          </node>
+                        </node>
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -4677,7 +4715,7 @@
                     <ref role="3cqZAo" node="6tPOoeTaVAY" resolve="programBuilder" />
                   </node>
                   <node concept="liA8E" id="6tPOoeTb4ZE" role="2OqNvi">
-                    <ref role="37wK5l" to="ksgm:5rhZO$TZiL1" resolve="toProgram" />
+                    <ref role="37wK5l" node="5rhZO$TZiL1" resolve="toProgram" />
                     <node concept="37vLTw" id="6tPOoeTb8N4" role="37wK5m">
                       <ref role="3cqZAo" node="6OXbTDxtYkB" resolve="name" />
                     </node>
@@ -4809,7 +4847,947 @@
       </node>
     </node>
     <node concept="2tJIrI" id="2$$Q_FeUgEv" role="jymVt" />
-    <node concept="2tJIrI" id="39eNUjlYVkI" role="jymVt" />
+    <node concept="312cEu" id="5rhZO$TYZJM" role="jymVt">
+      <property role="TrG5h" value="ProgramBuilder" />
+      <property role="2bfB8j" value="true" />
+      <node concept="2tJIrI" id="5rhZO$TZ4oM" role="jymVt" />
+      <node concept="3clFbW" id="4baZKvaO3Fj" role="jymVt">
+        <node concept="3cqZAl" id="4baZKvaO3Fl" role="3clF45" />
+        <node concept="3clFbS" id="4baZKvaO3Fm" role="3clF47">
+          <node concept="3clFbF" id="4baZKvaO4Re" role="3cqZAp">
+            <node concept="37vLTI" id="4baZKvaO5fx" role="3clFbG">
+              <node concept="37vLTw" id="4baZKvaO5mk" role="37vLTx">
+                <ref role="3cqZAo" node="4baZKvaO4xK" resolve="preambleInfo" />
+              </node>
+              <node concept="2OqwBi" id="4baZKvaO4WS" role="37vLTJ">
+                <node concept="Xjq3P" id="4baZKvaO4Rd" role="2Oq$k0" />
+                <node concept="2OwXpG" id="4baZKvaO53_" role="2OqNvi">
+                  <ref role="2Oxat5" node="5HxDM7DeEec" resolve="preambleInfo" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="37vLTG" id="4baZKvaO4xK" role="3clF46">
+          <property role="TrG5h" value="preambleInfo" />
+          <node concept="3uibUv" id="4baZKvaO4If" role="1tU5fm">
+            <ref role="3uigEE" to="av0y:~PreambleInfo" resolve="PreambleInfo" />
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="4baZKvaO2OU" role="jymVt" />
+      <node concept="3clFb_" id="5rhZO$TZiL1" role="jymVt">
+        <property role="TrG5h" value="toProgram" />
+        <property role="1EzhhJ" value="false" />
+        <node concept="37vLTG" id="5rhZO$TZiL2" role="3clF46">
+          <property role="TrG5h" value="name" />
+          <node concept="17QB3L" id="5rhZO$TZiL3" role="1tU5fm" />
+        </node>
+        <node concept="3uibUv" id="5rhZO$U0jE9" role="3clF45">
+          <ref role="3uigEE" to="av0y:~Program" resolve="Program" />
+        </node>
+        <node concept="3Tm1VV" id="5rhZO$TZiL7" role="1B3o_S" />
+        <node concept="3clFbS" id="5rhZO$TZiL9" role="3clF47">
+          <node concept="3clFbF" id="5rhZO$TZjg5" role="3cqZAp">
+            <node concept="2ShNRf" id="5rhZO$TZjg3" role="3clFbG">
+              <node concept="1pGfFk" id="5rhZO$TZlOE" role="2ShVmc">
+                <ref role="37wK5l" to="ksgm:7eGEHDlcF69" resolve="CodeRulesProgram" />
+                <node concept="37vLTw" id="5rhZO$TZlPA" role="37wK5m">
+                  <ref role="3cqZAo" node="5rhZO$TZiL2" resolve="name" />
+                </node>
+                <node concept="37vLTw" id="5NUR$P2E21" role="37wK5m">
+                  <ref role="3cqZAo" node="5NUR$P2y4R" resolve="allRules" />
+                </node>
+                <node concept="37vLTw" id="4baZKvaO2DR" role="37wK5m">
+                  <ref role="3cqZAo" node="6nFpYluW$vz" resolve="originIndex" />
+                </node>
+                <node concept="37vLTw" id="5HxDM7DeMr3" role="37wK5m">
+                  <ref role="3cqZAo" node="5HxDM7DeEec" resolve="preambleInfo" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="5NUR$P2t7Z" role="jymVt" />
+      <node concept="3clFb_" id="5NUR$P2uf1" role="jymVt">
+        <property role="TrG5h" value="addAll" />
+        <node concept="37vLTG" id="5NUR$P2vGK" role="3clF46">
+          <property role="TrG5h" value="rules" />
+          <node concept="A3Dl8" id="5NUR$P2xg5" role="1tU5fm">
+            <node concept="3uibUv" id="5NUR$P2xg7" role="A3Ik2">
+              <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
+            </node>
+          </node>
+        </node>
+        <node concept="3uibUv" id="5NUR$P2CdN" role="3clF45">
+          <ref role="3uigEE" to="psoy:7Oc59RSEjdb" resolve="Result" />
+        </node>
+        <node concept="3Tm1VV" id="5NUR$P2uf4" role="1B3o_S" />
+        <node concept="3clFbS" id="5NUR$P2uf5" role="3clF47">
+          <node concept="3cpWs8" id="5NUR$P2zVO" role="3cqZAp">
+            <node concept="3cpWsn" id="5NUR$P2zVP" role="3cpWs9">
+              <property role="TrG5h" value="res" />
+              <node concept="3uibUv" id="5NUR$P2zVQ" role="1tU5fm">
+                <ref role="3uigEE" to="psoy:7Oc59RSEjdb" resolve="Result" />
+              </node>
+              <node concept="2YIFZM" id="5NUR$P2zVR" role="33vP2m">
+                <ref role="1Pybhc" to="psoy:7Oc59RSEjdb" resolve="Result" />
+                <ref role="37wK5l" to="psoy:7Oc59RSEjeq" resolve="OK" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbH" id="5NUR$P2zVZ" role="3cqZAp" />
+          <node concept="1DcWWT" id="5NUR$P2zW0" role="3cqZAp">
+            <node concept="3clFbS" id="5NUR$P2zW1" role="2LFqv$">
+              <node concept="3J1_TO" id="5NUR$P2zW2" role="3cqZAp">
+                <node concept="3clFbS" id="5NUR$P2zW3" role="1zxBo7">
+                  <node concept="3clFbF" id="5NUR$P2zW4" role="3cqZAp">
+                    <node concept="1rXfSq" id="5NUR$P2zW5" role="3clFbG">
+                      <ref role="37wK5l" node="2Z9ItkdaJ0K" resolve="introduceRule" />
+                      <node concept="37vLTw" id="5NUR$P2zW6" role="37wK5m">
+                        <ref role="3cqZAo" node="5NUR$P2zWM" resolve="rule" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbF" id="5NUR$P2$Yp" role="3cqZAp">
+                    <node concept="2OqwBi" id="5NUR$P2Amg" role="3clFbG">
+                      <node concept="37vLTw" id="5NUR$P2_xV" role="2Oq$k0">
+                        <ref role="3cqZAo" node="5NUR$P2y4R" resolve="allRules" />
+                      </node>
+                      <node concept="TSZUe" id="5NUR$P2B3i" role="2OqNvi">
+                        <node concept="37vLTw" id="5NUR$P2BgW" role="25WWJ7">
+                          <ref role="3cqZAo" node="5NUR$P2zWM" resolve="rule" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="5NUR$P2zWc" role="3cqZAp" />
+                </node>
+                <node concept="3uVAMA" id="5NUR$P2zWd" role="1zxBo5">
+                  <node concept="XOnhg" id="5NUR$P2zWe" role="1zc67B">
+                    <property role="3TUv4t" value="false" />
+                    <property role="TrG5h" value="e" />
+                    <node concept="nSUau" id="5NUR$P2zWf" role="1tU5fm">
+                      <node concept="3uibUv" id="5NUR$P2zWg" role="nSUat">
+                        <ref role="3uigEE" to="av0y:~InvalidRuleException" resolve="InvalidRuleException" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbS" id="5NUR$P2zWh" role="1zc67A">
+                    <node concept="3SKdUt" id="5NUR$P2zWi" role="3cqZAp">
+                      <node concept="1PaTwC" id="5NUR$P2zWj" role="1aUNEU">
+                        <node concept="3oM_SD" id="5NUR$P2zWk" role="1PaTwD">
+                          <property role="3oM_SC" value="errors" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWl" role="1PaTwD">
+                          <property role="3oM_SC" value="that" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWm" role="1PaTwD">
+                          <property role="3oM_SC" value="can" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWn" role="1PaTwD">
+                          <property role="3oM_SC" value="arise" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWo" role="1PaTwD">
+                          <property role="3oM_SC" value="here" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWp" role="1PaTwD">
+                          <property role="3oM_SC" value="seem" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWq" role="1PaTwD">
+                          <property role="3oM_SC" value="not" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWr" role="1PaTwD">
+                          <property role="3oM_SC" value="fatal," />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWs" role="1PaTwD">
+                          <property role="3oM_SC" value="so" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWt" role="1PaTwD">
+                          <property role="3oM_SC" value="any" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWu" role="1PaTwD">
+                          <property role="3oM_SC" value="rule" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3SKdUt" id="5NUR$P2zWv" role="3cqZAp">
+                      <node concept="1PaTwC" id="5NUR$P2zWw" role="1aUNEU">
+                        <node concept="3oM_SD" id="5NUR$P2zWx" role="1PaTwD">
+                          <property role="3oM_SC" value="which" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWy" role="1PaTwD">
+                          <property role="3oM_SC" value="failed" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWz" role="1PaTwD">
+                          <property role="3oM_SC" value="to" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zW$" role="1PaTwD">
+                          <property role="3oM_SC" value="generate" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zW_" role="1PaTwD">
+                          <property role="3oM_SC" value="is" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWA" role="1PaTwD">
+                          <property role="3oM_SC" value="considered" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWB" role="1PaTwD">
+                          <property role="3oM_SC" value="safe" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWC" role="1PaTwD">
+                          <property role="3oM_SC" value="to" />
+                        </node>
+                        <node concept="3oM_SD" id="5NUR$P2zWD" role="1PaTwD">
+                          <property role="3oM_SC" value="drop" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbF" id="5NUR$P2zWE" role="3cqZAp">
+                      <node concept="37vLTI" id="5NUR$P2zWF" role="3clFbG">
+                        <node concept="2OqwBi" id="5NUR$P2zWG" role="37vLTx">
+                          <node concept="37vLTw" id="5NUR$P2zWH" role="2Oq$k0">
+                            <ref role="3cqZAo" node="5NUR$P2zVP" resolve="res" />
+                          </node>
+                          <node concept="liA8E" id="5NUR$P2zWI" role="2OqNvi">
+                            <ref role="37wK5l" to="psoy:7nkyKX7v7xb" resolve="and" />
+                            <node concept="2YIFZM" id="5NUR$P2zWJ" role="37wK5m">
+                              <ref role="37wK5l" to="psoy:5X1yxJHYTYX" resolve="RECOVER" />
+                              <ref role="1Pybhc" to="psoy:7Oc59RSEjdb" resolve="Result" />
+                              <node concept="37vLTw" id="5NUR$P2zWK" role="37wK5m">
+                                <ref role="3cqZAo" node="5NUR$P2zWe" resolve="e" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="37vLTw" id="5NUR$P2zWL" role="37vLTJ">
+                          <ref role="3cqZAo" node="5NUR$P2zVP" resolve="res" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3cpWsn" id="5NUR$P2zWM" role="1Duv9x">
+              <property role="TrG5h" value="rule" />
+              <node concept="3uibUv" id="5NUR$P2zWN" role="1tU5fm">
+                <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
+              </node>
+            </node>
+            <node concept="37vLTw" id="5NUR$P2$Kp" role="1DdaDG">
+              <ref role="3cqZAo" node="5NUR$P2vGK" resolve="rules" />
+            </node>
+          </node>
+          <node concept="3clFbF" id="5NUR$P2C0u" role="3cqZAp">
+            <node concept="37vLTw" id="5NUR$P2C0s" role="3clFbG">
+              <ref role="3cqZAo" node="5NUR$P2zVP" resolve="res" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="5NUR$P2tlo" role="jymVt" />
+      <node concept="3clFb_" id="2Z9ItkdaJ0K" role="jymVt">
+        <property role="TrG5h" value="introduceRule" />
+        <node concept="3clFbS" id="2Z9ItkdaJ0N" role="3clF47">
+          <node concept="3J1_TO" id="2Z9ItkdaNUt" role="3cqZAp">
+            <node concept="3clFbS" id="2Z9ItkdaNUv" role="1zxBo7">
+              <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="1aUNEU">
+                      <node concept="3oM_SD" id="2fZlvnrsIJx" role="1PaTwD">
+                        <property role="3oM_SC" value="catch" />
+                      </node>
+                      <node concept="3oM_SD" id="2fZlvnrsIJy" role="1PaTwD">
+                        <property role="3oM_SC" value="invalid" />
+                      </node>
+                      <node concept="3oM_SD" id="2fZlvnrsIJz" role="1PaTwD">
+                        <property role="3oM_SC" value="constraints" />
+                      </node>
+                      <node concept="3oM_SD" id="2fZlvnrsIJ$" role="1PaTwD">
+                        <property role="3oM_SC" value="early" />
+                      </node>
+                      <node concept="3oM_SD" id="2fZlvnrsIJ_" role="1PaTwD">
+                        <property role="3oM_SC" value="to" />
+                      </node>
+                      <node concept="3oM_SD" id="2fZlvnrsIJA" role="1PaTwD">
+                        <property role="3oM_SC" value="avoid" />
+                      </node>
+                      <node concept="3oM_SD" id="2fZlvnrsIJB" role="1PaTwD">
+                        <property role="3oM_SC" value="adding" />
+                      </node>
+                      <node concept="3oM_SD" id="2fZlvnrsIJC" role="1PaTwD">
+                        <property role="3oM_SC" value="a" />
+                      </node>
+                      <node concept="3oM_SD" id="2fZlvnrsIJD" role="1PaTwD">
+                        <property role="3oM_SC" value="broken" />
+                      </node>
+                      <node concept="3oM_SD" id="2fZlvnrsIJE" role="1PaTwD">
+                        <property role="3oM_SC" value="rule" />
+                      </node>
+                    </node>
+                  </node>
+                  <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="2Z9ItkdaJNw" resolve="rule" />
+                  </node>
+                  <node concept="liA8E" id="2fZlvnrsIJO" role="2OqNvi">
+                    <ref role="37wK5l" to="av0y:~Rule.all()" resolve="all" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbH" id="2Z9ItkdcGMJ" role="3cqZAp" />
+            </node>
+            <node concept="3uVAMA" id="2Z9ItkdaNUw" role="1zxBo5">
+              <node concept="XOnhg" id="2Z9ItkdaNUy" role="1zc67B">
+                <property role="3TUv4t" value="false" />
+                <property role="TrG5h" value="e" />
+                <node concept="nSUau" id="9wRW8gNGjG3" role="1tU5fm">
+                  <node concept="3uibUv" id="2Z9ItkdaNZl" role="nSUat">
+                    <ref role="3uigEE" to="av0y:~InvalidConstraintException" resolve="InvalidConstraintException" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbS" id="2Z9ItkdaNUA" role="1zc67A">
+                <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="2YIFZM" id="5BtuWK5vJ1r" role="37wK5m">
+                        <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                        <ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...)" resolve="format" />
+                        <node concept="Xl_RD" id="2Z9ItkdaO4Y" role="37wK5m">
+                          <property role="Xl_RC" value="Invalid rule (%s): %s" />
+                        </node>
+                        <node concept="2OqwBi" id="5BtuWK5vJQi" role="37wK5m">
+                          <node concept="37vLTw" id="5BtuWK5vJz8" role="2Oq$k0">
+                            <ref role="3cqZAo" node="2Z9ItkdaJNw" resolve="rule" />
+                          </node>
+                          <node concept="liA8E" id="5BtuWK5vJYH" role="2OqNvi">
+                            <ref role="37wK5l" to="av0y:~Rule.uniqueTag()" resolve="uniqueTag" />
+                          </node>
+                        </node>
+                        <node concept="2OqwBi" id="2Z9ItkdaO4V" role="37wK5m">
+                          <node concept="37vLTw" id="2Z9ItkdaO4W" role="2Oq$k0">
+                            <ref role="3cqZAo" node="2Z9ItkdaNUy" resolve="e" />
+                          </node>
+                          <node concept="liA8E" id="2Z9ItkdaO4X" role="2OqNvi">
+                            <ref role="37wK5l" to="wyt6:~Throwable.getMessage()" resolve="getMessage" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="37vLTw" id="2Z9ItkdaO4Z" role="37wK5m">
+                        <ref role="3cqZAo" node="2Z9ItkdaNUy" resolve="e" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <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>
+      <node concept="2tJIrI" id="429xoypV6tp" role="jymVt" />
+      <node concept="3clFb_" id="7eGEHDlefwa" role="jymVt">
+        <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" />
+              <node concept="37vLTw" id="7Oc59RSHTE1" role="37wK5m">
+                <ref role="3cqZAo" node="7eGEHDleg3E" resolve="item" />
+              </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">
+                <node concept="3cpWsn" id="5uFPQ7BH1yJ" role="3cpWs9">
+                  <property role="TrG5h" value="cst" />
+                  <node concept="3uibUv" id="5uFPQ7BH1yG" role="1tU5fm">
+                    <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
+                  </node>
+                  <node concept="10QFUN" id="5uFPQ7BH1yK" role="33vP2m">
+                    <node concept="37vLTw" id="5uFPQ7BH1yL" role="10QFUP">
+                      <ref role="3cqZAo" node="7eGEHDleg3E" resolve="item" />
+                    </node>
+                    <node concept="3uibUv" id="5uFPQ7BH1yM" role="10QFUM">
+                      <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbJ" id="2fZlvnrsV9u" role="3cqZAp">
+                <node concept="3clFbS" id="2fZlvnrsV9w" role="3clFbx">
+                  <node concept="3clFbF" id="7eGEHDleQCQ" role="3cqZAp">
+                    <node concept="2OqwBi" id="7eGEHDleQIf" role="3clFbG">
+                      <node concept="37vLTw" id="7eGEHDleQCP" role="2Oq$k0">
+                        <ref role="3cqZAo" node="7eGEHDley5W" resolve="constraintArgTypes" />
+                      </node>
+                      <node concept="liA8E" id="7eGEHDleQZ$" role="2OqNvi">
+                        <ref role="37wK5l" to="33ny:~Map.put(java.lang.Object,java.lang.Object)" resolve="put" />
+                        <node concept="2OqwBi" id="7eGEHDleR63" role="37wK5m">
+                          <node concept="37vLTw" id="5uFPQ7BH1JL" role="2Oq$k0">
+                            <ref role="3cqZAo" node="5uFPQ7BH1yJ" resolve="cst" />
+                          </node>
+                          <node concept="liA8E" id="7eGEHDleRaS" role="2OqNvi">
+                            <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
+                          </node>
+                        </node>
+                        <node concept="2OqwBi" id="78CwJJcWZ_9" role="37wK5m">
+                          <node concept="37vLTw" id="78CwJJcWZx1" role="2Oq$k0">
+                            <ref role="3cqZAo" node="5uFPQ7BH1yJ" resolve="cst" />
+                          </node>
+                          <node concept="liA8E" id="78CwJJcWZFx" role="2OqNvi">
+                            <ref role="37wK5l" to="av0y:~Constraint.argumentTypes()" resolve="argumentTypes" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3fqX7Q" id="2fZlvnrsWGQ" role="3clFbw">
+                  <node concept="2OqwBi" id="2fZlvnrsWGS" role="3fr31v">
+                    <node concept="37vLTw" id="2fZlvnrsWGT" role="2Oq$k0">
+                      <ref role="3cqZAo" node="7eGEHDley5W" resolve="constraintArgTypes" />
+                    </node>
+                    <node concept="liA8E" id="2fZlvnrsWGU" role="2OqNvi">
+                      <ref role="37wK5l" to="33ny:~Map.containsKey(java.lang.Object)" resolve="containsKey" />
+                      <node concept="2OqwBi" id="2fZlvnrsWZE" role="37wK5m">
+                        <node concept="37vLTw" id="2fZlvnrsWZF" role="2Oq$k0">
+                          <ref role="3cqZAo" node="5uFPQ7BH1yJ" resolve="cst" />
+                        </node>
+                        <node concept="liA8E" id="2fZlvnrsWZG" role="2OqNvi">
+                          <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="2ZW3vV" id="5uFPQ7BH0Nf" role="3clFbw">
+              <node concept="3uibUv" id="5uFPQ7BH0W3" role="2ZW6by">
+                <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
+              </node>
+              <node concept="37vLTw" id="5uFPQ7BH0oU" role="2ZW6bz">
+                <ref role="3cqZAo" node="7eGEHDleg3E" resolve="item" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="37vLTG" id="7eGEHDleg3E" role="3clF46">
+          <property role="TrG5h" value="item" />
+          <node concept="3uibUv" id="5uFPQ7BGZBH" role="1tU5fm">
+            <ref role="3uigEE" to="av0y:~AndItem" resolve="AndItem" />
+          </node>
+        </node>
+        <node concept="3uibUv" id="7Oc59RSHLFV" role="Sfmx6">
+          <ref role="3uigEE" to="av0y:~InvalidConstraintException" resolve="InvalidConstraintException" />
+        </node>
+        <node concept="3Tm6S6" id="2fZlvnrs_z0" role="1B3o_S" />
+      </node>
+      <node concept="2tJIrI" id="2pvEdquu$2W" role="jymVt" />
+      <node concept="3clFb_" id="7eGEHDldpbj" role="jymVt">
+        <property role="TrG5h" value="checkValidConstraint" />
+        <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">
+            <node concept="3clFbS" id="5uFPQ7BEi6f" role="3clFbx">
+              <node concept="3cpWs8" id="5uFPQ7BEo4v" role="3cqZAp">
+                <node concept="3cpWsn" id="5uFPQ7BEo4w" role="3cpWs9">
+                  <property role="TrG5h" value="cst" />
+                  <node concept="3uibUv" id="5uFPQ7BEo4s" role="1tU5fm">
+                    <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
+                  </node>
+                  <node concept="10QFUN" id="5uFPQ7BEo4x" role="33vP2m">
+                    <node concept="37vLTw" id="5uFPQ7BEo4y" role="10QFUP">
+                      <ref role="3cqZAo" node="7eGEHDldphF" resolve="item" />
+                    </node>
+                    <node concept="3uibUv" id="5uFPQ7BEo4z" role="10QFUM">
+                      <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3cpWs8" id="7eGEHDlg3RR" role="3cqZAp">
+                <node concept="3cpWsn" id="7eGEHDlg3RS" role="3cpWs9">
+                  <property role="TrG5h" value="matches" />
+                  <node concept="10P_77" id="7eGEHDlg3RE" role="1tU5fm" />
+                  <node concept="3clFbC" id="7eGEHDlg3RT" role="33vP2m">
+                    <node concept="2OqwBi" id="30XHGaOWf5H" role="3uHU7w">
+                      <node concept="2OqwBi" id="7eGEHDlg3RU" role="2Oq$k0">
+                        <node concept="37vLTw" id="5uFPQ7BEp2v" role="2Oq$k0">
+                          <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
+                        </node>
+                        <node concept="liA8E" id="30XHGaOWeZv" role="2OqNvi">
+                          <ref role="37wK5l" to="av0y:~AndItem.arguments()" resolve="arguments" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="30XHGaOWfgx" role="2OqNvi">
+                        <ref role="37wK5l" to="33ny:~List.size()" resolve="size" />
+                      </node>
+                    </node>
+                    <node concept="2OqwBi" id="7eGEHDlg3RX" role="3uHU7B">
+                      <node concept="2OqwBi" id="30XHGaP5pkH" role="2Oq$k0">
+                        <node concept="37vLTw" id="5uFPQ7BEoPo" role="2Oq$k0">
+                          <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
+                        </node>
+                        <node concept="liA8E" id="30XHGaP5pQG" role="2OqNvi">
+                          <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="7eGEHDlg3RZ" role="2OqNvi">
+                        <ref role="37wK5l" to="av0y:~Symbol.arity()" resolve="arity" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbJ" id="7eGEHDlg4M0" role="3cqZAp">
+                <property role="TyiWK" value="true" />
+                <property role="TyiWL" value="false" />
+                <node concept="3clFbS" id="7eGEHDlg4M3" role="3clFbx">
+                  <node concept="YS8fn" id="7Oc59RSHOPS" role="3cqZAp">
+                    <node concept="2ShNRf" id="7Oc59RSHPbM" role="YScLw">
+                      <node concept="1pGfFk" id="7Oc59RSHPxc" role="2ShVmc">
+                        <ref role="37wK5l" to="av0y:~InvalidConstraintException.&lt;init&gt;(java.lang.String)" resolve="InvalidConstraintException" />
+                        <node concept="3cpWs3" id="7Oc59RSHQew" role="37wK5m">
+                          <node concept="2YIFZM" id="7Oc59RSHQex" role="3uHU7w">
+                            <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object)" resolve="valueOf" />
+                            <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                            <node concept="2OqwBi" id="7Oc59RSHQey" role="37wK5m">
+                              <node concept="37vLTw" id="5uFPQ7BEpeQ" role="2Oq$k0">
+                                <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
+                              </node>
+                              <node concept="liA8E" id="7Oc59RSHQe$" role="2OqNvi">
+                                <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="Xl_RD" id="7Oc59RSHQe_" role="3uHU7B">
+                            <property role="Xl_RC" value="arity mismatch for " />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3fqX7Q" id="7eGEHDlg51Y" role="3clFbw">
+                  <node concept="37vLTw" id="7eGEHDlg57r" role="3fr31v">
+                    <ref role="3cqZAo" node="7eGEHDlg3RS" resolve="matches" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbH" id="1zN1RIln3l9" role="3cqZAp" />
+              <node concept="3clFbJ" id="7eGEHDleMeh" role="3cqZAp">
+                <node concept="3clFbS" id="7eGEHDleMei" role="3clFbx">
+                  <node concept="3SKdUt" id="Vlk31yQOwf" role="3cqZAp">
+                    <node concept="1PaTwC" id="589APehYxOS" role="1aUNEU">
+                      <node concept="3oM_SD" id="589APehYxOT" role="1PaTwD">
+                        <property role="3oM_SC" value="FIXME:" />
+                      </node>
+                      <node concept="3oM_SD" id="589APehYxOU" role="1PaTwD">
+                        <property role="3oM_SC" value="introduce" />
+                      </node>
+                      <node concept="3oM_SD" id="589APehYxOV" role="1PaTwD">
+                        <property role="3oM_SC" value="RT" />
+                      </node>
+                      <node concept="3oM_SD" id="589APehYxOW" role="1PaTwD">
+                        <property role="3oM_SC" value="types" />
+                      </node>
+                      <node concept="3oM_SD" id="589APehYxOX" role="1PaTwD">
+                        <property role="3oM_SC" value="to" />
+                      </node>
+                      <node concept="3oM_SD" id="589APehYxOY" role="1PaTwD">
+                        <property role="3oM_SC" value="LateExpression," />
+                      </node>
+                      <node concept="3oM_SD" id="589APehYxOZ" role="1PaTwD">
+                        <property role="3oM_SC" value="reinstate" />
+                      </node>
+                      <node concept="3oM_SD" id="589APehYxP0" role="1PaTwD">
+                        <property role="3oM_SC" value="this" />
+                      </node>
+                      <node concept="3oM_SD" id="589APehYxP1" role="1PaTwD">
+                        <property role="3oM_SC" value="check" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="1X3_iC" id="Vlk31yQOnf" role="lGtFl">
+                    <property role="3V$3am" value="statement" />
+                    <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+                    <node concept="3clFbJ" id="1zN1RIlmYBW" role="8Wnug">
+                      <node concept="3clFbS" id="1zN1RIlmYBY" role="3clFbx">
+                        <node concept="3clFbH" id="78CwJJcX4mm" role="3cqZAp" />
+                        <node concept="YS8fn" id="1zN1RIln3iC" role="3cqZAp">
+                          <node concept="2ShNRf" id="1zN1RIln3iD" role="YScLw">
+                            <node concept="1pGfFk" id="1zN1RIln3iE" role="2ShVmc">
+                              <ref role="37wK5l" to="av0y:~InvalidConstraintException.&lt;init&gt;(java.lang.String)" resolve="InvalidConstraintException" />
+                              <node concept="3cpWs3" id="4sSe4$prVxK" role="37wK5m">
+                                <node concept="3cpWs3" id="4sSe4$prSVy" role="3uHU7B">
+                                  <node concept="3cpWs3" id="4sSe4$prRB1" role="3uHU7B">
+                                    <node concept="3cpWs3" id="4sSe4$prPGF" role="3uHU7B">
+                                      <node concept="3cpWs3" id="1zN1RIln3iF" role="3uHU7B">
+                                        <node concept="Xl_RD" id="1zN1RIln3iK" role="3uHU7B">
+                                          <property role="Xl_RC" value="argument type mismatch for " />
+                                        </node>
+                                        <node concept="2YIFZM" id="1zN1RIln3iG" role="3uHU7w">
+                                          <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                                          <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object)" resolve="valueOf" />
+                                          <node concept="2OqwBi" id="1zN1RIln3iH" role="37wK5m">
+                                            <node concept="37vLTw" id="5uFPQ7BEsjZ" role="2Oq$k0">
+                                              <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
+                                            </node>
+                                            <node concept="liA8E" id="1zN1RIln3iJ" role="2OqNvi">
+                                              <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
+                                            </node>
+                                          </node>
+                                        </node>
+                                      </node>
+                                      <node concept="Xl_RD" id="4sSe4$prQnq" role="3uHU7w">
+                                        <property role="Xl_RC" value=": " />
+                                      </node>
+                                    </node>
+                                    <node concept="2OqwBi" id="4sSe4$prSgv" role="3uHU7w">
+                                      <node concept="37vLTw" id="4sSe4$prSgw" role="2Oq$k0">
+                                        <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
+                                      </node>
+                                      <node concept="liA8E" id="4sSe4$prSgx" role="2OqNvi">
+                                        <ref role="37wK5l" to="av0y:~Constraint.argumentTypes()" resolve="argumentTypes" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="Xl_RD" id="4sSe4$prSVN" role="3uHU7w">
+                                    <property role="Xl_RC" value=" != " />
+                                  </node>
+                                </node>
+                                <node concept="2OqwBi" id="4sSe4$prWcR" role="3uHU7w">
+                                  <node concept="37vLTw" id="4sSe4$prWcS" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="7eGEHDley5W" resolve="constraintArgTypes" />
+                                  </node>
+                                  <node concept="liA8E" id="4sSe4$prWcT" role="2OqNvi">
+                                    <ref role="37wK5l" to="33ny:~Map.get(java.lang.Object)" resolve="get" />
+                                    <node concept="2OqwBi" id="4sSe4$prWcU" role="37wK5m">
+                                      <node concept="37vLTw" id="4sSe4$prWcV" role="2Oq$k0">
+                                        <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
+                                      </node>
+                                      <node concept="liA8E" id="4sSe4$prWcW" role="2OqNvi">
+                                        <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3fqX7Q" id="1zN1RIlmYCN" role="3clFbw">
+                        <node concept="2OqwBi" id="78CwJJcX3XB" role="3fr31v">
+                          <node concept="2OqwBi" id="78CwJJcX3Qz" role="2Oq$k0">
+                            <node concept="37vLTw" id="78CwJJcX3Pp" role="2Oq$k0">
+                              <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
+                            </node>
+                            <node concept="liA8E" id="78CwJJcX3RX" role="2OqNvi">
+                              <ref role="37wK5l" to="av0y:~Constraint.argumentTypes()" resolve="argumentTypes" />
+                            </node>
+                          </node>
+                          <node concept="liA8E" id="78CwJJcX49I" role="2OqNvi">
+                            <ref role="37wK5l" to="33ny:~List.equals(java.lang.Object)" resolve="equals" />
+                            <node concept="2OqwBi" id="30XHGaP5H3s" role="37wK5m">
+                              <node concept="37vLTw" id="30XHGaP5H3t" role="2Oq$k0">
+                                <ref role="3cqZAo" node="7eGEHDley5W" resolve="constraintArgTypes" />
+                              </node>
+                              <node concept="liA8E" id="30XHGaP5H3u" role="2OqNvi">
+                                <ref role="37wK5l" to="33ny:~Map.get(java.lang.Object)" resolve="get" />
+                                <node concept="2OqwBi" id="30XHGaP5H3v" role="37wK5m">
+                                  <node concept="37vLTw" id="5uFPQ7BEs2s" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
+                                  </node>
+                                  <node concept="liA8E" id="30XHGaP5H3x" role="2OqNvi">
+                                    <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="2OqwBi" id="7eGEHDleL6q" role="3clFbw">
+                  <node concept="37vLTw" id="7eGEHDleIbQ" role="2Oq$k0">
+                    <ref role="3cqZAo" node="7eGEHDley5W" resolve="constraintArgTypes" />
+                  </node>
+                  <node concept="liA8E" id="7eGEHDleLnR" role="2OqNvi">
+                    <ref role="37wK5l" to="33ny:~Map.containsKey(java.lang.Object)" resolve="containsKey" />
+                    <node concept="2OqwBi" id="7eGEHDleLtw" role="37wK5m">
+                      <node concept="37vLTw" id="5uFPQ7BEppf" role="2Oq$k0">
+                        <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
+                      </node>
+                      <node concept="liA8E" id="7eGEHDleLzH" role="2OqNvi">
+                        <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbH" id="5uFPQ7BEtME" role="3cqZAp" />
+            </node>
+            <node concept="2ZW3vV" id="5uFPQ7BEjM3" role="3clFbw">
+              <node concept="3uibUv" id="5uFPQ7BEk3l" role="2ZW6by">
+                <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
+              </node>
+              <node concept="37vLTw" id="5uFPQ7BEjxn" role="2ZW6bz">
+                <ref role="3cqZAo" node="7eGEHDldphF" resolve="item" />
+              </node>
+            </node>
+            <node concept="3eNFk2" id="5uFPQ7BEsMn" role="3eNLev">
+              <node concept="2ZW3vV" id="5uFPQ7BEtf6" role="3eO9$A">
+                <node concept="3uibUv" id="5uFPQ7BEtlm" role="2ZW6by">
+                  <ref role="3uigEE" to="av0y:~Predicate" resolve="Predicate" />
+                </node>
+                <node concept="37vLTw" id="5uFPQ7BEt9u" role="2ZW6bz">
+                  <ref role="3cqZAo" node="7eGEHDldphF" resolve="item" />
+                </node>
+              </node>
+              <node concept="3clFbS" id="5uFPQ7BEsMp" role="3eOfB_">
+                <node concept="3cpWs8" id="5uFPQ7BEu6y" role="3cqZAp">
+                  <node concept="3cpWsn" id="5uFPQ7BEu6z" role="3cpWs9">
+                    <property role="TrG5h" value="pred" />
+                    <node concept="3uibUv" id="5uFPQ7BEu6w" role="1tU5fm">
+                      <ref role="3uigEE" to="av0y:~Predicate" resolve="Predicate" />
+                    </node>
+                    <node concept="10QFUN" id="5uFPQ7BEu6$" role="33vP2m">
+                      <node concept="37vLTw" id="5uFPQ7BEu6_" role="10QFUP">
+                        <ref role="3cqZAo" node="7eGEHDldphF" resolve="item" />
+                      </node>
+                      <node concept="3uibUv" id="5uFPQ7BEu6A" role="10QFUM">
+                        <ref role="3uigEE" to="av0y:~Predicate" resolve="Predicate" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbJ" id="2pvEdquuzfg" role="3cqZAp">
+                  <property role="TyiWK" value="true" />
+                  <property role="TyiWL" value="false" />
+                  <node concept="3clFbS" id="2pvEdquuzfh" role="3clFbx">
+                    <node concept="YS8fn" id="2pvEdquuFKC" role="3cqZAp">
+                      <node concept="2ShNRf" id="2pvEdquuFKD" role="YScLw">
+                        <node concept="1pGfFk" id="2pvEdquuFKE" role="2ShVmc">
+                          <ref role="37wK5l" to="av0y:~InvalidConstraintException.&lt;init&gt;(java.lang.String)" resolve="InvalidConstraintException" />
+                          <node concept="3cpWs3" id="2pvEdquuFKF" role="37wK5m">
+                            <node concept="2YIFZM" id="2pvEdquuFKG" role="3uHU7w">
+                              <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object)" resolve="valueOf" />
+                              <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                              <node concept="2OqwBi" id="2pvEdquuFKH" role="37wK5m">
+                                <node concept="37vLTw" id="5uFPQ7BEvpY" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="5uFPQ7BEu6z" resolve="pred" />
+                                </node>
+                                <node concept="liA8E" id="2pvEdquuFKJ" role="2OqNvi">
+                                  <ref role="37wK5l" to="av0y:~Predicate.symbol()" resolve="symbol" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="Xl_RD" id="2pvEdquuFKK" role="3uHU7B">
+                              <property role="Xl_RC" value="arity mismatch for " />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3y3z36" id="2pvEdquuFm2" role="3clFbw">
+                    <node concept="2OqwBi" id="30XHGaOWeKw" role="3uHU7B">
+                      <node concept="2OqwBi" id="2pvEdquuFmc" role="2Oq$k0">
+                        <node concept="37vLTw" id="5uFPQ7BEvh9" role="2Oq$k0">
+                          <ref role="3cqZAo" node="5uFPQ7BEu6z" resolve="pred" />
+                        </node>
+                        <node concept="liA8E" id="30XHGaOWeEi" role="2OqNvi">
+                          <ref role="37wK5l" to="av0y:~AndItem.arguments()" resolve="arguments" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="30XHGaOWeVo" role="2OqNvi">
+                        <ref role="37wK5l" to="33ny:~List.size()" resolve="size" />
+                      </node>
+                    </node>
+                    <node concept="2OqwBi" id="2pvEdquuFm4" role="3uHU7w">
+                      <node concept="2OqwBi" id="2pvEdquuFm5" role="2Oq$k0">
+                        <node concept="37vLTw" id="5uFPQ7BEvly" role="2Oq$k0">
+                          <ref role="3cqZAo" node="5uFPQ7BEu6z" resolve="pred" />
+                        </node>
+                        <node concept="liA8E" id="2pvEdquuFma" role="2OqNvi">
+                          <ref role="37wK5l" to="av0y:~Predicate.symbol()" resolve="symbol" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="2pvEdquuFmb" role="2OqNvi">
+                        <ref role="37wK5l" to="av0y:~Symbol.arity()" resolve="arity" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbH" id="5uFPQ7BEhJz" role="3cqZAp" />
+          <node concept="1DcWWT" id="2KVRGowW$Kl" role="3cqZAp">
+            <node concept="3clFbS" id="2KVRGowW$Km" role="2LFqv$">
+              <node concept="3clFbJ" id="2KVRGowW_mo" role="3cqZAp">
+                <node concept="3clFbS" id="2KVRGowW_mp" role="3clFbx">
+                  <node concept="YS8fn" id="2KVRGowW_uZ" role="3cqZAp">
+                    <node concept="2ShNRf" id="2KVRGowW_w4" role="YScLw">
+                      <node concept="1pGfFk" id="2KVRGowWD9N" role="2ShVmc">
+                        <ref role="37wK5l" to="av0y:~InvalidConstraintException.&lt;init&gt;(java.lang.String)" resolve="InvalidConstraintException" />
+                        <node concept="3cpWs3" id="2KVRGowWD$u" role="37wK5m">
+                          <node concept="2YIFZM" id="2KVRGowWDMj" role="3uHU7w">
+                            <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                            <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object)" resolve="valueOf" />
+                            <node concept="2OqwBi" id="2KVRGowWE4s" role="37wK5m">
+                              <node concept="37vLTw" id="2KVRGowWDWb" role="2Oq$k0">
+                                <ref role="3cqZAo" node="7eGEHDldphF" resolve="item" />
+                              </node>
+                              <node concept="liA8E" id="2KVRGowWEea" role="2OqNvi">
+                                <ref role="37wK5l" to="av0y:~AndItem.symbol()" resolve="symbol" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="Xl_RD" id="2KVRGowWDb8" role="3uHU7B">
+                            <property role="Xl_RC" value="argument is null in " />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="5uFPQ7BH4xL" role="3cqZAp" />
+                </node>
+                <node concept="3clFbC" id="2KVRGowW_pF" role="3clFbw">
+                  <node concept="10Nm6u" id="2KVRGowW_qV" role="3uHU7w" />
+                  <node concept="37vLTw" id="2KVRGowW_ol" role="3uHU7B">
+                    <ref role="3cqZAo" node="2KVRGowW$Kp" resolve="arg" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3cpWsn" id="2KVRGowW$Kp" role="1Duv9x">
+              <property role="TrG5h" value="arg" />
+              <node concept="3uibUv" id="2KVRGowW$Kt" role="1tU5fm">
+                <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+              </node>
+            </node>
+            <node concept="2OqwBi" id="2KVRGowW$Ku" role="1DdaDG">
+              <node concept="37vLTw" id="2KVRGowW$Kv" role="2Oq$k0">
+                <ref role="3cqZAo" node="7eGEHDldphF" resolve="item" />
+              </node>
+              <node concept="liA8E" id="2KVRGowW$Kw" role="2OqNvi">
+                <ref role="37wK5l" to="av0y:~AndItem.arguments()" resolve="arguments" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="37vLTG" id="7eGEHDldphF" role="3clF46">
+          <property role="TrG5h" value="item" />
+          <node concept="3uibUv" id="5uFPQ7BEg4K" role="1tU5fm">
+            <ref role="3uigEE" to="av0y:~AndItem" resolve="AndItem" />
+          </node>
+        </node>
+        <node concept="3uibUv" id="7Oc59RSHN4l" role="Sfmx6">
+          <ref role="3uigEE" to="av0y:~InvalidConstraintException" resolve="InvalidConstraintException" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="7eGEHDldnO1" role="jymVt" />
+      <node concept="312cEg" id="7eGEHDley5W" role="jymVt">
+        <property role="TrG5h" value="constraintArgTypes" />
+        <node concept="3Tm6S6" id="7eGEHDley5X" role="1B3o_S" />
+        <node concept="3uibUv" id="7eGEHDley91" role="1tU5fm">
+          <ref role="3uigEE" to="33ny:~Map" resolve="Map" />
+          <node concept="3uibUv" id="30XHGaP58dI" role="11_B2D">
+            <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
+          </node>
+          <node concept="3uibUv" id="78CwJJcX046" role="11_B2D">
+            <ref role="3uigEE" to="33ny:~List" resolve="List" />
+            <node concept="3uibUv" id="78CwJJcX0tv" role="11_B2D">
+              <ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
+              <node concept="3qTvmN" id="78CwJJcX1kP" role="11_B2D" />
+            </node>
+          </node>
+        </node>
+        <node concept="2ShNRf" id="7eGEHDleyjJ" role="33vP2m">
+          <node concept="1pGfFk" id="7eGEHDle_f8" role="2ShVmc">
+            <ref role="37wK5l" to="33ny:~HashMap.&lt;init&gt;()" resolve="HashMap" />
+            <node concept="3uibUv" id="30XHGaP58v0" role="1pMfVU">
+              <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
+            </node>
+            <node concept="3uibUv" id="78CwJJcX2Zu" role="1pMfVU">
+              <ref role="3uigEE" to="33ny:~List" resolve="List" />
+              <node concept="3uibUv" id="30XHGaP5wzw" role="11_B2D">
+                <ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
+                <node concept="3qTvmN" id="30XHGaP5wzx" role="11_B2D" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="312cEg" id="5NUR$P2y4R" role="jymVt">
+        <property role="TrG5h" value="allRules" />
+        <node concept="3Tm6S6" id="5NUR$P2y4S" role="1B3o_S" />
+        <node concept="_YKpA" id="5NUR$P2y4T" role="1tU5fm">
+          <node concept="3uibUv" id="5NUR$P2yZp" role="_ZDj9">
+            <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
+          </node>
+        </node>
+        <node concept="2ShNRf" id="5NUR$P2y4V" role="33vP2m">
+          <node concept="Tc6Ow" id="5NUR$P2y4W" role="2ShVmc">
+            <node concept="3uibUv" id="5NUR$P2zB0" role="HW$YZ">
+              <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="312cEg" id="5HxDM7DeEec" role="jymVt">
+        <property role="TrG5h" value="preambleInfo" />
+        <node concept="3Tm6S6" id="5HxDM7DeEed" role="1B3o_S" />
+        <node concept="3uibUv" id="5HxDM7DeEef" role="1tU5fm">
+          <ref role="3uigEE" to="av0y:~PreambleInfo" resolve="PreambleInfo" />
+        </node>
+        <node concept="10M0yZ" id="5HxDM7Dft6c" role="33vP2m">
+          <ref role="3cqZAo" to="av0y:~PreambleInfo.EMPTY" resolve="EMPTY" />
+          <ref role="1PxDUh" to="av0y:~PreambleInfo" resolve="PreambleInfo" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4baZKvaOapj" role="jymVt" />
     <node concept="312cEg" id="1pPth$lE8Xs" role="jymVt">
       <property role="34CwA1" value="false" />
       <property role="eg7rD" 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 26b8a180..8ec47f71 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
@@ -167,12 +167,9 @@
       </concept>
       <concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
       <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
-        <property id="4467513934994662257" name="forceMultiLine" index="TyiWK" />
-        <property id="4467513934994662256" name="forceOneLine" index="TyiWL" />
         <child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
         <child id="1068580123160" name="condition" index="3clFbw" />
         <child id="1068580123161" name="ifTrue" index="3clFbx" />
-        <child id="1206060520071" name="elsifClauses" index="3eNLev" />
       </concept>
       <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
         <child id="1068581517665" name="statement" index="3cqZAp" />
@@ -194,10 +191,6 @@
       <concept id="1068581242869" name="jetbrains.mps.baseLanguage.structure.MinusExpression" flags="nn" index="3cpWsd" />
       <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
       <concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
-      <concept id="1206060495898" name="jetbrains.mps.baseLanguage.structure.ElsifClause" flags="ng" index="3eNFk2">
-        <child id="1206060619838" name="condition" index="3eO9$A" />
-        <child id="1206060644605" name="statementList" index="3eOfB_" />
-      </concept>
       <concept id="1079359253375" name="jetbrains.mps.baseLanguage.structure.ParenthesizedExpression" flags="nn" index="1eOMI4">
         <child id="1079359253376" name="expression" index="1eOMHV" />
       </concept>
@@ -5129,12 +5122,6 @@
     <node concept="2tJIrI" id="6i42QSspmaL" role="jymVt" />
     <node concept="3clFb_" id="7nkyKX7ncaN" role="jymVt">
       <property role="TrG5h" value="buildProgram" />
-      <node concept="37vLTG" id="1CcQBrPh8x2" role="3clF46">
-        <property role="TrG5h" value="programBuilder" />
-        <node concept="3uibUv" id="cmlg9NfzGu" role="1tU5fm">
-          <ref role="3uigEE" node="5rhZO$TYZJM" resolve="ProgramBuilder" />
-        </node>
-      </node>
       <node concept="3uibUv" id="7nkyKX7nfei" role="3clF45">
         <ref role="3uigEE" to="psoy:7Oc59RSEjdb" resolve="Result" />
       </node>
@@ -5161,20 +5148,17 @@
               </node>
               <node concept="liA8E" id="2Z9ItkddNZZ" role="2OqNvi">
                 <ref role="37wK5l" to="psoy: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="5NUR$P2uf1" resolve="addAll" />
-                    <node concept="2OqwBi" id="5NUR$P3a3_" role="37wK5m">
-                      <node concept="37vLTw" id="5NUR$P3a3A" role="2Oq$k0">
-                        <ref role="3cqZAo" node="6tPOoeT4XhE" resolve="planHandler" />
-                      </node>
-                      <node concept="liA8E" id="5NUR$P3a3B" role="2OqNvi">
-                        <ref role="37wK5l" node="7DvO2M9UagU" resolve="allRules" />
-                      </node>
+                <node concept="2Sg_IR" id="4baZKvaLH7u" role="37wK5m">
+                  <node concept="2OqwBi" id="4baZKvaLI8r" role="2SgHGx">
+                    <node concept="37vLTw" id="4baZKvaLI8s" role="2Oq$k0">
+                      <ref role="3cqZAo" node="6tPOoeT4XhE" resolve="planHandler" />
                     </node>
+                    <node concept="liA8E" id="4baZKvaLI8t" role="2OqNvi">
+                      <ref role="37wK5l" node="7DvO2M9UagU" resolve="allRules" />
+                    </node>
+                  </node>
+                  <node concept="37vLTw" id="4baZKvaLH7v" role="2SgG2M">
+                    <ref role="3cqZAo" node="4baZKvaLlD4" resolve="builder" />
                   </node>
                 </node>
               </node>
@@ -5184,19 +5168,6 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbF" id="5HxDM7Df4LE" role="3cqZAp">
-          <node concept="2OqwBi" id="5HxDM7Dfb5a" role="3clFbG">
-            <node concept="37vLTw" id="5HxDM7Df4LC" role="2Oq$k0">
-              <ref role="3cqZAo" node="1CcQBrPh8x2" resolve="programBuilder" />
-            </node>
-            <node concept="liA8E" id="5HxDM7Dfdfe" role="2OqNvi">
-              <ref role="37wK5l" node="5HxDM7DewM3" resolve="specifyPreamble" />
-              <node concept="37vLTw" id="5HxDM7DfdmP" role="37wK5m">
-                <ref role="3cqZAo" node="5HxDM7DdKeq" resolve="preambleInfo" />
-              </node>
-            </node>
-          </node>
-        </node>
         <node concept="3clFbH" id="5HxDM7Dferq" role="3cqZAp" />
         <node concept="3SKdUt" id="5yr01fE2ejp" role="3cqZAp">
           <node concept="1PaTwC" id="5yr01fE2ejq" role="1aUNEU">
@@ -5361,20 +5332,17 @@
                   </node>
                   <node concept="liA8E" id="2Z9ItkddTgR" role="2OqNvi">
                     <ref role="37wK5l" to="psoy: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="5NUR$P2uf1" resolve="addAll" />
-                        <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="rules" />
-                          </node>
+                    <node concept="2Sg_IR" id="4baZKvaLU7i" role="37wK5m">
+                      <node concept="2OqwBi" id="4baZKvaLV8v" role="2SgHGx">
+                        <node concept="37vLTw" id="4baZKvaLV8w" role="2Oq$k0">
+                          <ref role="3cqZAo" node="4MqhgXUQinv" resolve="mainRulesListBuilder" />
                         </node>
+                        <node concept="liA8E" id="4baZKvaLV8x" role="2OqNvi">
+                          <ref role="37wK5l" node="4MqhgXUNDLG" resolve="rules" />
+                        </node>
+                      </node>
+                      <node concept="37vLTw" id="4baZKvaLU7j" role="2SgG2M">
+                        <ref role="3cqZAo" node="4baZKvaLlD4" resolve="builder" />
                       </node>
                     </node>
                   </node>
@@ -5393,6 +5361,19 @@
           </node>
         </node>
       </node>
+      <node concept="37vLTG" id="4baZKvaLlD4" role="3clF46">
+        <property role="TrG5h" value="builder" />
+        <node concept="1ajhzC" id="4baZKvaLyhT" role="1tU5fm">
+          <node concept="3uibUv" id="4baZKvaLDt4" role="1ajl9A">
+            <ref role="3uigEE" to="psoy:7Oc59RSEjdb" resolve="Result" />
+          </node>
+          <node concept="A3Dl8" id="4baZKvaLApk" role="1ajw0F">
+            <node concept="3uibUv" id="4baZKvaLCnX" role="A3Ik2">
+              <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
+            </node>
+          </node>
+        </node>
+      </node>
     </node>
     <node concept="2tJIrI" id="7Oc59RSy_Bt" role="jymVt" />
     <node concept="3clFb_" id="4QPCta1bMC1" role="jymVt">
@@ -8227,6 +8208,20 @@
       </node>
     </node>
     <node concept="2tJIrI" id="39eNUjm2xNQ" role="jymVt" />
+    <node concept="3clFb_" id="4baZKvaJUD7" role="jymVt">
+      <property role="TrG5h" value="getPreambleInfo" />
+      <node concept="3uibUv" id="4baZKvaK0sa" role="3clF45">
+        <ref role="3uigEE" to="av0y:~PreambleInfo" resolve="PreambleInfo" />
+      </node>
+      <node concept="3Tm1VV" id="4baZKvaJUDa" role="1B3o_S" />
+      <node concept="3clFbS" id="4baZKvaJUDb" role="3clF47">
+        <node concept="3clFbF" id="4baZKvaKyaC" role="3cqZAp">
+          <node concept="37vLTw" id="4baZKvaKyaB" role="3clFbG">
+            <ref role="3cqZAo" node="5HxDM7DdKeq" resolve="preambleInfo" />
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="2tJIrI" id="39eNUjm03FN" role="jymVt" />
     <node concept="312cEu" id="5ntLU8Glzc7" role="jymVt">
       <property role="2bfB8j" value="true" />
@@ -10833,983 +10828,6 @@
       <ref role="3uigEE" to="i348:18kNIl1vDPZ" resolve="TemplateApplicationSession" />
     </node>
   </node>
-  <node concept="312cEu" id="5rhZO$TYZJM">
-    <property role="TrG5h" value="ProgramBuilder" />
-    <node concept="2tJIrI" id="5rhZO$TZ4oM" role="jymVt" />
-    <node concept="3clFbW" id="5rhZO$TZ9Ji" role="jymVt">
-      <node concept="3cqZAl" id="5rhZO$TZ9Jk" role="3clF45" />
-      <node concept="3Tm1VV" id="5rhZO$TZ9Jl" role="1B3o_S" />
-      <node concept="3clFbS" id="5rhZO$TZ9Jm" role="3clF47">
-        <node concept="3clFbF" id="cmlg9ODYfU" role="3cqZAp">
-          <node concept="37vLTI" id="cmlg9ODYfW" role="3clFbG">
-            <node concept="2OqwBi" id="cmlg9OE0yk" role="37vLTJ">
-              <node concept="Xjq3P" id="cmlg9OE2bz" role="2Oq$k0" />
-              <node concept="2OwXpG" id="cmlg9OE0yn" role="2OqNvi">
-                <ref role="2Oxat5" node="cmlg9ODYfQ" resolve="originIndex" />
-              </node>
-            </node>
-            <node concept="37vLTw" id="cmlg9ODYg0" role="37vLTx">
-              <ref role="3cqZAo" node="cmlg9ODYcq" resolve="originIndex" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="37vLTG" id="cmlg9ODYcq" role="3clF46">
-        <property role="TrG5h" value="originIndex" />
-        <node concept="3uibUv" id="cmlg9ODYcp" role="1tU5fm">
-          <ref role="3uigEE" node="70Wv0dJhQb2" resolve="OriginIndex" />
-        </node>
-      </node>
-    </node>
-    <node concept="2tJIrI" id="4MqhgXUS5TY" role="jymVt" />
-    <node concept="3clFb_" id="5rhZO$TZiL1" role="jymVt">
-      <property role="TrG5h" value="toProgram" />
-      <property role="1EzhhJ" value="false" />
-      <node concept="37vLTG" id="5rhZO$TZiL2" role="3clF46">
-        <property role="TrG5h" value="name" />
-        <node concept="17QB3L" id="5rhZO$TZiL3" role="1tU5fm" />
-      </node>
-      <node concept="3uibUv" id="5rhZO$U0jE9" role="3clF45">
-        <ref role="3uigEE" to="av0y:~Program" resolve="Program" />
-      </node>
-      <node concept="3Tm1VV" id="5rhZO$TZiL7" role="1B3o_S" />
-      <node concept="3clFbS" id="5rhZO$TZiL9" role="3clF47">
-        <node concept="3clFbF" id="5rhZO$TZjg5" role="3cqZAp">
-          <node concept="2ShNRf" id="5rhZO$TZjg3" role="3clFbG">
-            <node concept="1pGfFk" id="5rhZO$TZlOE" role="2ShVmc">
-              <ref role="37wK5l" node="7eGEHDlcF69" resolve="CodeRulesProgram" />
-              <node concept="37vLTw" id="5rhZO$TZlPA" role="37wK5m">
-                <ref role="3cqZAo" node="5rhZO$TZiL2" resolve="name" />
-              </node>
-              <node concept="37vLTw" id="5NUR$P2E21" role="37wK5m">
-                <ref role="3cqZAo" node="5NUR$P2y4R" resolve="allRules" />
-              </node>
-              <node concept="37vLTw" id="cmlg9OE34h" role="37wK5m">
-                <ref role="3cqZAo" node="cmlg9ODYfQ" resolve="originIndex" />
-              </node>
-              <node concept="37vLTw" id="5HxDM7DeMr3" role="37wK5m">
-                <ref role="3cqZAo" node="5HxDM7DeEec" resolve="preambleInfo" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="2tJIrI" id="5NUR$P2t7Z" role="jymVt" />
-    <node concept="3clFb_" id="5NUR$P2uf1" role="jymVt">
-      <property role="TrG5h" value="addAll" />
-      <node concept="37vLTG" id="5NUR$P2vGK" role="3clF46">
-        <property role="TrG5h" value="rules" />
-        <node concept="A3Dl8" id="5NUR$P2xg5" role="1tU5fm">
-          <node concept="3uibUv" id="5NUR$P2xg7" role="A3Ik2">
-            <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
-          </node>
-        </node>
-      </node>
-      <node concept="3uibUv" id="5NUR$P2CdN" role="3clF45">
-        <ref role="3uigEE" to="psoy:7Oc59RSEjdb" resolve="Result" />
-      </node>
-      <node concept="3Tm1VV" id="5NUR$P2uf4" role="1B3o_S" />
-      <node concept="3clFbS" id="5NUR$P2uf5" role="3clF47">
-        <node concept="3cpWs8" id="5NUR$P2zVO" role="3cqZAp">
-          <node concept="3cpWsn" id="5NUR$P2zVP" role="3cpWs9">
-            <property role="TrG5h" value="res" />
-            <node concept="3uibUv" id="5NUR$P2zVQ" role="1tU5fm">
-              <ref role="3uigEE" to="psoy:7Oc59RSEjdb" resolve="Result" />
-            </node>
-            <node concept="2YIFZM" id="5NUR$P2zVR" role="33vP2m">
-              <ref role="37wK5l" to="psoy:7Oc59RSEjeq" resolve="OK" />
-              <ref role="1Pybhc" to="psoy:7Oc59RSEjdb" resolve="Result" />
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="5NUR$P2zVZ" role="3cqZAp" />
-        <node concept="1DcWWT" id="5NUR$P2zW0" role="3cqZAp">
-          <node concept="3clFbS" id="5NUR$P2zW1" role="2LFqv$">
-            <node concept="3J1_TO" id="5NUR$P2zW2" role="3cqZAp">
-              <node concept="3clFbS" id="5NUR$P2zW3" role="1zxBo7">
-                <node concept="3clFbF" id="5NUR$P2zW4" role="3cqZAp">
-                  <node concept="1rXfSq" id="5NUR$P2zW5" role="3clFbG">
-                    <ref role="37wK5l" node="2Z9ItkdaJ0K" resolve="introduceRule" />
-                    <node concept="37vLTw" id="5NUR$P2zW6" role="37wK5m">
-                      <ref role="3cqZAo" node="5NUR$P2zWM" resolve="rule" />
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbF" id="5NUR$P2$Yp" role="3cqZAp">
-                  <node concept="2OqwBi" id="5NUR$P2Amg" role="3clFbG">
-                    <node concept="37vLTw" id="5NUR$P2_xV" role="2Oq$k0">
-                      <ref role="3cqZAo" node="5NUR$P2y4R" resolve="allRules" />
-                    </node>
-                    <node concept="TSZUe" id="5NUR$P2B3i" role="2OqNvi">
-                      <node concept="37vLTw" id="5NUR$P2BgW" role="25WWJ7">
-                        <ref role="3cqZAo" node="5NUR$P2zWM" resolve="rule" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbH" id="5NUR$P2zWc" role="3cqZAp" />
-              </node>
-              <node concept="3uVAMA" id="5NUR$P2zWd" role="1zxBo5">
-                <node concept="XOnhg" id="5NUR$P2zWe" role="1zc67B">
-                  <property role="3TUv4t" value="false" />
-                  <property role="TrG5h" value="e" />
-                  <node concept="nSUau" id="5NUR$P2zWf" role="1tU5fm">
-                    <node concept="3uibUv" id="5NUR$P2zWg" role="nSUat">
-                      <ref role="3uigEE" to="av0y:~InvalidRuleException" resolve="InvalidRuleException" />
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbS" id="5NUR$P2zWh" role="1zc67A">
-                  <node concept="3SKdUt" id="5NUR$P2zWi" role="3cqZAp">
-                    <node concept="1PaTwC" id="5NUR$P2zWj" role="1aUNEU">
-                      <node concept="3oM_SD" id="5NUR$P2zWk" role="1PaTwD">
-                        <property role="3oM_SC" value="errors" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWl" role="1PaTwD">
-                        <property role="3oM_SC" value="that" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWm" role="1PaTwD">
-                        <property role="3oM_SC" value="can" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWn" role="1PaTwD">
-                        <property role="3oM_SC" value="arise" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWo" role="1PaTwD">
-                        <property role="3oM_SC" value="here" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWp" role="1PaTwD">
-                        <property role="3oM_SC" value="seem" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWq" role="1PaTwD">
-                        <property role="3oM_SC" value="not" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWr" role="1PaTwD">
-                        <property role="3oM_SC" value="fatal," />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWs" role="1PaTwD">
-                        <property role="3oM_SC" value="so" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWt" role="1PaTwD">
-                        <property role="3oM_SC" value="any" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWu" role="1PaTwD">
-                        <property role="3oM_SC" value="rule" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3SKdUt" id="5NUR$P2zWv" role="3cqZAp">
-                    <node concept="1PaTwC" id="5NUR$P2zWw" role="1aUNEU">
-                      <node concept="3oM_SD" id="5NUR$P2zWx" role="1PaTwD">
-                        <property role="3oM_SC" value="which" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWy" role="1PaTwD">
-                        <property role="3oM_SC" value="failed" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWz" role="1PaTwD">
-                        <property role="3oM_SC" value="to" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zW$" role="1PaTwD">
-                        <property role="3oM_SC" value="generate" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zW_" role="1PaTwD">
-                        <property role="3oM_SC" value="is" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWA" role="1PaTwD">
-                        <property role="3oM_SC" value="considered" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWB" role="1PaTwD">
-                        <property role="3oM_SC" value="safe" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWC" role="1PaTwD">
-                        <property role="3oM_SC" value="to" />
-                      </node>
-                      <node concept="3oM_SD" id="5NUR$P2zWD" role="1PaTwD">
-                        <property role="3oM_SC" value="drop" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3clFbF" id="5NUR$P2zWE" role="3cqZAp">
-                    <node concept="37vLTI" id="5NUR$P2zWF" role="3clFbG">
-                      <node concept="2OqwBi" id="5NUR$P2zWG" role="37vLTx">
-                        <node concept="37vLTw" id="5NUR$P2zWH" role="2Oq$k0">
-                          <ref role="3cqZAo" node="5NUR$P2zVP" resolve="res" />
-                        </node>
-                        <node concept="liA8E" id="5NUR$P2zWI" role="2OqNvi">
-                          <ref role="37wK5l" to="psoy:7nkyKX7v7xb" resolve="and" />
-                          <node concept="2YIFZM" id="5NUR$P2zWJ" role="37wK5m">
-                            <ref role="1Pybhc" to="psoy:7Oc59RSEjdb" resolve="Result" />
-                            <ref role="37wK5l" to="psoy:5X1yxJHYTYX" resolve="RECOVER" />
-                            <node concept="37vLTw" id="5NUR$P2zWK" role="37wK5m">
-                              <ref role="3cqZAo" node="5NUR$P2zWe" resolve="e" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="37vLTw" id="5NUR$P2zWL" role="37vLTJ">
-                        <ref role="3cqZAo" node="5NUR$P2zVP" resolve="res" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3cpWsn" id="5NUR$P2zWM" role="1Duv9x">
-            <property role="TrG5h" value="rule" />
-            <node concept="3uibUv" id="5NUR$P2zWN" role="1tU5fm">
-              <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
-            </node>
-          </node>
-          <node concept="37vLTw" id="5NUR$P2$Kp" role="1DdaDG">
-            <ref role="3cqZAo" node="5NUR$P2vGK" resolve="rules" />
-          </node>
-        </node>
-        <node concept="3clFbF" id="5NUR$P2C0u" role="3cqZAp">
-          <node concept="37vLTw" id="5NUR$P2C0s" role="3clFbG">
-            <ref role="3cqZAo" node="5NUR$P2zVP" resolve="res" />
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="2tJIrI" id="5NUR$P2tlo" role="jymVt" />
-    <node concept="2tJIrI" id="5HxDM7DepAv" role="jymVt" />
-    <node concept="3clFb_" id="5HxDM7DewM3" role="jymVt">
-      <property role="TrG5h" value="specifyPreamble" />
-      <property role="DiZV1" value="true" />
-      <node concept="3clFbS" id="5HxDM7DewM6" role="3clF47">
-        <node concept="3clFbF" id="5HxDM7DeFZO" role="3cqZAp">
-          <node concept="37vLTI" id="5HxDM7DeHoL" role="3clFbG">
-            <node concept="37vLTw" id="5HxDM7DeHsd" role="37vLTx">
-              <ref role="3cqZAo" node="5HxDM7DeBtQ" resolve="preambleInfo" />
-            </node>
-            <node concept="2OqwBi" id="5HxDM7DeG5L" role="37vLTJ">
-              <node concept="Xjq3P" id="5HxDM7DeFZN" role="2Oq$k0" />
-              <node concept="2OwXpG" id="5HxDM7DeHaP" role="2OqNvi">
-                <ref role="2Oxat5" node="5HxDM7DeEec" resolve="preambleInfo" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3Tm1VV" id="5HxDM7DeuX3" role="1B3o_S" />
-      <node concept="3cqZAl" id="5HxDM7DeyF5" role="3clF45" />
-      <node concept="37vLTG" id="5HxDM7DeBtQ" role="3clF46">
-        <property role="TrG5h" value="preambleInfo" />
-        <node concept="3uibUv" id="5HxDM7DeBtP" role="1tU5fm">
-          <ref role="3uigEE" to="av0y:~PreambleInfo" resolve="PreambleInfo" />
-        </node>
-      </node>
-    </node>
-    <node concept="2tJIrI" id="5HxDM7De_Ra" role="jymVt" />
-    <node concept="3clFb_" id="2Z9ItkdaJ0K" role="jymVt">
-      <property role="TrG5h" value="introduceRule" />
-      <node concept="3clFbS" id="2Z9ItkdaJ0N" role="3clF47">
-        <node concept="3J1_TO" id="2Z9ItkdaNUt" role="3cqZAp">
-          <node concept="3clFbS" id="2Z9ItkdaNUv" role="1zxBo7">
-            <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="1aUNEU">
-                    <node concept="3oM_SD" id="2fZlvnrsIJx" role="1PaTwD">
-                      <property role="3oM_SC" value="catch" />
-                    </node>
-                    <node concept="3oM_SD" id="2fZlvnrsIJy" role="1PaTwD">
-                      <property role="3oM_SC" value="invalid" />
-                    </node>
-                    <node concept="3oM_SD" id="2fZlvnrsIJz" role="1PaTwD">
-                      <property role="3oM_SC" value="constraints" />
-                    </node>
-                    <node concept="3oM_SD" id="2fZlvnrsIJ$" role="1PaTwD">
-                      <property role="3oM_SC" value="early" />
-                    </node>
-                    <node concept="3oM_SD" id="2fZlvnrsIJ_" role="1PaTwD">
-                      <property role="3oM_SC" value="to" />
-                    </node>
-                    <node concept="3oM_SD" id="2fZlvnrsIJA" role="1PaTwD">
-                      <property role="3oM_SC" value="avoid" />
-                    </node>
-                    <node concept="3oM_SD" id="2fZlvnrsIJB" role="1PaTwD">
-                      <property role="3oM_SC" value="adding" />
-                    </node>
-                    <node concept="3oM_SD" id="2fZlvnrsIJC" role="1PaTwD">
-                      <property role="3oM_SC" value="a" />
-                    </node>
-                    <node concept="3oM_SD" id="2fZlvnrsIJD" role="1PaTwD">
-                      <property role="3oM_SC" value="broken" />
-                    </node>
-                    <node concept="3oM_SD" id="2fZlvnrsIJE" role="1PaTwD">
-                      <property role="3oM_SC" value="rule" />
-                    </node>
-                  </node>
-                </node>
-                <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="2Z9ItkdaJNw" resolve="rule" />
-                </node>
-                <node concept="liA8E" id="2fZlvnrsIJO" role="2OqNvi">
-                  <ref role="37wK5l" to="av0y:~Rule.all()" resolve="all" />
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbH" id="2Z9ItkdcGMJ" role="3cqZAp" />
-          </node>
-          <node concept="3uVAMA" id="2Z9ItkdaNUw" role="1zxBo5">
-            <node concept="XOnhg" id="2Z9ItkdaNUy" role="1zc67B">
-              <property role="3TUv4t" value="false" />
-              <property role="TrG5h" value="e" />
-              <node concept="nSUau" id="9wRW8gNGjG3" role="1tU5fm">
-                <node concept="3uibUv" id="2Z9ItkdaNZl" role="nSUat">
-                  <ref role="3uigEE" to="av0y:~InvalidConstraintException" resolve="InvalidConstraintException" />
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbS" id="2Z9ItkdaNUA" role="1zc67A">
-              <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="2YIFZM" id="5BtuWK5vJ1r" role="37wK5m">
-                      <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
-                      <ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...)" resolve="format" />
-                      <node concept="Xl_RD" id="2Z9ItkdaO4Y" role="37wK5m">
-                        <property role="Xl_RC" value="Invalid rule (%s): %s" />
-                      </node>
-                      <node concept="2OqwBi" id="5BtuWK5vJQi" role="37wK5m">
-                        <node concept="37vLTw" id="5BtuWK5vJz8" role="2Oq$k0">
-                          <ref role="3cqZAo" node="2Z9ItkdaJNw" resolve="rule" />
-                        </node>
-                        <node concept="liA8E" id="5BtuWK5vJYH" role="2OqNvi">
-                          <ref role="37wK5l" to="av0y:~Rule.uniqueTag()" resolve="uniqueTag" />
-                        </node>
-                      </node>
-                      <node concept="2OqwBi" id="2Z9ItkdaO4V" role="37wK5m">
-                        <node concept="37vLTw" id="2Z9ItkdaO4W" role="2Oq$k0">
-                          <ref role="3cqZAo" node="2Z9ItkdaNUy" resolve="e" />
-                        </node>
-                        <node concept="liA8E" id="2Z9ItkdaO4X" role="2OqNvi">
-                          <ref role="37wK5l" to="wyt6:~Throwable.getMessage()" resolve="getMessage" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="37vLTw" id="2Z9ItkdaO4Z" role="37wK5m">
-                      <ref role="3cqZAo" node="2Z9ItkdaNUy" resolve="e" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <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>
-    <node concept="2tJIrI" id="429xoypV6tp" role="jymVt" />
-    <node concept="3clFb_" id="7eGEHDlefwa" role="jymVt">
-      <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" />
-            <node concept="37vLTw" id="7Oc59RSHTE1" role="37wK5m">
-              <ref role="3cqZAo" node="7eGEHDleg3E" resolve="item" />
-            </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">
-              <node concept="3cpWsn" id="5uFPQ7BH1yJ" role="3cpWs9">
-                <property role="TrG5h" value="cst" />
-                <node concept="3uibUv" id="5uFPQ7BH1yG" role="1tU5fm">
-                  <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
-                </node>
-                <node concept="10QFUN" id="5uFPQ7BH1yK" role="33vP2m">
-                  <node concept="37vLTw" id="5uFPQ7BH1yL" role="10QFUP">
-                    <ref role="3cqZAo" node="7eGEHDleg3E" resolve="item" />
-                  </node>
-                  <node concept="3uibUv" id="5uFPQ7BH1yM" role="10QFUM">
-                    <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbJ" id="2fZlvnrsV9u" role="3cqZAp">
-              <node concept="3clFbS" id="2fZlvnrsV9w" role="3clFbx">
-                <node concept="3clFbF" id="7eGEHDleQCQ" role="3cqZAp">
-                  <node concept="2OqwBi" id="7eGEHDleQIf" role="3clFbG">
-                    <node concept="37vLTw" id="7eGEHDleQCP" role="2Oq$k0">
-                      <ref role="3cqZAo" node="7eGEHDley5W" resolve="constraintArgTypes" />
-                    </node>
-                    <node concept="liA8E" id="7eGEHDleQZ$" role="2OqNvi">
-                      <ref role="37wK5l" to="33ny:~Map.put(java.lang.Object,java.lang.Object)" resolve="put" />
-                      <node concept="2OqwBi" id="7eGEHDleR63" role="37wK5m">
-                        <node concept="37vLTw" id="5uFPQ7BH1JL" role="2Oq$k0">
-                          <ref role="3cqZAo" node="5uFPQ7BH1yJ" resolve="cst" />
-                        </node>
-                        <node concept="liA8E" id="7eGEHDleRaS" role="2OqNvi">
-                          <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
-                        </node>
-                      </node>
-                      <node concept="2OqwBi" id="78CwJJcWZ_9" role="37wK5m">
-                        <node concept="37vLTw" id="78CwJJcWZx1" role="2Oq$k0">
-                          <ref role="3cqZAo" node="5uFPQ7BH1yJ" resolve="cst" />
-                        </node>
-                        <node concept="liA8E" id="78CwJJcWZFx" role="2OqNvi">
-                          <ref role="37wK5l" to="av0y:~Constraint.argumentTypes()" resolve="argumentTypes" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3fqX7Q" id="2fZlvnrsWGQ" role="3clFbw">
-                <node concept="2OqwBi" id="2fZlvnrsWGS" role="3fr31v">
-                  <node concept="37vLTw" id="2fZlvnrsWGT" role="2Oq$k0">
-                    <ref role="3cqZAo" node="7eGEHDley5W" resolve="constraintArgTypes" />
-                  </node>
-                  <node concept="liA8E" id="2fZlvnrsWGU" role="2OqNvi">
-                    <ref role="37wK5l" to="33ny:~Map.containsKey(java.lang.Object)" resolve="containsKey" />
-                    <node concept="2OqwBi" id="2fZlvnrsWZE" role="37wK5m">
-                      <node concept="37vLTw" id="2fZlvnrsWZF" role="2Oq$k0">
-                        <ref role="3cqZAo" node="5uFPQ7BH1yJ" resolve="cst" />
-                      </node>
-                      <node concept="liA8E" id="2fZlvnrsWZG" role="2OqNvi">
-                        <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="2ZW3vV" id="5uFPQ7BH0Nf" role="3clFbw">
-            <node concept="3uibUv" id="5uFPQ7BH0W3" role="2ZW6by">
-              <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
-            </node>
-            <node concept="37vLTw" id="5uFPQ7BH0oU" role="2ZW6bz">
-              <ref role="3cqZAo" node="7eGEHDleg3E" resolve="item" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="37vLTG" id="7eGEHDleg3E" role="3clF46">
-        <property role="TrG5h" value="item" />
-        <node concept="3uibUv" id="5uFPQ7BGZBH" role="1tU5fm">
-          <ref role="3uigEE" to="av0y:~AndItem" resolve="AndItem" />
-        </node>
-      </node>
-      <node concept="3uibUv" id="7Oc59RSHLFV" role="Sfmx6">
-        <ref role="3uigEE" to="av0y:~InvalidConstraintException" resolve="InvalidConstraintException" />
-      </node>
-      <node concept="3Tm6S6" id="2fZlvnrs_z0" role="1B3o_S" />
-    </node>
-    <node concept="2tJIrI" id="2pvEdquu$2W" role="jymVt" />
-    <node concept="3clFb_" id="7eGEHDldpbj" role="jymVt">
-      <property role="TrG5h" value="checkValidConstraint" />
-      <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">
-          <node concept="3clFbS" id="5uFPQ7BEi6f" role="3clFbx">
-            <node concept="3cpWs8" id="5uFPQ7BEo4v" role="3cqZAp">
-              <node concept="3cpWsn" id="5uFPQ7BEo4w" role="3cpWs9">
-                <property role="TrG5h" value="cst" />
-                <node concept="3uibUv" id="5uFPQ7BEo4s" role="1tU5fm">
-                  <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
-                </node>
-                <node concept="10QFUN" id="5uFPQ7BEo4x" role="33vP2m">
-                  <node concept="37vLTw" id="5uFPQ7BEo4y" role="10QFUP">
-                    <ref role="3cqZAo" node="7eGEHDldphF" resolve="item" />
-                  </node>
-                  <node concept="3uibUv" id="5uFPQ7BEo4z" role="10QFUM">
-                    <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3cpWs8" id="7eGEHDlg3RR" role="3cqZAp">
-              <node concept="3cpWsn" id="7eGEHDlg3RS" role="3cpWs9">
-                <property role="TrG5h" value="matches" />
-                <node concept="10P_77" id="7eGEHDlg3RE" role="1tU5fm" />
-                <node concept="3clFbC" id="7eGEHDlg3RT" role="33vP2m">
-                  <node concept="2OqwBi" id="30XHGaOWf5H" role="3uHU7w">
-                    <node concept="2OqwBi" id="7eGEHDlg3RU" role="2Oq$k0">
-                      <node concept="37vLTw" id="5uFPQ7BEp2v" role="2Oq$k0">
-                        <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
-                      </node>
-                      <node concept="liA8E" id="30XHGaOWeZv" role="2OqNvi">
-                        <ref role="37wK5l" to="av0y:~AndItem.arguments()" resolve="arguments" />
-                      </node>
-                    </node>
-                    <node concept="liA8E" id="30XHGaOWfgx" role="2OqNvi">
-                      <ref role="37wK5l" to="33ny:~List.size()" resolve="size" />
-                    </node>
-                  </node>
-                  <node concept="2OqwBi" id="7eGEHDlg3RX" role="3uHU7B">
-                    <node concept="2OqwBi" id="30XHGaP5pkH" role="2Oq$k0">
-                      <node concept="37vLTw" id="5uFPQ7BEoPo" role="2Oq$k0">
-                        <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
-                      </node>
-                      <node concept="liA8E" id="30XHGaP5pQG" role="2OqNvi">
-                        <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
-                      </node>
-                    </node>
-                    <node concept="liA8E" id="7eGEHDlg3RZ" role="2OqNvi">
-                      <ref role="37wK5l" to="av0y:~Symbol.arity()" resolve="arity" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbJ" id="7eGEHDlg4M0" role="3cqZAp">
-              <property role="TyiWK" value="true" />
-              <property role="TyiWL" value="false" />
-              <node concept="3clFbS" id="7eGEHDlg4M3" role="3clFbx">
-                <node concept="YS8fn" id="7Oc59RSHOPS" role="3cqZAp">
-                  <node concept="2ShNRf" id="7Oc59RSHPbM" role="YScLw">
-                    <node concept="1pGfFk" id="7Oc59RSHPxc" role="2ShVmc">
-                      <ref role="37wK5l" to="av0y:~InvalidConstraintException.&lt;init&gt;(java.lang.String)" resolve="InvalidConstraintException" />
-                      <node concept="3cpWs3" id="7Oc59RSHQew" role="37wK5m">
-                        <node concept="2YIFZM" id="7Oc59RSHQex" role="3uHU7w">
-                          <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
-                          <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object)" resolve="valueOf" />
-                          <node concept="2OqwBi" id="7Oc59RSHQey" role="37wK5m">
-                            <node concept="37vLTw" id="5uFPQ7BEpeQ" role="2Oq$k0">
-                              <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
-                            </node>
-                            <node concept="liA8E" id="7Oc59RSHQe$" role="2OqNvi">
-                              <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="Xl_RD" id="7Oc59RSHQe_" role="3uHU7B">
-                          <property role="Xl_RC" value="arity mismatch for " />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3fqX7Q" id="7eGEHDlg51Y" role="3clFbw">
-                <node concept="37vLTw" id="7eGEHDlg57r" role="3fr31v">
-                  <ref role="3cqZAo" node="7eGEHDlg3RS" resolve="matches" />
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbH" id="1zN1RIln3l9" role="3cqZAp" />
-            <node concept="3clFbJ" id="7eGEHDleMeh" role="3cqZAp">
-              <node concept="3clFbS" id="7eGEHDleMei" role="3clFbx">
-                <node concept="3SKdUt" id="Vlk31yQOwf" role="3cqZAp">
-                  <node concept="1PaTwC" id="589APehYxOS" role="1aUNEU">
-                    <node concept="3oM_SD" id="589APehYxOT" role="1PaTwD">
-                      <property role="3oM_SC" value="FIXME:" />
-                    </node>
-                    <node concept="3oM_SD" id="589APehYxOU" role="1PaTwD">
-                      <property role="3oM_SC" value="introduce" />
-                    </node>
-                    <node concept="3oM_SD" id="589APehYxOV" role="1PaTwD">
-                      <property role="3oM_SC" value="RT" />
-                    </node>
-                    <node concept="3oM_SD" id="589APehYxOW" role="1PaTwD">
-                      <property role="3oM_SC" value="types" />
-                    </node>
-                    <node concept="3oM_SD" id="589APehYxOX" role="1PaTwD">
-                      <property role="3oM_SC" value="to" />
-                    </node>
-                    <node concept="3oM_SD" id="589APehYxOY" role="1PaTwD">
-                      <property role="3oM_SC" value="LateExpression," />
-                    </node>
-                    <node concept="3oM_SD" id="589APehYxOZ" role="1PaTwD">
-                      <property role="3oM_SC" value="reinstate" />
-                    </node>
-                    <node concept="3oM_SD" id="589APehYxP0" role="1PaTwD">
-                      <property role="3oM_SC" value="this" />
-                    </node>
-                    <node concept="3oM_SD" id="589APehYxP1" role="1PaTwD">
-                      <property role="3oM_SC" value="check" />
-                    </node>
-                  </node>
-                </node>
-                <node concept="1X3_iC" id="Vlk31yQOnf" role="lGtFl">
-                  <property role="3V$3am" value="statement" />
-                  <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
-                  <node concept="3clFbJ" id="1zN1RIlmYBW" role="8Wnug">
-                    <node concept="3clFbS" id="1zN1RIlmYBY" role="3clFbx">
-                      <node concept="3clFbH" id="78CwJJcX4mm" role="3cqZAp" />
-                      <node concept="YS8fn" id="1zN1RIln3iC" role="3cqZAp">
-                        <node concept="2ShNRf" id="1zN1RIln3iD" role="YScLw">
-                          <node concept="1pGfFk" id="1zN1RIln3iE" role="2ShVmc">
-                            <ref role="37wK5l" to="av0y:~InvalidConstraintException.&lt;init&gt;(java.lang.String)" resolve="InvalidConstraintException" />
-                            <node concept="3cpWs3" id="4sSe4$prVxK" role="37wK5m">
-                              <node concept="3cpWs3" id="4sSe4$prSVy" role="3uHU7B">
-                                <node concept="3cpWs3" id="4sSe4$prRB1" role="3uHU7B">
-                                  <node concept="3cpWs3" id="4sSe4$prPGF" role="3uHU7B">
-                                    <node concept="3cpWs3" id="1zN1RIln3iF" role="3uHU7B">
-                                      <node concept="Xl_RD" id="1zN1RIln3iK" role="3uHU7B">
-                                        <property role="Xl_RC" value="argument type mismatch for " />
-                                      </node>
-                                      <node concept="2YIFZM" id="1zN1RIln3iG" role="3uHU7w">
-                                        <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
-                                        <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object)" resolve="valueOf" />
-                                        <node concept="2OqwBi" id="1zN1RIln3iH" role="37wK5m">
-                                          <node concept="37vLTw" id="5uFPQ7BEsjZ" role="2Oq$k0">
-                                            <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
-                                          </node>
-                                          <node concept="liA8E" id="1zN1RIln3iJ" role="2OqNvi">
-                                            <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
-                                          </node>
-                                        </node>
-                                      </node>
-                                    </node>
-                                    <node concept="Xl_RD" id="4sSe4$prQnq" role="3uHU7w">
-                                      <property role="Xl_RC" value=": " />
-                                    </node>
-                                  </node>
-                                  <node concept="2OqwBi" id="4sSe4$prSgv" role="3uHU7w">
-                                    <node concept="37vLTw" id="4sSe4$prSgw" role="2Oq$k0">
-                                      <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
-                                    </node>
-                                    <node concept="liA8E" id="4sSe4$prSgx" role="2OqNvi">
-                                      <ref role="37wK5l" to="av0y:~Constraint.argumentTypes()" resolve="argumentTypes" />
-                                    </node>
-                                  </node>
-                                </node>
-                                <node concept="Xl_RD" id="4sSe4$prSVN" role="3uHU7w">
-                                  <property role="Xl_RC" value=" != " />
-                                </node>
-                              </node>
-                              <node concept="2OqwBi" id="4sSe4$prWcR" role="3uHU7w">
-                                <node concept="37vLTw" id="4sSe4$prWcS" role="2Oq$k0">
-                                  <ref role="3cqZAo" node="7eGEHDley5W" resolve="constraintArgTypes" />
-                                </node>
-                                <node concept="liA8E" id="4sSe4$prWcT" role="2OqNvi">
-                                  <ref role="37wK5l" to="33ny:~Map.get(java.lang.Object)" resolve="get" />
-                                  <node concept="2OqwBi" id="4sSe4$prWcU" role="37wK5m">
-                                    <node concept="37vLTw" id="4sSe4$prWcV" role="2Oq$k0">
-                                      <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
-                                    </node>
-                                    <node concept="liA8E" id="4sSe4$prWcW" role="2OqNvi">
-                                      <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3fqX7Q" id="1zN1RIlmYCN" role="3clFbw">
-                      <node concept="2OqwBi" id="78CwJJcX3XB" role="3fr31v">
-                        <node concept="2OqwBi" id="78CwJJcX3Qz" role="2Oq$k0">
-                          <node concept="37vLTw" id="78CwJJcX3Pp" role="2Oq$k0">
-                            <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
-                          </node>
-                          <node concept="liA8E" id="78CwJJcX3RX" role="2OqNvi">
-                            <ref role="37wK5l" to="av0y:~Constraint.argumentTypes()" resolve="argumentTypes" />
-                          </node>
-                        </node>
-                        <node concept="liA8E" id="78CwJJcX49I" role="2OqNvi">
-                          <ref role="37wK5l" to="33ny:~List.equals(java.lang.Object)" resolve="equals" />
-                          <node concept="2OqwBi" id="30XHGaP5H3s" role="37wK5m">
-                            <node concept="37vLTw" id="30XHGaP5H3t" role="2Oq$k0">
-                              <ref role="3cqZAo" node="7eGEHDley5W" resolve="constraintArgTypes" />
-                            </node>
-                            <node concept="liA8E" id="30XHGaP5H3u" role="2OqNvi">
-                              <ref role="37wK5l" to="33ny:~Map.get(java.lang.Object)" resolve="get" />
-                              <node concept="2OqwBi" id="30XHGaP5H3v" role="37wK5m">
-                                <node concept="37vLTw" id="5uFPQ7BEs2s" role="2Oq$k0">
-                                  <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
-                                </node>
-                                <node concept="liA8E" id="30XHGaP5H3x" role="2OqNvi">
-                                  <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="2OqwBi" id="7eGEHDleL6q" role="3clFbw">
-                <node concept="37vLTw" id="7eGEHDleIbQ" role="2Oq$k0">
-                  <ref role="3cqZAo" node="7eGEHDley5W" resolve="constraintArgTypes" />
-                </node>
-                <node concept="liA8E" id="7eGEHDleLnR" role="2OqNvi">
-                  <ref role="37wK5l" to="33ny:~Map.containsKey(java.lang.Object)" resolve="containsKey" />
-                  <node concept="2OqwBi" id="7eGEHDleLtw" role="37wK5m">
-                    <node concept="37vLTw" id="5uFPQ7BEppf" role="2Oq$k0">
-                      <ref role="3cqZAo" node="5uFPQ7BEo4w" resolve="cst" />
-                    </node>
-                    <node concept="liA8E" id="7eGEHDleLzH" role="2OqNvi">
-                      <ref role="37wK5l" to="av0y:~Constraint.symbol()" resolve="symbol" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbH" id="5uFPQ7BEtME" role="3cqZAp" />
-          </node>
-          <node concept="2ZW3vV" id="5uFPQ7BEjM3" role="3clFbw">
-            <node concept="3uibUv" id="5uFPQ7BEk3l" role="2ZW6by">
-              <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
-            </node>
-            <node concept="37vLTw" id="5uFPQ7BEjxn" role="2ZW6bz">
-              <ref role="3cqZAo" node="7eGEHDldphF" resolve="item" />
-            </node>
-          </node>
-          <node concept="3eNFk2" id="5uFPQ7BEsMn" role="3eNLev">
-            <node concept="2ZW3vV" id="5uFPQ7BEtf6" role="3eO9$A">
-              <node concept="3uibUv" id="5uFPQ7BEtlm" role="2ZW6by">
-                <ref role="3uigEE" to="av0y:~Predicate" resolve="Predicate" />
-              </node>
-              <node concept="37vLTw" id="5uFPQ7BEt9u" role="2ZW6bz">
-                <ref role="3cqZAo" node="7eGEHDldphF" resolve="item" />
-              </node>
-            </node>
-            <node concept="3clFbS" id="5uFPQ7BEsMp" role="3eOfB_">
-              <node concept="3cpWs8" id="5uFPQ7BEu6y" role="3cqZAp">
-                <node concept="3cpWsn" id="5uFPQ7BEu6z" role="3cpWs9">
-                  <property role="TrG5h" value="pred" />
-                  <node concept="3uibUv" id="5uFPQ7BEu6w" role="1tU5fm">
-                    <ref role="3uigEE" to="av0y:~Predicate" resolve="Predicate" />
-                  </node>
-                  <node concept="10QFUN" id="5uFPQ7BEu6$" role="33vP2m">
-                    <node concept="37vLTw" id="5uFPQ7BEu6_" role="10QFUP">
-                      <ref role="3cqZAo" node="7eGEHDldphF" resolve="item" />
-                    </node>
-                    <node concept="3uibUv" id="5uFPQ7BEu6A" role="10QFUM">
-                      <ref role="3uigEE" to="av0y:~Predicate" resolve="Predicate" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3clFbJ" id="2pvEdquuzfg" role="3cqZAp">
-                <property role="TyiWK" value="true" />
-                <property role="TyiWL" value="false" />
-                <node concept="3clFbS" id="2pvEdquuzfh" role="3clFbx">
-                  <node concept="YS8fn" id="2pvEdquuFKC" role="3cqZAp">
-                    <node concept="2ShNRf" id="2pvEdquuFKD" role="YScLw">
-                      <node concept="1pGfFk" id="2pvEdquuFKE" role="2ShVmc">
-                        <ref role="37wK5l" to="av0y:~InvalidConstraintException.&lt;init&gt;(java.lang.String)" resolve="InvalidConstraintException" />
-                        <node concept="3cpWs3" id="2pvEdquuFKF" role="37wK5m">
-                          <node concept="2YIFZM" id="2pvEdquuFKG" role="3uHU7w">
-                            <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object)" resolve="valueOf" />
-                            <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
-                            <node concept="2OqwBi" id="2pvEdquuFKH" role="37wK5m">
-                              <node concept="37vLTw" id="5uFPQ7BEvpY" role="2Oq$k0">
-                                <ref role="3cqZAo" node="5uFPQ7BEu6z" resolve="pred" />
-                              </node>
-                              <node concept="liA8E" id="2pvEdquuFKJ" role="2OqNvi">
-                                <ref role="37wK5l" to="av0y:~Predicate.symbol()" resolve="symbol" />
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="Xl_RD" id="2pvEdquuFKK" role="3uHU7B">
-                            <property role="Xl_RC" value="arity mismatch for " />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3y3z36" id="2pvEdquuFm2" role="3clFbw">
-                  <node concept="2OqwBi" id="30XHGaOWeKw" role="3uHU7B">
-                    <node concept="2OqwBi" id="2pvEdquuFmc" role="2Oq$k0">
-                      <node concept="37vLTw" id="5uFPQ7BEvh9" role="2Oq$k0">
-                        <ref role="3cqZAo" node="5uFPQ7BEu6z" resolve="pred" />
-                      </node>
-                      <node concept="liA8E" id="30XHGaOWeEi" role="2OqNvi">
-                        <ref role="37wK5l" to="av0y:~AndItem.arguments()" resolve="arguments" />
-                      </node>
-                    </node>
-                    <node concept="liA8E" id="30XHGaOWeVo" role="2OqNvi">
-                      <ref role="37wK5l" to="33ny:~List.size()" resolve="size" />
-                    </node>
-                  </node>
-                  <node concept="2OqwBi" id="2pvEdquuFm4" role="3uHU7w">
-                    <node concept="2OqwBi" id="2pvEdquuFm5" role="2Oq$k0">
-                      <node concept="37vLTw" id="5uFPQ7BEvly" role="2Oq$k0">
-                        <ref role="3cqZAo" node="5uFPQ7BEu6z" resolve="pred" />
-                      </node>
-                      <node concept="liA8E" id="2pvEdquuFma" role="2OqNvi">
-                        <ref role="37wK5l" to="av0y:~Predicate.symbol()" resolve="symbol" />
-                      </node>
-                    </node>
-                    <node concept="liA8E" id="2pvEdquuFmb" role="2OqNvi">
-                      <ref role="37wK5l" to="av0y:~Symbol.arity()" resolve="arity" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="5uFPQ7BEhJz" role="3cqZAp" />
-        <node concept="1DcWWT" id="2KVRGowW$Kl" role="3cqZAp">
-          <node concept="3clFbS" id="2KVRGowW$Km" role="2LFqv$">
-            <node concept="3clFbJ" id="2KVRGowW_mo" role="3cqZAp">
-              <node concept="3clFbS" id="2KVRGowW_mp" role="3clFbx">
-                <node concept="YS8fn" id="2KVRGowW_uZ" role="3cqZAp">
-                  <node concept="2ShNRf" id="2KVRGowW_w4" role="YScLw">
-                    <node concept="1pGfFk" id="2KVRGowWD9N" role="2ShVmc">
-                      <ref role="37wK5l" to="av0y:~InvalidConstraintException.&lt;init&gt;(java.lang.String)" resolve="InvalidConstraintException" />
-                      <node concept="3cpWs3" id="2KVRGowWD$u" role="37wK5m">
-                        <node concept="2YIFZM" id="2KVRGowWDMj" role="3uHU7w">
-                          <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object)" resolve="valueOf" />
-                          <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
-                          <node concept="2OqwBi" id="2KVRGowWE4s" role="37wK5m">
-                            <node concept="37vLTw" id="2KVRGowWDWb" role="2Oq$k0">
-                              <ref role="3cqZAo" node="7eGEHDldphF" resolve="item" />
-                            </node>
-                            <node concept="liA8E" id="2KVRGowWEea" role="2OqNvi">
-                              <ref role="37wK5l" to="av0y:~AndItem.symbol()" resolve="symbol" />
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="Xl_RD" id="2KVRGowWDb8" role="3uHU7B">
-                          <property role="Xl_RC" value="argument is null in " />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbH" id="5uFPQ7BH4xL" role="3cqZAp" />
-              </node>
-              <node concept="3clFbC" id="2KVRGowW_pF" role="3clFbw">
-                <node concept="10Nm6u" id="2KVRGowW_qV" role="3uHU7w" />
-                <node concept="37vLTw" id="2KVRGowW_ol" role="3uHU7B">
-                  <ref role="3cqZAo" node="2KVRGowW$Kp" resolve="arg" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3cpWsn" id="2KVRGowW$Kp" role="1Duv9x">
-            <property role="TrG5h" value="arg" />
-            <node concept="3uibUv" id="2KVRGowW$Kt" role="1tU5fm">
-              <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-            </node>
-          </node>
-          <node concept="2OqwBi" id="2KVRGowW$Ku" role="1DdaDG">
-            <node concept="37vLTw" id="2KVRGowW$Kv" role="2Oq$k0">
-              <ref role="3cqZAo" node="7eGEHDldphF" resolve="item" />
-            </node>
-            <node concept="liA8E" id="2KVRGowW$Kw" role="2OqNvi">
-              <ref role="37wK5l" to="av0y:~AndItem.arguments()" resolve="arguments" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="37vLTG" id="7eGEHDldphF" role="3clF46">
-        <property role="TrG5h" value="item" />
-        <node concept="3uibUv" id="5uFPQ7BEg4K" role="1tU5fm">
-          <ref role="3uigEE" to="av0y:~AndItem" resolve="AndItem" />
-        </node>
-      </node>
-      <node concept="3uibUv" id="7Oc59RSHN4l" role="Sfmx6">
-        <ref role="3uigEE" to="av0y:~InvalidConstraintException" resolve="InvalidConstraintException" />
-      </node>
-    </node>
-    <node concept="2tJIrI" id="7eGEHDldnO1" role="jymVt" />
-    <node concept="312cEg" id="7eGEHDley5W" role="jymVt">
-      <property role="TrG5h" value="constraintArgTypes" />
-      <node concept="3Tm6S6" id="7eGEHDley5X" role="1B3o_S" />
-      <node concept="3uibUv" id="7eGEHDley91" role="1tU5fm">
-        <ref role="3uigEE" to="33ny:~Map" resolve="Map" />
-        <node concept="3uibUv" id="30XHGaP58dI" role="11_B2D">
-          <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
-        </node>
-        <node concept="3uibUv" id="78CwJJcX046" role="11_B2D">
-          <ref role="3uigEE" to="33ny:~List" resolve="List" />
-          <node concept="3uibUv" id="78CwJJcX0tv" role="11_B2D">
-            <ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
-            <node concept="3qTvmN" id="78CwJJcX1kP" role="11_B2D" />
-          </node>
-        </node>
-      </node>
-      <node concept="2ShNRf" id="7eGEHDleyjJ" role="33vP2m">
-        <node concept="1pGfFk" id="7eGEHDle_f8" role="2ShVmc">
-          <ref role="37wK5l" to="33ny:~HashMap.&lt;init&gt;()" resolve="HashMap" />
-          <node concept="3uibUv" id="30XHGaP58v0" role="1pMfVU">
-            <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
-          </node>
-          <node concept="3uibUv" id="78CwJJcX2Zu" role="1pMfVU">
-            <ref role="3uigEE" to="33ny:~List" resolve="List" />
-            <node concept="3uibUv" id="30XHGaP5wzw" role="11_B2D">
-              <ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
-              <node concept="3qTvmN" id="30XHGaP5wzx" role="11_B2D" />
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="312cEg" id="5NUR$P2y4R" role="jymVt">
-      <property role="TrG5h" value="allRules" />
-      <node concept="3Tm6S6" id="5NUR$P2y4S" role="1B3o_S" />
-      <node concept="_YKpA" id="5NUR$P2y4T" role="1tU5fm">
-        <node concept="3uibUv" id="5NUR$P2yZp" role="_ZDj9">
-          <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
-        </node>
-      </node>
-      <node concept="2ShNRf" id="5NUR$P2y4V" role="33vP2m">
-        <node concept="Tc6Ow" id="5NUR$P2y4W" role="2ShVmc">
-          <node concept="3uibUv" id="5NUR$P2zB0" role="HW$YZ">
-            <ref role="3uigEE" to="av0y:~Rule" resolve="Rule" />
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="3Tm1VV" id="4$YN6Quy2aJ" role="1B3o_S" />
-    <node concept="312cEg" id="cmlg9ODYfQ" role="jymVt">
-      <property role="TrG5h" value="originIndex" />
-      <node concept="3Tm6S6" id="cmlg9ODYfR" role="1B3o_S" />
-      <node concept="3uibUv" id="cmlg9ODYfT" role="1tU5fm">
-        <ref role="3uigEE" node="70Wv0dJhQb2" resolve="OriginIndex" />
-      </node>
-    </node>
-    <node concept="312cEg" id="5HxDM7DeEec" role="jymVt">
-      <property role="TrG5h" value="preambleInfo" />
-      <node concept="3Tm6S6" id="5HxDM7DeEed" role="1B3o_S" />
-      <node concept="3uibUv" id="5HxDM7DeEef" role="1tU5fm">
-        <ref role="3uigEE" to="av0y:~PreambleInfo" resolve="PreambleInfo" />
-      </node>
-      <node concept="10M0yZ" id="5HxDM7Dft6c" role="33vP2m">
-        <ref role="3cqZAo" to="av0y:~PreambleInfo.EMPTY" resolve="EMPTY" />
-        <ref role="1PxDUh" to="av0y:~PreambleInfo" resolve="PreambleInfo" />
-      </node>
-    </node>
-  </node>
   <node concept="312cEu" id="6nFpYlu02jD">
     <property role="TrG5h" value="UpdatesRecorder" />
     <node concept="2tJIrI" id="6nFpYlu02mz" role="jymVt" />