diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
index 5f72c790..e505e6be 100644
--- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
+++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
@@ -70,6 +70,7 @@
     <import index="95zw" ref="r:f3ff7852-b9dd-4760-b213-a8a031c77d0e(jetbrains.mps.logic.jchr.predicate)" />
     <import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
     <import index="stgg" ref="r:fcdb37a4-4602-4a05-8d91-e439430734b8(jetbrains.mps.logic.jchr.program)" />
+    <import index="qkt" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.openapi.actionSystem(MPS.IDEA/)" implicit="true" />
     <import index="tprs" ref="r:00000000-0000-4000-0000-011c895904a4(jetbrains.mps.ide.actions)" implicit="true" />
   </imports>
   <registry>
@@ -77,18 +78,16 @@
       <concept id="1207145163717" name="jetbrains.mps.lang.plugin.structure.ElementListContents" flags="ng" index="ftmFs">
         <child id="1207145201301" name="reference" index="ftvYc" />
       </concept>
-      <concept id="1207318242772" name="jetbrains.mps.lang.plugin.structure.KeyMapKeystroke" flags="ng" index="pLAjd">
-        <property id="1207318242773" name="modifiers" index="pLAjc" />
-        <property id="1207318242774" name="keycode" index="pLAjf" />
-      </concept>
       <concept id="1203071646776" name="jetbrains.mps.lang.plugin.structure.ActionDeclaration" flags="ng" index="sE7Ow">
         <property id="1211298967294" name="outsideCommandExecution" index="72QZ$" />
         <property id="1205250923097" name="caption" index="2uzpH1" />
         <child id="1203083196627" name="updateBlock" index="tmbBb" />
         <child id="1203083461638" name="executeFunction" index="tncku" />
+        <child id="1227008813498" name="constructionParameter" index="2JrayB" />
         <child id="1205851242421" name="methodDeclaration" index="32lrUH" />
         <child id="1217413222820" name="parameter" index="1NuT2Z" />
       </concept>
+      <concept id="1203082903663" name="jetbrains.mps.lang.plugin.structure.ConceptFunctionParameter_AnActionEvent" flags="nn" index="tl45R" />
       <concept id="1203083511112" name="jetbrains.mps.lang.plugin.structure.ExecuteBlock" flags="in" index="tnohg" />
       <concept id="1203087890642" name="jetbrains.mps.lang.plugin.structure.ActionGroupDeclaration" flags="ng" index="tC5Ba">
         <child id="1204991552650" name="modifier" index="2f5YQi" />
@@ -96,22 +95,26 @@
       </concept>
       <concept id="1203088046679" name="jetbrains.mps.lang.plugin.structure.ActionInstance" flags="ng" index="tCFHf">
         <reference id="1203088061055" name="action" index="tCJdB" />
+        <child id="1227011543811" name="actualParameter" index="2J__8u" />
       </concept>
       <concept id="1203092361741" name="jetbrains.mps.lang.plugin.structure.ModificationStatement" flags="lg" index="tT9cl">
         <reference id="1204992316090" name="point" index="2f8Tey" />
         <reference id="1203092736097" name="modifiedGroup" index="tU$_T" />
       </concept>
+      <concept id="1227008846812" name="jetbrains.mps.lang.plugin.structure.ActionConstructionParameterDeclaration" flags="ig" index="2JriF1" />
       <concept id="1205681243813" name="jetbrains.mps.lang.plugin.structure.IsApplicableBlock" flags="in" index="2ScWuX" />
-      <concept id="1562714432501166198" name="jetbrains.mps.lang.plugin.structure.SimpleShortcutChange" flags="lg" index="Zd509">
-        <child id="1562714432501166206" name="keystroke" index="Zd501" />
-      </concept>
       <concept id="1562714432501166197" name="jetbrains.mps.lang.plugin.structure.KeymapChangesDeclaration" flags="ng" index="Zd50a">
         <child id="1562714432501166199" name="shortcutChange" index="Zd508" />
       </concept>
       <concept id="6193305307616715384" name="jetbrains.mps.lang.plugin.structure.ShortcutChange" flags="lg" index="1bYyw_">
         <reference id="6193305307616734326" name="action" index="1bYAoF" />
       </concept>
+      <concept id="6193305307616734266" name="jetbrains.mps.lang.plugin.structure.ParameterizedShortcutChange" flags="in" index="1bYApB" />
       <concept id="5538333046911348654" name="jetbrains.mps.lang.plugin.structure.RequiredCondition" flags="ng" index="1oajcY" />
+      <concept id="8131292300541727132" name="jetbrains.mps.lang.plugin.structure.AddKeystrokeStatement" flags="nn" index="1ysbro">
+        <child id="8131292300541905245" name="stroke" index="1ysQSp" />
+      </concept>
+      <concept id="1821622352985038318" name="jetbrains.mps.lang.plugin.structure.ActionParameterReference" flags="nn" index="3DOySe" />
       <concept id="1217252042208" name="jetbrains.mps.lang.plugin.structure.ActionDataParameterDeclaration" flags="ng" index="1DS2jV">
         <reference id="1217252646389" name="key" index="1DUlNI" />
       </concept>
@@ -242,6 +245,7 @@
       </concept>
       <concept id="1068390468198" name="jetbrains.mps.baseLanguage.structure.ClassConcept" flags="ig" index="312cEu">
         <property id="1075300953594" name="abstractClass" index="1sVAO0" />
+        <property id="1221565133444" name="isFinal" index="1EXbeo" />
         <child id="1095933932569" name="implementedInterface" index="EKbjA" />
         <child id="1165602531693" name="superclass" index="1zkMxy" />
       </concept>
@@ -264,6 +268,7 @@
       <concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
       <concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
       <concept id="1225271177708" name="jetbrains.mps.baseLanguage.structure.StringType" flags="in" index="17QB3L" />
+      <concept id="1225271283259" name="jetbrains.mps.baseLanguage.structure.NPEEqualsExpression" flags="nn" index="17R0WA" />
       <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
         <child id="5680397130376446158" name="type" index="1tU5fm" />
       </concept>
@@ -334,6 +339,9 @@
         <child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
       </concept>
       <concept id="1171903607971" name="jetbrains.mps.baseLanguage.structure.WildCardType" flags="in" index="3qTvmN" />
+      <concept id="7812454656619025416" name="jetbrains.mps.baseLanguage.structure.MethodDeclaration" flags="ng" index="1rXfSm">
+        <property id="8355037393041754995" name="isNative" index="2aFKle" />
+      </concept>
       <concept id="7812454656619025412" name="jetbrains.mps.baseLanguage.structure.LocalMethodCall" flags="nn" index="1rXfSq" />
       <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
         <reference id="1107535924139" name="classifier" index="3uigEE" />
@@ -403,6 +411,7 @@
       </concept>
     </language>
     <language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
+      <concept id="1213999117680" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierFieldAccessOperation" flags="nn" index="2BZ7hE" />
       <concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp">
         <reference id="1218736638915" name="classifier" index="32nkFo" />
       </concept>
@@ -467,6 +476,7 @@
       <concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
         <child id="540871147943773366" name="argument" index="25WWJ7" />
       </concept>
+      <concept id="1204980550705" name="jetbrains.mps.baseLanguage.collections.structure.VisitAllOperation" flags="nn" index="2es0OD" />
       <concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
         <child id="1151688676805" name="elementType" index="_ZDj9" />
       </concept>
@@ -499,9 +509,21 @@
         <child id="1240687658305" name="delimiter" index="3uJOhx" />
       </concept>
       <concept id="1165530316231" name="jetbrains.mps.baseLanguage.collections.structure.IsEmptyOperation" flags="nn" index="1v1jN8" />
+      <concept id="7125221305512719026" name="jetbrains.mps.baseLanguage.collections.structure.CollectionType" flags="in" index="3vKaQO" />
+      <concept id="1225711141656" name="jetbrains.mps.baseLanguage.collections.structure.ListElementAccessExpression" flags="nn" index="1y4W85">
+        <child id="1225711182005" name="list" index="1y566C" />
+        <child id="1225711191269" name="index" index="1y58nS" />
+      </concept>
       <concept id="1202120902084" name="jetbrains.mps.baseLanguage.collections.structure.WhereOperation" flags="nn" index="3zZkjj" />
       <concept id="1202128969694" name="jetbrains.mps.baseLanguage.collections.structure.SelectOperation" flags="nn" index="3$u5V9" />
+      <concept id="1197932370469" name="jetbrains.mps.baseLanguage.collections.structure.MapElement" flags="nn" index="3EllGN">
+        <child id="1197932505799" name="map" index="3ElQJh" />
+        <child id="1197932525128" name="key" index="3ElVtu" />
+      </concept>
       <concept id="1172254888721" name="jetbrains.mps.baseLanguage.collections.structure.ContainsOperation" flags="nn" index="3JPx81" />
+      <concept id="5686963296372573083" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerType" flags="in" index="3O5elB">
+        <child id="5686963296372573084" name="elementType" index="3O5elw" />
+      </concept>
     </language>
   </registry>
   <node concept="312cEu" id="3Qp4N06byjn">
@@ -1104,6 +1126,102 @@
     <property role="TrG5h" value="MarkTypes" />
     <property role="2uzpH1" value="Mark Types" />
     <property role="72QZ$" value="true" />
+    <node concept="2ScWuX" id="2Rw7mr8TSxK" role="tmbBb">
+      <node concept="3clFbS" id="2Rw7mr8TSxL" role="2VODD2">
+        <node concept="3clFbF" id="4pWvZ2nnfSm" role="3cqZAp">
+          <node concept="2OqwBi" id="4pWvZ2nngFk" role="3clFbG">
+            <node concept="2OqwBi" id="4pWvZ2nng8e" role="2Oq$k0">
+              <node concept="tl45R" id="4pWvZ2nnfSk" role="2Oq$k0" />
+              <node concept="liA8E" id="4pWvZ2nngsE" role="2OqNvi">
+                <ref role="37wK5l" to="qkt:~AnActionEvent.getPresentation():com.intellij.openapi.actionSystem.Presentation" resolve="getPresentation" />
+              </node>
+            </node>
+            <node concept="liA8E" id="4pWvZ2nngY0" role="2OqNvi">
+              <ref role="37wK5l" to="qkt:~Presentation.setText(java.lang.String):void" resolve="setText" />
+              <node concept="3K4zz7" id="4pWvZ2nnlFU" role="37wK5m">
+                <node concept="Xl_RD" id="4pWvZ2nnlXQ" role="3K4E3e">
+                  <property role="Xl_RC" value="Mark Types on the Fly" />
+                </node>
+                <node concept="Xl_RD" id="4pWvZ2nnrX2" role="3K4GZi">
+                  <property role="Xl_RC" value="Mark Types" />
+                </node>
+                <node concept="2OqwBi" id="4pWvZ2nnljH" role="3K4Cdx">
+                  <node concept="2WthIp" id="4pWvZ2nnljK" role="2Oq$k0" />
+                  <node concept="2BZ7hE" id="4pWvZ2nnljM" role="2OqNvi">
+                    <ref role="2WH_rO" node="4pWvZ2nmH_C" resolve="onTheFly" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="41ox5Vnp7Bt" role="3cqZAp">
+          <node concept="3cpWsn" id="41ox5Vnp7Bu" role="3cpWs9">
+            <property role="TrG5h" value="containingRoot" />
+            <node concept="3Tqbb2" id="41ox5Vnp7U9" role="1tU5fm" />
+            <node concept="2OqwBi" id="41ox5Vnp7Bv" role="33vP2m">
+              <node concept="2OqwBi" id="41ox5Vnp7Bw" role="2Oq$k0">
+                <node concept="2WthIp" id="41ox5Vnp7Bx" role="2Oq$k0" />
+                <node concept="1DTwFV" id="41ox5Vnp7By" role="2OqNvi">
+                  <ref role="2WH_rO" node="2Rw7mr8Sq3T" resolve="node" />
+                </node>
+              </node>
+              <node concept="liA8E" id="41ox5Vnp7Bz" role="2OqNvi">
+                <ref role="37wK5l" to="mhbf:~SNode.getContainingRoot():org.jetbrains.mps.openapi.model.SNode" resolve="getContainingRoot" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="2Rw7mr8TSMf" role="3cqZAp">
+          <node concept="1Wc70l" id="7RDCjSXjOFl" role="3clFbG">
+            <node concept="1Wc70l" id="41ox5VnphRn" role="3uHU7B">
+              <node concept="3clFbC" id="41ox5Vnpi9e" role="3uHU7w">
+                <node concept="37vLTw" id="41ox5Vnpi2l" role="3uHU7B">
+                  <ref role="3cqZAo" node="41ox5Vnp7Bu" resolve="containingRoot" />
+                </node>
+                <node concept="2OqwBi" id="41ox5Vnpifo" role="3uHU7w">
+                  <node concept="2OqwBi" id="41ox5Vnpifp" role="2Oq$k0">
+                    <node concept="2WthIp" id="41ox5Vnpifq" role="2Oq$k0" />
+                    <node concept="1DTwFV" id="41ox5Vnpifr" role="2OqNvi">
+                      <ref role="2WH_rO" node="41ox5VnnCZG" resolve="editorComponent" />
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="41ox5Vnpifs" role="2OqNvi">
+                    <ref role="37wK5l" to="exr9:~EditorComponent.getEditedNode():org.jetbrains.mps.openapi.model.SNode" resolve="getEditedNode" />
+                  </node>
+                </node>
+              </node>
+              <node concept="2OqwBi" id="2Rw7mr8TWBB" role="3uHU7B">
+                <node concept="37vLTw" id="41ox5Vnp8ei" role="2Oq$k0">
+                  <ref role="3cqZAo" node="41ox5Vnp7Bu" resolve="containingRoot" />
+                </node>
+                <node concept="1mIQ4w" id="2Rw7mr8TX6F" role="2OqNvi">
+                  <node concept="chp4Y" id="2Rw7mr8TXrh" role="cj9EA">
+                    <ref role="cht4Q" to="tpee:fz12cDA" resolve="ClassConcept" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3fqX7Q" id="7RDCjSXjOZH" role="3uHU7w">
+              <node concept="2OqwBi" id="7RDCjSXjOZJ" role="3fr31v">
+                <node concept="2YIFZM" id="7RDCjSXjOZK" role="2Oq$k0">
+                  <ref role="37wK5l" to="hfuk:7yGn3z4MRr2" resolve="get" />
+                  <ref role="1Pybhc" to="hfuk:7yGn3z4MRqM" resolve="IMakeService.INSTANCE" />
+                </node>
+                <node concept="liA8E" id="7RDCjSXjOZL" role="2OqNvi">
+                  <ref role="37wK5l" to="hfuk:7yGn3z4N64o" resolve="isSessionActive" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2JriF1" id="4pWvZ2nmH_C" role="2JrayB">
+      <property role="TrG5h" value="onTheFly" />
+      <node concept="3Tm6S6" id="4pWvZ2nmH_D" role="1B3o_S" />
+      <node concept="10P_77" id="4pWvZ2nmIvm" role="1tU5fm" />
+    </node>
     <node concept="tnohg" id="3Qp4N06byo$" role="tncku">
       <node concept="3clFbS" id="3Qp4N06byo_" role="2VODD2">
         <node concept="3clFbF" id="3NRKQ2BK6ed" role="3cqZAp">
@@ -1194,75 +1312,139 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbF" id="1pPth$lN9Sg" role="3cqZAp">
-          <node concept="2OqwBi" id="1pPth$lNNLl" role="3clFbG">
-            <node concept="37vLTw" id="1pPth$lNMXo" role="2Oq$k0">
-              <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
+        <node concept="3clFbJ" id="4pWvZ2nmIQH" role="3cqZAp">
+          <node concept="3clFbS" id="4pWvZ2nmIQJ" role="3clFbx">
+            <node concept="3clFbF" id="4pWvZ2nmJf1" role="3cqZAp">
+              <node concept="2OqwBi" id="4pWvZ2nmM3x" role="3clFbG">
+                <node concept="37vLTw" id="4pWvZ2nmM3y" role="2Oq$k0">
+                  <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
+                </node>
+                <node concept="liA8E" id="4pWvZ2nmM3z" role="2OqNvi">
+                  <ref role="37wK5l" node="1pPth$lNtBJ" resolve="withSteps" />
+                  <node concept="2OqwBi" id="4pWvZ2nmM3$" role="37wK5m">
+                    <node concept="37vLTw" id="4pWvZ2nmM3_" role="2Oq$k0">
+                      <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
+                    </node>
+                    <node concept="liA8E" id="4pWvZ2nmM3A" role="2OqNvi">
+                      <ref role="37wK5l" node="1pPth$lBvOo" resolve="collectRules" />
+                      <node concept="2YIFZM" id="4pWvZ2nmM3B" role="37wK5m">
+                        <ref role="37wK5l" to="33ny:~Arrays.asList(java.lang.Object...):java.util.List" resolve="asList" />
+                        <ref role="1Pybhc" to="33ny:~Arrays" resolve="Arrays" />
+                        <node concept="2OqwBi" id="4pWvZ2nmM3C" role="37wK5m">
+                          <node concept="2WthIp" id="4pWvZ2nmM3D" role="2Oq$k0" />
+                          <node concept="1DTwFV" id="4pWvZ2nmM3E" role="2OqNvi">
+                            <ref role="2WH_rO" node="2Rw7mr8Sq3T" resolve="node" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="2OqwBi" id="4pWvZ2nmM3F" role="37wK5m">
+                    <node concept="37vLTw" id="4pWvZ2nmM3G" role="2Oq$k0">
+                      <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
+                    </node>
+                    <node concept="liA8E" id="4pWvZ2nmM3H" role="2OqNvi">
+                      <ref role="37wK5l" node="4pWvZ2nlC2q" resolve="solveOnTheFly" />
+                    </node>
+                  </node>
+                  <node concept="2OqwBi" id="4pWvZ2nmM3I" role="37wK5m">
+                    <node concept="37vLTw" id="4pWvZ2ngP$N" role="2Oq$k0">
+                      <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
+                    </node>
+                    <node concept="liA8E" id="4pWvZ2nmM3J" role="2OqNvi">
+                      <ref role="37wK5l" node="1pPth$lDplP" resolve="highlightTypesAndErrors" />
+                      <node concept="2OqwBi" id="4pWvZ2nmM3K" role="37wK5m">
+                        <node concept="2WthIp" id="4pWvZ2nmM3L" role="2Oq$k0" />
+                        <node concept="1DTwFV" id="4pWvZ2ngPVh" role="2OqNvi">
+                          <ref role="2WH_rO" node="41ox5VnnCZG" resolve="editorComponent" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
             </node>
-            <node concept="liA8E" id="1pPth$lNNUb" role="2OqNvi">
-              <ref role="37wK5l" node="1pPth$lNtBJ" resolve="withSteps" />
-              <node concept="2OqwBi" id="1pPth$lNO07" role="37wK5m">
-                <node concept="37vLTw" id="1pPth$lNNYn" role="2Oq$k0">
-                  <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
-                </node>
-                <node concept="liA8E" id="1pPth$lNO5j" role="2OqNvi">
-                  <ref role="37wK5l" node="1pPth$lBvOo" resolve="collectRules" />
-                  <node concept="2YIFZM" id="1pPth$lNOu_" role="37wK5m">
-                    <ref role="37wK5l" to="33ny:~Arrays.asList(java.lang.Object...):java.util.List" resolve="asList" />
-                    <ref role="1Pybhc" to="33ny:~Arrays" resolve="Arrays" />
-                    <node concept="2OqwBi" id="1pPth$lNOxh" role="37wK5m">
-                      <node concept="2WthIp" id="1pPth$lNOxk" role="2Oq$k0" />
-                      <node concept="1DTwFV" id="1pPth$lNOxm" role="2OqNvi">
-                        <ref role="2WH_rO" node="2Rw7mr8Sq3T" resolve="node" />
+          </node>
+          <node concept="2OqwBi" id="4pWvZ2nmJ1c" role="3clFbw">
+            <node concept="2WthIp" id="4pWvZ2nmJ1f" role="2Oq$k0" />
+            <node concept="2BZ7hE" id="4pWvZ2nmJ1h" role="2OqNvi">
+              <ref role="2WH_rO" node="4pWvZ2nmH_C" resolve="onTheFly" />
+            </node>
+          </node>
+          <node concept="9aQIb" id="4pWvZ2nmMCk" role="9aQIa">
+            <node concept="3clFbS" id="4pWvZ2nmMCl" role="9aQI4">
+              <node concept="3clFbF" id="1pPth$lN9Sg" role="3cqZAp">
+                <node concept="2OqwBi" id="1pPth$lNNLl" role="3clFbG">
+                  <node concept="37vLTw" id="1pPth$lNMXo" role="2Oq$k0">
+                    <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
+                  </node>
+                  <node concept="liA8E" id="1pPth$lNNUb" role="2OqNvi">
+                    <ref role="37wK5l" node="1pPth$lNtBJ" resolve="withSteps" />
+                    <node concept="2OqwBi" id="1pPth$lNO07" role="37wK5m">
+                      <node concept="37vLTw" id="1pPth$lNNYn" role="2Oq$k0">
+                        <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
+                      </node>
+                      <node concept="liA8E" id="1pPth$lNO5j" role="2OqNvi">
+                        <ref role="37wK5l" node="1pPth$lBvOo" resolve="collectRules" />
+                        <node concept="2YIFZM" id="1pPth$lNOu_" role="37wK5m">
+                          <ref role="37wK5l" to="33ny:~Arrays.asList(java.lang.Object...):java.util.List" resolve="asList" />
+                          <ref role="1Pybhc" to="33ny:~Arrays" resolve="Arrays" />
+                          <node concept="2OqwBi" id="1pPth$lNOxh" role="37wK5m">
+                            <node concept="2WthIp" id="1pPth$lNOxk" role="2Oq$k0" />
+                            <node concept="1DTwFV" id="1pPth$lNOxm" role="2OqNvi">
+                              <ref role="2WH_rO" node="2Rw7mr8Sq3T" resolve="node" />
+                            </node>
+                          </node>
+                        </node>
                       </node>
                     </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="2OqwBi" id="1pPth$lNPhW" role="37wK5m">
-                <node concept="37vLTw" id="1pPth$lNP6I" role="2Oq$k0">
-                  <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
-                </node>
-                <node concept="liA8E" id="1pPth$lNPrk" role="2OqNvi">
-                  <ref role="37wK5l" node="1pPth$lBwLp" resolve="produceHandler" />
-                </node>
-              </node>
-              <node concept="2OqwBi" id="1pPth$lNPGi" role="37wK5m">
-                <node concept="37vLTw" id="1pPth$lNPBe" role="2Oq$k0">
-                  <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
-                </node>
-                <node concept="liA8E" id="1pPth$lNPU0" role="2OqNvi">
-                  <ref role="37wK5l" node="1pPth$lD9_s" resolve="makeHandler" />
-                </node>
-              </node>
-              <node concept="2OqwBi" id="1pPth$lNQc0" role="37wK5m">
-                <node concept="37vLTw" id="1pPth$lNQ6_" role="2Oq$k0">
-                  <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
-                </node>
-                <node concept="liA8E" id="1pPth$lNQpZ" role="2OqNvi">
-                  <ref role="37wK5l" node="1pPth$lDhou" resolve="runTypechecking" />
-                  <node concept="2YIFZM" id="1pPth$lNQAI" role="37wK5m">
-                    <ref role="37wK5l" to="33ny:~Arrays.asList(java.lang.Object...):java.util.List" resolve="asList" />
-                    <ref role="1Pybhc" to="33ny:~Arrays" resolve="Arrays" />
-                    <node concept="2OqwBi" id="1pPth$lNQAJ" role="37wK5m">
-                      <node concept="2WthIp" id="1pPth$lNQAK" role="2Oq$k0" />
-                      <node concept="1DTwFV" id="1pPth$lNQAL" role="2OqNvi">
-                        <ref role="2WH_rO" node="2Rw7mr8Sq3T" resolve="node" />
+                    <node concept="2OqwBi" id="1pPth$lNPhW" role="37wK5m">
+                      <node concept="37vLTw" id="1pPth$lNP6I" role="2Oq$k0">
+                        <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
+                      </node>
+                      <node concept="liA8E" id="1pPth$lNPrk" role="2OqNvi">
+                        <ref role="37wK5l" node="1pPth$lBwLp" resolve="produceHandler" />
                       </node>
                     </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="2OqwBi" id="1pPth$lNR83" role="37wK5m">
-                <node concept="37vLTw" id="1pPth$lNQZ8" role="2Oq$k0">
-                  <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
-                </node>
-                <node concept="liA8E" id="1pPth$lNRos" role="2OqNvi">
-                  <ref role="37wK5l" node="1pPth$lDplP" resolve="highlightTypesAndErrors" />
-                  <node concept="2OqwBi" id="1pPth$lNRya" role="37wK5m">
-                    <node concept="2WthIp" id="1pPth$lNRyd" role="2Oq$k0" />
-                    <node concept="1DTwFV" id="1pPth$lNRyf" role="2OqNvi">
-                      <ref role="2WH_rO" node="41ox5VnnCZG" resolve="editorComponent" />
+                    <node concept="2OqwBi" id="1pPth$lNPGi" role="37wK5m">
+                      <node concept="37vLTw" id="1pPth$lNPBe" role="2Oq$k0">
+                        <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
+                      </node>
+                      <node concept="liA8E" id="1pPth$lNPU0" role="2OqNvi">
+                        <ref role="37wK5l" node="1pPth$lD9_s" resolve="makeHandler" />
+                      </node>
+                    </node>
+                    <node concept="2OqwBi" id="1pPth$lNQc0" role="37wK5m">
+                      <node concept="37vLTw" id="1pPth$lNQ6_" role="2Oq$k0">
+                        <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
+                      </node>
+                      <node concept="liA8E" id="1pPth$lNQpZ" role="2OqNvi">
+                        <ref role="37wK5l" node="1pPth$lDhou" resolve="runTypechecking" />
+                        <node concept="2YIFZM" id="1pPth$lNQAI" role="37wK5m">
+                          <ref role="1Pybhc" to="33ny:~Arrays" resolve="Arrays" />
+                          <ref role="37wK5l" to="33ny:~Arrays.asList(java.lang.Object...):java.util.List" resolve="asList" />
+                          <node concept="2OqwBi" id="1pPth$lNQAJ" role="37wK5m">
+                            <node concept="2WthIp" id="1pPth$lNQAK" role="2Oq$k0" />
+                            <node concept="1DTwFV" id="1pPth$lNQAL" role="2OqNvi">
+                              <ref role="2WH_rO" node="2Rw7mr8Sq3T" resolve="node" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="2OqwBi" id="1pPth$lNR83" role="37wK5m">
+                      <node concept="37vLTw" id="1pPth$lNQZ8" role="2Oq$k0">
+                        <ref role="3cqZAo" node="1pPth$lNMX4" resolve="helper" />
+                      </node>
+                      <node concept="liA8E" id="1pPth$lNRos" role="2OqNvi">
+                        <ref role="37wK5l" node="1pPth$lDplP" resolve="highlightTypesAndErrors" />
+                        <node concept="2OqwBi" id="1pPth$lNRya" role="37wK5m">
+                          <node concept="2WthIp" id="1pPth$lNRyd" role="2Oq$k0" />
+                          <node concept="1DTwFV" id="1pPth$lNRyf" role="2OqNvi">
+                            <ref role="2WH_rO" node="41ox5VnnCZG" resolve="editorComponent" />
+                          </node>
+                        </node>
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -1298,76 +1480,21 @@
       <ref role="1DUlNI" to="k3nr:~MPSEditorDataKeys.EDITOR_COMPONENT" resolve="EDITOR_COMPONENT" />
       <node concept="1oajcY" id="41ox5VnnCZH" role="1oa70y" />
     </node>
-    <node concept="2ScWuX" id="2Rw7mr8TSxK" role="tmbBb">
-      <node concept="3clFbS" id="2Rw7mr8TSxL" role="2VODD2">
-        <node concept="3cpWs8" id="41ox5Vnp7Bt" role="3cqZAp">
-          <node concept="3cpWsn" id="41ox5Vnp7Bu" role="3cpWs9">
-            <property role="TrG5h" value="containingRoot" />
-            <node concept="3Tqbb2" id="41ox5Vnp7U9" role="1tU5fm" />
-            <node concept="2OqwBi" id="41ox5Vnp7Bv" role="33vP2m">
-              <node concept="2OqwBi" id="41ox5Vnp7Bw" role="2Oq$k0">
-                <node concept="2WthIp" id="41ox5Vnp7Bx" role="2Oq$k0" />
-                <node concept="1DTwFV" id="41ox5Vnp7By" role="2OqNvi">
-                  <ref role="2WH_rO" node="2Rw7mr8Sq3T" resolve="node" />
-                </node>
-              </node>
-              <node concept="liA8E" id="41ox5Vnp7Bz" role="2OqNvi">
-                <ref role="37wK5l" to="mhbf:~SNode.getContainingRoot():org.jetbrains.mps.openapi.model.SNode" resolve="getContainingRoot" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="2Rw7mr8TSMf" role="3cqZAp">
-          <node concept="1Wc70l" id="7RDCjSXjOFl" role="3clFbG">
-            <node concept="1Wc70l" id="41ox5VnphRn" role="3uHU7B">
-              <node concept="3clFbC" id="41ox5Vnpi9e" role="3uHU7w">
-                <node concept="37vLTw" id="41ox5Vnpi2l" role="3uHU7B">
-                  <ref role="3cqZAo" node="41ox5Vnp7Bu" resolve="containingRoot" />
-                </node>
-                <node concept="2OqwBi" id="41ox5Vnpifo" role="3uHU7w">
-                  <node concept="2OqwBi" id="41ox5Vnpifp" role="2Oq$k0">
-                    <node concept="2WthIp" id="41ox5Vnpifq" role="2Oq$k0" />
-                    <node concept="1DTwFV" id="41ox5Vnpifr" role="2OqNvi">
-                      <ref role="2WH_rO" node="41ox5VnnCZG" resolve="editorComponent" />
-                    </node>
-                  </node>
-                  <node concept="liA8E" id="41ox5Vnpifs" role="2OqNvi">
-                    <ref role="37wK5l" to="exr9:~EditorComponent.getEditedNode():org.jetbrains.mps.openapi.model.SNode" resolve="getEditedNode" />
-                  </node>
-                </node>
-              </node>
-              <node concept="2OqwBi" id="2Rw7mr8TWBB" role="3uHU7B">
-                <node concept="37vLTw" id="41ox5Vnp8ei" role="2Oq$k0">
-                  <ref role="3cqZAo" node="41ox5Vnp7Bu" resolve="containingRoot" />
-                </node>
-                <node concept="1mIQ4w" id="2Rw7mr8TX6F" role="2OqNvi">
-                  <node concept="chp4Y" id="2Rw7mr8TXrh" role="cj9EA">
-                    <ref role="cht4Q" to="tpee:fz12cDA" resolve="ClassConcept" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3fqX7Q" id="7RDCjSXjOZH" role="3uHU7w">
-              <node concept="2OqwBi" id="7RDCjSXjOZJ" role="3fr31v">
-                <node concept="2YIFZM" id="7RDCjSXjOZK" role="2Oq$k0">
-                  <ref role="37wK5l" to="hfuk:7yGn3z4MRr2" resolve="get" />
-                  <ref role="1Pybhc" to="hfuk:7yGn3z4MRqM" resolve="IMakeService.INSTANCE" />
-                </node>
-                <node concept="liA8E" id="7RDCjSXjOZL" role="2OqNvi">
-                  <ref role="37wK5l" to="hfuk:7yGn3z4N64o" resolve="isSessionActive" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
   </node>
   <node concept="tC5Ba" id="2Rw7mr8T72C">
     <property role="TrG5h" value="TypecheckingEditorGroup" />
     <node concept="ftmFs" id="2Rw7mr8T79R" role="ftER_">
+      <node concept="tCFHf" id="4pWvZ2nmSBc" role="ftvYc">
+        <ref role="tCJdB" node="3Qp4N06byoz" resolve="MarkTypes" />
+        <node concept="3clFbT" id="4pWvZ2nmSBd" role="2J__8u">
+          <property role="3clFbU" value="true" />
+        </node>
+      </node>
       <node concept="tCFHf" id="2Rw7mr8T7aK" role="ftvYc">
         <ref role="tCJdB" node="3Qp4N06byoz" resolve="MarkTypes" />
+        <node concept="3clFbT" id="4pWvZ2nmSBs" role="2J__8u">
+          <property role="3clFbU" value="false" />
+        </node>
       </node>
       <node concept="tCFHf" id="41ox5VnrVW_" role="ftvYc">
         <ref role="tCJdB" node="41ox5VnrUX7" resolve="ClearTypes" />
@@ -2672,6 +2799,245 @@
           </node>
         </node>
       </node>
+      <node concept="2tJIrI" id="4pWvZ2niWjp" role="jymVt" />
+      <node concept="2YIFZL" id="4pWvZ2njtBV" role="jymVt">
+        <property role="TrG5h" value="getNode" />
+        <property role="DiZV1" value="false" />
+        <property role="od$2w" value="false" />
+        <node concept="3clFbS" id="4pWvZ2njjN7" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2njpFl" role="3cqZAp">
+            <node concept="2YIFZM" id="4pWvZ2njjOj" role="3clFbG">
+              <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+              <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object):java.lang.String" resolve="valueOf" />
+              <node concept="2OqwBi" id="4pWvZ2njjOk" role="37wK5m">
+                <node concept="2YIFZM" id="4pWvZ2njjOl" role="2Oq$k0">
+                  <ref role="37wK5l" to="ie8e:3JgCwkqd8va" resolve="findValue" />
+                  <ref role="1Pybhc" to="ie8e:3JgCwkqd3K7" resolve="Finders" />
+                  <node concept="37vLTw" id="4pWvZ2njjOm" role="37wK5m">
+                    <ref role="3cqZAo" node="4pWvZ2njjOw" resolve="anchor" />
+                  </node>
+                  <node concept="Xl_RD" id="4pWvZ2njjOn" role="37wK5m">
+                    <property role="Xl_RC" value="node" />
+                  </node>
+                  <node concept="Xl_RD" id="4pWvZ2njjOo" role="37wK5m">
+                    <property role="Xl_RC" value="id" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="4pWvZ2njjOp" role="2OqNvi">
+                  <ref role="37wK5l" to="ie8e:3JgCwkqkUL2" resolve="result" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="37vLTG" id="4pWvZ2njjOw" role="3clF46">
+          <property role="TrG5h" value="anchor" />
+          <node concept="3uibUv" id="4pWvZ2njjOx" role="1tU5fm">
+            <ref role="3uigEE" to="ie8e:1bm7a6EXvsP" resolve="Atom" />
+          </node>
+        </node>
+        <node concept="17QB3L" id="4pWvZ2njwIc" role="3clF45" />
+        <node concept="3Tm1VV" id="4pWvZ2njxG_" role="1B3o_S" />
+      </node>
+      <node concept="3clFb_" id="4pWvZ2njipn" role="jymVt">
+        <property role="TrG5h" value="getType" />
+        <property role="DiZV1" value="false" />
+        <property role="od$2w" value="false" />
+        <property role="2aFKle" value="false" />
+        <node concept="3clFbS" id="4pWvZ2njipr" role="3clF47">
+          <node concept="3cpWs8" id="4pWvZ2njips" role="3cqZAp">
+            <node concept="3cpWsn" id="4pWvZ2njipt" role="3cpWs9">
+              <property role="TrG5h" value="formatted" />
+              <node concept="3uibUv" id="4pWvZ2njipu" role="1tU5fm">
+                <ref role="3uigEE" to="wyt6:~StringBuilder" resolve="StringBuilder" />
+              </node>
+              <node concept="2ShNRf" id="4pWvZ2njipv" role="33vP2m">
+                <node concept="1pGfFk" id="4pWvZ2njipw" role="2ShVmc">
+                  <ref role="37wK5l" to="wyt6:~StringBuilder.&lt;init&gt;()" resolve="StringBuilder" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbH" id="4pWvZ2njipx" role="3cqZAp" />
+          <node concept="3cpWs8" id="4pWvZ2njipy" role="3cqZAp">
+            <node concept="3cpWsn" id="4pWvZ2njipz" role="3cpWs9">
+              <property role="TrG5h" value="value" />
+              <node concept="3uibUv" id="4pWvZ2njip$" role="1tU5fm">
+                <ref role="3uigEE" to="ie8e:1bm7a6EXvsP" resolve="Atom" />
+              </node>
+              <node concept="2OqwBi" id="4pWvZ2njip_" role="33vP2m">
+                <node concept="2OqwBi" id="4pWvZ2njipA" role="2Oq$k0">
+                  <node concept="37vLTw" id="4pWvZ2njipB" role="2Oq$k0">
+                    <ref role="3cqZAo" node="4pWvZ2njiqL" resolve="typeLogical" />
+                  </node>
+                  <node concept="liA8E" id="4pWvZ2njipC" role="2OqNvi">
+                    <ref role="37wK5l" to="oy3s:dfChU1gcsX" resolve="findRoot" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="4pWvZ2njipD" role="2OqNvi">
+                  <ref role="37wK5l" to="95zw:3HJTsBmBZ0h" resolve="value" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbH" id="4pWvZ2njipE" role="3cqZAp" />
+          <node concept="3clFbJ" id="4pWvZ2njipF" role="3cqZAp">
+            <node concept="3clFbS" id="4pWvZ2njipG" role="3clFbx">
+              <node concept="3clFbF" id="4pWvZ2njipH" role="3cqZAp">
+                <node concept="2OqwBi" id="4pWvZ2njipI" role="3clFbG">
+                  <node concept="37vLTw" id="4pWvZ2njipJ" role="2Oq$k0">
+                    <ref role="3cqZAo" node="4pWvZ2njipt" resolve="formatted" />
+                  </node>
+                  <node concept="liA8E" id="4pWvZ2njipK" role="2OqNvi">
+                    <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
+                    <node concept="2YIFZM" id="4pWvZ2njipL" role="37wK5m">
+                      <ref role="37wK5l" to="4t1t:4peSo3D04j7" resolve="print" />
+                      <ref role="1Pybhc" to="4t1t:4peSo3CHy8D" resolve="NodePrinter" />
+                      <node concept="2YIFZM" id="4pWvZ2njipM" role="37wK5m">
+                        <ref role="37wK5l" to="ie8e:6HT7BWBOXr$" resolve="ground" />
+                        <ref role="1Pybhc" to="ie8e:6HT7BWBOXme" resolve="AtomUtil" />
+                        <node concept="37vLTw" id="4pWvZ2njipN" role="37wK5m">
+                          <ref role="3cqZAo" node="4pWvZ2njipz" resolve="value" />
+                        </node>
+                      </node>
+                      <node concept="2ShNRf" id="4pWvZ2njipO" role="37wK5m">
+                        <node concept="HV5vD" id="4pWvZ2njipP" role="2ShVmc">
+                          <ref role="HV5vE" node="3gJBs5s_5u0" resolve="RunTypecheckingRules.TypeFormatter.TypeVarSymbol" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbH" id="4pWvZ2njipQ" role="3cqZAp" />
+            </node>
+            <node concept="3y3z36" id="4pWvZ2njipR" role="3clFbw">
+              <node concept="37vLTw" id="4pWvZ2njipS" role="3uHU7B">
+                <ref role="3cqZAo" node="4pWvZ2njipz" resolve="value" />
+              </node>
+              <node concept="10Nm6u" id="4pWvZ2njipT" role="3uHU7w" />
+            </node>
+            <node concept="9aQIb" id="4pWvZ2njipU" role="9aQIa">
+              <node concept="3clFbS" id="4pWvZ2njipV" role="9aQI4">
+                <node concept="3cpWs8" id="4pWvZ2njipW" role="3cqZAp">
+                  <node concept="3cpWsn" id="4pWvZ2njipX" role="3cpWs9">
+                    <property role="TrG5h" value="var" />
+                    <node concept="17QB3L" id="4pWvZ2njipY" role="1tU5fm" />
+                    <node concept="2OqwBi" id="4pWvZ2njipZ" role="33vP2m">
+                      <node concept="2OqwBi" id="4pWvZ2njiq0" role="2Oq$k0">
+                        <node concept="37vLTw" id="4pWvZ2njiq1" role="2Oq$k0">
+                          <ref role="3cqZAo" node="4pWvZ2njiqL" resolve="typeLogical" />
+                        </node>
+                        <node concept="liA8E" id="4pWvZ2njiq2" role="2OqNvi">
+                          <ref role="37wK5l" to="oy3s:dfChU1gcsX" resolve="findRoot" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="4pWvZ2njiq3" role="2OqNvi">
+                        <ref role="37wK5l" to="95zw:3HJTsBmCy5P" resolve="name" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="4pWvZ2njiq4" role="3cqZAp">
+                  <node concept="2OqwBi" id="4pWvZ2njiq5" role="3clFbG">
+                    <node concept="37vLTw" id="4pWvZ2njiq6" role="2Oq$k0">
+                      <ref role="3cqZAo" node="4pWvZ2njipt" resolve="formatted" />
+                    </node>
+                    <node concept="liA8E" id="4pWvZ2njiq7" role="2OqNvi">
+                      <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
+                      <node concept="37vLTw" id="4pWvZ2njiq8" role="37wK5m">
+                        <ref role="3cqZAo" node="4pWvZ2njipX" resolve="var" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbJ" id="4pWvZ2njiq9" role="3cqZAp">
+                  <node concept="3clFbS" id="4pWvZ2njiqa" role="3clFbx">
+                    <node concept="3clFbF" id="4pWvZ2njiqb" role="3cqZAp">
+                      <node concept="2OqwBi" id="4pWvZ2njiqc" role="3clFbG">
+                        <node concept="2OqwBi" id="4pWvZ2njiqd" role="2Oq$k0">
+                          <node concept="2OqwBi" id="4pWvZ2njiqe" role="2Oq$k0">
+                            <node concept="37vLTw" id="4pWvZ2njiqf" role="2Oq$k0">
+                              <ref role="3cqZAo" node="4pWvZ2njipt" resolve="formatted" />
+                            </node>
+                            <node concept="liA8E" id="4pWvZ2njiqg" role="2OqNvi">
+                              <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
+                              <node concept="Xl_RD" id="4pWvZ2njiqh" role="37wK5m">
+                                <property role="Xl_RC" value=" \&quot;" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="liA8E" id="4pWvZ2njiqi" role="2OqNvi">
+                            <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
+                            <node concept="2OqwBi" id="4pWvZ2njiqj" role="37wK5m">
+                              <node concept="37vLTw" id="4pWvZ2njiqk" role="2Oq$k0">
+                                <ref role="3cqZAo" node="6HT7BWBSGym" resolve="varnames" />
+                              </node>
+                              <node concept="liA8E" id="4pWvZ2njiql" role="2OqNvi">
+                                <ref role="37wK5l" to="33ny:~Map.get(java.lang.Object):java.lang.Object" resolve="get" />
+                                <node concept="37vLTw" id="4pWvZ2njiqm" role="37wK5m">
+                                  <ref role="3cqZAo" node="4pWvZ2njipX" resolve="var" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="liA8E" id="4pWvZ2njiqn" role="2OqNvi">
+                          <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
+                          <node concept="Xl_RD" id="4pWvZ2njiqo" role="37wK5m">
+                            <property role="Xl_RC" value="\&quot;" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="2OqwBi" id="4pWvZ2njiqp" role="3clFbw">
+                    <node concept="37vLTw" id="4pWvZ2njiqq" role="2Oq$k0">
+                      <ref role="3cqZAo" node="6HT7BWBSGym" resolve="varnames" />
+                    </node>
+                    <node concept="liA8E" id="4pWvZ2njiqr" role="2OqNvi">
+                      <ref role="37wK5l" to="33ny:~Map.containsKey(java.lang.Object):boolean" resolve="containsKey" />
+                      <node concept="37vLTw" id="4pWvZ2njiqs" role="37wK5m">
+                        <ref role="3cqZAo" node="4pWvZ2njipX" resolve="var" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbH" id="4pWvZ2njiqt" role="3cqZAp" />
+          <node concept="3clFbF" id="4pWvZ2njiqu" role="3cqZAp">
+            <node concept="1rXfSq" id="4pWvZ2njiqv" role="3clFbG">
+              <ref role="37wK5l" node="6HT7BWBSP09" resolve="appendBound" />
+              <node concept="37vLTw" id="4pWvZ2njiqw" role="37wK5m">
+                <ref role="3cqZAo" node="4pWvZ2njiqL" resolve="typeLogical" />
+              </node>
+              <node concept="37vLTw" id="4pWvZ2njiqx" role="37wK5m">
+                <ref role="3cqZAo" node="4pWvZ2njipt" resolve="formatted" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="4pWvZ2njqGw" role="3cqZAp">
+            <node concept="2OqwBi" id="4pWvZ2njpYm" role="3clFbG">
+              <node concept="37vLTw" id="4pWvZ2njpYn" role="2Oq$k0">
+                <ref role="3cqZAo" node="4pWvZ2njipt" resolve="formatted" />
+              </node>
+              <node concept="liA8E" id="4pWvZ2njpYo" role="2OqNvi">
+                <ref role="37wK5l" to="wyt6:~StringBuilder.toString():java.lang.String" resolve="toString" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="17QB3L" id="4pWvZ2njx9y" role="3clF45" />
+        <node concept="37vLTG" id="4pWvZ2njiqL" role="3clF46">
+          <property role="TrG5h" value="typeLogical" />
+          <node concept="3uibUv" id="4pWvZ2njiqM" role="1tU5fm">
+            <ref role="3uigEE" to="oy3s:4U_yxogAknZ" resolve="AtomLogical" />
+          </node>
+        </node>
+        <node concept="3Tm6S6" id="4pWvZ2njipq" role="1B3o_S" />
+      </node>
       <node concept="2tJIrI" id="6HT7BWBSJtL" role="jymVt" />
       <node concept="3clFb_" id="6HT7BWBSMTp" role="jymVt">
         <property role="TrG5h" value="collectTypes" />
@@ -2682,20 +3048,6 @@
             <node concept="3clFbS" id="6HT7BWBSNt3" role="2LFqv$">
               <node concept="3clFbJ" id="6HT7BWBSNt4" role="3cqZAp">
                 <node concept="3clFbS" id="6HT7BWBSNt5" role="3clFbx">
-                  <node concept="3cpWs8" id="6HT7BWBSNtB" role="3cqZAp">
-                    <node concept="3cpWsn" id="6HT7BWBSNtC" role="3cpWs9">
-                      <property role="TrG5h" value="formatted" />
-                      <node concept="3uibUv" id="6HT7BWBSNtD" role="1tU5fm">
-                        <ref role="3uigEE" to="wyt6:~StringBuilder" resolve="StringBuilder" />
-                      </node>
-                      <node concept="2ShNRf" id="6HT7BWBSNtE" role="33vP2m">
-                        <node concept="1pGfFk" id="6HT7BWBSNtF" role="2ShVmc">
-                          <ref role="37wK5l" to="wyt6:~StringBuilder.&lt;init&gt;()" resolve="StringBuilder" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3clFbH" id="6HT7BWBTmXe" role="3cqZAp" />
                   <node concept="3cpWs8" id="6HT7BWBSNte" role="3cqZAp">
                     <node concept="3cpWsn" id="6HT7BWBSNtf" role="3cpWs9">
                       <property role="TrG5h" value="typeLogical" />
@@ -2725,166 +3077,6 @@
                       </node>
                     </node>
                   </node>
-                  <node concept="3cpWs8" id="6HT7BWBSNtm" role="3cqZAp">
-                    <node concept="3cpWsn" id="6HT7BWBSNtn" role="3cpWs9">
-                      <property role="TrG5h" value="value" />
-                      <node concept="3uibUv" id="6HT7BWBSNto" role="1tU5fm">
-                        <ref role="3uigEE" to="ie8e:1bm7a6EXvsP" resolve="Atom" />
-                      </node>
-                      <node concept="2OqwBi" id="6HT7BWBSNtp" role="33vP2m">
-                        <node concept="2OqwBi" id="6HT7BWBSNtq" role="2Oq$k0">
-                          <node concept="37vLTw" id="6HT7BWBSNtr" role="2Oq$k0">
-                            <ref role="3cqZAo" node="6HT7BWBSNtf" resolve="typeLogical" />
-                          </node>
-                          <node concept="liA8E" id="6HT7BWBSNts" role="2OqNvi">
-                            <ref role="37wK5l" to="oy3s:dfChU1gcsX" resolve="findRoot" />
-                          </node>
-                        </node>
-                        <node concept="liA8E" id="6HT7BWBSNtt" role="2OqNvi">
-                          <ref role="37wK5l" to="95zw:3HJTsBmBZ0h" resolve="value" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3clFbH" id="6HT7BWBTrGn" role="3cqZAp" />
-                  <node concept="3clFbJ" id="6HT7BWBTgVc" role="3cqZAp">
-                    <node concept="3clFbS" id="6HT7BWBTgVe" role="3clFbx">
-                      <node concept="3clFbF" id="6HT7BWBTr1y" role="3cqZAp">
-                        <node concept="2OqwBi" id="6HT7BWBTrg1" role="3clFbG">
-                          <node concept="37vLTw" id="6HT7BWBTr1w" role="2Oq$k0">
-                            <ref role="3cqZAo" node="6HT7BWBSNtC" resolve="formatted" />
-                          </node>
-                          <node concept="liA8E" id="6HT7BWBTrv5" role="2OqNvi">
-                            <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
-                            <node concept="2YIFZM" id="6HT7BWBTrvu" role="37wK5m">
-                              <ref role="1Pybhc" to="4t1t:4peSo3CHy8D" resolve="NodePrinter" />
-                              <ref role="37wK5l" to="4t1t:4peSo3D04j7" resolve="print" />
-                              <node concept="2YIFZM" id="4UfmwCBLEk" role="37wK5m">
-                                <ref role="37wK5l" to="ie8e:6HT7BWBOXr$" resolve="ground" />
-                                <ref role="1Pybhc" to="ie8e:6HT7BWBOXme" resolve="AtomUtil" />
-                                <node concept="37vLTw" id="4UfmwCBLO3" role="37wK5m">
-                                  <ref role="3cqZAo" node="6HT7BWBSNtn" resolve="value" />
-                                </node>
-                              </node>
-                              <node concept="2ShNRf" id="5kEUewdD8NS" role="37wK5m">
-                                <node concept="HV5vD" id="5kEUewdDaed" role="2ShVmc">
-                                  <ref role="HV5vE" node="3gJBs5s_5u0" resolve="RunTypecheckingRules.TypeFormatter.TypeVarSymbol" />
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3clFbH" id="6HT7BWBTqaU" role="3cqZAp" />
-                    </node>
-                    <node concept="3y3z36" id="6HT7BWBTpvB" role="3clFbw">
-                      <node concept="37vLTw" id="6HT7BWBThsW" role="3uHU7B">
-                        <ref role="3cqZAo" node="6HT7BWBSNtn" resolve="value" />
-                      </node>
-                      <node concept="10Nm6u" id="6HT7BWBThPH" role="3uHU7w" />
-                    </node>
-                    <node concept="9aQIb" id="6HT7BWBTnVa" role="9aQIa">
-                      <node concept="3clFbS" id="6HT7BWBTnVb" role="9aQI4">
-                        <node concept="3cpWs8" id="6HT7BWBSNtu" role="3cqZAp">
-                          <node concept="3cpWsn" id="6HT7BWBSNtv" role="3cpWs9">
-                            <property role="TrG5h" value="var" />
-                            <node concept="17QB3L" id="6HT7BWBSNtw" role="1tU5fm" />
-                            <node concept="2OqwBi" id="6HT7BWBSNtx" role="33vP2m">
-                              <node concept="2OqwBi" id="6HT7BWBSNty" role="2Oq$k0">
-                                <node concept="37vLTw" id="6HT7BWBSNtz" role="2Oq$k0">
-                                  <ref role="3cqZAo" node="6HT7BWBSNtf" resolve="typeLogical" />
-                                </node>
-                                <node concept="liA8E" id="6HT7BWBSNt$" role="2OqNvi">
-                                  <ref role="37wK5l" to="oy3s:dfChU1gcsX" resolve="findRoot" />
-                                </node>
-                              </node>
-                              <node concept="liA8E" id="6HT7BWBSNt_" role="2OqNvi">
-                                <ref role="37wK5l" to="95zw:3HJTsBmCy5P" resolve="name" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="3clFbF" id="6HT7BWBTiHb" role="3cqZAp">
-                          <node concept="2OqwBi" id="6HT7BWBTiR2" role="3clFbG">
-                            <node concept="37vLTw" id="6HT7BWBTiH9" role="2Oq$k0">
-                              <ref role="3cqZAo" node="6HT7BWBSNtC" resolve="formatted" />
-                            </node>
-                            <node concept="liA8E" id="6HT7BWBTj5Y" role="2OqNvi">
-                              <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
-                              <node concept="37vLTw" id="6HT7BWBTjeO" role="37wK5m">
-                                <ref role="3cqZAo" node="6HT7BWBSNtv" resolve="var" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="3clFbJ" id="6HT7BWBSNtH" role="3cqZAp">
-                          <node concept="3clFbS" id="6HT7BWBSNtI" role="3clFbx">
-                            <node concept="3clFbF" id="6HT7BWBSNtJ" role="3cqZAp">
-                              <node concept="2OqwBi" id="6HT7BWBSNtK" role="3clFbG">
-                                <node concept="2OqwBi" id="6HT7BWBSNtL" role="2Oq$k0">
-                                  <node concept="2OqwBi" id="6HT7BWBSNtM" role="2Oq$k0">
-                                    <node concept="37vLTw" id="6HT7BWBSNtN" role="2Oq$k0">
-                                      <ref role="3cqZAo" node="6HT7BWBSNtC" resolve="formatted" />
-                                    </node>
-                                    <node concept="liA8E" id="6HT7BWBSNtO" role="2OqNvi">
-                                      <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
-                                      <node concept="Xl_RD" id="6HT7BWBSNtP" role="37wK5m">
-                                        <property role="Xl_RC" value=" \&quot;" />
-                                      </node>
-                                    </node>
-                                  </node>
-                                  <node concept="liA8E" id="6HT7BWBSNtQ" role="2OqNvi">
-                                    <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
-                                    <node concept="2OqwBi" id="6HT7BWBSNtR" role="37wK5m">
-                                      <node concept="37vLTw" id="6HT7BWBSNtS" role="2Oq$k0">
-                                        <ref role="3cqZAo" node="6HT7BWBSGym" resolve="varnames" />
-                                      </node>
-                                      <node concept="liA8E" id="6HT7BWBSNtT" role="2OqNvi">
-                                        <ref role="37wK5l" to="33ny:~Map.get(java.lang.Object):java.lang.Object" resolve="get" />
-                                        <node concept="37vLTw" id="6HT7BWBSNtU" role="37wK5m">
-                                          <ref role="3cqZAo" node="6HT7BWBSNtv" resolve="var" />
-                                        </node>
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                                <node concept="liA8E" id="6HT7BWBSNtV" role="2OqNvi">
-                                  <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
-                                  <node concept="Xl_RD" id="6HT7BWBSNtW" role="37wK5m">
-                                    <property role="Xl_RC" value="\&quot;" />
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="2OqwBi" id="6HT7BWBSNtX" role="3clFbw">
-                            <node concept="37vLTw" id="6HT7BWBSNtY" role="2Oq$k0">
-                              <ref role="3cqZAo" node="6HT7BWBSGym" resolve="varnames" />
-                            </node>
-                            <node concept="liA8E" id="6HT7BWBSNtZ" role="2OqNvi">
-                              <ref role="37wK5l" to="33ny:~Map.containsKey(java.lang.Object):boolean" resolve="containsKey" />
-                              <node concept="37vLTw" id="6HT7BWBSNu0" role="37wK5m">
-                                <ref role="3cqZAo" node="6HT7BWBSNtv" resolve="var" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3clFbH" id="6HT7BWBSNu1" role="3cqZAp" />
-                  <node concept="3clFbF" id="6HT7BWBSP0f" role="3cqZAp">
-                    <node concept="1rXfSq" id="6HT7BWBSP0e" role="3clFbG">
-                      <ref role="37wK5l" node="6HT7BWBSP09" resolve="appendBound" />
-                      <node concept="37vLTw" id="6HT7BWBSP0c" role="37wK5m">
-                        <ref role="3cqZAo" node="6HT7BWBSNtf" resolve="typeLogical" />
-                      </node>
-                      <node concept="37vLTw" id="6HT7BWBSP0d" role="37wK5m">
-                        <ref role="3cqZAo" node="6HT7BWBSNtC" resolve="formatted" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3clFbH" id="6HT7BWBSNvi" role="3cqZAp" />
                   <node concept="3cpWs8" id="6HT7BWBSNvx" role="3cqZAp">
                     <node concept="3cpWsn" id="6HT7BWBSNvy" role="3cpWs9">
                       <property role="TrG5h" value="anchor" />
@@ -2921,34 +3113,16 @@
                       </node>
                       <node concept="liA8E" id="6HT7BWBSNvG" role="2OqNvi">
                         <ref role="37wK5l" to="33ny:~Map.put(java.lang.Object,java.lang.Object):java.lang.Object" resolve="put" />
-                        <node concept="2YIFZM" id="6HT7BWBSNvH" role="37wK5m">
-                          <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
-                          <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object):java.lang.String" resolve="valueOf" />
-                          <node concept="2OqwBi" id="6HT7BWBSNvI" role="37wK5m">
-                            <node concept="2YIFZM" id="6HT7BWBSNvJ" role="2Oq$k0">
-                              <ref role="37wK5l" to="ie8e:3JgCwkqd8va" resolve="findValue" />
-                              <ref role="1Pybhc" to="ie8e:3JgCwkqd3K7" resolve="Finders" />
-                              <node concept="37vLTw" id="6HT7BWBSNvK" role="37wK5m">
-                                <ref role="3cqZAo" node="6HT7BWBSNvy" resolve="anchor" />
-                              </node>
-                              <node concept="Xl_RD" id="6HT7BWBSNvL" role="37wK5m">
-                                <property role="Xl_RC" value="node" />
-                              </node>
-                              <node concept="Xl_RD" id="6HT7BWBSNvM" role="37wK5m">
-                                <property role="Xl_RC" value="id" />
-                              </node>
-                            </node>
-                            <node concept="liA8E" id="6HT7BWBSNvN" role="2OqNvi">
-                              <ref role="37wK5l" to="ie8e:3JgCwkqkUL2" resolve="result" />
-                            </node>
+                        <node concept="1rXfSq" id="4pWvZ2njvGT" role="37wK5m">
+                          <ref role="37wK5l" node="4pWvZ2njtBV" resolve="getNode" />
+                          <node concept="37vLTw" id="4pWvZ2njvYq" role="37wK5m">
+                            <ref role="3cqZAo" node="6HT7BWBSNvy" resolve="anchor" />
                           </node>
                         </node>
-                        <node concept="2OqwBi" id="6HT7BWBT_jU" role="37wK5m">
-                          <node concept="37vLTw" id="6HT7BWBTt2e" role="2Oq$k0">
-                            <ref role="3cqZAo" node="6HT7BWBSNtC" resolve="formatted" />
-                          </node>
-                          <node concept="liA8E" id="6HT7BWBT_Cq" role="2OqNvi">
-                            <ref role="37wK5l" to="wyt6:~StringBuilder.toString():java.lang.String" resolve="toString" />
+                        <node concept="1rXfSq" id="4pWvZ2njwej" role="37wK5m">
+                          <ref role="37wK5l" node="4pWvZ2njipn" resolve="getType" />
+                          <node concept="37vLTw" id="4pWvZ2njwuF" role="37wK5m">
+                            <ref role="3cqZAo" node="6HT7BWBSNtf" resolve="typeLogical" />
                           </node>
                         </node>
                       </node>
@@ -3241,7 +3415,7 @@
         </node>
       </node>
       <node concept="2tJIrI" id="6HT7BWBSWkq" role="jymVt" />
-      <node concept="3Tm6S6" id="6HT7BWBSGxC" role="1B3o_S" />
+      <node concept="3Tm1VV" id="4pWvZ2njGXi" role="1B3o_S" />
       <node concept="312cEu" id="3gJBs5s_5u0" role="jymVt">
         <property role="2bfB8j" value="true" />
         <property role="TrG5h" value="TypeVarSymbol" />
@@ -5063,11 +5237,32 @@
   </node>
   <node concept="Zd50a" id="3NRKQ2BK6Oq">
     <property role="TrG5h" value="TypingKeymap" />
-    <node concept="Zd509" id="3NRKQ2BK6Ot" role="Zd508">
+    <node concept="1bYApB" id="4pWvZ2nnzkA" role="Zd508">
       <ref role="1bYAoF" node="3Qp4N06byoz" resolve="MarkTypes" />
-      <node concept="pLAjd" id="3NRKQ2BK6Ov" role="Zd501">
-        <property role="pLAjc" value="ctrl" />
-        <property role="pLAjf" value="VK_F7" />
+      <node concept="3clFbS" id="4pWvZ2nnzkC" role="2VODD2">
+        <node concept="1ysbro" id="6$w_9FKh02J" role="3cqZAp">
+          <node concept="3cpWs3" id="4pWvZ2nn$pT" role="1ysQSp">
+            <node concept="Xl_RD" id="4pWvZ2nn$wh" role="3uHU7w">
+              <property role="Xl_RC" value="F7" />
+            </node>
+            <node concept="3cpWs3" id="6$w_9FKh02K" role="3uHU7B">
+              <node concept="Xl_RD" id="6$w_9FKh02M" role="3uHU7B">
+                <property role="Xl_RC" value="ctrl " />
+              </node>
+              <node concept="1eOMI4" id="4pWvZ2nn$uI" role="3uHU7w">
+                <node concept="3K4zz7" id="4pWvZ2nn$cD" role="1eOMHV">
+                  <node concept="Xl_RD" id="4pWvZ2nn$e8" role="3K4E3e">
+                    <property role="Xl_RC" value="alt " />
+                  </node>
+                  <node concept="Xl_RD" id="4pWvZ2nn$hQ" role="3K4GZi" />
+                  <node concept="3DOySe" id="4pWvZ2nn$aa" role="3K4Cdx">
+                    <ref role="3cqZAo" node="4pWvZ2nmH_C" resolve="onTheFly" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
       </node>
     </node>
   </node>
@@ -5120,6 +5315,25 @@
       </node>
       <node concept="3Tm1VV" id="1pPth$lBwLv" role="1B3o_S" />
     </node>
+    <node concept="3clFb_" id="4pWvZ2nlC2q" role="jymVt">
+      <property role="TrG5h" value="solveOnTheFly" />
+      <property role="IEkAT" value="false" />
+      <property role="DiZV1" value="false" />
+      <property role="od$2w" value="false" />
+      <node concept="3clFbS" id="4pWvZ2nlC2r" role="3clF47">
+        <node concept="3clFbF" id="4pWvZ2nlC2s" role="3cqZAp">
+          <node concept="2ShNRf" id="4pWvZ2nlC2t" role="3clFbG">
+            <node concept="HV5vD" id="4pWvZ2nm0jK" role="2ShVmc">
+              <ref role="HV5vE" node="4pWvZ2nh4h1" resolve="TypecheckingHelper.SolveOnTheFly" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3uibUv" id="4pWvZ2nlC2v" role="3clF45">
+        <ref role="3uigEE" node="1pPth$lAzAx" resolve="TypecheckingHelper.Step" />
+      </node>
+      <node concept="3Tm1VV" id="4pWvZ2nlC2w" role="1B3o_S" />
+    </node>
     <node concept="3clFb_" id="1pPth$lD9_s" role="jymVt">
       <property role="TrG5h" value="makeHandler" />
       <property role="IEkAT" value="false" />
@@ -6134,6 +6348,413 @@
         </node>
       </node>
     </node>
+    <node concept="2tJIrI" id="4pWvZ2nh3LO" role="jymVt" />
+    <node concept="312cEu" id="4pWvZ2nh4h1" role="jymVt">
+      <property role="2bfB8j" value="true" />
+      <property role="TrG5h" value="SolveOnTheFly" />
+      <node concept="3clFb_" id="4pWvZ2nh4h2" role="jymVt">
+        <property role="TrG5h" value="info" />
+        <property role="1EzhhJ" value="false" />
+        <node concept="17QB3L" id="4pWvZ2nh4h3" role="3clF45" />
+        <node concept="3Tmbuc" id="4pWvZ2nh4h4" role="1B3o_S" />
+        <node concept="3clFbS" id="4pWvZ2nh4h5" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2nh4h6" role="3cqZAp">
+            <node concept="Xl_RD" id="4pWvZ2nh4h7" role="3clFbG">
+              <property role="Xl_RC" value="solving rules" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3clFb_" id="4pWvZ2nh4h8" role="jymVt">
+        <property role="TrG5h" value="execute" />
+        <property role="1EzhhJ" value="false" />
+        <node concept="37vLTG" id="4pWvZ2nh4h9" role="3clF46">
+          <property role="TrG5h" value="prev" />
+          <node concept="3uibUv" id="4pWvZ2nh4ha" role="1tU5fm">
+            <ref role="3uigEE" node="1pPth$lAwc0" resolve="TypecheckingHelper.CollectRules" />
+          </node>
+        </node>
+        <node concept="3cqZAl" id="4pWvZ2nh4hb" role="3clF45" />
+        <node concept="3Tm1VV" id="4pWvZ2nh4hc" role="1B3o_S" />
+        <node concept="3clFbS" id="4pWvZ2nh4hd" role="3clF47">
+          <node concept="3clFbH" id="4pWvZ2nh4he" role="3cqZAp" />
+          <node concept="3cpWs8" id="4pWvZ2nh4hf" role="3cqZAp">
+            <node concept="3cpWsn" id="4pWvZ2nh4hg" role="3cpWs9">
+              <property role="TrG5h" value="errors" />
+              <node concept="10Oyi0" id="4pWvZ2nh4hh" role="1tU5fm" />
+              <node concept="3cmrfG" id="4pWvZ2nh4hi" role="33vP2m">
+                <property role="3cmrfH" value="0" />
+              </node>
+            </node>
+          </node>
+          <node concept="1QHqEO" id="4pWvZ2nh4hj" role="3cqZAp">
+            <node concept="1QHqEC" id="4pWvZ2nh4hk" role="1QHqEI">
+              <node concept="3clFbS" id="4pWvZ2nh4hl" role="1bW5cS">
+                <node concept="1QHqEM" id="4pWvZ2nh4hm" role="3cqZAp">
+                  <node concept="1QHqEC" id="4pWvZ2nh4hn" role="1QHqEI">
+                    <node concept="3clFbS" id="4pWvZ2nh4ho" role="1bW5cS">
+                      <node concept="SfApY" id="4pWvZ2nh4hp" role="3cqZAp">
+                        <node concept="3clFbS" id="4pWvZ2nh4hq" role="SfCbr">
+                          <node concept="3cpWs8" id="4pWvZ2nh4hr" role="3cqZAp">
+                            <node concept="3cpWsn" id="4pWvZ2nh4hs" role="3cpWs9">
+                              <property role="TrG5h" value="tracer" />
+                              <node concept="3uibUv" id="4pWvZ2nh4ht" role="1tU5fm">
+                                <ref role="3uigEE" node="4i4XGQZlbGA" resolve="MessageViewTracer" />
+                              </node>
+                              <node concept="2YIFZM" id="4pWvZ2nh4hu" role="33vP2m">
+                                <ref role="1Pybhc" node="4i4XGQZlbGA" resolve="MessageViewTracer" />
+                                <ref role="37wK5l" node="4i4XGQZmHHg" resolve="get" />
+                                <node concept="2OqwBi" id="4pWvZ2nh4hv" role="37wK5m">
+                                  <node concept="2OqwBi" id="4pWvZ2nh4hw" role="2Oq$k0">
+                                    <node concept="Xjq3P" id="4pWvZ2nh4hx" role="2Oq$k0">
+                                      <ref role="1HBi2w" node="1pPth$l_TFV" resolve="TypecheckingHelper" />
+                                    </node>
+                                    <node concept="2OwXpG" id="4pWvZ2nh4hy" role="2OqNvi">
+                                      <ref role="2Oxat5" node="1pPth$lA2Na" resolve="mpsProject" />
+                                    </node>
+                                  </node>
+                                  <node concept="liA8E" id="4pWvZ2nh4hz" role="2OqNvi">
+                                    <ref role="37wK5l" to="z1c4:~MPSProject.getProject():com.intellij.openapi.project.Project" resolve="getProject" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbF" id="4pWvZ2nh4h$" role="3cqZAp">
+                            <node concept="2OqwBi" id="4pWvZ2nh4h_" role="3clFbG">
+                              <node concept="37vLTw" id="4pWvZ2nh4hA" role="2Oq$k0">
+                                <ref role="3cqZAo" node="4pWvZ2nh4hs" resolve="tracer" />
+                              </node>
+                              <node concept="liA8E" id="4pWvZ2nh4hB" role="2OqNvi">
+                                <ref role="37wK5l" node="61vfVfp5zwA" resolve="showEvents" />
+                                <node concept="Rm8GO" id="4pWvZ2nh4hC" role="37wK5m">
+                                  <ref role="Rm8GQ" node="61vfVfp5uU4" resolve="FIRED" />
+                                  <ref role="1Px2BO" node="61vfVfp5tJN" resolve="MessageViewTracer.Event" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbH" id="4pWvZ2nh4hD" role="3cqZAp" />
+                          <node concept="1DcWWT" id="4pWvZ2nh4hE" role="3cqZAp">
+                            <node concept="3clFbS" id="4pWvZ2nh4hF" role="2LFqv$">
+                              <node concept="3cpWs8" id="4pWvZ2nhNEK" role="3cqZAp">
+                                <node concept="3cpWsn" id="4pWvZ2nhNEL" role="3cpWs9">
+                                  <property role="TrG5h" value="solver" />
+                                  <node concept="3uibUv" id="4pWvZ2nhNEC" role="1tU5fm">
+                                    <ref role="3uigEE" to="9kr0:4pWvZ2n32be" resolve="ChrSolver" />
+                                  </node>
+                                  <node concept="2ShNRf" id="4pWvZ2nhNEM" role="33vP2m">
+                                    <node concept="1pGfFk" id="4pWvZ2nhNEN" role="2ShVmc">
+                                      <ref role="37wK5l" to="9kr0:4pWvZ2n32bg" resolve="ChrSolver" />
+                                      <node concept="37vLTw" id="4pWvZ2nhNEO" role="37wK5m">
+                                        <ref role="3cqZAo" node="4pWvZ2nh4hX" resolve="rh" />
+                                      </node>
+                                      <node concept="37vLTw" id="4pWvZ2nhNEP" role="37wK5m">
+                                        <ref role="3cqZAo" node="4pWvZ2nh4hs" resolve="tracer" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3clFbF" id="4pWvZ2nh4hG" role="3cqZAp">
+                                <node concept="2OqwBi" id="4pWvZ2nh4hH" role="3clFbG">
+                                  <node concept="37vLTw" id="4pWvZ2nhNEQ" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="4pWvZ2nhNEL" resolve="solver" />
+                                  </node>
+                                  <node concept="liA8E" id="4pWvZ2nh4hM" role="2OqNvi">
+                                    <ref role="37wK5l" to="9kr0:4pWvZ2n3zcY" resolve="solve" />
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3clFbF" id="4pWvZ2nhSDo" role="3cqZAp">
+                                <node concept="2OqwBi" id="4pWvZ2nidyV" role="3clFbG">
+                                  <node concept="2OqwBi" id="4pWvZ2nhVGz" role="2Oq$k0">
+                                    <node concept="2OqwBi" id="4pWvZ2nhTAr" role="2Oq$k0">
+                                      <node concept="37vLTw" id="4pWvZ2nhSDm" role="2Oq$k0">
+                                        <ref role="3cqZAo" node="4pWvZ2nhNEL" resolve="solver" />
+                                      </node>
+                                      <node concept="2OwXpG" id="4pWvZ2nhU_z" role="2OqNvi">
+                                        <ref role="2Oxat5" to="9kr0:4pWvZ2nh_ow" resolve="constraintsPool" />
+                                      </node>
+                                    </node>
+                                    <node concept="3zZkjj" id="4pWvZ2nian_" role="2OqNvi">
+                                      <node concept="1bVj0M" id="4pWvZ2nianB" role="23t8la">
+                                        <node concept="3clFbS" id="4pWvZ2nianC" role="1bW5cS">
+                                          <node concept="3clFbF" id="4pWvZ2nibfI" role="3cqZAp">
+                                            <node concept="17R0WA" id="4pWvZ2ni3KR" role="3clFbG">
+                                              <node concept="2OqwBi" id="4pWvZ2nm_qk" role="3uHU7w">
+                                                <node concept="10M0yZ" id="4pWvZ2ni5ac" role="2Oq$k0">
+                                                  <ref role="1PxDUh" to="i348:4OKkcnfu_zf" resolve="CustomConstraints" />
+                                                  <ref role="3cqZAo" to="i348:5uFPQ7CgjLS" resolve="TYPEOF_SYM" />
+                                                </node>
+                                                <node concept="liA8E" id="4pWvZ2nmAb6" role="2OqNvi">
+                                                  <ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
+                                                </node>
+                                              </node>
+                                              <node concept="2OqwBi" id="4pWvZ2ni1C8" role="3uHU7B">
+                                                <node concept="2OqwBi" id="4pWvZ2nhZwf" role="2Oq$k0">
+                                                  <node concept="37vLTw" id="4pWvZ2nicuV" role="2Oq$k0">
+                                                    <ref role="3cqZAo" node="4pWvZ2nianD" resolve="it" />
+                                                  </node>
+                                                  <node concept="2OwXpG" id="4pWvZ2ni0zc" role="2OqNvi">
+                                                    <ref role="2Oxat5" to="9kr0:4pWvZ2n8$8b" resolve="myConstraint" />
+                                                  </node>
+                                                </node>
+                                                <node concept="liA8E" id="4pWvZ2ni2I9" role="2OqNvi">
+                                                  <ref role="37wK5l" to="yt73:~Term.symbol()" resolve="symbol" />
+                                                </node>
+                                              </node>
+                                            </node>
+                                          </node>
+                                        </node>
+                                        <node concept="Rh6nW" id="4pWvZ2nianD" role="1bW2Oz">
+                                          <property role="TrG5h" value="it" />
+                                          <node concept="2jxLKc" id="4pWvZ2nianE" role="1tU5fm" />
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="2es0OD" id="4pWvZ2nigUG" role="2OqNvi">
+                                    <node concept="1bVj0M" id="4pWvZ2nigUI" role="23t8la">
+                                      <node concept="3clFbS" id="4pWvZ2nigUJ" role="1bW5cS">
+                                        <node concept="3cpWs8" id="4pWvZ2niuqK" role="3cqZAp">
+                                          <node concept="3cpWsn" id="4pWvZ2niuqL" role="3cpWs9">
+                                            <property role="TrG5h" value="arguments" />
+                                            <node concept="_YKpA" id="4pWvZ2niDas" role="1tU5fm">
+                                              <node concept="3uibUv" id="4pWvZ2niHoq" role="_ZDj9">
+                                                <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+                                              </node>
+                                            </node>
+                                            <node concept="2OqwBi" id="4pWvZ2niAvV" role="33vP2m">
+                                              <node concept="1eOMI4" id="4pWvZ2ni_eR" role="2Oq$k0">
+                                                <node concept="10QFUN" id="4pWvZ2ni_eS" role="1eOMHV">
+                                                  <node concept="2OqwBi" id="4pWvZ2ni_eM" role="10QFUP">
+                                                    <node concept="2OqwBi" id="4pWvZ2ni_eN" role="2Oq$k0">
+                                                      <node concept="37vLTw" id="4pWvZ2ni_eO" role="2Oq$k0">
+                                                        <ref role="3cqZAo" node="4pWvZ2nigUK" resolve="it" />
+                                                      </node>
+                                                      <node concept="2OwXpG" id="4pWvZ2ni_eP" role="2OqNvi">
+                                                        <ref role="2Oxat5" to="9kr0:4pWvZ2n8$8b" resolve="myConstraint" />
+                                                      </node>
+                                                    </node>
+                                                    <node concept="liA8E" id="4pWvZ2ni_eQ" role="2OqNvi">
+                                                      <ref role="37wK5l" to="yt73:~Term.arguments()" resolve="arguments" />
+                                                    </node>
+                                                  </node>
+                                                  <node concept="3vKaQO" id="4pWvZ2ni_eJ" role="10QFUM">
+                                                    <node concept="3uibUv" id="4pWvZ2niIK0" role="3O5elw">
+                                                      <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+                                                    </node>
+                                                  </node>
+                                                </node>
+                                              </node>
+                                              <node concept="ANE8D" id="4pWvZ2niBLC" role="2OqNvi" />
+                                            </node>
+                                          </node>
+                                        </node>
+                                        <node concept="3clFbF" id="4pWvZ2niQqb" role="3cqZAp">
+                                          <node concept="37vLTI" id="4pWvZ2niUiH" role="3clFbG">
+                                            <node concept="2OqwBi" id="4pWvZ2nk3jF" role="37vLTx">
+                                              <node concept="1y4W85" id="4pWvZ2nk0IT" role="2Oq$k0">
+                                                <node concept="3cmrfG" id="4pWvZ2nk28Q" role="1y58nS">
+                                                  <property role="3cmrfH" value="0" />
+                                                </node>
+                                                <node concept="37vLTw" id="4pWvZ2njZgH" role="1y566C">
+                                                  <ref role="3cqZAo" node="4pWvZ2niuqL" resolve="arguments" />
+                                                </node>
+                                              </node>
+                                              <node concept="liA8E" id="4pWvZ2nk4y1" role="2OqNvi">
+                                                <ref role="37wK5l" to="wyt6:~Object.toString():java.lang.String" resolve="toString" />
+                                              </node>
+                                            </node>
+                                            <node concept="3EllGN" id="4pWvZ2niRA7" role="37vLTJ">
+                                              <node concept="37vLTw" id="4pWvZ2niQq9" role="3ElQJh">
+                                                <ref role="3cqZAo" node="4pWvZ2nhPRH" resolve="nodeId2Type" />
+                                              </node>
+                                              <node concept="2YIFZM" id="4pWvZ2njJiJ" role="3ElVtu">
+                                                <ref role="37wK5l" node="4pWvZ2njtBV" resolve="getNode" />
+                                                <ref role="1Pybhc" node="6HT7BWBSFOV" resolve="RunTypecheckingRules.TypeFormatter" />
+                                                <node concept="10QFUN" id="4pWvZ2nilMC" role="37wK5m">
+                                                  <node concept="3uibUv" id="4pWvZ2nilMD" role="10QFUM">
+                                                    <ref role="3uigEE" to="ie8e:1bm7a6EXvsP" resolve="Atom" />
+                                                  </node>
+                                                  <node concept="1y4W85" id="4pWvZ2niERO" role="10QFUP">
+                                                    <node concept="3cmrfG" id="4pWvZ2niG0G" role="1y58nS">
+                                                      <property role="3cmrfH" value="1" />
+                                                    </node>
+                                                    <node concept="37vLTw" id="4pWvZ2niuqR" role="1y566C">
+                                                      <ref role="3cqZAo" node="4pWvZ2niuqL" resolve="arguments" />
+                                                    </node>
+                                                  </node>
+                                                </node>
+                                              </node>
+                                            </node>
+                                          </node>
+                                        </node>
+                                      </node>
+                                      <node concept="Rh6nW" id="4pWvZ2nigUK" role="1bW2Oz">
+                                        <property role="TrG5h" value="it" />
+                                        <node concept="2jxLKc" id="4pWvZ2nigUL" role="1tU5fm" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3cpWsn" id="4pWvZ2nh4hX" role="1Duv9x">
+                              <property role="TrG5h" value="rh" />
+                              <node concept="3uibUv" id="4pWvZ2nh4hY" role="1tU5fm">
+                                <ref role="3uigEE" to="9kr0:7eGEHDlcEJ0" resolve="ConstraintRulesHandler" />
+                              </node>
+                            </node>
+                            <node concept="2OqwBi" id="4pWvZ2nh4hZ" role="1DdaDG">
+                              <node concept="37vLTw" id="4pWvZ2nh4i0" role="2Oq$k0">
+                                <ref role="3cqZAo" node="4pWvZ2nh4h9" resolve="prev" />
+                              </node>
+                              <node concept="2OwXpG" id="4pWvZ2nh4i1" role="2OqNvi">
+                                <ref role="2Oxat5" node="1pPth$lE8Xs" resolve="ruleHandlers" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="TDmWw" id="4pWvZ2nh4i2" role="TEbGg">
+                          <node concept="3cpWsn" id="4pWvZ2nh4i3" role="TDEfY">
+                            <property role="TrG5h" value="ex" />
+                            <node concept="3uibUv" id="4pWvZ2nh4i4" role="1tU5fm">
+                              <ref role="3uigEE" to="wyt6:~Exception" resolve="Exception" />
+                            </node>
+                          </node>
+                          <node concept="3clFbS" id="4pWvZ2nh4i5" role="TDEfX">
+                            <node concept="34ab3g" id="4pWvZ2nh4i6" role="3cqZAp">
+                              <property role="35gtTG" value="error" />
+                              <property role="34fQS0" value="true" />
+                              <node concept="Xl_RD" id="4pWvZ2nh4i7" role="34bqiv">
+                                <property role="Xl_RC" value="exception during rules solving" />
+                              </node>
+                              <node concept="37vLTw" id="4pWvZ2nh4i8" role="34bMjA">
+                                <ref role="3cqZAo" node="4pWvZ2nh4i3" resolve="ex" />
+                              </node>
+                            </node>
+                            <node concept="3clFbF" id="4pWvZ2nh4i9" role="3cqZAp">
+                              <node concept="d57v9" id="4pWvZ2nh4ia" role="3clFbG">
+                                <node concept="3cmrfG" id="4pWvZ2nh4ib" role="37vLTx">
+                                  <property role="3cmrfH" value="1" />
+                                </node>
+                                <node concept="37vLTw" id="4pWvZ2nh4ic" role="37vLTJ">
+                                  <ref role="3cqZAo" node="4pWvZ2nh4hg" resolve="errors" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="2OqwBi" id="4pWvZ2nh4id" role="ukAjM">
+                    <node concept="2OqwBi" id="4pWvZ2nh4ie" role="2Oq$k0">
+                      <node concept="Xjq3P" id="4pWvZ2nh4if" role="2Oq$k0">
+                        <ref role="1HBi2w" node="1pPth$l_TFV" resolve="TypecheckingHelper" />
+                      </node>
+                      <node concept="2OwXpG" id="4pWvZ2nh4ig" role="2OqNvi">
+                        <ref role="2Oxat5" node="1pPth$lA2Na" resolve="mpsProject" />
+                      </node>
+                    </node>
+                    <node concept="liA8E" id="4pWvZ2nh4ih" role="2OqNvi">
+                      <ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="2OqwBi" id="4pWvZ2nh4ii" role="ukAjM">
+              <node concept="2OqwBi" id="4pWvZ2nh4ij" role="2Oq$k0">
+                <node concept="Xjq3P" id="4pWvZ2nh4ik" role="2Oq$k0">
+                  <ref role="1HBi2w" node="1pPth$l_TFV" resolve="TypecheckingHelper" />
+                </node>
+                <node concept="2OwXpG" id="4pWvZ2nh4il" role="2OqNvi">
+                  <ref role="2Oxat5" node="1pPth$lA2Na" resolve="mpsProject" />
+                </node>
+              </node>
+              <node concept="liA8E" id="4pWvZ2nh4im" role="2OqNvi">
+                <ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbH" id="4pWvZ2nh4in" role="3cqZAp" />
+          <node concept="3clFbF" id="4pWvZ2nh4io" role="3cqZAp">
+            <node concept="1rXfSq" id="4pWvZ2nh4ip" role="3clFbG">
+              <ref role="37wK5l" node="7dgRGU4Nmfr" resolve="done" />
+              <node concept="3clFbC" id="4pWvZ2nh4iq" role="37wK5m">
+                <node concept="37vLTw" id="4pWvZ2nh4ir" role="3uHU7B">
+                  <ref role="3cqZAo" node="4pWvZ2nh4hg" resolve="errors" />
+                </node>
+                <node concept="3cmrfG" id="4pWvZ2nh4is" role="3uHU7w">
+                  <property role="3cmrfH" value="0" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="4pWvZ2nl1_m" role="jymVt" />
+      <node concept="3clFb_" id="4pWvZ2nl0ck" role="jymVt">
+        <property role="TrG5h" value="getTypes" />
+        <node concept="3rvAFt" id="4pWvZ2nl0cl" role="3clF45">
+          <node concept="17QB3L" id="4pWvZ2nl0cm" role="3rvSg0" />
+          <node concept="17QB3L" id="4pWvZ2nl0cn" role="3rvQeY" />
+        </node>
+        <node concept="3Tm1VV" id="4pWvZ2nl0co" role="1B3o_S" />
+        <node concept="3clFbS" id="4pWvZ2nl0cp" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2nl0cq" role="3cqZAp">
+            <node concept="37vLTw" id="4pWvZ2nl348" role="3clFbG">
+              <ref role="3cqZAo" node="4pWvZ2nhPRH" resolve="nodeId2Type" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3clFb_" id="4pWvZ2nl0cs" role="jymVt">
+        <property role="TrG5h" value="getErrors" />
+        <node concept="3rvAFt" id="4pWvZ2nl0ct" role="3clF45">
+          <node concept="17QB3L" id="4pWvZ2nl0cu" role="3rvSg0" />
+          <node concept="17QB3L" id="4pWvZ2nl0cv" role="3rvQeY" />
+        </node>
+        <node concept="3Tm1VV" id="4pWvZ2nl0cw" role="1B3o_S" />
+        <node concept="3clFbS" id="4pWvZ2nl0cx" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2nl50m" role="3cqZAp">
+            <node concept="2ShNRf" id="4pWvZ2nl50g" role="3clFbG">
+              <node concept="3rGOSV" id="4pWvZ2nl6Sw" role="2ShVmc">
+                <node concept="17QB3L" id="4pWvZ2nl8u0" role="3rHrn6" />
+                <node concept="17QB3L" id="4pWvZ2nl90e" role="3rHtpV" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="4pWvZ2nkYHW" role="jymVt" />
+      <node concept="2tJIrI" id="4pWvZ2nkZmq" role="jymVt" />
+      <node concept="312cEg" id="4pWvZ2nhPRH" role="jymVt">
+        <property role="TrG5h" value="nodeId2Type" />
+        <node concept="3Tm1VV" id="4pWvZ2nhQSk" role="1B3o_S" />
+        <node concept="3rvAFt" id="4pWvZ2niiaW" role="1tU5fm">
+          <node concept="17QB3L" id="4pWvZ2niKl8" role="3rvSg0" />
+          <node concept="17QB3L" id="4pWvZ2niK6w" role="3rvQeY" />
+        </node>
+        <node concept="2ShNRf" id="4pWvZ2niKH3" role="33vP2m">
+          <node concept="3rGOSV" id="4pWvZ2niKCD" role="2ShVmc">
+            <node concept="17QB3L" id="4pWvZ2niKCE" role="3rHrn6" />
+            <node concept="17QB3L" id="4pWvZ2niKCF" role="3rHtpV" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="4pWvZ2nh4it" role="1B3o_S" />
+      <node concept="3uibUv" id="4pWvZ2nh4iu" role="1zkMxy">
+        <ref role="3uigEE" node="4pWvZ2nk_q3" resolve="TypecheckingHelper.RunSolver" />
+        <node concept="3uibUv" id="4pWvZ2nh4iv" role="11_B2D">
+          <ref role="3uigEE" node="1pPth$lAwc0" resolve="TypecheckingHelper.CollectRules" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4pWvZ2nh41q" role="jymVt" />
     <node concept="2tJIrI" id="1pPth$lAZhe" role="jymVt" />
     <node concept="312cEu" id="1pPth$lBDcr" role="jymVt">
       <property role="2bfB8j" value="true" />
@@ -6228,6 +6849,46 @@
       </node>
     </node>
     <node concept="2tJIrI" id="1pPth$lBGJs" role="jymVt" />
+    <node concept="312cEu" id="4pWvZ2nk_q3" role="jymVt">
+      <property role="2bfB8j" value="true" />
+      <property role="1sVAO0" value="true" />
+      <property role="1EXbeo" value="false" />
+      <property role="TrG5h" value="RunSolver" />
+      <node concept="3clFb_" id="4pWvZ2nla2K" role="jymVt">
+        <property role="TrG5h" value="getTypes" />
+        <property role="1EzhhJ" value="true" />
+        <node concept="3rvAFt" id="4pWvZ2nla2L" role="3clF45">
+          <node concept="17QB3L" id="4pWvZ2nla2M" role="3rvSg0" />
+          <node concept="17QB3L" id="4pWvZ2nla2N" role="3rvQeY" />
+        </node>
+        <node concept="3Tm1VV" id="4pWvZ2nla2O" role="1B3o_S" />
+        <node concept="3clFbS" id="4pWvZ2nla2P" role="3clF47" />
+      </node>
+      <node concept="3clFb_" id="4pWvZ2nla2S" role="jymVt">
+        <property role="TrG5h" value="getErrors" />
+        <property role="1EzhhJ" value="true" />
+        <node concept="3rvAFt" id="4pWvZ2nla2T" role="3clF45">
+          <node concept="17QB3L" id="4pWvZ2nla2U" role="3rvSg0" />
+          <node concept="17QB3L" id="4pWvZ2nla2V" role="3rvQeY" />
+        </node>
+        <node concept="3Tm1VV" id="4pWvZ2nla2W" role="1B3o_S" />
+        <node concept="3clFbS" id="4pWvZ2nla2X" role="3clF47" />
+      </node>
+      <node concept="3Tm6S6" id="4pWvZ2nkz8z" role="1B3o_S" />
+      <node concept="3uibUv" id="4pWvZ2nkBQK" role="1zkMxy">
+        <ref role="3uigEE" node="1pPth$lAzAx" resolve="TypecheckingHelper.Step" />
+        <node concept="16syzq" id="4pWvZ2nkMx_" role="11_B2D">
+          <ref role="16sUi3" node="4pWvZ2nkLbC" resolve="T" />
+        </node>
+      </node>
+      <node concept="16euLQ" id="4pWvZ2nkLbC" role="16eVyc">
+        <property role="TrG5h" value="T" />
+        <node concept="3uibUv" id="4pWvZ2nkLOD" role="3ztrMU">
+          <ref role="3uigEE" node="1pPth$lAzAx" resolve="TypecheckingHelper.Step" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4pWvZ2nkwRu" role="jymVt" />
     <node concept="312cEu" id="1pPth$lBNWG" role="jymVt">
       <property role="2bfB8j" value="true" />
       <property role="TrG5h" value="RunTypechecking" />
@@ -6677,11 +7338,42 @@
           </node>
         </node>
       </node>
+      <node concept="2tJIrI" id="4pWvZ2nkSRh" role="jymVt" />
+      <node concept="3clFb_" id="4pWvZ2nkUxb" role="jymVt">
+        <property role="TrG5h" value="getTypes" />
+        <node concept="3rvAFt" id="4pWvZ2nkUxc" role="3clF45">
+          <node concept="17QB3L" id="4pWvZ2nkUxd" role="3rvSg0" />
+          <node concept="17QB3L" id="4pWvZ2nkUxe" role="3rvQeY" />
+        </node>
+        <node concept="3Tm1VV" id="4pWvZ2nkUxf" role="1B3o_S" />
+        <node concept="3clFbS" id="4pWvZ2nkUxg" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2nkUxh" role="3cqZAp">
+            <node concept="37vLTw" id="4pWvZ2nkUxa" role="3clFbG">
+              <ref role="3cqZAo" node="1pPth$lEGxq" resolve="types" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3clFb_" id="4pWvZ2nkUxj" role="jymVt">
+        <property role="TrG5h" value="getErrors" />
+        <node concept="3rvAFt" id="4pWvZ2nkUxk" role="3clF45">
+          <node concept="17QB3L" id="4pWvZ2nkUxl" role="3rvSg0" />
+          <node concept="17QB3L" id="4pWvZ2nkUxm" role="3rvQeY" />
+        </node>
+        <node concept="3Tm1VV" id="4pWvZ2nkUxn" role="1B3o_S" />
+        <node concept="3clFbS" id="4pWvZ2nkUxo" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2nkUxp" role="3cqZAp">
+            <node concept="37vLTw" id="4pWvZ2nkUxi" role="3clFbG">
+              <ref role="3cqZAo" node="1pPth$lEGxt" resolve="errors" />
+            </node>
+          </node>
+        </node>
+      </node>
       <node concept="2tJIrI" id="1pPth$lG1ns" role="jymVt" />
       <node concept="312cEg" id="1pPth$lEGxq" role="jymVt">
         <property role="TrG5h" value="types" />
         <property role="3TUv4t" value="false" />
-        <node concept="3Tmbuc" id="1pPth$lFXOP" role="1B3o_S" />
+        <node concept="3Tm6S6" id="4pWvZ2nkQUX" role="1B3o_S" />
         <node concept="3rvAFt" id="1pPth$lFCyv" role="1tU5fm">
           <node concept="17QB3L" id="1pPth$lFD5L" role="3rvSg0" />
           <node concept="17QB3L" id="1pPth$lFCOK" role="3rvQeY" />
@@ -6696,7 +7388,7 @@
       <node concept="312cEg" id="1pPth$lEGxt" role="jymVt">
         <property role="TrG5h" value="errors" />
         <property role="3TUv4t" value="false" />
-        <node concept="3Tmbuc" id="1pPth$lFZ$_" role="1B3o_S" />
+        <node concept="3Tm6S6" id="4pWvZ2nkRSN" role="1B3o_S" />
         <node concept="3rvAFt" id="1pPth$lFGcS" role="1tU5fm">
           <node concept="17QB3L" id="1pPth$lFGcT" role="3rvSg0" />
           <node concept="17QB3L" id="1pPth$lFGcU" role="3rvQeY" />
@@ -6710,7 +7402,7 @@
       </node>
       <node concept="3Tm6S6" id="1pPth$lNgE8" role="1B3o_S" />
       <node concept="3uibUv" id="1pPth$lBP1p" role="1zkMxy">
-        <ref role="3uigEE" node="1pPth$lAzAx" resolve="TypecheckingHelper.Step" />
+        <ref role="3uigEE" node="4pWvZ2nk_q3" resolve="TypecheckingHelper.RunSolver" />
         <node concept="3uibUv" id="1pPth$lED5d" role="11_B2D">
           <ref role="3uigEE" node="1pPth$lBDcr" resolve="TypecheckingHelper.MakeHandler" />
         </node>
@@ -6768,8 +7460,8 @@
         <property role="1EzhhJ" value="false" />
         <node concept="37vLTG" id="1pPth$lGafk" role="3clF46">
           <property role="TrG5h" value="prev" />
-          <node concept="3uibUv" id="1pPth$lGcn3" role="1tU5fm">
-            <ref role="3uigEE" node="1pPth$lBNWG" resolve="TypecheckingHelper.RunTypechecking" />
+          <node concept="3uibUv" id="4pWvZ2nkObE" role="1tU5fm">
+            <ref role="3uigEE" node="4pWvZ2nk_q3" resolve="TypecheckingHelper.RunSolver" />
           </node>
         </node>
         <node concept="3cqZAl" id="1pPth$lC2U8" role="3clF45" />
@@ -6803,16 +7495,16 @@
                       <node concept="37vLTw" id="1pPth$lGezH" role="2Oq$k0">
                         <ref role="3cqZAo" node="1pPth$lGafk" resolve="prev" />
                       </node>
-                      <node concept="2OwXpG" id="1pPth$lGf85" role="2OqNvi">
-                        <ref role="2Oxat5" node="1pPth$lEGxq" resolve="types" />
+                      <node concept="liA8E" id="4pWvZ2nlhCn" role="2OqNvi">
+                        <ref role="37wK5l" node="4pWvZ2nla2K" resolve="getTypes" />
                       </node>
                     </node>
                     <node concept="2OqwBi" id="1pPth$lGg56" role="37wK5m">
                       <node concept="37vLTw" id="1pPth$lGfNd" role="2Oq$k0">
                         <ref role="3cqZAo" node="1pPth$lGafk" resolve="prev" />
                       </node>
-                      <node concept="2OwXpG" id="1pPth$lGgDQ" role="2OqNvi">
-                        <ref role="2Oxat5" node="1pPth$lEGxt" resolve="errors" />
+                      <node concept="liA8E" id="4pWvZ2nlhUl" role="2OqNvi">
+                        <ref role="37wK5l" node="4pWvZ2nla2S" resolve="getErrors" />
                       </node>
                     </node>
                   </node>
@@ -6844,8 +7536,8 @@
       <node concept="3Tm6S6" id="1pPth$lNhhP" role="1B3o_S" />
       <node concept="3uibUv" id="1pPth$lC2Ed" role="1zkMxy">
         <ref role="3uigEE" node="1pPth$lAzAx" resolve="TypecheckingHelper.Step" />
-        <node concept="3uibUv" id="1pPth$lG6kP" role="11_B2D">
-          <ref role="3uigEE" node="1pPth$lBNWG" resolve="TypecheckingHelper.RunTypechecking" />
+        <node concept="3uibUv" id="4pWvZ2nkNOw" role="11_B2D">
+          <ref role="3uigEE" node="4pWvZ2nk_q3" resolve="TypecheckingHelper.RunSolver" />
         </node>
       </node>
       <node concept="312cEg" id="1pPth$lGU8f" role="jymVt">
diff --git a/solutions/jetbrains.mps.typechecking.handling/jetbrains.mps.typechecking.handling.msd b/solutions/jetbrains.mps.typechecking.handling/jetbrains.mps.typechecking.handling.msd
index 245607a0..779a4039 100644
--- a/solutions/jetbrains.mps.typechecking.handling/jetbrains.mps.typechecking.handling.msd
+++ b/solutions/jetbrains.mps.typechecking.handling/jetbrains.mps.typechecking.handling.msd
@@ -18,6 +18,7 @@
     <dependency reexport="false">df345b11-b8c7-4213-ac66-48d2a9b75d88(jetbrains.mps.baseLanguageInternal)</dependency>
     <dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
     <dependency reexport="false">bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)</dependency>
+    <dependency reexport="false">121937e8-9efc-4551-81fc-50dc0319618e(jetbrains.mps.lang.typesystem2.samplechecker)</dependency>
   </dependencies>
   <usedDevKits>
     <usedDevKit>2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)</usedDevKit>
@@ -73,6 +74,7 @@
     <module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
     <module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
     <module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)" version="0" />
+    <module reference="121937e8-9efc-4551-81fc-50dc0319618e(jetbrains.mps.lang.typesystem2.samplechecker)" version="0" />
     <module reference="35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic)" version="0" />
     <module reference="7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)" version="0" />
     <module reference="760652ad-c01a-495e-9510-ed51532f617b(jetbrains.mps.logic.jchr)" version="0" />
diff --git a/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps b/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps
index 4960f9be..df49ca2b 100644
--- a/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps
+++ b/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps
@@ -6,6 +6,9 @@
     <use id="aee9cad2-acd4-4608-aef2-0004f6a1cdbd" name="jetbrains.mps.lang.actions" version="0" />
     <use id="f2801650-65d5-424e-bb1b-463a8781b786" name="jetbrains.mps.baseLanguage.javadoc" version="2" />
     <use id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core" version="1" />
+    <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="2" />
+    <use id="ed6d7656-532c-4bc2-81d1-af945aeb8280" name="jetbrains.mps.baseLanguage.blTypes" version="0" />
+    <use id="9ded098b-ad6a-4657-bfd9-48636cfe8bc3" name="jetbrains.mps.lang.traceable" version="0" />
     <devkit ref="2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)" />
     <devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
   </languages>
@@ -35,6 +38,8 @@
     <import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
     <import index="i8dg" ref="r:e8529b97-a186-4c32-8f12-771b2a92b55a(jetbrains.mps.logic.reactor.rule)" />
     <import index="xq5w" ref="r:729bada4-05fa-458f-8bf8-28b9cb978726(jetbrains.mps.logic.builtin.var)" />
+    <import index="kqnc" ref="r:92b96158-68e6-4f53-a32b-36e2b456fe01(jetbrains.mps.lang.typesystem2.samplechecker.template)" />
+    <import index="iawt" ref="b984ee52-f34d-4b6d-8812-866c1d3eae31/java:runtime.debug(jetbrains.mps.jchr.runtime/)" />
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@@ -49,6 +54,9 @@
       <concept id="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
       <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
       <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
+      <concept id="1076505808687" name="jetbrains.mps.baseLanguage.structure.WhileStatement" flags="nn" index="2$JKZl">
+        <child id="1076505808688" name="condition" index="2$JKZa" />
+      </concept>
       <concept id="1239714755177" name="jetbrains.mps.baseLanguage.structure.AbstractUnaryNumberOperation" flags="nn" index="2$Kvd9">
         <child id="1239714902950" name="expression" index="2$L3a6" />
       </concept>
@@ -116,6 +124,7 @@
       </concept>
       <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
       <concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
+      <concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
       <concept id="1070534760951" name="jetbrains.mps.baseLanguage.structure.ArrayType" flags="in" index="10Q1$e">
         <child id="1070534760952" name="componentType" index="10Q1$1" />
       </concept>
@@ -128,6 +137,8 @@
         <property id="1240249534625" name="isVolatile" index="34CwA1" />
       </concept>
       <concept id="1068390468198" name="jetbrains.mps.baseLanguage.structure.ClassConcept" flags="ig" index="312cEu">
+        <property id="1075300953594" name="abstractClass" index="1sVAO0" />
+        <property id="1221565133444" name="isFinal" index="1EXbeo" />
         <child id="1095933932569" name="implementedInterface" index="EKbjA" />
       </concept>
       <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
@@ -228,6 +239,7 @@
       </concept>
       <concept id="1214918800624" name="jetbrains.mps.baseLanguage.structure.PostfixIncrementExpression" flags="nn" index="3uNrnE" />
       <concept id="1073239437375" name="jetbrains.mps.baseLanguage.structure.NotEqualsExpression" flags="nn" index="3y3z36" />
+      <concept id="1081855346303" name="jetbrains.mps.baseLanguage.structure.BreakStatement" flags="nn" index="3zACq4" />
       <concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
         <child id="1178549979242" name="visibility" index="1B3o_S" />
       </concept>
@@ -313,6 +325,10 @@
       <concept id="1139184414036" name="jetbrains.mps.lang.smodel.structure.LinkList_AddNewChildOperation" flags="nn" index="WFELt">
         <reference id="1139877738879" name="concept" index="1A0vxQ" />
       </concept>
+      <concept id="597763930871270009" name="jetbrains.mps.lang.smodel.structure.ChildNodeRefExpression" flags="nn" index="3fl2lp">
+        <reference id="597763930871272016" name="targetNode" index="3fl3PK" />
+        <child id="597763930871272014" name="parent" index="3fl3PI" />
+      </concept>
       <concept id="1176109685393" name="jetbrains.mps.lang.smodel.structure.Model_RootsIncludingImportedOperation" flags="nn" index="3lApI0">
         <reference id="1176109685394" name="concept" index="3lApI3" />
       </concept>
@@ -371,22 +387,48 @@
       <concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
         <child id="540871147943773366" name="argument" index="25WWJ7" />
       </concept>
+      <concept id="2526372162255441536" name="jetbrains.mps.baseLanguage.collections.structure.AsUnmodifiableOperation" flags="nn" index="26Dbio" />
+      <concept id="1204980550705" name="jetbrains.mps.baseLanguage.collections.structure.VisitAllOperation" flags="nn" index="2es0OD" />
+      <concept id="1226511727824" name="jetbrains.mps.baseLanguage.collections.structure.SetType" flags="in" index="2hMVRd">
+        <child id="1226511765987" name="elementType" index="2hN53Y" />
+      </concept>
+      <concept id="1226516258405" name="jetbrains.mps.baseLanguage.collections.structure.HashSetCreator" flags="nn" index="2i4dXS" />
+      <concept id="1224414427926" name="jetbrains.mps.baseLanguage.collections.structure.SequenceCreator" flags="nn" index="kMnCb">
+        <child id="1224414456414" name="elementType" index="kMuH3" />
+      </concept>
       <concept id="6801639034384703212" name="jetbrains.mps.baseLanguage.collections.structure.StackType" flags="in" index="oyxx6" />
       <concept id="5784983078884872741" name="jetbrains.mps.baseLanguage.collections.structure.PeekOperation" flags="nn" index="2oR75g" />
+      <concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
+        <child id="1151688676805" name="elementType" index="_ZDj9" />
+      </concept>
       <concept id="1151689724996" name="jetbrains.mps.baseLanguage.collections.structure.SequenceType" flags="in" index="A3Dl8">
         <child id="1151689745422" name="elementType" index="A3Ik2" />
       </concept>
       <concept id="3358009230508699637" name="jetbrains.mps.baseLanguage.collections.structure.PopOperation" flags="nn" index="2AryhJ" />
       <concept id="3358009230508699932" name="jetbrains.mps.baseLanguage.collections.structure.PushOperation" flags="nn" index="2ArzE6" />
+      <concept id="1151702311717" name="jetbrains.mps.baseLanguage.collections.structure.ToListOperation" flags="nn" index="ANE8D" />
+      <concept id="1153943597977" name="jetbrains.mps.baseLanguage.collections.structure.ForEachStatement" flags="nn" index="2Gpval">
+        <child id="1153944400369" name="variable" index="2Gsz3X" />
+        <child id="1153944424730" name="inputSequence" index="2GsD0m" />
+      </concept>
+      <concept id="1153944193378" name="jetbrains.mps.baseLanguage.collections.structure.ForEachVariable" flags="nr" index="2GrKxI" />
+      <concept id="1153944233411" name="jetbrains.mps.baseLanguage.collections.structure.ForEachVariableReference" flags="nn" index="2GrUjf">
+        <reference id="1153944258490" name="variable" index="2Gs0qQ" />
+      </concept>
       <concept id="1237721394592" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerCreator" flags="nn" index="HWqM0">
         <child id="1237721435807" name="elementType" index="HW$YZ" />
+        <child id="1237731803878" name="copyFrom" index="I$8f6" />
       </concept>
       <concept id="1227008614712" name="jetbrains.mps.baseLanguage.collections.structure.LinkedListCreator" flags="nn" index="2Jqq0_" />
       <concept id="1201306600024" name="jetbrains.mps.baseLanguage.collections.structure.ContainsKeyOperation" flags="nn" index="2Nt0df">
         <child id="1201654602639" name="key" index="38cxEo" />
       </concept>
       <concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
+      <concept id="1160600644654" name="jetbrains.mps.baseLanguage.collections.structure.ListCreatorWithInit" flags="nn" index="Tc6Ow" />
       <concept id="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
+      <concept id="1160666733551" name="jetbrains.mps.baseLanguage.collections.structure.AddAllElementsOperation" flags="nn" index="X8dFx" />
+      <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
+      <concept id="1173946412755" name="jetbrains.mps.baseLanguage.collections.structure.RemoveAllElementsOperation" flags="nn" index="1kEaZ2" />
       <concept id="1197683403723" name="jetbrains.mps.baseLanguage.collections.structure.MapType" flags="in" index="3rvAFt">
         <child id="1197683466920" name="keyType" index="3rvQeY" />
         <child id="1197683475734" name="valueType" index="3rvSg0" />
@@ -396,6 +438,7 @@
         <child id="1197687035757" name="valueType" index="3rHtpV" />
       </concept>
       <concept id="1225727723840" name="jetbrains.mps.baseLanguage.collections.structure.FindFirstOperation" flags="nn" index="1z4cxt" />
+      <concept id="1202128969694" name="jetbrains.mps.baseLanguage.collections.structure.SelectOperation" flags="nn" index="3$u5V9" />
       <concept id="1197932370469" name="jetbrains.mps.baseLanguage.collections.structure.MapElement" flags="nn" index="3EllGN">
         <child id="1197932505799" name="map" index="3ElQJh" />
         <child id="1197932525128" name="key" index="3ElVtu" />
@@ -7428,5 +7471,1565 @@
       <node concept="17QB3L" id="7Oc59RSE6Q_" role="1tU5fm" />
     </node>
   </node>
+  <node concept="312cEu" id="4pWvZ2n32be">
+    <property role="TrG5h" value="ChrSolver" />
+    <node concept="2tJIrI" id="4pWvZ2n32bf" role="jymVt" />
+    <node concept="312cEu" id="4pWvZ2nf47o" role="jymVt">
+      <property role="2bfB8j" value="false" />
+      <property role="1sVAO0" value="false" />
+      <property role="1EXbeo" value="false" />
+      <property role="TrG5h" value="Node" />
+      <node concept="312cEg" id="4pWvZ2nf61o" role="jymVt">
+        <property role="34CwA1" value="false" />
+        <property role="eg7rD" value="false" />
+        <property role="TrG5h" value="mySymbol" />
+        <property role="3TUv4t" value="false" />
+        <node concept="3Tm6S6" id="4pWvZ2nf61p" role="1B3o_S" />
+        <node concept="3uibUv" id="4pWvZ2nf61q" role="1tU5fm">
+          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+        </node>
+      </node>
+      <node concept="312cEg" id="4pWvZ2nf5I4" role="jymVt">
+        <property role="34CwA1" value="false" />
+        <property role="eg7rD" value="false" />
+        <property role="TrG5h" value="myArguments" />
+        <property role="3TUv4t" value="false" />
+        <node concept="3Tm6S6" id="4pWvZ2nf5Ob" role="1B3o_S" />
+        <node concept="_YKpA" id="4pWvZ2nfaiW" role="1tU5fm">
+          <node concept="3uibUv" id="4pWvZ2ngzmW" role="_ZDj9">
+            <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+          </node>
+        </node>
+      </node>
+      <node concept="3clFbW" id="4pWvZ2nf8Od" role="jymVt">
+        <node concept="3cqZAl" id="4pWvZ2nf8Oe" role="3clF45" />
+        <node concept="3Tm1VV" id="4pWvZ2nf8Of" role="1B3o_S" />
+        <node concept="3clFbS" id="4pWvZ2nf8Oh" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2nf8Ol" role="3cqZAp">
+            <node concept="37vLTI" id="4pWvZ2nf8On" role="3clFbG">
+              <node concept="37vLTw" id="4pWvZ2nf8Or" role="37vLTJ">
+                <ref role="3cqZAo" node="4pWvZ2nf61o" resolve="mySymbol" />
+              </node>
+              <node concept="37vLTw" id="4pWvZ2nf8Os" role="37vLTx">
+                <ref role="3cqZAo" node="4pWvZ2nf8Ok" resolve="symbol" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="4pWvZ2nf8Ox" role="3cqZAp">
+            <node concept="37vLTI" id="4pWvZ2nf8Oz" role="3clFbG">
+              <node concept="37vLTw" id="4pWvZ2nf8OB" role="37vLTJ">
+                <ref role="3cqZAo" node="4pWvZ2nf5I4" resolve="myArguments" />
+              </node>
+              <node concept="2ShNRf" id="4pWvZ2nfayg" role="37vLTx">
+                <node concept="Tc6Ow" id="4pWvZ2nfax4" role="2ShVmc">
+                  <node concept="3uibUv" id="4pWvZ2ngzd8" role="HW$YZ">
+                    <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+                  </node>
+                  <node concept="37vLTw" id="4pWvZ2nfaPE" role="I$8f6">
+                    <ref role="3cqZAo" node="4pWvZ2nf8Ow" resolve="arguments" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="37vLTG" id="4pWvZ2nf8Ok" role="3clF46">
+          <property role="TrG5h" value="symbol" />
+          <node concept="3uibUv" id="4pWvZ2nf8Oj" role="1tU5fm">
+            <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+          </node>
+        </node>
+        <node concept="37vLTG" id="4pWvZ2nf8Ow" role="3clF46">
+          <property role="TrG5h" value="arguments" />
+          <node concept="A3Dl8" id="4pWvZ2nf9Bm" role="1tU5fm">
+            <node concept="3uibUv" id="4pWvZ2ngz0i" role="A3Ik2">
+              <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3clFb_" id="4pWvZ2nf5mb" role="jymVt">
+        <property role="1EzhhJ" value="false" />
+        <property role="TrG5h" value="symbol" />
+        <property role="DiZV1" value="false" />
+        <property role="od$2w" value="false" />
+        <node concept="3Tm1VV" id="4pWvZ2nf5mc" role="1B3o_S" />
+        <node concept="3uibUv" id="4pWvZ2nf5me" role="3clF45">
+          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+        </node>
+        <node concept="3clFbS" id="4pWvZ2nf5mf" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2nf6yk" role="3cqZAp">
+            <node concept="37vLTw" id="4pWvZ2nf6yi" role="3clFbG">
+              <ref role="3cqZAo" node="4pWvZ2nf61o" resolve="mySymbol" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3clFb_" id="4pWvZ2nf5mi" role="jymVt">
+        <property role="1EzhhJ" value="false" />
+        <property role="TrG5h" value="arguments" />
+        <property role="DiZV1" value="false" />
+        <property role="od$2w" value="false" />
+        <node concept="3Tm1VV" id="4pWvZ2nf5mj" role="1B3o_S" />
+        <node concept="3uibUv" id="4pWvZ2nf5ml" role="3clF45">
+          <ref role="3uigEE" to="33ny:~Collection" resolve="Collection" />
+          <node concept="3qUE_q" id="4pWvZ2nf5mm" role="11_B2D">
+            <node concept="3uibUv" id="4pWvZ2nf5mn" role="3qUE_r">
+              <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbS" id="4pWvZ2nf5mo" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2nf6FW" role="3cqZAp">
+            <node concept="2OqwBi" id="4pWvZ2nf74P" role="3clFbG">
+              <node concept="37vLTw" id="4pWvZ2nf6FV" role="2Oq$k0">
+                <ref role="3cqZAo" node="4pWvZ2nf5I4" resolve="myArguments" />
+              </node>
+              <node concept="26Dbio" id="4pWvZ2nf7mE" role="2OqNvi" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3clFb_" id="4pWvZ2nf5mr" role="jymVt">
+        <property role="1EzhhJ" value="false" />
+        <property role="TrG5h" value="get" />
+        <property role="DiZV1" value="false" />
+        <property role="od$2w" value="false" />
+        <node concept="3Tm1VV" id="4pWvZ2nf5ms" role="1B3o_S" />
+        <node concept="3uibUv" id="4pWvZ2nf5mu" role="3clF45">
+          <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+        </node>
+        <node concept="3clFbS" id="4pWvZ2nf5mv" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2nf7t8" role="3cqZAp">
+            <node concept="Xjq3P" id="4pWvZ2nf7t7" role="3clFbG" />
+          </node>
+        </node>
+      </node>
+      <node concept="3clFb_" id="4pWvZ2nf5my" role="jymVt">
+        <property role="1EzhhJ" value="false" />
+        <property role="TrG5h" value="is" />
+        <property role="DiZV1" value="false" />
+        <property role="od$2w" value="false" />
+        <node concept="3Tm1VV" id="4pWvZ2nf5mz" role="1B3o_S" />
+        <node concept="37vLTG" id="4pWvZ2nf5m$" role="3clF46">
+          <property role="TrG5h" value="kind" />
+          <property role="3TUv4t" value="false" />
+          <node concept="3uibUv" id="4pWvZ2nf5m_" role="1tU5fm">
+            <ref role="3uigEE" to="yt73:~Term.Kind" resolve="Term.Kind" />
+          </node>
+        </node>
+        <node concept="10P_77" id="4pWvZ2nf5mB" role="3clF45" />
+        <node concept="3clFbS" id="4pWvZ2nf5mC" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2nf7X1" role="3cqZAp">
+            <node concept="3clFbC" id="4pWvZ2nf86S" role="3clFbG">
+              <node concept="37vLTw" id="4pWvZ2nf8dH" role="3uHU7w">
+                <ref role="3cqZAo" node="4pWvZ2nf5m$" resolve="kind" />
+              </node>
+              <node concept="Rm8GO" id="4pWvZ2nf80s" role="3uHU7B">
+                <ref role="Rm8GQ" to="yt73:~Term.FUN" resolve="FUN" />
+                <ref role="1Px2BO" to="yt73:~Term.Kind" resolve="Term.Kind" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3clFb_" id="4pWvZ2nf5mF" role="jymVt">
+        <property role="1EzhhJ" value="false" />
+        <property role="TrG5h" value="compareTo" />
+        <property role="DiZV1" value="false" />
+        <property role="od$2w" value="false" />
+        <node concept="3Tm1VV" id="4pWvZ2nf5mG" role="1B3o_S" />
+        <node concept="10Oyi0" id="4pWvZ2nf5mI" role="3clF45" />
+        <node concept="37vLTG" id="4pWvZ2nf5mJ" role="3clF46">
+          <property role="TrG5h" value="term" />
+          <node concept="3uibUv" id="4pWvZ2nf5mN" role="1tU5fm">
+            <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="4pWvZ2nf5mO" role="3clF47">
+          <node concept="YS8fn" id="4pWvZ2nf8qU" role="3cqZAp">
+            <node concept="2ShNRf" id="4pWvZ2nf8sT" role="YScLw">
+              <node concept="1pGfFk" id="4pWvZ2nf8H6" role="2ShVmc">
+                <ref role="37wK5l" to="wyt6:~UnsupportedOperationException.&lt;init&gt;()" resolve="UnsupportedOperationException" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3clFb_" id="4pWvZ2nf_MS" role="jymVt">
+        <property role="1EzhhJ" value="false" />
+        <property role="TrG5h" value="toString" />
+        <property role="DiZV1" value="false" />
+        <property role="od$2w" value="false" />
+        <node concept="3Tm1VV" id="4pWvZ2nf_MT" role="1B3o_S" />
+        <node concept="3uibUv" id="4pWvZ2nf_MV" role="3clF45">
+          <ref role="3uigEE" to="wyt6:~String" resolve="String" />
+        </node>
+        <node concept="3clFbS" id="4pWvZ2nf_MY" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2nfXA5" role="3cqZAp">
+            <node concept="3cpWs3" id="4pWvZ2nfZeV" role="3clFbG">
+              <node concept="Xl_RD" id="4pWvZ2nfZpZ" role="3uHU7w">
+                <property role="Xl_RC" value="}" />
+              </node>
+              <node concept="3cpWs3" id="4pWvZ2nfYp0" role="3uHU7B">
+                <node concept="3cpWs3" id="4pWvZ2nfXXO" role="3uHU7B">
+                  <node concept="3cpWs3" id="4pWvZ2nfY5R" role="3uHU7B">
+                    <node concept="Xl_RD" id="4pWvZ2nfYdk" role="3uHU7B">
+                      <property role="Xl_RC" value="{" />
+                    </node>
+                    <node concept="2OqwBi" id="4pWvZ2nfXFP" role="3uHU7w">
+                      <node concept="1rXfSq" id="4pWvZ2nfXA3" role="2Oq$k0">
+                        <ref role="37wK5l" node="4pWvZ2nf5mb" resolve="symbol" />
+                      </node>
+                      <node concept="liA8E" id="4pWvZ2nfXM9" role="2OqNvi">
+                        <ref role="37wK5l" to="wyt6:~Object.toString():java.lang.String" resolve="toString" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="Xl_RD" id="4pWvZ2nfYj1" role="3uHU7w">
+                    <property role="Xl_RC" value=":" />
+                  </node>
+                </node>
+                <node concept="2OqwBi" id="4pWvZ2nfYIS" role="3uHU7w">
+                  <node concept="1rXfSq" id="4pWvZ2nfYzl" role="2Oq$k0">
+                    <ref role="37wK5l" node="4pWvZ2nf5mi" resolve="arguments" />
+                  </node>
+                  <node concept="liA8E" id="4pWvZ2nfZ32" role="2OqNvi">
+                    <ref role="37wK5l" to="wyt6:~Object.toString():java.lang.String" resolve="toString" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="4pWvZ2nf2Uy" role="1B3o_S" />
+      <node concept="3uibUv" id="4pWvZ2ng7ZK" role="EKbjA">
+        <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4pWvZ2ngk5R" role="jymVt" />
+    <node concept="312cEu" id="4pWvZ2n8zhm" role="jymVt">
+      <property role="2bfB8j" value="true" />
+      <property role="1sVAO0" value="false" />
+      <property role="1EXbeo" value="false" />
+      <property role="TrG5h" value="RuleApplication" />
+      <node concept="312cEg" id="4pWvZ2n8zt2" role="jymVt">
+        <property role="TrG5h" value="myRule" />
+        <node concept="3Tm1VV" id="4pWvZ2n8ztQ" role="1B3o_S" />
+        <node concept="3uibUv" id="4pWvZ2n8zvj" role="1tU5fm">
+          <ref role="3uigEE" to="i8dg:7eGEHDlc$9y" resolve="Rule" />
+        </node>
+      </node>
+      <node concept="312cEg" id="4pWvZ2n8zyk" role="jymVt">
+        <property role="34CwA1" value="false" />
+        <property role="eg7rD" value="false" />
+        <property role="TrG5h" value="myReplacedConstraints" />
+        <property role="3TUv4t" value="false" />
+        <node concept="3Tm1VV" id="4pWvZ2n8zw7" role="1B3o_S" />
+        <node concept="_YKpA" id="4pWvZ2n8zwT" role="1tU5fm">
+          <node concept="3uibUv" id="4pWvZ2netde" role="_ZDj9">
+            <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+          </node>
+        </node>
+      </node>
+      <node concept="312cEg" id="4pWvZ2n8zAl" role="jymVt">
+        <property role="34CwA1" value="false" />
+        <property role="eg7rD" value="false" />
+        <property role="TrG5h" value="myKeptConstraints" />
+        <property role="3TUv4t" value="false" />
+        <node concept="3Tm1VV" id="4pWvZ2n8zAm" role="1B3o_S" />
+        <node concept="_YKpA" id="4pWvZ2n8zAn" role="1tU5fm">
+          <node concept="3uibUv" id="4pWvZ2netmu" role="_ZDj9">
+            <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+          </node>
+        </node>
+      </node>
+      <node concept="312cEg" id="4pWvZ2n8zAS" role="jymVt">
+        <property role="34CwA1" value="false" />
+        <property role="eg7rD" value="false" />
+        <property role="TrG5h" value="myProducedConstraints" />
+        <property role="3TUv4t" value="false" />
+        <node concept="3Tm1VV" id="4pWvZ2n8zAT" role="1B3o_S" />
+        <node concept="_YKpA" id="4pWvZ2n8zAU" role="1tU5fm">
+          <node concept="3uibUv" id="4pWvZ2net$e" role="_ZDj9">
+            <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="4pWvZ2n8z9H" role="1B3o_S" />
+      <node concept="3clFbW" id="4pWvZ2n8$Mj" role="jymVt">
+        <node concept="3cqZAl" id="4pWvZ2n8$Mk" role="3clF45" />
+        <node concept="3Tm1VV" id="4pWvZ2n8$Ml" role="1B3o_S" />
+        <node concept="3clFbS" id="4pWvZ2n8$Mn" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2n8$Mr" role="3cqZAp">
+            <node concept="37vLTI" id="4pWvZ2n8$Mt" role="3clFbG">
+              <node concept="37vLTw" id="4pWvZ2n8$Mx" role="37vLTJ">
+                <ref role="3cqZAo" node="4pWvZ2n8zt2" resolve="myRule" />
+              </node>
+              <node concept="37vLTw" id="4pWvZ2n8$My" role="37vLTx">
+                <ref role="3cqZAo" node="4pWvZ2n8$Mq" resolve="rule" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="4pWvZ2n8_hd" role="3cqZAp">
+            <node concept="37vLTI" id="4pWvZ2n8_he" role="3clFbG">
+              <node concept="2ShNRf" id="4pWvZ2n8_hf" role="37vLTx">
+                <node concept="Tc6Ow" id="4pWvZ2n8_hg" role="2ShVmc">
+                  <node concept="3uibUv" id="4pWvZ2nesWu" role="HW$YZ">
+                    <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTw" id="4pWvZ2n8_hi" role="37vLTJ">
+                <ref role="3cqZAo" node="4pWvZ2n8zyk" resolve="myReplacedConstraints" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="4pWvZ2n8$QS" role="3cqZAp">
+            <node concept="37vLTI" id="4pWvZ2n8_9w" role="3clFbG">
+              <node concept="2ShNRf" id="4pWvZ2n8_eT" role="37vLTx">
+                <node concept="Tc6Ow" id="4pWvZ2n8_ev" role="2ShVmc">
+                  <node concept="3uibUv" id="4pWvZ2net2r" role="HW$YZ">
+                    <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTw" id="4pWvZ2n8_va" role="37vLTJ">
+                <ref role="3cqZAo" node="4pWvZ2n8zAl" resolve="myKeptConstraints" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="4pWvZ2n8_nx" role="3cqZAp">
+            <node concept="37vLTI" id="4pWvZ2n8_ny" role="3clFbG">
+              <node concept="2ShNRf" id="4pWvZ2n8_nz" role="37vLTx">
+                <node concept="Tc6Ow" id="4pWvZ2n8_n$" role="2ShVmc">
+                  <node concept="3uibUv" id="4pWvZ2net7O" role="HW$YZ">
+                    <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTw" id="4pWvZ2n8_$B" role="37vLTJ">
+                <ref role="3cqZAo" node="4pWvZ2n8zAS" resolve="myProducedConstraints" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="37vLTG" id="4pWvZ2n8$Mq" role="3clF46">
+          <property role="TrG5h" value="rule" />
+          <node concept="3uibUv" id="4pWvZ2n8$Mp" role="1tU5fm">
+            <ref role="3uigEE" to="i8dg:7eGEHDlc$9y" resolve="Rule" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4pWvZ2n8zDg" role="jymVt" />
+    <node concept="312cEu" id="4pWvZ2n8$0$" role="jymVt">
+      <property role="2bfB8j" value="true" />
+      <property role="1sVAO0" value="false" />
+      <property role="1EXbeo" value="false" />
+      <property role="TrG5h" value="ConstraintOccurence" />
+      <node concept="312cEg" id="4pWvZ2n8$8b" role="jymVt">
+        <property role="TrG5h" value="myConstraint" />
+        <node concept="3Tm1VV" id="4pWvZ2n8$8c" role="1B3o_S" />
+        <node concept="3uibUv" id="4pWvZ2ngv7G" role="1tU5fm">
+          <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+        </node>
+      </node>
+      <node concept="312cEg" id="4pWvZ2n8$8e" role="jymVt">
+        <property role="34CwA1" value="false" />
+        <property role="eg7rD" value="false" />
+        <property role="TrG5h" value="myProducer" />
+        <property role="3TUv4t" value="false" />
+        <node concept="3Tm1VV" id="4pWvZ2n8$8f" role="1B3o_S" />
+        <node concept="3uibUv" id="4pWvZ2nescf" role="1tU5fm">
+          <ref role="3uigEE" node="4pWvZ2n8zhm" resolve="ChrSolver.RuleApplication" />
+        </node>
+      </node>
+      <node concept="312cEg" id="4pWvZ2n8$8i" role="jymVt">
+        <property role="34CwA1" value="false" />
+        <property role="eg7rD" value="false" />
+        <property role="TrG5h" value="myConsumer" />
+        <property role="3TUv4t" value="false" />
+        <node concept="3Tm1VV" id="4pWvZ2n8$8j" role="1B3o_S" />
+        <node concept="3uibUv" id="4pWvZ2nes8x" role="1tU5fm">
+          <ref role="3uigEE" node="4pWvZ2n8zhm" resolve="ChrSolver.RuleApplication" />
+        </node>
+      </node>
+      <node concept="312cEg" id="4pWvZ2n8$8m" role="jymVt">
+        <property role="34CwA1" value="false" />
+        <property role="eg7rD" value="false" />
+        <property role="TrG5h" value="myPassedThrough" />
+        <property role="3TUv4t" value="false" />
+        <node concept="3Tm1VV" id="4pWvZ2n8$8n" role="1B3o_S" />
+        <node concept="_YKpA" id="4pWvZ2n8$8o" role="1tU5fm">
+          <node concept="3uibUv" id="4pWvZ2nesed" role="_ZDj9">
+            <ref role="3uigEE" node="4pWvZ2n8zhm" resolve="ChrSolver.RuleApplication" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="4pWvZ2n8zPF" role="1B3o_S" />
+      <node concept="3clFbW" id="4pWvZ2n8_K3" role="jymVt">
+        <node concept="3cqZAl" id="4pWvZ2n8_K4" role="3clF45" />
+        <node concept="3Tm1VV" id="4pWvZ2n8_K5" role="1B3o_S" />
+        <node concept="3clFbS" id="4pWvZ2n8_K7" role="3clF47">
+          <node concept="3clFbF" id="4pWvZ2n8_Kb" role="3cqZAp">
+            <node concept="37vLTI" id="4pWvZ2n8_Kd" role="3clFbG">
+              <node concept="37vLTw" id="4pWvZ2n8_Kh" role="37vLTJ">
+                <ref role="3cqZAo" node="4pWvZ2n8$8b" resolve="myConstraint" />
+              </node>
+              <node concept="37vLTw" id="4pWvZ2n8_Ki" role="37vLTx">
+                <ref role="3cqZAo" node="4pWvZ2n8_Ka" resolve="constraint" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="4pWvZ2n8_OE" role="3cqZAp">
+            <node concept="37vLTI" id="4pWvZ2n8A7k" role="3clFbG">
+              <node concept="2ShNRf" id="4pWvZ2n8AcH" role="37vLTx">
+                <node concept="Tc6Ow" id="4pWvZ2n8AbI" role="2ShVmc">
+                  <node concept="3uibUv" id="4pWvZ2nesjy" role="HW$YZ">
+                    <ref role="3uigEE" node="4pWvZ2n8zhm" resolve="ChrSolver.RuleApplication" />
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTw" id="4pWvZ2n8_OC" role="37vLTJ">
+                <ref role="3cqZAo" node="4pWvZ2n8$8m" resolve="myPassedThrough" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="37vLTG" id="4pWvZ2n8_Ka" role="3clF46">
+          <property role="TrG5h" value="constraint" />
+          <node concept="3uibUv" id="4pWvZ2ngzxY" role="1tU5fm">
+            <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4pWvZ2n9cbG" role="jymVt" />
+    <node concept="2YIFZL" id="4pWvZ2n8R5D" role="jymVt">
+      <property role="TrG5h" value="constraintToTerm" />
+      <node concept="3uibUv" id="4pWvZ2ngypr" role="3clF45">
+        <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+      </node>
+      <node concept="3Tm1VV" id="4pWvZ2n8R5G" role="1B3o_S" />
+      <node concept="3clFbS" id="4pWvZ2n8R5H" role="3clF47">
+        <node concept="3cpWs8" id="4pWvZ2n94s1" role="3cqZAp">
+          <node concept="3cpWsn" id="4pWvZ2n94s2" role="3cpWs9">
+            <property role="TrG5h" value="symbol" />
+            <node concept="3uibUv" id="4pWvZ2n94rX" role="1tU5fm">
+              <ref role="3uigEE" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
+            </node>
+            <node concept="2OqwBi" id="4pWvZ2n94s3" role="33vP2m">
+              <node concept="37vLTw" id="4pWvZ2n94s4" role="2Oq$k0">
+                <ref role="3cqZAo" node="4pWvZ2n8RpN" resolve="constraint" />
+              </node>
+              <node concept="liA8E" id="4pWvZ2n94s5" role="2OqNvi">
+                <ref role="37wK5l" to="qrld:5uFPQ7B_aTC" resolve="symbol" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="4pWvZ2n94Nu" role="3cqZAp">
+          <node concept="3cpWsn" id="4pWvZ2n94Nv" role="3cpWs9">
+            <property role="TrG5h" value="arguments" />
+            <node concept="_YKpA" id="4pWvZ2n957V" role="1tU5fm">
+              <node concept="3uibUv" id="4pWvZ2n957X" role="_ZDj9">
+                <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+              </node>
+            </node>
+            <node concept="2OqwBi" id="4pWvZ2n94Nw" role="33vP2m">
+              <node concept="37vLTw" id="4pWvZ2n94Nx" role="2Oq$k0">
+                <ref role="3cqZAo" node="4pWvZ2n8RpN" resolve="constraint" />
+              </node>
+              <node concept="liA8E" id="4pWvZ2n94Ny" role="2OqNvi">
+                <ref role="37wK5l" to="qrld:5uFPQ7B_b06" resolve="arguments" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4pWvZ2nffD8" role="3cqZAp">
+          <node concept="2ShNRf" id="4pWvZ2nffD4" role="3clFbG">
+            <node concept="1pGfFk" id="4pWvZ2nffYf" role="2ShVmc">
+              <ref role="37wK5l" node="4pWvZ2nf8Od" resolve="ChrSolver.Node" />
+              <node concept="2OqwBi" id="4pWvZ2nfg0q" role="37wK5m">
+                <node concept="37vLTw" id="4pWvZ2nfg0r" role="2Oq$k0">
+                  <ref role="3cqZAo" node="4pWvZ2n94s2" resolve="symbol" />
+                </node>
+                <node concept="liA8E" id="4pWvZ2nfg0s" role="2OqNvi">
+                  <ref role="37wK5l" to="qrld:54i3FxcZMvt" resolve="id" />
+                </node>
+              </node>
+              <node concept="2OqwBi" id="4pWvZ2nfgi_" role="37wK5m">
+                <node concept="2OqwBi" id="4pWvZ2n95zT" role="2Oq$k0">
+                  <node concept="37vLTw" id="4pWvZ2n94Nz" role="2Oq$k0">
+                    <ref role="3cqZAo" node="4pWvZ2n94Nv" resolve="arguments" />
+                  </node>
+                  <node concept="3$u5V9" id="4pWvZ2n95UZ" role="2OqNvi">
+                    <node concept="1bVj0M" id="4pWvZ2n97eQ" role="23t8la">
+                      <node concept="37vLTG" id="4pWvZ2n97gR" role="1bW2Oz">
+                        <property role="TrG5h" value="it" />
+                        <node concept="3uibUv" id="4pWvZ2n97lD" role="1tU5fm">
+                          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+                        </node>
+                      </node>
+                      <node concept="3clFbS" id="4pWvZ2n97eS" role="1bW5cS">
+                        <node concept="3clFbJ" id="4pWvZ2n8UY3" role="3cqZAp">
+                          <node concept="3clFbS" id="4pWvZ2n8UY4" role="3clFbx">
+                            <node concept="3cpWs6" id="4pWvZ2n9gM0" role="3cqZAp">
+                              <node concept="1eOMI4" id="4pWvZ2n9h7a" role="3cqZAk">
+                                <node concept="10QFUN" id="4pWvZ2n9h7b" role="1eOMHV">
+                                  <node concept="37vLTw" id="4pWvZ2n9h79" role="10QFUP">
+                                    <ref role="3cqZAo" node="4pWvZ2n97gR" resolve="it" />
+                                  </node>
+                                  <node concept="3uibUv" id="4pWvZ2n9h78" role="10QFUM">
+                                    <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="2ZW3vV" id="4pWvZ2n8V6r" role="3clFbw">
+                            <node concept="3uibUv" id="4pWvZ2nfrmj" role="2ZW6by">
+                              <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+                            </node>
+                            <node concept="37vLTw" id="4pWvZ2n97_C" role="2ZW6bz">
+                              <ref role="3cqZAo" node="4pWvZ2n97gR" resolve="it" />
+                            </node>
+                          </node>
+                          <node concept="9aQIb" id="4pWvZ2n9b6G" role="9aQIa">
+                            <node concept="3clFbS" id="4pWvZ2n9b6H" role="9aQI4">
+                              <node concept="3SKdUt" id="4pWvZ2n9ToX" role="3cqZAp">
+                                <node concept="3SKdUq" id="4pWvZ2n9ToZ" role="3SKWNk">
+                                  <property role="3SKdUp" value="todo: variables" />
+                                </node>
+                              </node>
+                              <node concept="3SKdUt" id="4pWvZ2n9U3R" role="3cqZAp">
+                                <node concept="3SKdUq" id="4pWvZ2n9U3T" role="3SKWNk">
+                                  <property role="3SKdUp" value="todo: java calls" />
+                                </node>
+                              </node>
+                              <node concept="3cpWs6" id="4pWvZ2n9b0S" role="3cqZAp">
+                                <node concept="2ShNRf" id="4pWvZ2nfryA" role="3cqZAk">
+                                  <node concept="1pGfFk" id="4pWvZ2nfryp" role="2ShVmc">
+                                    <ref role="37wK5l" node="4pWvZ2nf8Od" resolve="ChrSolver.Node" />
+                                    <node concept="37vLTw" id="4pWvZ2nfrJr" role="37wK5m">
+                                      <ref role="3cqZAo" node="4pWvZ2n97gR" resolve="it" />
+                                    </node>
+                                    <node concept="2ShNRf" id="4pWvZ2nfrSx" role="37wK5m">
+                                      <node concept="kMnCb" id="4pWvZ2nfrS8" role="2ShVmc">
+                                        <node concept="3uibUv" id="4pWvZ2ngGFK" role="kMuH3">
+                                          <ref role="3uigEE" to="yt73:~Term" resolve="Term" />
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="ANE8D" id="4pWvZ2nfgKQ" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="4pWvZ2n8RpN" role="3clF46">
+        <property role="TrG5h" value="constraint" />
+        <property role="3TUv4t" value="true" />
+        <node concept="3uibUv" id="4pWvZ2n8RpM" role="1tU5fm">
+          <ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4pWvZ2n8z27" role="jymVt" />
+    <node concept="312cEg" id="4pWvZ2n3foZ" role="jymVt">
+      <property role="TrG5h" value="myRules" />
+      <node concept="3Tm6S6" id="4pWvZ2n3fp0" role="1B3o_S" />
+      <node concept="_YKpA" id="4pWvZ2n3gJk" role="1tU5fm">
+        <node concept="3uibUv" id="4pWvZ2n3gKJ" role="_ZDj9">
+          <ref role="3uigEE" to="i8dg:7eGEHDlc$9y" resolve="Rule" />
+        </node>
+      </node>
+    </node>
+    <node concept="312cEg" id="4pWvZ2nbm3e" role="jymVt">
+      <property role="34CwA1" value="false" />
+      <property role="eg7rD" value="false" />
+      <property role="TrG5h" value="myTracer" />
+      <property role="3TUv4t" value="false" />
+      <node concept="3Tm6S6" id="4pWvZ2nbl7i" role="1B3o_S" />
+      <node concept="3uibUv" id="4pWvZ2nbm3c" role="1tU5fm">
+        <ref role="3uigEE" to="iawt:~Tracer" resolve="Tracer" />
+      </node>
+    </node>
+    <node concept="312cEg" id="4pWvZ2nh_ow" role="jymVt">
+      <property role="TrG5h" value="constraintsPool" />
+      <node concept="3Tm1VV" id="4pWvZ2nhAP5" role="1B3o_S" />
+      <node concept="2hMVRd" id="4pWvZ2nhAPz" role="1tU5fm">
+        <node concept="3uibUv" id="4pWvZ2nhAP$" role="2hN53Y">
+          <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+        </node>
+      </node>
+      <node concept="2ShNRf" id="4pWvZ2n8tmH" role="33vP2m">
+        <node concept="2i4dXS" id="4pWvZ2n8tmr" role="2ShVmc">
+          <node concept="3uibUv" id="4pWvZ2n8BOT" role="HW$YZ">
+            <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4pWvZ2n32bk" role="jymVt" />
+    <node concept="3clFbW" id="4pWvZ2n32bg" role="jymVt">
+      <node concept="37vLTG" id="4pWvZ2n32bo" role="3clF46">
+        <property role="TrG5h" value="handler" />
+        <node concept="3uibUv" id="4pWvZ2n32bp" role="1tU5fm">
+          <ref role="3uigEE" node="7eGEHDlcEJ0" resolve="ConstraintRulesHandler" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="4pWvZ2nbjkz" role="3clF46">
+        <property role="TrG5h" value="tracer" />
+        <node concept="3uibUv" id="4pWvZ2nbjkw" role="1tU5fm">
+          <ref role="3uigEE" to="iawt:~Tracer" resolve="Tracer" />
+        </node>
+      </node>
+      <node concept="3cqZAl" id="4pWvZ2n32bh" role="3clF45" />
+      <node concept="3Tm1VV" id="4pWvZ2n32bi" role="1B3o_S" />
+      <node concept="3clFbS" id="4pWvZ2n32bj" role="3clF47">
+        <node concept="3clFbF" id="4pWvZ2n3xiF" role="3cqZAp">
+          <node concept="37vLTI" id="4pWvZ2n3xDu" role="3clFbG">
+            <node concept="2ShNRf" id="4pWvZ2n3xM2" role="37vLTx">
+              <node concept="Tc6Ow" id="4pWvZ2n3xKL" role="2ShVmc">
+                <node concept="3uibUv" id="4pWvZ2n3xKM" role="HW$YZ">
+                  <ref role="3uigEE" to="i8dg:7eGEHDlc$9y" resolve="Rule" />
+                </node>
+                <node concept="2OqwBi" id="4pWvZ2n3y3A" role="I$8f6">
+                  <node concept="37vLTw" id="4pWvZ2n3xX4" role="2Oq$k0">
+                    <ref role="3cqZAo" node="4pWvZ2n32bo" resolve="handler" />
+                  </node>
+                  <node concept="liA8E" id="4pWvZ2n3ybH" role="2OqNvi">
+                    <ref role="37wK5l" node="ZqZbw4Qln6" resolve="rules" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="37vLTw" id="4pWvZ2n3xiD" role="37vLTJ">
+              <ref role="3cqZAo" node="4pWvZ2n3foZ" resolve="myRules" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4pWvZ2nbo6C" role="3cqZAp">
+          <node concept="37vLTI" id="4pWvZ2nboc8" role="3clFbG">
+            <node concept="37vLTw" id="4pWvZ2nboh0" role="37vLTx">
+              <ref role="3cqZAo" node="4pWvZ2nbjkz" resolve="tracer" />
+            </node>
+            <node concept="37vLTw" id="4pWvZ2nbo6A" role="37vLTJ">
+              <ref role="3cqZAo" node="4pWvZ2nbm3e" resolve="myTracer" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4pWvZ2n3dFN" role="jymVt" />
+    <node concept="2tJIrI" id="4pWvZ2nhx0j" role="jymVt" />
+    <node concept="3clFb_" id="4pWvZ2n3zcY" role="jymVt">
+      <property role="TrG5h" value="solve" />
+      <node concept="3cqZAl" id="4pWvZ2n3zd0" role="3clF45" />
+      <node concept="3Tm1VV" id="4pWvZ2n3zd1" role="1B3o_S" />
+      <node concept="3clFbS" id="4pWvZ2n3zd2" role="3clF47">
+        <node concept="3clFbF" id="4pWvZ2n8tpB" role="3cqZAp">
+          <node concept="2OqwBi" id="4pWvZ2n8twH" role="3clFbG">
+            <node concept="37vLTw" id="4pWvZ2n8tp_" role="2Oq$k0">
+              <ref role="3cqZAo" node="4pWvZ2nh_ow" resolve="constraintsPool" />
+            </node>
+            <node concept="TSZUe" id="4pWvZ2n8tLv" role="2OqNvi">
+              <node concept="2ShNRf" id="4pWvZ2n8AjX" role="25WWJ7">
+                <node concept="1pGfFk" id="4pWvZ2n8AAq" role="2ShVmc">
+                  <ref role="37wK5l" node="4pWvZ2n8_K3" resolve="ChrSolver.ConstraintOccurence" />
+                  <node concept="1rXfSq" id="4pWvZ2n9iqw" role="37wK5m">
+                    <ref role="37wK5l" node="4pWvZ2n8R5D" resolve="constraintToTerm" />
+                    <node concept="2ShNRf" id="4pWvZ2n8tQN" role="37wK5m">
+                      <node concept="1pGfFk" id="4pWvZ2n8vS2" role="2ShVmc">
+                        <ref role="37wK5l" to="qrld:5uFPQ7BZtsU" resolve="AbstractConstraint" />
+                        <node concept="2YIFZM" id="5uFPQ7CgepP" role="37wK5m">
+                          <ref role="1Pybhc" to="qrld:54i3FxcZHHF" resolve="ConstraintSymbol" />
+                          <ref role="37wK5l" to="qrld:54i3FxcZQAb" resolve="symbol" />
+                          <node concept="2OqwBi" id="4pWvZ2n7sTW" role="37wK5m">
+                            <node concept="3fl2lp" id="4pWvZ2n7sTX" role="2Oq$k0">
+                              <ref role="3fl3PK" to="kqnc:7nkyKX7rINS" resolve="main" />
+                              <node concept="3B5_sB" id="4pWvZ2n8wEB" role="3fl3PI">
+                                <ref role="3B5MYn" to="kqnc:3Qp4N06bUPp" resolve="StandardConstraints" />
+                              </node>
+                            </node>
+                            <node concept="3TrcHB" id="4pWvZ2n7sTZ" role="2OqNvi">
+                              <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                            </node>
+                          </node>
+                          <node concept="3cmrfG" id="5uFPQ7CgeEK" role="37wK5m">
+                            <property role="3cmrfH" value="0" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="2$JKZl" id="4pWvZ2najkh" role="3cqZAp">
+          <node concept="3clFbS" id="4pWvZ2najkj" role="2LFqv$">
+            <node concept="3cpWs8" id="4pWvZ2natLY" role="3cqZAp">
+              <node concept="3cpWsn" id="4pWvZ2natM1" role="3cpWs9">
+                <property role="TrG5h" value="somethingHappened" />
+                <node concept="10P_77" id="4pWvZ2natLW" role="1tU5fm" />
+                <node concept="3clFbT" id="4pWvZ2nauB2" role="33vP2m">
+                  <property role="3clFbU" value="false" />
+                </node>
+              </node>
+            </node>
+            <node concept="2Gpval" id="4pWvZ2n8xOB" role="3cqZAp">
+              <node concept="2GrKxI" id="4pWvZ2n8xOC" role="2Gsz3X">
+                <property role="TrG5h" value="rule" />
+              </node>
+              <node concept="3clFbS" id="4pWvZ2n8xOD" role="2LFqv$">
+                <node concept="3cpWs8" id="4pWvZ2n8DIw" role="3cqZAp">
+                  <node concept="3cpWsn" id="4pWvZ2n8DIx" role="3cpWs9">
+                    <property role="TrG5h" value="headReplaced" />
+                    <node concept="_YKpA" id="4pWvZ2n9xh0" role="1tU5fm">
+                      <node concept="3uibUv" id="4pWvZ2n9xh2" role="_ZDj9">
+                        <ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
+                      </node>
+                    </node>
+                    <node concept="2ShNRf" id="4pWvZ2n9xI_" role="33vP2m">
+                      <node concept="Tc6Ow" id="4pWvZ2n9xHH" role="2ShVmc">
+                        <node concept="3uibUv" id="4pWvZ2n9xHI" role="HW$YZ">
+                          <ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
+                        </node>
+                        <node concept="2OqwBi" id="4pWvZ2n9yGN" role="I$8f6">
+                          <node concept="2GrUjf" id="4pWvZ2n9yyj" role="2Oq$k0">
+                            <ref role="2Gs0qQ" node="4pWvZ2n8xOC" resolve="rule" />
+                          </node>
+                          <node concept="liA8E" id="4pWvZ2n9z5N" role="2OqNvi">
+                            <ref role="37wK5l" to="i8dg:7eGEHDlc$9J" resolve="headReplaced" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3cpWs8" id="4pWvZ2n9zJr" role="3cqZAp">
+                  <node concept="3cpWsn" id="4pWvZ2n9zJu" role="3cpWs9">
+                    <property role="TrG5h" value="matchesHeadReplaced" />
+                    <node concept="_YKpA" id="4pWvZ2n9zJn" role="1tU5fm">
+                      <node concept="3uibUv" id="4pWvZ2n9$7Q" role="_ZDj9">
+                        <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+                      </node>
+                    </node>
+                    <node concept="2ShNRf" id="4pWvZ2n9$aU" role="33vP2m">
+                      <node concept="Tc6Ow" id="4pWvZ2n9$aF" role="2ShVmc">
+                        <node concept="3uibUv" id="4pWvZ2n9$aG" role="HW$YZ">
+                          <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1DcWWT" id="4pWvZ2n9ujF" role="3cqZAp">
+                  <node concept="3clFbS" id="4pWvZ2n9ujH" role="2LFqv$">
+                    <node concept="3cpWs8" id="4pWvZ2n9v4X" role="3cqZAp">
+                      <node concept="3cpWsn" id="4pWvZ2n9v50" role="3cpWs9">
+                        <property role="TrG5h" value="askedMatches" />
+                        <node concept="3uibUv" id="4pWvZ2n9vQ0" role="1tU5fm">
+                          <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+                        </node>
+                        <node concept="10Nm6u" id="4pWvZ2n9vbG" role="33vP2m" />
+                      </node>
+                    </node>
+                    <node concept="2Gpval" id="4pWvZ2n8DcR" role="3cqZAp">
+                      <node concept="2GrKxI" id="4pWvZ2n8DcS" role="2Gsz3X">
+                        <property role="TrG5h" value="constraint" />
+                      </node>
+                      <node concept="3clFbS" id="4pWvZ2n8DcT" role="2LFqv$">
+                        <node concept="3clFbJ" id="4pWvZ2n9rbg" role="3cqZAp">
+                          <node concept="3clFbS" id="4pWvZ2n9rbh" role="3clFbx">
+                            <node concept="3clFbF" id="4pWvZ2n9viH" role="3cqZAp">
+                              <node concept="37vLTI" id="4pWvZ2n9vka" role="3clFbG">
+                                <node concept="2GrUjf" id="4pWvZ2n9vlb" role="37vLTx">
+                                  <ref role="2Gs0qQ" node="4pWvZ2n8DcS" resolve="constraint" />
+                                </node>
+                                <node concept="37vLTw" id="4pWvZ2n9viF" role="37vLTJ">
+                                  <ref role="3cqZAo" node="4pWvZ2n9v50" resolve="askedMatches" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3zACq4" id="4pWvZ2n9uPZ" role="3cqZAp" />
+                          </node>
+                          <node concept="2OqwBi" id="4pWvZ2n9rqY" role="3clFbw">
+                            <node concept="2YIFZM" id="4pWvZ2n9rcI" role="2Oq$k0">
+                              <ref role="37wK5l" to="yt73:~Unification.unify(Term,Term)" resolve="unify" />
+                              <ref role="1Pybhc" to="yt73:~Unification" resolve="Unification" />
+                              <node concept="1rXfSq" id="4pWvZ2n9s6H" role="37wK5m">
+                                <ref role="37wK5l" node="4pWvZ2n8R5D" resolve="constraintToTerm" />
+                                <node concept="37vLTw" id="4pWvZ2n9uKs" role="37wK5m">
+                                  <ref role="3cqZAo" node="4pWvZ2n9ujI" resolve="asked" />
+                                </node>
+                              </node>
+                              <node concept="2OqwBi" id="4pWvZ2n9t16" role="37wK5m">
+                                <node concept="2GrUjf" id="4pWvZ2n9srz" role="2Oq$k0">
+                                  <ref role="2Gs0qQ" node="4pWvZ2n8DcS" resolve="constraint" />
+                                </node>
+                                <node concept="2OwXpG" id="4pWvZ2n9t4Q" role="2OqNvi">
+                                  <ref role="2Oxat5" node="4pWvZ2n8$8b" resolve="myConstraint" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="liA8E" id="4pWvZ2n9rwn" role="2OqNvi">
+                              <ref role="37wK5l" to="yt73:~Substitution.isSuccessful()" resolve="isSuccessful" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="37vLTw" id="4pWvZ2n8Df6" role="2GsD0m">
+                        <ref role="3cqZAo" node="4pWvZ2nh_ow" resolve="constraintsPool" />
+                      </node>
+                    </node>
+                    <node concept="3clFbJ" id="4pWvZ2n9vXo" role="3cqZAp">
+                      <node concept="3clFbS" id="4pWvZ2n9vXq" role="3clFbx">
+                        <node concept="3zACq4" id="4pWvZ2n9w5b" role="3cqZAp" />
+                      </node>
+                      <node concept="3clFbC" id="4pWvZ2n9w2M" role="3clFbw">
+                        <node concept="10Nm6u" id="4pWvZ2n9w3I" role="3uHU7w" />
+                        <node concept="37vLTw" id="4pWvZ2n9w1x" role="3uHU7B">
+                          <ref role="3cqZAo" node="4pWvZ2n9v50" resolve="askedMatches" />
+                        </node>
+                      </node>
+                      <node concept="9aQIb" id="4pWvZ2n9$d$" role="9aQIa">
+                        <node concept="3clFbS" id="4pWvZ2n9$d_" role="9aQI4">
+                          <node concept="3clFbF" id="4pWvZ2n9$f3" role="3cqZAp">
+                            <node concept="2OqwBi" id="4pWvZ2n9$nA" role="3clFbG">
+                              <node concept="37vLTw" id="4pWvZ2n9$f2" role="2Oq$k0">
+                                <ref role="3cqZAo" node="4pWvZ2n9zJu" resolve="matchesHeadReplaced" />
+                              </node>
+                              <node concept="TSZUe" id="4pWvZ2n9$HC" role="2OqNvi">
+                                <node concept="37vLTw" id="4pWvZ2n9$Jw" role="25WWJ7">
+                                  <ref role="3cqZAo" node="4pWvZ2n9v50" resolve="askedMatches" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3cpWsn" id="4pWvZ2n9ujI" role="1Duv9x">
+                    <property role="TrG5h" value="asked" />
+                    <node concept="3uibUv" id="4pWvZ2n9uqZ" role="1tU5fm">
+                      <ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
+                    </node>
+                  </node>
+                  <node concept="37vLTw" id="4pWvZ2n9uxu" role="1DdaDG">
+                    <ref role="3cqZAo" node="4pWvZ2n8DIx" resolve="headReplaced" />
+                  </node>
+                </node>
+                <node concept="3clFbJ" id="4pWvZ2n9A7G" role="3cqZAp">
+                  <node concept="3clFbS" id="4pWvZ2n9A7I" role="3clFbx">
+                    <node concept="3SKdUt" id="4pWvZ2n9EKa" role="3cqZAp">
+                      <node concept="3SKdUq" id="4pWvZ2n9EKc" role="3SKWNk">
+                        <property role="3SKdUp" value="rule doesn't match any constraint in some 'replaced' position" />
+                      </node>
+                    </node>
+                    <node concept="3N13vt" id="4pWvZ2n9HOJ" role="3cqZAp" />
+                  </node>
+                  <node concept="3y3z36" id="4pWvZ2n9F7a" role="3clFbw">
+                    <node concept="2OqwBi" id="4pWvZ2n9Clj" role="3uHU7B">
+                      <node concept="37vLTw" id="4pWvZ2n9CaP" role="2Oq$k0">
+                        <ref role="3cqZAo" node="4pWvZ2n9zJu" resolve="matchesHeadReplaced" />
+                      </node>
+                      <node concept="34oBXx" id="4pWvZ2n9D13" role="2OqNvi" />
+                    </node>
+                    <node concept="2OqwBi" id="4pWvZ2n9EmB" role="3uHU7w">
+                      <node concept="37vLTw" id="4pWvZ2n9Eaq" role="2Oq$k0">
+                        <ref role="3cqZAo" node="4pWvZ2n8DIx" resolve="headReplaced" />
+                      </node>
+                      <node concept="34oBXx" id="4pWvZ2n9EHm" role="2OqNvi" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbH" id="4pWvZ2n9Bv4" role="3cqZAp" />
+                <node concept="3cpWs8" id="4pWvZ2n9FN5" role="3cqZAp">
+                  <node concept="3cpWsn" id="4pWvZ2n9FN6" role="3cpWs9">
+                    <property role="TrG5h" value="headKept" />
+                    <node concept="_YKpA" id="4pWvZ2n9FN7" role="1tU5fm">
+                      <node concept="3uibUv" id="4pWvZ2n9FN8" role="_ZDj9">
+                        <ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
+                      </node>
+                    </node>
+                    <node concept="2ShNRf" id="4pWvZ2n9FN9" role="33vP2m">
+                      <node concept="Tc6Ow" id="4pWvZ2n9FNa" role="2ShVmc">
+                        <node concept="3uibUv" id="4pWvZ2n9FNb" role="HW$YZ">
+                          <ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
+                        </node>
+                        <node concept="2OqwBi" id="4pWvZ2n9FNc" role="I$8f6">
+                          <node concept="2GrUjf" id="4pWvZ2n9FNd" role="2Oq$k0">
+                            <ref role="2Gs0qQ" node="4pWvZ2n8xOC" resolve="rule" />
+                          </node>
+                          <node concept="liA8E" id="4pWvZ2n9FNe" role="2OqNvi">
+                            <ref role="37wK5l" to="i8dg:7eGEHDlc$9D" resolve="headKept" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3cpWs8" id="4pWvZ2n9FNf" role="3cqZAp">
+                  <node concept="3cpWsn" id="4pWvZ2n9FNg" role="3cpWs9">
+                    <property role="TrG5h" value="matchesHeadKept" />
+                    <node concept="_YKpA" id="4pWvZ2n9FNh" role="1tU5fm">
+                      <node concept="3uibUv" id="4pWvZ2n9FNi" role="_ZDj9">
+                        <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+                      </node>
+                    </node>
+                    <node concept="2ShNRf" id="4pWvZ2n9FNj" role="33vP2m">
+                      <node concept="Tc6Ow" id="4pWvZ2n9FNk" role="2ShVmc">
+                        <node concept="3uibUv" id="4pWvZ2n9FNl" role="HW$YZ">
+                          <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1DcWWT" id="4pWvZ2n9FNm" role="3cqZAp">
+                  <node concept="3clFbS" id="4pWvZ2n9FNn" role="2LFqv$">
+                    <node concept="3cpWs8" id="4pWvZ2n9FNo" role="3cqZAp">
+                      <node concept="3cpWsn" id="4pWvZ2n9FNp" role="3cpWs9">
+                        <property role="TrG5h" value="askedMatches" />
+                        <node concept="3uibUv" id="4pWvZ2n9FNq" role="1tU5fm">
+                          <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+                        </node>
+                        <node concept="10Nm6u" id="4pWvZ2n9FNr" role="33vP2m" />
+                      </node>
+                    </node>
+                    <node concept="2Gpval" id="4pWvZ2n9FNs" role="3cqZAp">
+                      <node concept="2GrKxI" id="4pWvZ2n9FNt" role="2Gsz3X">
+                        <property role="TrG5h" value="constraint" />
+                      </node>
+                      <node concept="3clFbS" id="4pWvZ2n9FNu" role="2LFqv$">
+                        <node concept="3clFbJ" id="4pWvZ2n9FNv" role="3cqZAp">
+                          <node concept="3clFbS" id="4pWvZ2n9FNw" role="3clFbx">
+                            <node concept="3clFbF" id="4pWvZ2n9FNx" role="3cqZAp">
+                              <node concept="37vLTI" id="4pWvZ2n9FNy" role="3clFbG">
+                                <node concept="2GrUjf" id="4pWvZ2n9FNz" role="37vLTx">
+                                  <ref role="2Gs0qQ" node="4pWvZ2n9FNt" resolve="constraint" />
+                                </node>
+                                <node concept="37vLTw" id="4pWvZ2n9FN$" role="37vLTJ">
+                                  <ref role="3cqZAo" node="4pWvZ2n9FNp" resolve="askedMatches" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3zACq4" id="4pWvZ2n9FN_" role="3cqZAp" />
+                          </node>
+                          <node concept="2OqwBi" id="4pWvZ2n9FNA" role="3clFbw">
+                            <node concept="2YIFZM" id="4pWvZ2n9FNB" role="2Oq$k0">
+                              <ref role="1Pybhc" to="yt73:~Unification" resolve="Unification" />
+                              <ref role="37wK5l" to="yt73:~Unification.unify(Term,Term)" resolve="unify" />
+                              <node concept="1rXfSq" id="4pWvZ2n9FNC" role="37wK5m">
+                                <ref role="37wK5l" node="4pWvZ2n8R5D" resolve="constraintToTerm" />
+                                <node concept="37vLTw" id="4pWvZ2n9FND" role="37wK5m">
+                                  <ref role="3cqZAo" node="4pWvZ2n9FNW" resolve="asked" />
+                                </node>
+                              </node>
+                              <node concept="2OqwBi" id="4pWvZ2n9FNE" role="37wK5m">
+                                <node concept="2GrUjf" id="4pWvZ2n9FNF" role="2Oq$k0">
+                                  <ref role="2Gs0qQ" node="4pWvZ2n9FNt" resolve="constraint" />
+                                </node>
+                                <node concept="2OwXpG" id="4pWvZ2n9FNG" role="2OqNvi">
+                                  <ref role="2Oxat5" node="4pWvZ2n8$8b" resolve="myConstraint" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="liA8E" id="4pWvZ2n9FNH" role="2OqNvi">
+                              <ref role="37wK5l" to="yt73:~Substitution.isSuccessful()" resolve="isSuccessful" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="37vLTw" id="4pWvZ2n9FNI" role="2GsD0m">
+                        <ref role="3cqZAo" node="4pWvZ2nh_ow" resolve="constraintsPool" />
+                      </node>
+                    </node>
+                    <node concept="3clFbJ" id="4pWvZ2n9FNJ" role="3cqZAp">
+                      <node concept="3clFbS" id="4pWvZ2n9FNK" role="3clFbx">
+                        <node concept="3zACq4" id="4pWvZ2n9FNL" role="3cqZAp" />
+                      </node>
+                      <node concept="3clFbC" id="4pWvZ2n9FNM" role="3clFbw">
+                        <node concept="10Nm6u" id="4pWvZ2n9FNN" role="3uHU7w" />
+                        <node concept="37vLTw" id="4pWvZ2n9FNO" role="3uHU7B">
+                          <ref role="3cqZAo" node="4pWvZ2n9FNp" resolve="askedMatches" />
+                        </node>
+                      </node>
+                      <node concept="9aQIb" id="4pWvZ2n9FNP" role="9aQIa">
+                        <node concept="3clFbS" id="4pWvZ2n9FNQ" role="9aQI4">
+                          <node concept="3clFbF" id="4pWvZ2n9FNR" role="3cqZAp">
+                            <node concept="2OqwBi" id="4pWvZ2n9FNS" role="3clFbG">
+                              <node concept="37vLTw" id="4pWvZ2n9FNT" role="2Oq$k0">
+                                <ref role="3cqZAo" node="4pWvZ2n9FNg" resolve="matchesHeadKept" />
+                              </node>
+                              <node concept="TSZUe" id="4pWvZ2n9FNU" role="2OqNvi">
+                                <node concept="37vLTw" id="4pWvZ2n9FNV" role="25WWJ7">
+                                  <ref role="3cqZAo" node="4pWvZ2n9FNp" resolve="askedMatches" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3cpWsn" id="4pWvZ2n9FNW" role="1Duv9x">
+                    <property role="TrG5h" value="asked" />
+                    <node concept="3uibUv" id="4pWvZ2n9FNX" role="1tU5fm">
+                      <ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
+                    </node>
+                  </node>
+                  <node concept="37vLTw" id="4pWvZ2n9FNY" role="1DdaDG">
+                    <ref role="3cqZAo" node="4pWvZ2n9FN6" resolve="headKept" />
+                  </node>
+                </node>
+                <node concept="3clFbH" id="4pWvZ2n9F96" role="3cqZAp" />
+                <node concept="3clFbJ" id="4pWvZ2n9Ikh" role="3cqZAp">
+                  <node concept="3clFbS" id="4pWvZ2n9Iki" role="3clFbx">
+                    <node concept="3SKdUt" id="4pWvZ2n9J$7" role="3cqZAp">
+                      <node concept="3SKdUq" id="4pWvZ2n9J$8" role="3SKWNk">
+                        <property role="3SKdUp" value="rule doesn't match any constraint in some 'kept' position" />
+                      </node>
+                    </node>
+                    <node concept="3N13vt" id="4pWvZ2n9Ikl" role="3cqZAp" />
+                  </node>
+                  <node concept="3y3z36" id="4pWvZ2n9Ikm" role="3clFbw">
+                    <node concept="2OqwBi" id="4pWvZ2n9Ikn" role="3uHU7B">
+                      <node concept="37vLTw" id="4pWvZ2n9JvH" role="2Oq$k0">
+                        <ref role="3cqZAo" node="4pWvZ2n9FNg" resolve="matchesHeadKept" />
+                      </node>
+                      <node concept="34oBXx" id="4pWvZ2n9Ikp" role="2OqNvi" />
+                    </node>
+                    <node concept="2OqwBi" id="4pWvZ2n9Ikq" role="3uHU7w">
+                      <node concept="37vLTw" id="4pWvZ2n9Jyp" role="2Oq$k0">
+                        <ref role="3cqZAo" node="4pWvZ2n9FN6" resolve="headKept" />
+                      </node>
+                      <node concept="34oBXx" id="4pWvZ2n9Iks" role="2OqNvi" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbH" id="4pWvZ2n9Fu5" role="3cqZAp" />
+                <node concept="3SKdUt" id="4pWvZ2n9Nkd" role="3cqZAp">
+                  <node concept="3SKdUq" id="4pWvZ2n9Nkf" role="3SKWNk">
+                    <property role="3SKdUp" value="todo: guard" />
+                  </node>
+                </node>
+                <node concept="3clFbH" id="4pWvZ2n9NV0" role="3cqZAp" />
+                <node concept="3cpWs8" id="4pWvZ2n9XtV" role="3cqZAp">
+                  <node concept="3cpWsn" id="4pWvZ2n9XtW" role="3cpWs9">
+                    <property role="TrG5h" value="application" />
+                    <node concept="3uibUv" id="4pWvZ2n9XtX" role="1tU5fm">
+                      <ref role="3uigEE" node="4pWvZ2n8zhm" resolve="ChrSolver.RuleApplication" />
+                    </node>
+                    <node concept="2ShNRf" id="4pWvZ2n9Y3t" role="33vP2m">
+                      <node concept="1pGfFk" id="4pWvZ2n9Y3h" role="2ShVmc">
+                        <ref role="37wK5l" node="4pWvZ2n8$Mj" resolve="ChrSolver.RuleApplication" />
+                        <node concept="2GrUjf" id="4pWvZ2n9Y8t" role="37wK5m">
+                          <ref role="2Gs0qQ" node="4pWvZ2n8xOC" resolve="rule" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbH" id="4pWvZ2nepqw" role="3cqZAp" />
+                <node concept="3clFbF" id="4pWvZ2neqB$" role="3cqZAp">
+                  <node concept="2OqwBi" id="4pWvZ2nernd" role="3clFbG">
+                    <node concept="37vLTw" id="4pWvZ2neqBy" role="2Oq$k0">
+                      <ref role="3cqZAo" node="4pWvZ2n9zJu" resolve="matchesHeadReplaced" />
+                    </node>
+                    <node concept="2es0OD" id="4pWvZ2nerHn" role="2OqNvi">
+                      <node concept="1bVj0M" id="4pWvZ2nerHp" role="23t8la">
+                        <node concept="3clFbS" id="4pWvZ2nerHq" role="1bW5cS">
+                          <node concept="3clFbF" id="4pWvZ2nerKP" role="3cqZAp">
+                            <node concept="37vLTI" id="4pWvZ2nes1_" role="3clFbG">
+                              <node concept="37vLTw" id="4pWvZ2nes52" role="37vLTx">
+                                <ref role="3cqZAo" node="4pWvZ2n9XtW" resolve="application" />
+                              </node>
+                              <node concept="2OqwBi" id="4pWvZ2nerNg" role="37vLTJ">
+                                <node concept="37vLTw" id="4pWvZ2nerKO" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="4pWvZ2nerHr" resolve="it" />
+                                </node>
+                                <node concept="2OwXpG" id="4pWvZ2nerQf" role="2OqNvi">
+                                  <ref role="2Oxat5" node="4pWvZ2n8$8i" resolve="myConsumer" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbF" id="4pWvZ2netMR" role="3cqZAp">
+                            <node concept="2OqwBi" id="4pWvZ2neu7x" role="3clFbG">
+                              <node concept="2OqwBi" id="4pWvZ2netQu" role="2Oq$k0">
+                                <node concept="37vLTw" id="4pWvZ2netMP" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="4pWvZ2n9XtW" resolve="application" />
+                                </node>
+                                <node concept="2OwXpG" id="4pWvZ2netTO" role="2OqNvi">
+                                  <ref role="2Oxat5" node="4pWvZ2n8zyk" resolve="myReplacedConstraints" />
+                                </node>
+                              </node>
+                              <node concept="TSZUe" id="4pWvZ2neuxl" role="2OqNvi">
+                                <node concept="37vLTw" id="4pWvZ2neuBt" role="25WWJ7">
+                                  <ref role="3cqZAo" node="4pWvZ2nerHr" resolve="it" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="Rh6nW" id="4pWvZ2nerHr" role="1bW2Oz">
+                          <property role="TrG5h" value="it" />
+                          <node concept="2jxLKc" id="4pWvZ2nerHs" role="1tU5fm" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="4pWvZ2neviC" role="3cqZAp">
+                  <node concept="2OqwBi" id="4pWvZ2neviD" role="3clFbG">
+                    <node concept="37vLTw" id="4pWvZ2nexo7" role="2Oq$k0">
+                      <ref role="3cqZAo" node="4pWvZ2n9FNg" resolve="matchesHeadKept" />
+                    </node>
+                    <node concept="2es0OD" id="4pWvZ2neviF" role="2OqNvi">
+                      <node concept="1bVj0M" id="4pWvZ2neviG" role="23t8la">
+                        <node concept="3clFbS" id="4pWvZ2neviH" role="1bW5cS">
+                          <node concept="3clFbF" id="4pWvZ2neviI" role="3cqZAp">
+                            <node concept="2OqwBi" id="4pWvZ2nexW9" role="3clFbG">
+                              <node concept="2OqwBi" id="4pWvZ2neviL" role="2Oq$k0">
+                                <node concept="37vLTw" id="4pWvZ2neviM" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="4pWvZ2neviV" resolve="it" />
+                                </node>
+                                <node concept="2OwXpG" id="4pWvZ2nexuV" role="2OqNvi">
+                                  <ref role="2Oxat5" node="4pWvZ2n8$8m" resolve="myPassedThrough" />
+                                </node>
+                              </node>
+                              <node concept="TSZUe" id="4pWvZ2neypa" role="2OqNvi">
+                                <node concept="37vLTw" id="4pWvZ2neyxX" role="25WWJ7">
+                                  <ref role="3cqZAo" node="4pWvZ2n9XtW" resolve="application" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbF" id="4pWvZ2neviO" role="3cqZAp">
+                            <node concept="2OqwBi" id="4pWvZ2neviP" role="3clFbG">
+                              <node concept="2OqwBi" id="4pWvZ2neviQ" role="2Oq$k0">
+                                <node concept="37vLTw" id="4pWvZ2neviR" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="4pWvZ2n9XtW" resolve="application" />
+                                </node>
+                                <node concept="2OwXpG" id="4pWvZ2neyF4" role="2OqNvi">
+                                  <ref role="2Oxat5" node="4pWvZ2n8zAl" resolve="myKeptConstraints" />
+                                </node>
+                              </node>
+                              <node concept="TSZUe" id="4pWvZ2neviT" role="2OqNvi">
+                                <node concept="37vLTw" id="4pWvZ2neviU" role="25WWJ7">
+                                  <ref role="3cqZAo" node="4pWvZ2neviV" resolve="it" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="Rh6nW" id="4pWvZ2neviV" role="1bW2Oz">
+                          <property role="TrG5h" value="it" />
+                          <node concept="2jxLKc" id="4pWvZ2neviW" role="1tU5fm" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbH" id="4pWvZ2nemSG" role="3cqZAp" />
+                <node concept="3cpWs8" id="4pWvZ2nemfg" role="3cqZAp">
+                  <node concept="3cpWsn" id="4pWvZ2nemfj" role="3cpWs9">
+                    <property role="TrG5h" value="produced" />
+                    <node concept="_YKpA" id="4pWvZ2nemfc" role="1tU5fm">
+                      <node concept="3uibUv" id="4pWvZ2nemPB" role="_ZDj9">
+                        <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+                      </node>
+                    </node>
+                    <node concept="2ShNRf" id="4pWvZ2nemRL" role="33vP2m">
+                      <node concept="Tc6Ow" id="4pWvZ2nemRx" role="2ShVmc">
+                        <node concept="3uibUv" id="4pWvZ2nemRy" role="HW$YZ">
+                          <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3cpWs8" id="4pWvZ2n9QEg" role="3cqZAp">
+                  <node concept="3cpWsn" id="4pWvZ2n9QEh" role="3cpWs9">
+                    <property role="TrG5h" value="body" />
+                    <node concept="A3Dl8" id="4pWvZ2n9RgE" role="1tU5fm">
+                      <node concept="3uibUv" id="4pWvZ2n9RgG" role="A3Ik2">
+                        <ref role="3uigEE" to="qrld:5uFPQ7B$Pn9" resolve="AndItem" />
+                      </node>
+                    </node>
+                    <node concept="2OqwBi" id="4pWvZ2n9QEi" role="33vP2m">
+                      <node concept="2GrUjf" id="4pWvZ2n9QEj" role="2Oq$k0">
+                        <ref role="2Gs0qQ" node="4pWvZ2n8xOC" resolve="rule" />
+                      </node>
+                      <node concept="liA8E" id="4pWvZ2n9QEk" role="2OqNvi">
+                        <ref role="37wK5l" to="i8dg:7eGEHDlc$9V" resolve="body" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="4pWvZ2n9P13" role="3cqZAp">
+                  <node concept="2OqwBi" id="4pWvZ2n9RjP" role="3clFbG">
+                    <node concept="37vLTw" id="4pWvZ2n9QEl" role="2Oq$k0">
+                      <ref role="3cqZAo" node="4pWvZ2n9QEh" resolve="body" />
+                    </node>
+                    <node concept="2es0OD" id="4pWvZ2naa_Q" role="2OqNvi">
+                      <node concept="1bVj0M" id="4pWvZ2naa_S" role="23t8la">
+                        <node concept="3clFbS" id="4pWvZ2naa_T" role="1bW5cS">
+                          <node concept="3clFbJ" id="4pWvZ2n9ShY" role="3cqZAp">
+                            <node concept="3clFbS" id="4pWvZ2n9Si0" role="3clFbx">
+                              <node concept="3cpWs8" id="4pWvZ2ne_Bw" role="3cqZAp">
+                                <node concept="3cpWsn" id="4pWvZ2ne_Bx" role="3cpWs9">
+                                  <property role="TrG5h" value="occurence" />
+                                  <node concept="3uibUv" id="4pWvZ2ne_$a" role="1tU5fm">
+                                    <ref role="3uigEE" node="4pWvZ2n8$0$" resolve="ChrSolver.ConstraintOccurence" />
+                                  </node>
+                                  <node concept="2ShNRf" id="4pWvZ2ne_By" role="33vP2m">
+                                    <node concept="1pGfFk" id="4pWvZ2ne_Bz" role="2ShVmc">
+                                      <ref role="37wK5l" node="4pWvZ2n8_K3" resolve="ChrSolver.ConstraintOccurence" />
+                                      <node concept="1rXfSq" id="4pWvZ2ne_B$" role="37wK5m">
+                                        <ref role="37wK5l" node="4pWvZ2n8R5D" resolve="constraintToTerm" />
+                                        <node concept="1eOMI4" id="4pWvZ2ne_B_" role="37wK5m">
+                                          <node concept="10QFUN" id="4pWvZ2ne_BA" role="1eOMHV">
+                                            <node concept="37vLTw" id="4pWvZ2ne_BB" role="10QFUP">
+                                              <ref role="3cqZAo" node="4pWvZ2naa_U" resolve="it" />
+                                            </node>
+                                            <node concept="3uibUv" id="4pWvZ2ne_BC" role="10QFUM">
+                                              <ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
+                                            </node>
+                                          </node>
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3clFbF" id="4pWvZ2neA60" role="3cqZAp">
+                                <node concept="37vLTI" id="4pWvZ2neAsT" role="3clFbG">
+                                  <node concept="37vLTw" id="4pWvZ2neA$n" role="37vLTx">
+                                    <ref role="3cqZAo" node="4pWvZ2n9XtW" resolve="application" />
+                                  </node>
+                                  <node concept="2OqwBi" id="4pWvZ2neAd5" role="37vLTJ">
+                                    <node concept="37vLTw" id="4pWvZ2neA5Y" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="4pWvZ2ne_Bx" resolve="occurence" />
+                                    </node>
+                                    <node concept="2OwXpG" id="4pWvZ2neAkC" role="2OqNvi">
+                                      <ref role="2Oxat5" node="4pWvZ2n8$8e" resolve="myProducer" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3clFbF" id="4pWvZ2neoaI" role="3cqZAp">
+                                <node concept="2OqwBi" id="4pWvZ2neoob" role="3clFbG">
+                                  <node concept="37vLTw" id="4pWvZ2neoaG" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="4pWvZ2nemfj" resolve="produced" />
+                                  </node>
+                                  <node concept="TSZUe" id="4pWvZ2neoMR" role="2OqNvi">
+                                    <node concept="37vLTw" id="4pWvZ2ne_BD" role="25WWJ7">
+                                      <ref role="3cqZAo" node="4pWvZ2ne_Bx" resolve="occurence" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3clFbF" id="4pWvZ2na8C6" role="3cqZAp">
+                                <node concept="2OqwBi" id="4pWvZ2na9DZ" role="3clFbG">
+                                  <node concept="2OqwBi" id="4pWvZ2na8Fs" role="2Oq$k0">
+                                    <node concept="37vLTw" id="4pWvZ2na8C4" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="4pWvZ2n9XtW" resolve="application" />
+                                    </node>
+                                    <node concept="2OwXpG" id="4pWvZ2na9t6" role="2OqNvi">
+                                      <ref role="2Oxat5" node="4pWvZ2n8zAS" resolve="myProducedConstraints" />
+                                    </node>
+                                  </node>
+                                  <node concept="TSZUe" id="4pWvZ2naa48" role="2OqNvi">
+                                    <node concept="37vLTw" id="4pWvZ2ne_JK" role="25WWJ7">
+                                      <ref role="3cqZAo" node="4pWvZ2ne_Bx" resolve="occurence" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="2ZW3vV" id="4pWvZ2n9Sn8" role="3clFbw">
+                              <node concept="3uibUv" id="4pWvZ2n9URN" role="2ZW6by">
+                                <ref role="3uigEE" to="qrld:6Kcfpq7BfEn" resolve="Constraint" />
+                              </node>
+                              <node concept="37vLTw" id="4pWvZ2nabvX" role="2ZW6bz">
+                                <ref role="3cqZAo" node="4pWvZ2naa_U" resolve="it" />
+                              </node>
+                            </node>
+                            <node concept="9aQIb" id="4pWvZ2n9ULN" role="9aQIa">
+                              <node concept="3clFbS" id="4pWvZ2n9ULO" role="9aQI4">
+                                <node concept="3SKdUt" id="4pWvZ2n9T6o" role="3cqZAp">
+                                  <node concept="3SKdUq" id="4pWvZ2n9T6p" role="3SKWNk">
+                                    <property role="3SKdUp" value="todo: predicate" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="Rh6nW" id="4pWvZ2naa_U" role="1bW2Oz">
+                          <property role="TrG5h" value="it" />
+                          <node concept="2jxLKc" id="4pWvZ2naa_V" role="1tU5fm" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="4pWvZ2naHQn" role="3cqZAp">
+                  <node concept="1rXfSq" id="4pWvZ2naHQl" role="3clFbG">
+                    <ref role="37wK5l" node="4pWvZ2nayW1" resolve="logRuleTriggered" />
+                    <node concept="37vLTw" id="4pWvZ2naIt2" role="37wK5m">
+                      <ref role="3cqZAo" node="4pWvZ2n9XtW" resolve="application" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="4pWvZ2nax8g" role="3cqZAp">
+                  <node concept="37vLTI" id="4pWvZ2naxLS" role="3clFbG">
+                    <node concept="3clFbT" id="4pWvZ2naxO5" role="37vLTx">
+                      <property role="3clFbU" value="true" />
+                    </node>
+                    <node concept="37vLTw" id="4pWvZ2nax8e" role="37vLTJ">
+                      <ref role="3cqZAo" node="4pWvZ2natM1" resolve="somethingHappened" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="4pWvZ2nacRm" role="3cqZAp">
+                  <node concept="2OqwBi" id="4pWvZ2nadM_" role="3clFbG">
+                    <node concept="37vLTw" id="4pWvZ2nacRk" role="2Oq$k0">
+                      <ref role="3cqZAo" node="4pWvZ2nh_ow" resolve="constraintsPool" />
+                    </node>
+                    <node concept="1kEaZ2" id="4pWvZ2naeUk" role="2OqNvi">
+                      <node concept="37vLTw" id="4pWvZ2nafJY" role="25WWJ7">
+                        <ref role="3cqZAo" node="4pWvZ2n9zJu" resolve="matchesHeadReplaced" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="4pWvZ2nekx8" role="3cqZAp">
+                  <node concept="2OqwBi" id="4pWvZ2nelbC" role="3clFbG">
+                    <node concept="37vLTw" id="4pWvZ2nekx6" role="2Oq$k0">
+                      <ref role="3cqZAo" node="4pWvZ2nh_ow" resolve="constraintsPool" />
+                    </node>
+                    <node concept="X8dFx" id="4pWvZ2neluH" role="2OqNvi">
+                      <node concept="37vLTw" id="4pWvZ2ne_Rw" role="25WWJ7">
+                        <ref role="3cqZAo" node="4pWvZ2nemfj" resolve="produced" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="37vLTw" id="4pWvZ2n8xVv" role="2GsD0m">
+                <ref role="3cqZAo" node="4pWvZ2n3foZ" resolve="myRules" />
+              </node>
+            </node>
+            <node concept="3clFbJ" id="4pWvZ2naJi5" role="3cqZAp">
+              <node concept="3clFbS" id="4pWvZ2naJi7" role="3clFbx">
+                <node concept="3zACq4" id="4pWvZ2naK9a" role="3cqZAp" />
+              </node>
+              <node concept="3fqX7Q" id="4pWvZ2naK7z" role="3clFbw">
+                <node concept="37vLTw" id="4pWvZ2naK7_" role="3fr31v">
+                  <ref role="3cqZAo" node="4pWvZ2natM1" resolve="somethingHappened" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbT" id="4pWvZ2naktE" role="2$JKZa">
+            <property role="3clFbU" value="true" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4pWvZ2naxOG" role="jymVt" />
+    <node concept="3clFb_" id="4pWvZ2nayW1" role="jymVt">
+      <property role="TrG5h" value="logRuleTriggered" />
+      <node concept="3cqZAl" id="4pWvZ2nayW3" role="3clF45" />
+      <node concept="3Tm1VV" id="4pWvZ2nayW4" role="1B3o_S" />
+      <node concept="3clFbS" id="4pWvZ2nayW5" role="3clF47">
+        <node concept="3clFbF" id="4pWvZ2ncDzz" role="3cqZAp">
+          <node concept="2OqwBi" id="4pWvZ2ncDz$" role="3clFbG">
+            <node concept="37vLTw" id="4pWvZ2ncDz_" role="2Oq$k0">
+              <ref role="3cqZAo" node="4pWvZ2nbm3e" resolve="myTracer" />
+            </node>
+            <node concept="liA8E" id="4pWvZ2ncDzA" role="2OqNvi">
+              <ref role="37wK5l" to="iawt:~Tracer.fired(java.lang.String,int,runtime.Constraint...):void" resolve="fired" />
+              <node concept="2YIFZM" id="4pWvZ2ncDzB" role="37wK5m">
+                <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object):java.lang.String" resolve="valueOf" />
+                <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                <node concept="2OqwBi" id="4pWvZ2neIuR" role="37wK5m">
+                  <node concept="2OqwBi" id="4pWvZ2ncDzC" role="2Oq$k0">
+                    <node concept="37vLTw" id="4pWvZ2ncDzD" role="2Oq$k0">
+                      <ref role="3cqZAo" node="4pWvZ2naGik" resolve="ruleApplication" />
+                    </node>
+                    <node concept="2OwXpG" id="4pWvZ2ncDzE" role="2OqNvi">
+                      <ref role="2Oxat5" node="4pWvZ2n8zyk" resolve="myReplacedConstraints" />
+                    </node>
+                  </node>
+                  <node concept="3$u5V9" id="4pWvZ2neIRW" role="2OqNvi">
+                    <node concept="1bVj0M" id="4pWvZ2neIRY" role="23t8la">
+                      <node concept="3clFbS" id="4pWvZ2neIRZ" role="1bW5cS">
+                        <node concept="3clFbF" id="4pWvZ2neIYt" role="3cqZAp">
+                          <node concept="2OqwBi" id="4pWvZ2neJ3N" role="3clFbG">
+                            <node concept="37vLTw" id="4pWvZ2neIYs" role="2Oq$k0">
+                              <ref role="3cqZAo" node="4pWvZ2neIS0" resolve="it" />
+                            </node>
+                            <node concept="2OwXpG" id="4pWvZ2neJ9L" role="2OqNvi">
+                              <ref role="2Oxat5" node="4pWvZ2n8$8b" resolve="myConstraint" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="Rh6nW" id="4pWvZ2neIS0" role="1bW2Oz">
+                        <property role="TrG5h" value="it" />
+                        <node concept="2jxLKc" id="4pWvZ2neIS1" role="1tU5fm" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3cmrfG" id="4pWvZ2ncDzF" role="37wK5m">
+                <property role="3cmrfH" value="0" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4pWvZ2ncEkY" role="3cqZAp">
+          <node concept="2OqwBi" id="4pWvZ2ncEkZ" role="3clFbG">
+            <node concept="37vLTw" id="4pWvZ2ncEl0" role="2Oq$k0">
+              <ref role="3cqZAo" node="4pWvZ2nbm3e" resolve="myTracer" />
+            </node>
+            <node concept="liA8E" id="4pWvZ2ncEl1" role="2OqNvi">
+              <ref role="37wK5l" to="iawt:~Tracer.fired(java.lang.String,int,runtime.Constraint...):void" resolve="fired" />
+              <node concept="2YIFZM" id="4pWvZ2ncEl2" role="37wK5m">
+                <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object):java.lang.String" resolve="valueOf" />
+                <node concept="2OqwBi" id="4pWvZ2neKdA" role="37wK5m">
+                  <node concept="2OqwBi" id="4pWvZ2ncEl3" role="2Oq$k0">
+                    <node concept="37vLTw" id="4pWvZ2ncEl4" role="2Oq$k0">
+                      <ref role="3cqZAo" node="4pWvZ2naGik" resolve="ruleApplication" />
+                    </node>
+                    <node concept="2OwXpG" id="4pWvZ2ncEl5" role="2OqNvi">
+                      <ref role="2Oxat5" node="4pWvZ2n8zAl" resolve="myKeptConstraints" />
+                    </node>
+                  </node>
+                  <node concept="3$u5V9" id="4pWvZ2neKAF" role="2OqNvi">
+                    <node concept="1bVj0M" id="4pWvZ2neKAH" role="23t8la">
+                      <node concept="3clFbS" id="4pWvZ2neKAI" role="1bW5cS">
+                        <node concept="3clFbF" id="4pWvZ2neKHc" role="3cqZAp">
+                          <node concept="2OqwBi" id="4pWvZ2neKMy" role="3clFbG">
+                            <node concept="37vLTw" id="4pWvZ2neKHb" role="2Oq$k0">
+                              <ref role="3cqZAo" node="4pWvZ2neKAJ" resolve="it" />
+                            </node>
+                            <node concept="2OwXpG" id="4pWvZ2neKSw" role="2OqNvi">
+                              <ref role="2Oxat5" node="4pWvZ2n8$8b" resolve="myConstraint" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="Rh6nW" id="4pWvZ2neKAJ" role="1bW2Oz">
+                        <property role="TrG5h" value="it" />
+                        <node concept="2jxLKc" id="4pWvZ2neKAK" role="1tU5fm" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3cmrfG" id="4pWvZ2ncEl6" role="37wK5m">
+                <property role="3cmrfH" value="0" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4pWvZ2nbolI" role="3cqZAp">
+          <node concept="2OqwBi" id="4pWvZ2nbon1" role="3clFbG">
+            <node concept="37vLTw" id="4pWvZ2nbolH" role="2Oq$k0">
+              <ref role="3cqZAo" node="4pWvZ2nbm3e" resolve="myTracer" />
+            </node>
+            <node concept="liA8E" id="4pWvZ2nbos5" role="2OqNvi">
+              <ref role="37wK5l" to="iawt:~Tracer.fired(java.lang.String,int,runtime.Constraint...):void" resolve="fired" />
+              <node concept="2YIFZM" id="4pWvZ2nbrmA" role="37wK5m">
+                <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                <ref role="37wK5l" to="wyt6:~String.valueOf(java.lang.Object):java.lang.String" resolve="valueOf" />
+                <node concept="2OqwBi" id="4pWvZ2neL77" role="37wK5m">
+                  <node concept="2OqwBi" id="4pWvZ2nbqgs" role="2Oq$k0">
+                    <node concept="37vLTw" id="4pWvZ2nbqeJ" role="2Oq$k0">
+                      <ref role="3cqZAo" node="4pWvZ2naGik" resolve="ruleApplication" />
+                    </node>
+                    <node concept="2OwXpG" id="4pWvZ2ncF8j" role="2OqNvi">
+                      <ref role="2Oxat5" node="4pWvZ2n8zAS" resolve="myProducedConstraints" />
+                    </node>
+                  </node>
+                  <node concept="3$u5V9" id="4pWvZ2neLwc" role="2OqNvi">
+                    <node concept="1bVj0M" id="4pWvZ2neLwe" role="23t8la">
+                      <node concept="3clFbS" id="4pWvZ2neLwf" role="1bW5cS">
+                        <node concept="3clFbF" id="4pWvZ2neLAH" role="3cqZAp">
+                          <node concept="2OqwBi" id="4pWvZ2neLG3" role="3clFbG">
+                            <node concept="37vLTw" id="4pWvZ2neLAG" role="2Oq$k0">
+                              <ref role="3cqZAo" node="4pWvZ2neLwg" resolve="it" />
+                            </node>
+                            <node concept="2OwXpG" id="4pWvZ2neLM1" role="2OqNvi">
+                              <ref role="2Oxat5" node="4pWvZ2n8$8b" resolve="myConstraint" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="Rh6nW" id="4pWvZ2neLwg" role="1bW2Oz">
+                        <property role="TrG5h" value="it" />
+                        <node concept="2jxLKc" id="4pWvZ2neLwh" role="1tU5fm" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3cmrfG" id="4pWvZ2nboxO" role="37wK5m">
+                <property role="3cmrfH" value="0" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4pWvZ2ncFg5" role="3cqZAp">
+          <node concept="2OqwBi" id="4pWvZ2ncFg6" role="3clFbG">
+            <node concept="37vLTw" id="4pWvZ2ncFg7" role="2Oq$k0">
+              <ref role="3cqZAo" node="4pWvZ2nbm3e" resolve="myTracer" />
+            </node>
+            <node concept="liA8E" id="4pWvZ2ncFg8" role="2OqNvi">
+              <ref role="37wK5l" to="iawt:~Tracer.fired(java.lang.String,int,runtime.Constraint...):void" resolve="fired" />
+              <node concept="Xl_RD" id="4pWvZ2ncFKj" role="37wK5m">
+                <property role="Xl_RC" value="======================================" />
+              </node>
+              <node concept="3cmrfG" id="4pWvZ2ncFgd" role="37wK5m">
+                <property role="3cmrfH" value="0" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="4pWvZ2naGik" role="3clF46">
+        <property role="TrG5h" value="ruleApplication" />
+        <node concept="3uibUv" id="4pWvZ2naGij" role="1tU5fm">
+          <ref role="3uigEE" node="4pWvZ2n8zhm" resolve="ChrSolver.RuleApplication" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4pWvZ2n3z8s" role="jymVt" />
+    <node concept="3Tm1VV" id="4pWvZ2n32$$" role="1B3o_S" />
+  </node>
 </model>