From 906f919e165f494298ed4b51b84c987d4367f103 Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Wed, 31 Jul 2019 14:29:50 +0300
Subject: [PATCH] Run coderules program analyses at generation stage. Extend
 Rule with basetag(). Adjust how rule_tag is generated for reuse in generator.

basetag() returns name of ConstraintRule without node id.
Check on whether Rule is principal are now done through basetag(), it's sufficient.
Add part of future analysis: CallerTableBuilder.
---
 build.xml                                     |   56 +-
 .../generator/template/main@generator.mps     | 2062 ++++++++++++++---
 .../jetbrains.mps.lang.coderules.eval.mps     |  277 ++-
 ...ns.mps.lang.coderules.program.analysis.mps |  240 +-
 .../models/jetbrains.mps.coderules.build.mps  |   19 +-
 ...ins.mps.coderules.incrementality@tests.mps |  230 +-
 .../jetbrains.mps.lang.coderules.template.msd |    2 +
 .../jetbrains.mps.lang.coderules.template.mps |   52 +
 .../reactor/core/internal/MatchJournalImpl.kt |    1 +
 .../mps/logic/reactor/program/Rule.java       |    7 +-
 reactor/Test/src/program/MockProgram.kt       |    2 +
 11 files changed, 2438 insertions(+), 510 deletions(-)

diff --git a/build.xml b/build.xml
index d5438f6a..d940621d 100644
--- a/build.xml
+++ b/build.xml
@@ -511,6 +511,7 @@
           <language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
           <language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
           <language id="l:96ee7a94-411d-4cf8-9b94-96cad7e52411:jetbrains.mps.baseLanguage.jdk7" />
+          <language id="l:c7d5b9dd-a05f-4be2-bc73-f2e16994cc67:jetbrains.mps.baseLanguage.lightweightdsl" />
           <language id="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
           <language id="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" />
           <language id="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" />
@@ -643,6 +644,7 @@
           <module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="cl" />
           <module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="cl" />
           <module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="cl" />
+          <module ref="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" kind="cl" />
           <module ref="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" kind="cl" />
           <module ref="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" kind="cl" />
           <module ref="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" kind="cl" />
@@ -2548,6 +2550,7 @@
           <language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
           <language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
           <language id="l:96ee7a94-411d-4cf8-9b94-96cad7e52411:jetbrains.mps.baseLanguage.jdk7" />
+          <language id="l:c7d5b9dd-a05f-4be2-bc73-f2e16994cc67:jetbrains.mps.baseLanguage.lightweightdsl" />
           <language id="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
           <language id="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" />
           <language id="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" />
@@ -2680,6 +2683,7 @@
           <module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="cl" />
           <module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="cl" />
           <module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="cl" />
+          <module ref="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" kind="cl" />
           <module ref="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" kind="cl" />
           <module ref="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" kind="cl" />
           <module ref="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" kind="cl" />
@@ -3964,7 +3968,7 @@
     <delete dir="${build.layout}" />
   </target>
   
-  <target name="compileJava" depends="java.compile.jetbrains.mps.coderules.build, java.compile.jetbrains.mps.logic.runtime, java.compile.jetbrains.mps.logic, java.compile.jetbrains.mps.logic#6626732309150416985, java.compile.jetbrains.mps.logic.test, java.compile.jetbrains.mps.lang.typechecking.runtime, java.compile.jetbrains.mps.lang.typechecking, java.compile.jetbrains.mps.lang.typechecking#01, java.compile.jetbrains.mps.coderules.typechecking, java.compile.jetbrains.mps.lang.smodel.types, java.compile.jetbrains.mps.lang.smodel.types#7345257067587611144, java.compile.jetbrains.mps.coderules.typechecking.ui, java.compile.jetbrains.mps.typechecking.annotation, java.compile.jetbrains.mps.typechecking.testlang, java.compile.jetbrains.mps.typechecking.testlang#3575255234175341581, java.compile.jetbrains.mps.coderules.typechecking.testlang.sandbox, java.compile.jetbrains.mps.coderules.typechecking.test, java.compile.jetbrains.mps.lang.controlflow.runtime, java.compile.jetbrains.mps.lang.controlflow, java.compile.jetbrains.mps.lang.controlflow#01, java.compile.jetbrains.mps.controlflow, java.compile.jetbrains.mps.controlflow.ui, java.compile.jetbrains.mps.lang.coderules, java.compile.jetbrains.mps.lang.coderules#4578927328670739933, java.compile.jetbrains.mps.lang.coderules.template, java.compile.jetbrains.mps.lang.coderules.runtime, java.compile.jetbrains.mps.coderules, java.compile.jetbrains.mps.coderules.ui, java.compile.jetbrains.mps.reporting.runtime, java.compile.jetbrains.mps.coderules.test" />
+  <target name="compileJava" depends="java.compile.jetbrains.mps.coderules.build, java.compile.jetbrains.mps.logic.runtime, java.compile.jetbrains.mps.logic, java.compile.jetbrains.mps.logic#6626732309150416985, java.compile.jetbrains.mps.logic.test, java.compile.jetbrains.mps.lang.typechecking.runtime, java.compile.jetbrains.mps.lang.typechecking, java.compile.jetbrains.mps.lang.typechecking#01, java.compile.jetbrains.mps.coderules.typechecking, java.compile.jetbrains.mps.lang.smodel.types, java.compile.jetbrains.mps.lang.smodel.types#7345257067587611144, java.compile.jetbrains.mps.coderules.typechecking.ui, java.compile.jetbrains.mps.typechecking.annotation, java.compile.jetbrains.mps.typechecking.testlang, java.compile.jetbrains.mps.typechecking.testlang#3575255234175341581, java.compile.jetbrains.mps.coderules.typechecking.testlang.sandbox, java.compile.jetbrains.mps.coderules.typechecking.test, java.compile.jetbrains.mps.lang.controlflow.runtime, java.compile.jetbrains.mps.lang.controlflow, java.compile.jetbrains.mps.lang.controlflow#01, java.compile.jetbrains.mps.controlflow, java.compile.jetbrains.mps.controlflow.ui, java.compile.jetbrains.mps.lang.coderules, java.compile.jetbrains.mps.lang.coderules#4578927328670739933, java.compile.java.modules.cycle.1, java.compile.jetbrains.mps.lang.coderules.template, java.compile.jetbrains.mps.lang.coderules.runtime, java.compile.jetbrains.mps.coderules, java.compile.jetbrains.mps.coderules.ui, java.compile.jetbrains.mps.reporting.runtime, java.compile.jetbrains.mps.coderules.test" />
   
   <target name="processResources" />
   
@@ -4118,7 +4122,6 @@
         <module file="${basedir}/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd" />
         <module file="${basedir}/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd" />
         <module file="${basedir}/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl" />
-        <module file="${basedir}/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd" />
         <module file="${basedir}/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl" />
         <module file="${basedir}/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd" />
         <module file="${basedir}/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl" />
@@ -5514,7 +5517,48 @@
     </javac>
   </target>
   
-  <target name="java.compile.jetbrains.mps.lang.coderules.template" depends="java.compile.jetbrains.mps.logic.runtime, java.compile.jetbrains.mps.reporting.runtime, fetchDependencies">
+  <target name="java.compile.java.modules.cycle.1" depends="java.compile.jetbrains.mps.logic.runtime, java.compile.jetbrains.mps.reporting.runtime, fetchDependencies">
+    <mkdir dir="${build.tmp}/java.modules.cycle.1" />
+    <javac destdir="${build.tmp}/java.modules.cycle.1" fork="true" encoding="utf8" nowarn="true" includeantruntime="false">
+      <compilerarg value="-Xlint:none" />
+      <src>
+        <path location="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.lang.coderules.template/source_gen" />
+        <path location="${mps.macro.coderules_home}/coderules/languages/jetbrains.mps.lang.coderules/runtime/source_gen" />
+      </src>
+      <classpath>
+        <fileset file="${artifacts.mps}/lib/mps-core.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-generator.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-logging.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-closures.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-collections.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-references.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-messaging.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-textgen.jar" />
+        <fileset file="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.logic.reactor/lib/collection-0.7.jar" />
+        <fileset file="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.logic.reactor/lib/trove4j-3.0.3.jar" />
+        <fileset file="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.logic.reactor/lib/conreactor-core-0.9.10.jar" />
+        <fileset file="${artifacts.mps}/lib/annotations.jar" />
+        <fileset file="${artifacts.mps}/lib/log4j.jar" />
+        <fileset file="${artifacts.mps}/lib/jdom.jar" />
+        <fileset file="${artifacts.mps}/lib/trove4j.jar" />
+        <fileset file="${artifacts.mps}/lib/ecj-4.10.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
+        <pathelement path="${build.tmp}/java/out/jetbrains.mps.logic.runtime" />
+        <pathelement path="${build.tmp}/java/out/jetbrains.mps.reporting.runtime" />
+      </classpath>
+    </javac>
+  </target>
+
+  <target name="java.compile.jetbrains.mps.lang.coderules.template" depends="java.compile.jetbrains.mps.logic.runtime, java.compile.jetbrains.mps.reporting.runtime, java.compile.java.modules.cycle.1, fetchDependencies">
     <mkdir dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.lang.coderules.template/source_gen" />
     <mkdir dir="${build.tmp}/java/out/jetbrains.mps.lang.coderules.template" />
     <javac destdir="${build.tmp}/java/out/jetbrains.mps.lang.coderules.template" fork="true" encoding="utf8" includeantruntime="false" debug="true">
@@ -5555,11 +5599,12 @@
         <fileset file="${artifacts.mps}/lib/ecj-4.10.jar" />
         <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
         <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
+        <pathelement path="${build.tmp}/java.modules.cycle.1" />
       </classpath>
     </javac>
   </target>
   
-  <target name="java.compile.jetbrains.mps.lang.coderules.runtime" depends="java.compile.jetbrains.mps.lang.coderules.template, java.compile.jetbrains.mps.logic.runtime, java.compile.jetbrains.mps.reporting.runtime, fetchDependencies">
+  <target name="java.compile.jetbrains.mps.lang.coderules.runtime" depends="java.compile.jetbrains.mps.logic.runtime, java.compile.jetbrains.mps.reporting.runtime, java.compile.java.modules.cycle.1, fetchDependencies">
     <mkdir dir="${mps.macro.coderules_home}/coderules/languages/jetbrains.mps.lang.coderules/runtime/source_gen" />
     <mkdir dir="${build.tmp}/java/out/jetbrains.mps.lang.coderules.runtime" />
     <javac destdir="${build.tmp}/java/out/jetbrains.mps.lang.coderules.runtime" fork="true" encoding="utf8" includeantruntime="false" debug="true">
@@ -5588,7 +5633,6 @@
         <fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
         <fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
         <fileset file="${artifacts.mps}/lib/mps-textgen.jar" />
-        <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.coderules.template" />
         <pathelement path="${build.tmp}/java/out/jetbrains.mps.logic.runtime" />
         <pathelement path="${build.tmp}/java/out/jetbrains.mps.reporting.runtime" />
         <fileset file="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.logic.reactor/lib/collection-0.7.jar" />
@@ -5602,6 +5646,7 @@
         <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
         <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
+        <pathelement path="${build.tmp}/java.modules.cycle.1" />
       </classpath>
     </javac>
   </target>
@@ -6046,7 +6091,6 @@
     <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.controlflow.ui/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/languages/jetbrains.mps.lang.coderules/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/languages/jetbrains.mps.lang.coderules/generator/source_gen" />
-    <delete dir="${mps.macro.coderules_home}/coderules/languages/jetbrains.mps.lang.coderules/runtime/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/languages/jetbrains.mps.lang.controlflow/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/languages/jetbrains.mps.lang.controlflow/generator/source_gen" />
     <delete dir="${mps.macro.coderules_home}/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/source_gen" />
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps
index 608de56b..20e438d6 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps
@@ -5,18 +5,19 @@
     <use id="b401a680-8325-4110-8fd3-84331ff25bef" name="jetbrains.mps.lang.generator" version="3" />
     <use id="d7706f63-9be2-479c-a3da-ae92af1e64d5" name="jetbrains.mps.lang.generator.generationContext" version="2" />
     <use id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections" version="1" />
-    <use id="13744753-c81f-424a-9c1b-cf8943bf4e86" name="jetbrains.mps.lang.sharedConcepts" version="-1" />
+    <use id="13744753-c81f-424a-9c1b-cf8943bf4e86" name="jetbrains.mps.lang.sharedConcepts" version="0" />
     <use id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem" version="4" />
     <use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="2" />
     <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="17" />
-    <use id="96ee7a94-411d-4cf8-9b94-96cad7e52411" name="jetbrains.mps.baseLanguage.jdk7" version="-1" />
+    <use id="96ee7a94-411d-4cf8-9b94-96cad7e52411" name="jetbrains.mps.baseLanguage.jdk7" version="0" />
     <use id="f159adf4-3c93-40f9-9c5a-1f245a8697af" name="jetbrains.mps.lang.aspect" version="2" />
-    <use id="69b8a993-9b87-4d96-bf0c-3559f4bb0c63" name="jetbrains.mps.lang.slanguage" version="-1" />
+    <use id="69b8a993-9b87-4d96-bf0c-3559f4bb0c63" name="jetbrains.mps.lang.slanguage" version="0" />
     <use id="df345b11-b8c7-4213-ac66-48d2a9b75d88" name="jetbrains.mps.baseLanguageInternal" version="0" />
     <use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="9" />
     <use id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures" version="0" />
     <use id="f2801650-65d5-424e-bb1b-463a8781b786" name="jetbrains.mps.baseLanguage.javadoc" version="2" />
     <use id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation" version="3" />
+    <use id="c7d5b9dd-a05f-4be2-bc73-f2e16994cc67" name="jetbrains.mps.baseLanguage.lightweightdsl" version="1" />
     <devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
   </languages>
   <imports>
@@ -48,6 +49,10 @@
     <import index="z8tp" ref="r:5bfbd177-208e-4d27-b74c-2ebd2a92eb80(jetbrains.mps.lang.smodel.types.structure)" />
     <import index="2gg1" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.errors(MPS.Core/)" />
     <import index="oy3s" ref="r:a6030cee-34eb-4503-b1bf-015fe5cd8c1a(jetbrains.mps.logic.unification)" />
+    <import index="xnrr" ref="r:4fd33103-fc30-42f4-a8cf-d1e858f21988(jetbrains.mps.lang.coderules.program.analysis)" />
+    <import index="c17a" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.language(MPS.OpenAPI/)" />
+    <import index="lui2" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.module(MPS.OpenAPI/)" />
+    <import index="9n97" ref="r:10b498c7-d1bd-4b96-8a49-bb59f0e63af3(jetbrains.mps.lang.aspect.methods)" />
     <import index="tpcu" ref="r:00000000-0000-4000-0000-011c89590282(jetbrains.mps.lang.core.behavior)" implicit="true" />
   </imports>
   <registry>
@@ -131,6 +136,10 @@
       <concept id="1164991038168" name="jetbrains.mps.baseLanguage.structure.ThrowStatement" flags="nn" index="YS8fn">
         <child id="1164991057263" name="throwable" index="YScLw" />
       </concept>
+      <concept id="1081256982272" name="jetbrains.mps.baseLanguage.structure.InstanceOfExpression" flags="nn" index="2ZW3vV">
+        <child id="1081256993305" name="classType" index="2ZW6by" />
+        <child id="1081256993304" name="leftExpression" index="2ZW6bz" />
+      </concept>
       <concept id="1070533707846" name="jetbrains.mps.baseLanguage.structure.StaticFieldReference" flags="nn" index="10M0yZ">
         <reference id="1144433057691" name="classifier" index="1PxDUh" />
       </concept>
@@ -321,6 +330,7 @@
       <concept id="1177093525992" name="jetbrains.mps.lang.generator.structure.InlineTemplate_RuleConsequence" flags="lg" index="gft3U">
         <child id="1177093586806" name="templateNode" index="gfFT$" />
       </concept>
+      <concept id="5015072279636592410" name="jetbrains.mps.lang.generator.structure.VarMacro_ValueQuery" flags="in" index="2jfdEK" />
       <concept id="1168559333462" name="jetbrains.mps.lang.generator.structure.TemplateDeclarationReference" flags="ln" index="j$656" />
       <concept id="1168559512253" name="jetbrains.mps.lang.generator.structure.DismissTopMappingRule" flags="lg" index="j$LIH">
         <child id="1169669152123" name="generatorMessage" index="1lHHLF" />
@@ -398,6 +408,12 @@
         <child id="1195501105008" name="codeBlock" index="1pqMTA" />
       </concept>
       <concept id="1195500722856" name="jetbrains.mps.lang.generator.structure.MappingScript_CodeBlock" flags="in" index="1pplIY" />
+      <concept id="1048903277984099206" name="jetbrains.mps.lang.generator.structure.VarDeclaration" flags="ng" index="1ps_xZ">
+        <child id="1048903277984099210" name="value" index="1ps_xN" />
+      </concept>
+      <concept id="1048903277984099198" name="jetbrains.mps.lang.generator.structure.VarMacro2" flags="lg" index="1ps_y7">
+        <child id="1048903277984099213" name="variables" index="1ps_xO" />
+      </concept>
       <concept id="1195502151594" name="jetbrains.mps.lang.generator.structure.MappingScriptReference" flags="lg" index="1puMqW">
         <reference id="1195502167610" name="mappingScript" index="1puQsG" />
       </concept>
@@ -480,6 +496,9 @@
         <reference id="1216860049623" name="label" index="1iwH7c" />
       </concept>
       <concept id="1216860049635" name="jetbrains.mps.lang.generator.generationContext.structure.TemplateFunctionParameter_generationContext" flags="nn" index="1iwH7S" />
+      <concept id="1048903277984174662" name="jetbrains.mps.lang.generator.generationContext.structure.GenerationContextOp_VarRef2" flags="nn" index="1psM6Z">
+        <reference id="1048903277984174663" name="vardecl" index="1psM6Y" />
+      </concept>
       <concept id="7430509679014182526" name="jetbrains.mps.lang.generator.generationContext.structure.GenerationContextOp_ContextVarRef" flags="ng" index="1qCSth">
         <property id="7430509679014182818" name="contextVarName" index="1qCSqd" />
       </concept>
@@ -566,6 +585,7 @@
         <child id="1145404616321" name="leftExpression" index="2JrQYb" />
       </concept>
       <concept id="7504436213544206332" name="jetbrains.mps.lang.smodel.structure.Node_ContainingLinkOperation" flags="nn" index="2NL2c5" />
+      <concept id="1171305280644" name="jetbrains.mps.lang.smodel.structure.Node_GetDescendantsOperation" flags="nn" index="2Rf3mk" />
       <concept id="1171315804604" name="jetbrains.mps.lang.smodel.structure.Model_RootsOperation" flags="nn" index="2RRcyG">
         <reference id="1171315804605" name="concept" index="2RRcyH" />
       </concept>
@@ -680,6 +700,10 @@
       <concept id="1172650591544" name="jetbrains.mps.baseLanguage.collections.structure.SkipOperation" flags="nn" index="7r0gD">
         <child id="1172658456740" name="elementsToSkip" index="7T0AP" />
       </concept>
+      <concept id="1226511727824" name="jetbrains.mps.baseLanguage.collections.structure.SetType" flags="in" index="2hMVRd">
+        <child id="1226511765987" name="elementType" index="2hN53Y" />
+      </concept>
+      <concept id="1226516258405" name="jetbrains.mps.baseLanguage.collections.structure.HashSetCreator" flags="nn" index="2i4dXS" />
       <concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
         <child id="1151688676805" name="elementType" index="_ZDj9" />
       </concept>
@@ -687,17 +711,37 @@
         <child id="1151689745422" name="elementType" index="A3Ik2" />
       </concept>
       <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="1235566554328" name="jetbrains.mps.baseLanguage.collections.structure.AnyOperation" flags="nn" index="2HwmR7" />
       <concept id="1237721394592" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerCreator" flags="nn" index="HWqM0">
         <child id="1237721435807" name="elementType" index="HW$YZ" />
       </concept>
+      <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="1171391069720" name="jetbrains.mps.baseLanguage.collections.structure.GetIndexOfOperation" flags="nn" index="2WmjW8" />
       <concept id="1160666733551" name="jetbrains.mps.baseLanguage.collections.structure.AddAllElementsOperation" flags="nn" index="X8dFx" />
       <concept id="1162934736510" name="jetbrains.mps.baseLanguage.collections.structure.GetElementOperation" flags="nn" index="34jXtK" />
       <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
       <concept id="1201792049884" name="jetbrains.mps.baseLanguage.collections.structure.TranslateOperation" flags="nn" index="3goQfb" />
+      <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" />
+      </concept>
+      <concept id="1197686869805" name="jetbrains.mps.baseLanguage.collections.structure.HashMapCreator" flags="nn" index="3rGOSV">
+        <child id="1197687026896" name="keyType" index="3rHrn6" />
+        <child id="1197687035757" name="valueType" index="3rHtpV" />
+      </concept>
       <concept id="1165525191778" name="jetbrains.mps.baseLanguage.collections.structure.GetFirstOperation" flags="nn" index="1uHKPH" />
       <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">
@@ -707,7 +751,14 @@
       <concept id="1225727723840" name="jetbrains.mps.baseLanguage.collections.structure.FindFirstOperation" flags="nn" index="1z4cxt" />
       <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="1240824834947" name="jetbrains.mps.baseLanguage.collections.structure.ValueAccessOperation" flags="nn" index="3AV6Ez" />
+      <concept id="1240825616499" name="jetbrains.mps.baseLanguage.collections.structure.KeyAccessOperation" flags="nn" index="3AY5_j" />
+      <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="1176501494711" name="jetbrains.mps.baseLanguage.collections.structure.IsNotEmptyOperation" flags="nn" index="3GX2aA" />
+      <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>
@@ -760,6 +811,11 @@
       <ref role="2rZz_L" to="tpee:fz12cDC" resolve="FieldDeclaration" />
       <ref role="2rTdP9" to="wq2x:6p0DfM0ia8T" resolve="RuleInputDeclaration" />
     </node>
+    <node concept="2rT7sh" id="2WtKs4ty9Bs" role="2rTMjI">
+      <property role="TrG5h" value="rule_tag_value" />
+      <ref role="2rTdP9" to="wq2x:36tQV5AmIsB" resolve="ConstraintRule" />
+      <ref role="2rZz_L" to="tpee:f$Xl_Og" resolve="StringLiteral" />
+    </node>
     <node concept="2rT7sh" id="36tQV5A_yBJ" role="2rTMjI">
       <property role="TrG5h" value="ruletemplate_class" />
       <ref role="2rTdP9" to="wq2x:36tQV5AmIsf" resolve="RuleTemplate" />
@@ -1539,55 +1595,9 @@
                   <node concept="2ShNRf" id="4sSe4$oMcNl" role="2Oq$k0">
                     <node concept="1pGfFk" id="4sSe4$oMiQP" role="2ShVmc">
                       <ref role="37wK5l" to="i348:4sSe4$oM2rk" resolve="ConstraintBuilder" />
-                      <node concept="2ShNRf" id="4sSe4$oMjqR" role="37wK5m">
-                        <node concept="1pGfFk" id="4sSe4$oMjqS" role="2ShVmc">
-                          <ref role="37wK5l" to="av0y:~ConstraintSymbol.&lt;init&gt;(java.lang.String,int)" resolve="ConstraintSymbol" />
-                          <node concept="Xl_RD" id="4sSe4$oMjqT" role="37wK5m">
-                            <property role="Xl_RC" value="name" />
-                            <node concept="17Uvod" id="4sSe4$oMjqU" role="lGtFl">
-                              <property role="2qtEX9" value="value" />
-                              <property role="P4ACc" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1070475926800/1070475926801" />
-                              <node concept="3zFVjK" id="4sSe4$oMjqV" role="3zH0cK">
-                                <node concept="3clFbS" id="4sSe4$oMjqW" role="2VODD2">
-                                  <node concept="3clFbF" id="4sSe4$oMjqX" role="3cqZAp">
-                                    <node concept="2OqwBi" id="4sSe4$oMjqY" role="3clFbG">
-                                      <node concept="2OqwBi" id="4sSe4$oMjqZ" role="2Oq$k0">
-                                        <node concept="30H73N" id="4sSe4$oMjr0" role="2Oq$k0" />
-                                        <node concept="3TrEf2" id="4sSe4$oMjr1" role="2OqNvi">
-                                          <ref role="3Tt5mk" to="wq2x:6p0DfM0aywA" resolve="template" />
-                                        </node>
-                                      </node>
-                                      <node concept="3TrcHB" id="4sSe4$oMjr2" role="2OqNvi">
-                                        <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="3cmrfG" id="4sSe4$oMjr3" role="37wK5m">
-                            <property role="3cmrfH" value="1" />
-                            <node concept="17Uvod" id="4sSe4$oMjr4" role="lGtFl">
-                              <property role="P4ACc" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580320020/1068580320021" />
-                              <property role="2qtEX9" value="value" />
-                              <node concept="3zFVjK" id="4sSe4$oMjr5" role="3zH0cK">
-                                <node concept="3clFbS" id="4sSe4$oMjr6" role="2VODD2">
-                                  <node concept="3clFbF" id="4sSe4$oMjr7" role="3cqZAp">
-                                    <node concept="2OqwBi" id="4sSe4$oMjr8" role="3clFbG">
-                                      <node concept="2OqwBi" id="4sSe4$oMjr9" role="2Oq$k0">
-                                        <node concept="3Tsc0h" id="4sSe4$oMjra" role="2OqNvi">
-                                          <ref role="3TtcxE" to="wq2x:6p0DfM0et2r" resolve="argument" />
-                                        </node>
-                                        <node concept="30H73N" id="4sSe4$oMjrb" role="2Oq$k0" />
-                                      </node>
-                                      <node concept="34oBXx" id="4sSe4$oMjrc" role="2OqNvi" />
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
+                      <node concept="10Nm6u" id="2WtKs4t_Kb8" role="37wK5m">
+                        <node concept="5jKBG" id="2WtKs4t_Kb9" role="lGtFl">
+                          <ref role="v9R2y" node="2WtKs4tys2W" resolve="constraint_sym" />
                         </node>
                       </node>
                     </node>
@@ -1681,55 +1691,9 @@
                     <node concept="2ShNRf" id="4sSe4$p4Qe8" role="2Oq$k0">
                       <node concept="1pGfFk" id="4sSe4$p4Qe9" role="2ShVmc">
                         <ref role="37wK5l" to="i348:4sSe4$oM2rk" resolve="ConstraintBuilder" />
-                        <node concept="2ShNRf" id="4sSe4$p4Qea" role="37wK5m">
-                          <node concept="1pGfFk" id="4sSe4$p4Qeb" role="2ShVmc">
-                            <ref role="37wK5l" to="av0y:~ConstraintSymbol.&lt;init&gt;(java.lang.String,int)" resolve="ConstraintSymbol" />
-                            <node concept="Xl_RD" id="4sSe4$p4Qec" role="37wK5m">
-                              <property role="Xl_RC" value="name" />
-                              <node concept="17Uvod" id="4sSe4$p4Qed" role="lGtFl">
-                                <property role="2qtEX9" value="value" />
-                                <property role="P4ACc" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1070475926800/1070475926801" />
-                                <node concept="3zFVjK" id="4sSe4$p4Qee" role="3zH0cK">
-                                  <node concept="3clFbS" id="4sSe4$p4Qef" role="2VODD2">
-                                    <node concept="3clFbF" id="4sSe4$p4Qeg" role="3cqZAp">
-                                      <node concept="2OqwBi" id="4sSe4$p4Qeh" role="3clFbG">
-                                        <node concept="2OqwBi" id="4sSe4$p4Qei" role="2Oq$k0">
-                                          <node concept="30H73N" id="4sSe4$p4Qej" role="2Oq$k0" />
-                                          <node concept="3TrEf2" id="4sSe4$p4Qek" role="2OqNvi">
-                                            <ref role="3Tt5mk" to="wq2x:6p0DfM0aywA" resolve="template" />
-                                          </node>
-                                        </node>
-                                        <node concept="3TrcHB" id="4sSe4$p4Qel" role="2OqNvi">
-                                          <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
-                                        </node>
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="3cmrfG" id="4sSe4$p4Qem" role="37wK5m">
-                              <property role="3cmrfH" value="1" />
-                              <node concept="17Uvod" id="4sSe4$p4Qen" role="lGtFl">
-                                <property role="P4ACc" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580320020/1068580320021" />
-                                <property role="2qtEX9" value="value" />
-                                <node concept="3zFVjK" id="4sSe4$p4Qeo" role="3zH0cK">
-                                  <node concept="3clFbS" id="4sSe4$p4Qep" role="2VODD2">
-                                    <node concept="3clFbF" id="4sSe4$p4Qeq" role="3cqZAp">
-                                      <node concept="2OqwBi" id="4sSe4$p4Qer" role="3clFbG">
-                                        <node concept="2OqwBi" id="4sSe4$p4Qes" role="2Oq$k0">
-                                          <node concept="3Tsc0h" id="4sSe4$p4Qet" role="2OqNvi">
-                                            <ref role="3TtcxE" to="wq2x:6p0DfM0et2r" resolve="argument" />
-                                          </node>
-                                          <node concept="30H73N" id="4sSe4$p4Qeu" role="2Oq$k0" />
-                                        </node>
-                                        <node concept="34oBXx" id="4sSe4$p4Qev" role="2OqNvi" />
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
+                        <node concept="10Nm6u" id="2WtKs4t_KiD" role="37wK5m">
+                          <node concept="5jKBG" id="2WtKs4t_KiE" role="lGtFl">
+                            <ref role="v9R2y" node="2WtKs4tys2W" resolve="constraint_sym" />
                           </node>
                         </node>
                       </node>
@@ -3176,7 +3140,25 @@
         <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
       </node>
     </node>
-    <node concept="2tJIrI" id="4MqhgXUaiGi" role="jymVt" />
+    <node concept="2tJIrI" id="2WtKs4tDB1W" role="jymVt" />
+    <node concept="3clFb_" id="2WtKs4tZmRg" role="jymVt">
+      <property role="TrG5h" value="analyses" />
+      <node concept="3clFbS" id="2WtKs4tZmRj" role="3clF47">
+        <node concept="3clFbF" id="2WtKs4u1bEl" role="3cqZAp">
+          <node concept="37vLTw" id="2WtKs4u1bEk" role="3clFbG">
+            <ref role="3cqZAo" node="2WtKs4tZo75" resolve="analyses" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="2WtKs4tZmDZ" role="1B3o_S" />
+      <node concept="3uibUv" id="2WtKs4u1bS7" role="3clF45">
+        <ref role="3uigEE" node="7m2UX3UIaN5" resolve="SimpleProgramAnalysis0" />
+      </node>
+      <node concept="2AHcQZ" id="2WtKs4tZneF" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2WtKs4tDAI5" role="jymVt" />
     <node concept="3clFb_" id="4MqhgXUajMY" role="jymVt">
       <property role="TrG5h" value="init" />
       <node concept="3cqZAl" id="4MqhgXUajN0" role="3clF45" />
@@ -3368,6 +3350,68 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbJ" id="2WtKs4tDCiq" role="3cqZAp">
+          <node concept="3clFbS" id="2WtKs4tDCis" role="3clFbx">
+            <node concept="3cpWs8" id="2Ap6smv3i_" role="3cqZAp">
+              <node concept="3cpWsn" id="2Ap6smv3iA" role="3cpWs9">
+                <property role="TrG5h" value="builder" />
+                <node concept="3uibUv" id="2Ap6smv3iB" role="1tU5fm">
+                  <ref role="3uigEE" node="7m2UX3UIaN5" resolve="SimpleProgramAnalysis0" />
+                </node>
+                <node concept="2ShNRf" id="2Ap6smv3iC" role="33vP2m">
+                  <node concept="1pGfFk" id="2Ap6smv3iD" role="2ShVmc">
+                    <ref role="37wK5l" node="2WtKs4tYohZ" resolve="SimpleProgramAnalysis0" />
+                    <node concept="1ZhdrF" id="2Ap6smv3iE" role="lGtFl">
+                      <property role="2qtEX8" value="baseMethodDeclaration" />
+                      <property role="P3scX" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1204053956946/1068499141037" />
+                      <node concept="3$xsQk" id="2Ap6smv3iF" role="3$ytzL">
+                        <node concept="3clFbS" id="2Ap6smv3iG" role="2VODD2">
+                          <node concept="3clFbF" id="2Ap6smv3iH" role="3cqZAp">
+                            <node concept="2OqwBi" id="2Ap6smv3iI" role="3clFbG">
+                              <node concept="1iwH7S" id="2Ap6smv3iJ" role="2Oq$k0" />
+                              <node concept="1iwH7d" id="2Ap6smv3iK" role="2OqNvi">
+                                <ref role="1iwH7c" node="2WtKs4tYtzV" resolve="simple_analysis_ctor" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="2WtKs4tY_nQ" role="3cqZAp">
+              <node concept="2OqwBi" id="2WtKs4tY_xE" role="3clFbG">
+                <node concept="37vLTw" id="2Ap6smxBmg" role="2Oq$k0">
+                  <ref role="3cqZAo" node="2Ap6smv3iA" resolve="builder" />
+                </node>
+                <node concept="liA8E" id="2WtKs4tY_Es" role="2OqNvi">
+                  <ref role="37wK5l" to="xnrr:1H_6AUSXuxC" resolve="run" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="2WtKs4tZozH" role="3cqZAp">
+              <node concept="37vLTI" id="2WtKs4tZp8p" role="3clFbG">
+                <node concept="37vLTw" id="2Ap6smxBn2" role="37vLTx">
+                  <ref role="3cqZAo" node="2Ap6smv3iA" resolve="builder" />
+                </node>
+                <node concept="2OqwBi" id="2WtKs4tZoGI" role="37vLTJ">
+                  <node concept="Xjq3P" id="2WtKs4tZozF" role="2Oq$k0" />
+                  <node concept="2OwXpG" id="2WtKs4tZoUW" role="2OqNvi">
+                    <ref role="2Oxat5" node="2WtKs4tZo75" resolve="analyses" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbC" id="2WtKs4tDCvM" role="3clFbw">
+            <node concept="10Nm6u" id="2WtKs4tDC_p" role="3uHU7w" />
+            <node concept="37vLTw" id="2WtKs4tZotj" role="3uHU7B">
+              <ref role="3cqZAo" node="2WtKs4tZo75" resolve="analyses" />
+            </node>
+          </node>
+        </node>
       </node>
     </node>
     <node concept="2tJIrI" id="20Ay2Vf4BEv" role="jymVt" />
@@ -3389,6 +3433,13 @@
         </node>
       </node>
     </node>
+    <node concept="312cEg" id="2WtKs4tZo75" role="jymVt">
+      <property role="TrG5h" value="analyses" />
+      <node concept="3Tm6S6" id="2WtKs4tZnI9" role="1B3o_S" />
+      <node concept="3uibUv" id="2WtKs4tZo3T" role="1tU5fm">
+        <ref role="3uigEE" node="7m2UX3UIaN5" resolve="SimpleProgramAnalysis0" />
+      </node>
+    </node>
   </node>
   <node concept="bUwia" id="6FQzrygS9cb">
     <property role="TrG5h" value="rulemethod" />
@@ -6788,57 +6839,14 @@
                         </node>
                       </node>
                       <node concept="3cpWs3" id="36tQV5AHea5" role="3uHU7B">
-                        <node concept="Xl_RD" id="36tQV5AHea6" role="3uHU7B">
-                          <property role="Xl_RC" value="" />
-                          <node concept="17Uvod" id="36tQV5AHea7" role="lGtFl">
-                            <property role="P4ACc" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1070475926800/1070475926801" />
-                            <property role="2qtEX9" value="value" />
-                            <node concept="3zFVjK" id="36tQV5AHea8" role="3zH0cK">
-                              <node concept="3clFbS" id="36tQV5AHea9" role="2VODD2">
-                                <node concept="3cpWs8" id="36tQV5AHeaa" role="3cqZAp">
-                                  <node concept="3cpWsn" id="36tQV5AHeab" role="3cpWs9">
-                                    <property role="TrG5h" value="rt" />
-                                    <node concept="3Tqbb2" id="36tQV5AHeac" role="1tU5fm">
-                                      <ref role="ehGHo" to="wq2x:36tQV5AmIsf" resolve="RuleTemplate" />
-                                    </node>
-                                    <node concept="2OqwBi" id="36tQV5AHead" role="33vP2m">
-                                      <node concept="30H73N" id="36tQV5AHeae" role="2Oq$k0" />
-                                      <node concept="2Xjw5R" id="36tQV5AHeaf" role="2OqNvi">
-                                        <node concept="1xMEDy" id="36tQV5AHeag" role="1xVPHs">
-                                          <node concept="chp4Y" id="36tQV5AHeah" role="ri$Ld">
-                                            <ref role="cht4Q" to="wq2x:36tQV5AmIsf" resolve="RuleTemplate" />
-                                          </node>
-                                        </node>
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                                <node concept="3clFbF" id="36tQV5AHeai" role="3cqZAp">
-                                  <node concept="2OqwBi" id="36tQV5AHeaj" role="3clFbG">
-                                    <node concept="1iwH7S" id="36tQV5AHeak" role="2Oq$k0" />
-                                    <node concept="32eq0B" id="36tQV5AHeal" role="2OqNvi">
-                                      <property role="32f$Ya" value="true" />
-                                      <node concept="2OqwBi" id="36tQV5AHeam" role="32eq0w">
-                                        <node concept="37vLTw" id="36tQV5AHean" role="2Oq$k0">
-                                          <ref role="3cqZAo" node="36tQV5AHeab" resolve="rt" />
-                                        </node>
-                                        <node concept="3TrcHB" id="36tQV5AHeao" role="2OqNvi">
-                                          <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
-                                        </node>
-                                      </node>
-                                      <node concept="37vLTw" id="36tQV5AHeap" role="32eq0x">
-                                        <ref role="3cqZAo" node="36tQV5AHeab" resolve="rt" />
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                        </node>
                         <node concept="Xl_RD" id="36tQV5AHeaq" role="3uHU7w">
                           <property role="Xl_RC" value="_" />
                         </node>
+                        <node concept="Xl_RD" id="6xVZN2upMoO" role="3uHU7B">
+                          <node concept="5jKBG" id="6xVZN2upMEn" role="lGtFl">
+                            <ref role="v9R2y" node="6xVZN2uppfW" resolve="rule_basename" />
+                          </node>
+                        </node>
                       </node>
                       <node concept="raruj" id="36tQV5AHear" role="lGtFl" />
                     </node>
@@ -6940,57 +6948,14 @@
                       <node concept="3cpWs3" id="36tQV5AHrgg" role="3uHU7B">
                         <node concept="3cpWs3" id="36tQV5AHrgh" role="3uHU7B">
                           <node concept="3cpWs3" id="36tQV5AHrgi" role="3uHU7B">
-                            <node concept="Xl_RD" id="36tQV5AHrgj" role="3uHU7B">
-                              <property role="Xl_RC" value="" />
-                              <node concept="17Uvod" id="36tQV5AHrgk" role="lGtFl">
-                                <property role="P4ACc" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1070475926800/1070475926801" />
-                                <property role="2qtEX9" value="value" />
-                                <node concept="3zFVjK" id="36tQV5AHrgl" role="3zH0cK">
-                                  <node concept="3clFbS" id="36tQV5AHrgm" role="2VODD2">
-                                    <node concept="3cpWs8" id="36tQV5AHrgn" role="3cqZAp">
-                                      <node concept="3cpWsn" id="36tQV5AHrgo" role="3cpWs9">
-                                        <property role="TrG5h" value="rt" />
-                                        <node concept="3Tqbb2" id="36tQV5AHrgp" role="1tU5fm">
-                                          <ref role="ehGHo" to="wq2x:36tQV5AmIsf" resolve="RuleTemplate" />
-                                        </node>
-                                        <node concept="2OqwBi" id="36tQV5AHrgq" role="33vP2m">
-                                          <node concept="30H73N" id="36tQV5AHrgr" role="2Oq$k0" />
-                                          <node concept="2Xjw5R" id="36tQV5AHrgs" role="2OqNvi">
-                                            <node concept="1xMEDy" id="36tQV5AHrgt" role="1xVPHs">
-                                              <node concept="chp4Y" id="36tQV5AHrgu" role="ri$Ld">
-                                                <ref role="cht4Q" to="wq2x:36tQV5AmIsf" resolve="RuleTemplate" />
-                                              </node>
-                                            </node>
-                                          </node>
-                                        </node>
-                                      </node>
-                                    </node>
-                                    <node concept="3clFbF" id="36tQV5AHrgv" role="3cqZAp">
-                                      <node concept="2OqwBi" id="36tQV5AHrgw" role="3clFbG">
-                                        <node concept="1iwH7S" id="36tQV5AHrgx" role="2Oq$k0" />
-                                        <node concept="32eq0B" id="36tQV5AHrgy" role="2OqNvi">
-                                          <property role="32f$Ya" value="true" />
-                                          <node concept="2OqwBi" id="36tQV5AHrgz" role="32eq0w">
-                                            <node concept="37vLTw" id="36tQV5AHrg$" role="2Oq$k0">
-                                              <ref role="3cqZAo" node="36tQV5AHrgo" resolve="rt" />
-                                            </node>
-                                            <node concept="3TrcHB" id="36tQV5AHrg_" role="2OqNvi">
-                                              <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
-                                            </node>
-                                          </node>
-                                          <node concept="37vLTw" id="36tQV5AHrgA" role="32eq0x">
-                                            <ref role="3cqZAo" node="36tQV5AHrgo" resolve="rt" />
-                                          </node>
-                                        </node>
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
                             <node concept="Xl_RD" id="36tQV5AHrgB" role="3uHU7w">
                               <property role="Xl_RC" value="_" />
                             </node>
+                            <node concept="Xl_RD" id="6xVZN2upNMF" role="3uHU7B">
+                              <node concept="5jKBG" id="6xVZN2upNMG" role="lGtFl">
+                                <ref role="v9R2y" node="6xVZN2uppfW" resolve="rule_basename" />
+                              </node>
+                            </node>
                           </node>
                           <node concept="2YIFZM" id="36tQV5AHrgC" role="3uHU7w">
                             <ref role="1Pybhc" to="18ew:~NameUtil" resolve="NameUtil" />
@@ -7208,55 +7173,13 @@
                 </node>
               </node>
               <node concept="3clFbS" id="36tQV5AEsNa" role="3clF47">
-                <node concept="3clFbF" id="36tQV5AEsNb" role="3cqZAp">
-                  <node concept="Xl_RD" id="36tQV5AEsNc" role="3clFbG">
+                <node concept="3clFbF" id="6xVZN2uvqGI" role="3cqZAp">
+                  <node concept="Xl_RD" id="6xVZN2uvqHk" role="3clFbG">
                     <property role="Xl_RC" value="" />
-                    <node concept="17Uvod" id="36tQV5AEsNd" role="lGtFl">
-                      <property role="P4ACc" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1070475926800/1070475926801" />
-                      <property role="2qtEX9" value="value" />
-                      <node concept="3zFVjK" id="36tQV5AEsNe" role="3zH0cK">
-                        <node concept="3clFbS" id="36tQV5AEsNf" role="2VODD2">
-                          <node concept="3cpWs8" id="36tQV5AEVaP" role="3cqZAp">
-                            <node concept="3cpWsn" id="36tQV5AEVaQ" role="3cpWs9">
-                              <property role="TrG5h" value="tpl" />
-                              <node concept="3Tqbb2" id="36tQV5AEVaR" role="1tU5fm">
-                                <ref role="ehGHo" to="wq2x:6OXbTDyHcuD" resolve="Template" />
-                              </node>
-                              <node concept="2OqwBi" id="36tQV5AEVaS" role="33vP2m">
-                                <node concept="30H73N" id="36tQV5AEVaT" role="2Oq$k0" />
-                                <node concept="2Xjw5R" id="36tQV5AEVaU" role="2OqNvi">
-                                  <node concept="1xMEDy" id="36tQV5AEVaV" role="1xVPHs">
-                                    <node concept="chp4Y" id="6OXbTDyHe$q" role="ri$Ld">
-                                      <ref role="cht4Q" to="wq2x:6OXbTDyHcuD" resolve="Template" />
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="3clFbF" id="36tQV5AEVaX" role="3cqZAp">
-                            <node concept="2OqwBi" id="36tQV5AEVaY" role="3clFbG">
-                              <node concept="1iwH7S" id="36tQV5AEVaZ" role="2Oq$k0" />
-                              <node concept="32eq0B" id="36tQV5AEVb0" role="2OqNvi">
-                                <property role="32f$Ya" value="true" />
-                                <node concept="2OqwBi" id="36tQV5AEVb1" role="32eq0w">
-                                  <node concept="37vLTw" id="36tQV5AEVb2" role="2Oq$k0">
-                                    <ref role="3cqZAo" node="36tQV5AEVaQ" resolve="tpl" />
-                                  </node>
-                                  <node concept="3TrcHB" id="36tQV5AEVb3" role="2OqNvi">
-                                    <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
-                                  </node>
-                                </node>
-                                <node concept="37vLTw" id="36tQV5AEVb4" role="32eq0x">
-                                  <ref role="3cqZAo" node="36tQV5AEVaQ" resolve="tpl" />
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
+                    <node concept="raruj" id="6xVZN2uvqHH" role="lGtFl" />
+                    <node concept="5jKBG" id="6xVZN2uvqKj" role="lGtFl">
+                      <ref role="v9R2y" node="6xVZN2uppfW" resolve="rule_basename" />
                     </node>
-                    <node concept="raruj" id="36tQV5AEsNk" role="lGtFl" />
                   </node>
                 </node>
               </node>
@@ -10683,6 +10606,21 @@
           </node>
         </node>
         <node concept="2tJIrI" id="60NbDCXGBZG" role="jymVt" />
+        <node concept="raruj" id="1GNw78$HYGg" role="lGtFl" />
+        <node concept="1WS0z7" id="4JJCDIm$BmK" role="lGtFl">
+          <node concept="3JmXsc" id="4JJCDIm$BmN" role="3Jn$fo">
+            <node concept="3clFbS" id="4JJCDIm$BmO" role="2VODD2">
+              <node concept="3clFbF" id="4JJCDIm$BmU" role="3cqZAp">
+                <node concept="2OqwBi" id="4JJCDIm$BmP" role="3clFbG">
+                  <node concept="3Tsc0h" id="4JJCDIm$BmS" role="2OqNvi">
+                    <ref role="3TtcxE" to="wq2x:1pPth$m5B4Y" resolve="macro" />
+                  </node>
+                  <node concept="30H73N" id="4JJCDIm$BmT" role="2Oq$k0" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="3clFb_" id="5DUvKnrzkxX" role="jymVt">
           <property role="TrG5h" value="doExpand" />
           <property role="1EzhhJ" value="false" />
@@ -10751,21 +10689,6 @@
           </node>
         </node>
         <node concept="2tJIrI" id="5DUvKnrzkxW" role="jymVt" />
-        <node concept="raruj" id="1GNw78$HYGg" role="lGtFl" />
-        <node concept="1WS0z7" id="4JJCDIm$BmK" role="lGtFl">
-          <node concept="3JmXsc" id="4JJCDIm$BmN" role="3Jn$fo">
-            <node concept="3clFbS" id="4JJCDIm$BmO" role="2VODD2">
-              <node concept="3clFbF" id="4JJCDIm$BmU" role="3cqZAp">
-                <node concept="2OqwBi" id="4JJCDIm$BmP" role="3clFbG">
-                  <node concept="3Tsc0h" id="4JJCDIm$BmS" role="2OqNvi">
-                    <ref role="3TtcxE" to="wq2x:1pPth$m5B4Y" resolve="macro" />
-                  </node>
-                  <node concept="30H73N" id="4JJCDIm$BmT" role="2Oq$k0" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
       </node>
       <node concept="2tJIrI" id="1GNw78$HcHg" role="jymVt" />
       <node concept="3Tm1VV" id="1GNw78$HcGO" role="1B3o_S" />
@@ -14078,6 +14001,12 @@
                           <node concept="2ShNRf" id="36tQV5AxhQ4" role="33vP2m">
                             <node concept="1pGfFk" id="36tQV5AxhQ5" role="2ShVmc">
                               <ref role="37wK5l" to="i348:7nPD14OeqYJ" resolve="RuleBuilder" />
+                              <node concept="Xl_RD" id="6xVZN2uAsCL" role="37wK5m">
+                                <property role="Xl_RC" value="" />
+                                <node concept="5jKBG" id="6xVZN2uAt2r" role="lGtFl">
+                                  <ref role="v9R2y" node="6xVZN2uppfW" resolve="rule_basename" />
+                                </node>
+                              </node>
                               <node concept="Xl_RD" id="36tQV5AxhQ6" role="37wK5m">
                                 <property role="Xl_RC" value="" />
                                 <node concept="1sPUBX" id="36tQV5AxhQ7" role="lGtFl">
@@ -15177,6 +15106,23 @@
             <node concept="37vLTI" id="6tPOoeT3Z1R" role="3clFbG">
               <node concept="1eOMI4" id="6tPOoeT3Z1S" role="37vLTx">
                 <node concept="10QFUN" id="6tPOoeT3Z1T" role="1eOMHV">
+                  <node concept="3uibUv" id="6tPOoeT3Z1U" role="10QFUM">
+                    <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+                    <node concept="29HgVG" id="6tPOoeT3Z1V" role="lGtFl">
+                      <node concept="3NFfHV" id="6tPOoeT3Z1W" role="3NFExx">
+                        <node concept="3clFbS" id="6tPOoeT3Z1X" role="2VODD2">
+                          <node concept="3clFbF" id="6tPOoeT3Z1Y" role="3cqZAp">
+                            <node concept="2OqwBi" id="6tPOoeT3Z1Z" role="3clFbG">
+                              <node concept="30H73N" id="6tPOoeT3Z20" role="2Oq$k0" />
+                              <node concept="3TrEf2" id="6tPOoeT3Z21" role="2OqNvi">
+                                <ref role="3Tt5mk" to="wq2x:2BZXJecQkiP" resolve="type" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
                   <node concept="AH0OO" id="6tPOoeT3Z22" role="10QFUP">
                     <node concept="3cmrfG" id="6tPOoeT3Z23" role="AHEQo">
                       <property role="3cmrfH" value="0" />
@@ -15201,23 +15147,6 @@
                       <ref role="3cqZAo" node="6tPOoeT3Z1E" resolve="parameter" />
                     </node>
                   </node>
-                  <node concept="3uibUv" id="6tPOoeT3Z1U" role="10QFUM">
-                    <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-                    <node concept="29HgVG" id="6tPOoeT3Z1V" role="lGtFl">
-                      <node concept="3NFfHV" id="6tPOoeT3Z1W" role="3NFExx">
-                        <node concept="3clFbS" id="6tPOoeT3Z1X" role="2VODD2">
-                          <node concept="3clFbF" id="6tPOoeT3Z1Y" role="3cqZAp">
-                            <node concept="2OqwBi" id="6tPOoeT3Z1Z" role="3clFbG">
-                              <node concept="30H73N" id="6tPOoeT3Z20" role="2Oq$k0" />
-                              <node concept="3TrEf2" id="6tPOoeT3Z21" role="2OqNvi">
-                                <ref role="3Tt5mk" to="wq2x:2BZXJecQkiP" resolve="type" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
                 </node>
               </node>
               <node concept="2OqwBi" id="6tPOoeT3Z2c" role="37vLTJ">
@@ -15395,6 +15324,23 @@
       <node concept="312cEg" id="6tPOoeT3Z3q" role="jymVt">
         <property role="TrG5h" value="parameter" />
         <node concept="3Tmbuc" id="6tPOoeT3Z3r" role="1B3o_S" />
+        <node concept="3uibUv" id="6tPOoeT3Z3s" role="1tU5fm">
+          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+          <node concept="29HgVG" id="6tPOoeT3Z3t" role="lGtFl">
+            <node concept="3NFfHV" id="6tPOoeT3Z3u" role="3NFExx">
+              <node concept="3clFbS" id="6tPOoeT3Z3v" role="2VODD2">
+                <node concept="3clFbF" id="6tPOoeT3Z3w" role="3cqZAp">
+                  <node concept="2OqwBi" id="6tPOoeT3Z3x" role="3clFbG">
+                    <node concept="30H73N" id="6tPOoeT3Z3y" role="2Oq$k0" />
+                    <node concept="3TrEf2" id="6tPOoeT3Z3z" role="2OqNvi">
+                      <ref role="3Tt5mk" to="wq2x:2BZXJecQkiP" resolve="type" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="1WS0z7" id="6tPOoeT3Z3$" role="lGtFl">
           <ref role="2rW$FS" node="2BZXJecSPIi" resolve="query_parameter" />
           <node concept="3JmXsc" id="6tPOoeT3Z3_" role="3Jn$fo">
@@ -15435,23 +15381,6 @@
             </node>
           </node>
         </node>
-        <node concept="3uibUv" id="6tPOoeT3Z3s" role="1tU5fm">
-          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-          <node concept="29HgVG" id="6tPOoeT3Z3t" role="lGtFl">
-            <node concept="3NFfHV" id="6tPOoeT3Z3u" role="3NFExx">
-              <node concept="3clFbS" id="6tPOoeT3Z3v" role="2VODD2">
-                <node concept="3clFbF" id="6tPOoeT3Z3w" role="3cqZAp">
-                  <node concept="2OqwBi" id="6tPOoeT3Z3x" role="3clFbG">
-                    <node concept="30H73N" id="6tPOoeT3Z3y" role="2Oq$k0" />
-                    <node concept="3TrEf2" id="6tPOoeT3Z3z" role="2OqNvi">
-                      <ref role="3Tt5mk" to="wq2x:2BZXJecQkiP" resolve="type" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
       </node>
       <node concept="312cEg" id="6tPOoeT3Z3Q" role="jymVt">
         <property role="TrG5h" value="logical" />
@@ -15579,13 +15508,16 @@
           <node concept="312cEg" id="2BZXJecSPWw" role="jymVt">
             <property role="TrG5h" value="field" />
             <node concept="3Tm6S6" id="2BZXJecSPWx" role="1B3o_S" />
-            <node concept="10Nm6u" id="2BZXJecSRfA" role="33vP2m" />
             <node concept="3uibUv" id="2BZXJecSPWO" role="1tU5fm">
               <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
             </node>
+            <node concept="10Nm6u" id="2BZXJecSRfA" role="33vP2m" />
           </node>
           <node concept="3clFb_" id="2BZXJecSPXx" role="jymVt">
             <property role="TrG5h" value="method" />
+            <node concept="3uibUv" id="2BZXJecSPZB" role="3clF45">
+              <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+            </node>
             <node concept="3Tm6S6" id="2BZXJecSPX$" role="1B3o_S" />
             <node concept="3clFbS" id="2BZXJecSPX_" role="3clF47">
               <node concept="3clFbH" id="2BZXJecSRkq" role="3cqZAp" />
@@ -15619,9 +15551,6 @@
               </node>
               <node concept="3clFbH" id="2BZXJecSRoz" role="3cqZAp" />
             </node>
-            <node concept="3uibUv" id="2BZXJecSPZB" role="3clF45">
-              <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-            </node>
           </node>
           <node concept="3Tm6S6" id="2BZXJecSPW7" role="1B3o_S" />
         </node>
@@ -16091,5 +16020,1542 @@
       </node>
     </node>
   </node>
+  <node concept="312cEu" id="7m2UX3UIaN5">
+    <property role="TrG5h" value="SimpleProgramAnalysis0" />
+    <property role="3GE5qa" value="analysis" />
+    <node concept="2tJIrI" id="7m2UX3UIaQQ" role="jymVt" />
+    <node concept="3clFbW" id="2WtKs4tYohZ" role="jymVt">
+      <node concept="3cqZAl" id="2WtKs4tYoi0" role="3clF45" />
+      <node concept="3Tm1VV" id="2WtKs4tYp6X" role="1B3o_S" />
+      <node concept="3clFbS" id="2WtKs4tYoi2" role="3clF47">
+        <node concept="3clFbF" id="2WtKs4tZqG$" role="3cqZAp">
+          <node concept="1rXfSq" id="2WtKs4tZqGz" role="3clFbG">
+            <ref role="37wK5l" to="xnrr:1H_6AUSXuxC" resolve="run" />
+          </node>
+        </node>
+      </node>
+      <node concept="2ZBi8u" id="2WtKs4tYoi5" role="lGtFl">
+        <ref role="2rW$FS" node="2WtKs4tYtzV" resolve="simple_analysis_ctor" />
+      </node>
+    </node>
+    <node concept="3clFb_" id="1H_6AUSWw$W" role="jymVt">
+      <property role="TrG5h" value="getPrincipalCtrs" />
+      <node concept="3clFbS" id="1H_6AUSWw$Z" role="3clF47">
+        <node concept="3cpWs6" id="1H_6AUSWEbu" role="3cqZAp">
+          <node concept="2OqwBi" id="1H_6AUSWIW9" role="3cqZAk">
+            <node concept="37vLTw" id="1H_6AUSWGif" role="2Oq$k0">
+              <ref role="3cqZAo" node="1H_6AUSWicQ" resolve="principalCtrs" />
+            </node>
+            <node concept="26Dbio" id="1H_6AUSWNcx" role="2OqNvi" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="1H_6AUSWtAf" role="1B3o_S" />
+      <node concept="2hMVRd" id="1H_6AUSWyK4" role="3clF45">
+        <node concept="3uibUv" id="1H_6AUSW_KF" role="2hN53Y">
+          <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
+        </node>
+      </node>
+      <node concept="2AHcQZ" id="1H_6AUT3d6s" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="1TR62lz4AqW" role="jymVt" />
+    <node concept="3clFb_" id="1TR62lz4zh2" role="jymVt">
+      <property role="TrG5h" value="getPrincipalRules" />
+      <node concept="3clFbS" id="1TR62lz4zh5" role="3clF47">
+        <node concept="3cpWs6" id="1TR62lz4DHg" role="3cqZAp">
+          <node concept="2OqwBi" id="1TR62lz4H_B" role="3cqZAk">
+            <node concept="37vLTw" id="1TR62lz4DI$" role="2Oq$k0">
+              <ref role="3cqZAo" node="1TR62lz31TZ" resolve="principalRulesTags" />
+            </node>
+            <node concept="26Dbio" id="1TR62lz4KoO" role="2OqNvi" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="1TR62lz4umo" role="1B3o_S" />
+      <node concept="2hMVRd" id="1TR62lz4z82" role="3clF45">
+        <node concept="3uibUv" id="1TR62lz4_TU" role="2hN53Y">
+          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+        </node>
+      </node>
+      <node concept="2AHcQZ" id="1TR62lz4N_o" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2WtKs4tDIIo" role="jymVt" />
+    <node concept="3clFb_" id="1tFmpKdQTMg" role="jymVt">
+      <property role="TrG5h" value="getSpec" />
+      <node concept="3clFbS" id="1tFmpKdQTMj" role="3clF47">
+        <node concept="3cpWs6" id="1tFmpKdQWVy" role="3cqZAp">
+          <node concept="2ShNRf" id="1tFmpKdQWWb" role="3cqZAk">
+            <node concept="1pGfFk" id="1tFmpKdR2Qb" role="2ShVmc">
+              <ref role="37wK5l" to="xnrr:1H_6AUT3r6M" resolve="SimpleSpec" />
+              <node concept="2OqwBi" id="1tFmpKdRj8k" role="37wK5m">
+                <node concept="37vLTw" id="1tFmpKdR6FW" role="2Oq$k0">
+                  <ref role="3cqZAo" node="1H_6AUSWicQ" resolve="principalCtrs" />
+                </node>
+                <node concept="26Dbio" id="1tFmpKdRocG" role="2OqNvi" />
+              </node>
+              <node concept="2OqwBi" id="1tFmpKdRrsC" role="37wK5m">
+                <node concept="37vLTw" id="1tFmpKdRfgs" role="2Oq$k0">
+                  <ref role="3cqZAo" node="1TR62lz31TZ" resolve="principalRulesTags" />
+                </node>
+                <node concept="26Dbio" id="1tFmpKdRvqX" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="1tFmpKdQOTq" role="1B3o_S" />
+      <node concept="3uibUv" id="1tFmpKdQTGT" role="3clF45">
+        <ref role="3uigEE" to="av0y:~IncrementalProgramSpec" resolve="IncrementalProgramSpec" />
+      </node>
+      <node concept="2AHcQZ" id="3L0F0kb7zGc" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2WtKs4tZqIq" role="jymVt" />
+    <node concept="3clFb_" id="2WtKs4tZtt5" role="jymVt">
+      <property role="TrG5h" value="doMerge" />
+      <node concept="37vLTG" id="2WtKs4tZv5Y" role="3clF46">
+        <property role="TrG5h" value="other" />
+        <node concept="3uibUv" id="2WtKs4tZwy2" role="1tU5fm">
+          <ref role="3uigEE" to="xnrr:1H_6AUSXnyk" resolve="ProgramAnalysis" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="2WtKs4tZtt8" role="3clF47">
+        <node concept="3clFbJ" id="2WtKs4tZypc" role="3cqZAp">
+          <node concept="3fqX7Q" id="2WtKs4tZyG0" role="3clFbw">
+            <node concept="2ZW3vV" id="2WtKs4tZyG2" role="3fr31v">
+              <node concept="3uibUv" id="2PLbMk5NVKa" role="2ZW6by">
+                <ref role="3uigEE" to="xnrr:2PLbMk5NJ$E" resolve="BasicProgramAnalysis" />
+              </node>
+              <node concept="37vLTw" id="2WtKs4tZyG4" role="2ZW6bz">
+                <ref role="3cqZAo" node="2WtKs4tZv5Y" resolve="other" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbS" id="2WtKs4tZype" role="3clFbx">
+            <node concept="YS8fn" id="2WtKs4tZyMt" role="3cqZAp">
+              <node concept="2ShNRf" id="2WtKs4tZyN2" role="YScLw">
+                <node concept="1pGfFk" id="2WtKs4tZzg0" role="2ShVmc">
+                  <ref role="37wK5l" to="wyt6:~IllegalArgumentException.&lt;init&gt;()" resolve="IllegalArgumentException" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2WtKs4tZ_Si" role="3cqZAp">
+          <node concept="3cpWsn" id="2WtKs4tZ_Sj" role="3cpWs9">
+            <property role="TrG5h" value="otherAn" />
+            <node concept="3uibUv" id="2PLbMk5NW40" role="1tU5fm">
+              <ref role="3uigEE" to="xnrr:2PLbMk5NJ$E" resolve="BasicProgramAnalysis" />
+            </node>
+            <node concept="10QFUN" id="2WtKs4tZA8R" role="33vP2m">
+              <node concept="3uibUv" id="2PLbMk5NWy7" role="10QFUM">
+                <ref role="3uigEE" to="xnrr:2PLbMk5NJ$E" resolve="BasicProgramAnalysis" />
+              </node>
+              <node concept="37vLTw" id="2WtKs4tZA62" role="10QFUP">
+                <ref role="3cqZAo" node="2WtKs4tZv5Y" resolve="other" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2WtKs4tZB8s" role="3cqZAp" />
+        <node concept="3clFbF" id="2WtKs4tZzkc" role="3cqZAp">
+          <node concept="2OqwBi" id="2WtKs4tZ$0U" role="3clFbG">
+            <node concept="37vLTw" id="2WtKs4tZzka" role="2Oq$k0">
+              <ref role="3cqZAo" node="1H_6AUSWicQ" resolve="principalCtrs" />
+            </node>
+            <node concept="X8dFx" id="2WtKs4tZ$yH" role="2OqNvi">
+              <node concept="2OqwBi" id="2WtKs4tZEIy" role="25WWJ7">
+                <node concept="37vLTw" id="2WtKs4tZDPX" role="2Oq$k0">
+                  <ref role="3cqZAo" node="2WtKs4tZ_Sj" resolve="otherAn" />
+                </node>
+                <node concept="liA8E" id="2PLbMk5O5qF" role="2OqNvi">
+                  <ref role="37wK5l" to="xnrr:2PLbMk5NKRF" resolve="getPrincipalCtrs" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="2WtKs4tZHhV" role="3cqZAp">
+          <node concept="2OqwBi" id="2WtKs4tZIaI" role="3clFbG">
+            <node concept="37vLTw" id="2WtKs4tZHhT" role="2Oq$k0">
+              <ref role="3cqZAo" node="1TR62lz31TZ" resolve="principalRulesTags" />
+            </node>
+            <node concept="X8dFx" id="2WtKs4tZILh" role="2OqNvi">
+              <node concept="2OqwBi" id="2WtKs4tZJvP" role="25WWJ7">
+                <node concept="37vLTw" id="2WtKs4tZJaV" role="2Oq$k0">
+                  <ref role="3cqZAo" node="2WtKs4tZ_Sj" resolve="otherAn" />
+                </node>
+                <node concept="liA8E" id="2PLbMk5O7o3" role="2OqNvi">
+                  <ref role="37wK5l" to="xnrr:2PLbMk5NLfP" resolve="getPrincipalRules" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2WtKs4tZRpw" role="3cqZAp" />
+        <node concept="3cpWs6" id="2WtKs4tZTeS" role="3cqZAp">
+          <node concept="3clFbT" id="2WtKs4tZXcv" role="3cqZAk">
+            <property role="3clFbU" value="true" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tmbuc" id="2WtKs4tZsdX" role="1B3o_S" />
+      <node concept="10P_77" id="2WtKs4tZNJw" role="3clF45" />
+      <node concept="2AHcQZ" id="2WtKs4tZx9n" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="7m2UX3UIQ5m" role="jymVt" />
+    <node concept="3clFb_" id="1H_6AUSEEjh" role="jymVt">
+      <property role="TrG5h" value="doRun" />
+      <node concept="3Tmbuc" id="1H_6AUSZJQf" role="1B3o_S" />
+      <node concept="3cqZAl" id="1H_6AUSW3kj" role="3clF45" />
+      <node concept="3clFbS" id="1H_6AUSEEjl" role="3clF47">
+        <node concept="3clFbF" id="2QJm2MHspHE" role="3cqZAp">
+          <node concept="1rXfSq" id="2QJm2MHspHC" role="3clFbG">
+            <ref role="37wK5l" node="2QJm2MHqST3" resolve="findPrincipalConstraints" />
+          </node>
+        </node>
+        <node concept="3clFbF" id="2QJm2MHsukO" role="3cqZAp">
+          <node concept="1rXfSq" id="2QJm2MHsukM" role="3clFbG">
+            <ref role="37wK5l" node="2QJm2MHr7S0" resolve="findPrincipalRules" />
+          </node>
+        </node>
+      </node>
+      <node concept="2AHcQZ" id="1H_6AUSEEjm" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="7m2UX3UIaR9" role="jymVt" />
+    <node concept="3clFb_" id="2QJm2MHqST3" role="jymVt">
+      <property role="TrG5h" value="findPrincipalConstraints" />
+      <node concept="3clFbS" id="2QJm2MHqST6" role="3clF47">
+        <node concept="3SKdUt" id="2PLbMk5RqS1" role="3cqZAp">
+          <node concept="1PaTwC" id="2PLbMk5Rrf6" role="3ndbpf">
+            <node concept="3oM_SD" id="2PLbMk5Rrdr" role="1PaTwD">
+              <property role="3oM_SC" value="special" />
+            </node>
+            <node concept="3oM_SD" id="2PLbMk5Rrdt" role="1PaTwD">
+              <property role="3oM_SC" value="case" />
+            </node>
+            <node concept="3oM_SD" id="2PLbMk5RrdK" role="1PaTwD">
+              <property role="3oM_SC" value="for" />
+            </node>
+            <node concept="3oM_SD" id="2PLbMk5RrdO" role="1PaTwD">
+              <property role="3oM_SC" value="'main'" />
+            </node>
+            <node concept="3oM_SD" id="2PLbMk5Rrfn" role="1PaTwD">
+              <property role="3oM_SC" value="constraint" />
+            </node>
+          </node>
+        </node>
+        <node concept="1X3_iC" id="2PLbMk5YvFz" role="lGtFl">
+          <property role="3V$3am" value="statement" />
+          <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+          <node concept="3clFbF" id="2PLbMk5RrG0" role="8Wnug">
+            <node concept="2OqwBi" id="2PLbMk5Rt27" role="3clFbG">
+              <node concept="37vLTw" id="2PLbMk5RrFY" role="2Oq$k0">
+                <ref role="3cqZAo" node="1H_6AUSWicQ" resolve="principalCtrs" />
+              </node>
+              <node concept="TSZUe" id="2PLbMk5RtGY" role="2OqNvi">
+                <node concept="2ShNRf" id="2PLbMk5Ru47" role="25WWJ7">
+                  <node concept="1pGfFk" id="2PLbMk5Rv26" role="2ShVmc">
+                    <ref role="37wK5l" to="av0y:~ConstraintSymbol.&lt;init&gt;(java.lang.String,int)" resolve="ConstraintSymbol" />
+                    <node concept="Xl_RD" id="2PLbMk5Rvoi" role="37wK5m">
+                      <property role="Xl_RC" value="main" />
+                    </node>
+                    <node concept="3cmrfG" id="2PLbMk5Rwsd" role="37wK5m">
+                      <property role="3cmrfH" value="0" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2PLbMk5RrfF" role="3cqZAp" />
+        <node concept="3SKdUt" id="2WtKs4t$iJZ" role="3cqZAp">
+          <node concept="1PaTwC" id="2WtKs4t$iK0" role="3ndbpf">
+            <node concept="3oM_SD" id="2WtKs4t$jv1" role="1PaTwD">
+              <property role="3oM_SC" value="add" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$jv3" role="1PaTwD">
+              <property role="3oM_SC" value="all" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$jv6" role="1PaTwD">
+              <property role="3oM_SC" value="constraints" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$jvi" role="1PaTwD">
+              <property role="3oM_SC" value="from" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$jvn" role="1PaTwD">
+              <property role="3oM_SC" value="queries" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$jvP" role="1PaTwD">
+              <property role="3oM_SC" value="as" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$jvW" role="1PaTwD">
+              <property role="3oM_SC" value="principal" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="2WtKs4t$afy" role="3cqZAp">
+          <node concept="1ps_y7" id="2WtKs4t$afz" role="lGtFl">
+            <node concept="1ps_xZ" id="2WtKs4t$af$" role="1ps_xO">
+              <property role="TrG5h" value="queries" />
+              <node concept="2jfdEK" id="2WtKs4t$af_" role="1ps_xN">
+                <node concept="3clFbS" id="2WtKs4t$afA" role="2VODD2">
+                  <node concept="3clFbF" id="2WtKs4t$afB" role="3cqZAp">
+                    <node concept="2OqwBi" id="2WtKs4t$afC" role="3clFbG">
+                      <node concept="2OqwBi" id="2WtKs4t$afD" role="2Oq$k0">
+                        <node concept="1iwH7S" id="2WtKs4t$afE" role="2Oq$k0" />
+                        <node concept="1r8y6K" id="2WtKs4t$afF" role="2OqNvi" />
+                      </node>
+                      <node concept="2SmgA7" id="2WtKs4t$afG" role="2OqNvi">
+                        <node concept="chp4Y" id="2WtKs4t$e1z" role="1dBWTz">
+                          <ref role="cht4Q" to="wq2x:6OXbTD$dU7b" resolve="Query" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1ps_y7" id="2WtKs4t$afI" role="lGtFl">
+            <node concept="1ps_xZ" id="2WtKs4t$afJ" role="1ps_xO">
+              <property role="TrG5h" value="searchTargets" />
+              <node concept="2jfdEK" id="2WtKs4t$afK" role="1ps_xN">
+                <node concept="3clFbS" id="2WtKs4t$afL" role="2VODD2">
+                  <node concept="3clFbF" id="2WtKs4t$afM" role="3cqZAp">
+                    <node concept="2OqwBi" id="2WtKs4t$afN" role="3clFbG">
+                      <node concept="2OqwBi" id="2WtKs4t$afO" role="2Oq$k0">
+                        <node concept="2OqwBi" id="2WtKs4t$afP" role="2Oq$k0">
+                          <node concept="1iwH7S" id="2WtKs4t$afQ" role="2Oq$k0" />
+                          <node concept="1psM6Z" id="2WtKs4t$afR" role="2OqNvi">
+                            <ref role="1psM6Y" node="2WtKs4t$af$" resolve="queries" />
+                          </node>
+                        </node>
+                        <node concept="3goQfb" id="2WtKs4t$afS" role="2OqNvi">
+                          <node concept="1bVj0M" id="2WtKs4t$afT" role="23t8la">
+                            <node concept="3clFbS" id="2WtKs4t$afU" role="1bW5cS">
+                              <node concept="3clFbF" id="2WtKs4t$afV" role="3cqZAp">
+                                <node concept="2OqwBi" id="2WtKs4t$afW" role="3clFbG">
+                                  <node concept="37vLTw" id="2WtKs4t$afX" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="2WtKs4t$ag1" resolve="it" />
+                                  </node>
+                                  <node concept="2Rf3mk" id="2WtKs4t$afY" role="2OqNvi">
+                                    <node concept="1xMEDy" id="2WtKs4t$afZ" role="1xVPHs">
+                                      <node concept="chp4Y" id="2WtKs4t$ag0" role="ri$Ld">
+                                        <ref role="cht4Q" to="wq2x:36tQV5AmIsB" resolve="ConstraintRule" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="Rh6nW" id="2WtKs4t$ag1" role="1bW2Oz">
+                              <property role="TrG5h" value="it" />
+                              <node concept="2jxLKc" id="2WtKs4t$ag2" role="1tU5fm" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3goQfb" id="2WtKs4t$ag3" role="2OqNvi">
+                        <node concept="1bVj0M" id="2WtKs4t$ag4" role="23t8la">
+                          <node concept="3clFbS" id="2WtKs4t$ag5" role="1bW5cS">
+                            <node concept="3clFbF" id="2WtKs4t$ag6" role="3cqZAp">
+                              <node concept="2OqwBi" id="2WtKs4t$ag7" role="3clFbG">
+                                <node concept="37vLTw" id="2WtKs4t$ag8" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="2WtKs4t$agc" resolve="it" />
+                                </node>
+                                <node concept="2Rf3mk" id="2WtKs4t$ag9" role="2OqNvi">
+                                  <node concept="1xMEDy" id="2WtKs4t$aga" role="1xVPHs">
+                                    <node concept="chp4Y" id="2WtKs4t$agb" role="ri$Ld">
+                                      <ref role="cht4Q" to="wq2x:6p0DfM0ang5" resolve="UserConstraint" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="Rh6nW" id="2WtKs4t$agc" role="1bW2Oz">
+                            <property role="TrG5h" value="it" />
+                            <node concept="2jxLKc" id="2WtKs4t$agd" role="1tU5fm" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1WS0z7" id="2WtKs4t$age" role="lGtFl">
+            <node concept="3JmXsc" id="2WtKs4t$agf" role="3Jn$fo">
+              <node concept="3clFbS" id="2WtKs4t$agg" role="2VODD2">
+                <node concept="3clFbF" id="2WtKs4t$agh" role="3cqZAp">
+                  <node concept="2OqwBi" id="2WtKs4t$agi" role="3clFbG">
+                    <node concept="1iwH7S" id="2WtKs4t$agj" role="2Oq$k0" />
+                    <node concept="1psM6Z" id="2WtKs4t$agk" role="2OqNvi">
+                      <ref role="1psM6Y" node="2WtKs4t$afJ" resolve="searchTargets" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2OqwBi" id="2WtKs4t$heo" role="3clFbG">
+            <node concept="37vLTw" id="2WtKs4t$hep" role="2Oq$k0">
+              <ref role="3cqZAo" node="1H_6AUSWicQ" resolve="principalCtrs" />
+            </node>
+            <node concept="TSZUe" id="2WtKs4t$heq" role="2OqNvi">
+              <node concept="10Nm6u" id="2WtKs4t$her" role="25WWJ7">
+                <node concept="5jKBG" id="2WtKs4t$hes" role="lGtFl">
+                  <ref role="v9R2y" node="2WtKs4tys2W" resolve="constraint_sym" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2WtKs4t$bUa" role="3cqZAp" />
+        <node concept="3SKdUt" id="2WtKs4t$kF5" role="3cqZAp">
+          <node concept="1PaTwC" id="2WtKs4t$kF6" role="3ndbpf">
+            <node concept="3oM_SD" id="2WtKs4t$lCu" role="1PaTwD">
+              <property role="3oM_SC" value="add" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$lCw" role="1PaTwD">
+              <property role="3oM_SC" value="principal" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$lCN" role="1PaTwD">
+              <property role="3oM_SC" value="constraints" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$lCR" role="1PaTwD">
+              <property role="3oM_SC" value="from" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$lCW" role="1PaTwD">
+              <property role="3oM_SC" value="all" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$lD2" role="1PaTwD">
+              <property role="3oM_SC" value="other" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$lD9" role="1PaTwD">
+              <property role="3oM_SC" value="rules" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="2WtKs4tzWPn" role="3cqZAp">
+          <node concept="1ps_y7" id="2WtKs4t$21c" role="lGtFl">
+            <node concept="1ps_xZ" id="2WtKs4t$21d" role="1ps_xO">
+              <property role="TrG5h" value="ruleLists" />
+              <node concept="2jfdEK" id="2WtKs4t$21e" role="1ps_xN">
+                <node concept="3clFbS" id="2WtKs4t$21f" role="2VODD2">
+                  <node concept="3clFbF" id="2WtKs4t$2lI" role="3cqZAp">
+                    <node concept="2OqwBi" id="2WtKs4t$2lJ" role="3clFbG">
+                      <node concept="2OqwBi" id="2WtKs4t$2lK" role="2Oq$k0">
+                        <node concept="1iwH7S" id="2WtKs4t$2lL" role="2Oq$k0" />
+                        <node concept="1r8y6K" id="2WtKs4t$2lM" role="2OqNvi" />
+                      </node>
+                      <node concept="2SmgA7" id="2WtKs4t$2lN" role="2OqNvi">
+                        <node concept="chp4Y" id="2WtKs4t$2lO" role="1dBWTz">
+                          <ref role="cht4Q" to="wq2x:7eGEHDlgPKk" resolve="RulesList" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1ps_y7" id="2WtKs4tzY_f" role="lGtFl">
+            <node concept="1ps_xZ" id="2WtKs4tzY_g" role="1ps_xO">
+              <property role="TrG5h" value="searchTargets" />
+              <node concept="2jfdEK" id="2WtKs4tzY_h" role="1ps_xN">
+                <node concept="3clFbS" id="2WtKs4tzY_i" role="2VODD2">
+                  <node concept="3clFbF" id="2WtKs4t$2SW" role="3cqZAp">
+                    <node concept="2OqwBi" id="2WtKs4t$2SX" role="3clFbG">
+                      <node concept="2OqwBi" id="2WtKs4t$2SY" role="2Oq$k0">
+                        <node concept="2OqwBi" id="2WtKs4t$2SZ" role="2Oq$k0">
+                          <node concept="1iwH7S" id="2WtKs4t$2T0" role="2Oq$k0" />
+                          <node concept="1psM6Z" id="2WtKs4t$2T1" role="2OqNvi">
+                            <ref role="1psM6Y" node="2WtKs4t$21d" resolve="ruleLists" />
+                          </node>
+                        </node>
+                        <node concept="3goQfb" id="2WtKs4t$2T2" role="2OqNvi">
+                          <node concept="1bVj0M" id="2WtKs4t$2T3" role="23t8la">
+                            <node concept="3clFbS" id="2WtKs4t$2T4" role="1bW5cS">
+                              <node concept="3clFbF" id="2WtKs4t$2T5" role="3cqZAp">
+                                <node concept="2OqwBi" id="2WtKs4t$2T6" role="3clFbG">
+                                  <node concept="37vLTw" id="2WtKs4t$2T7" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="2WtKs4t$2Tb" resolve="it" />
+                                  </node>
+                                  <node concept="2Rf3mk" id="2WtKs4t$2T8" role="2OqNvi">
+                                    <node concept="1xMEDy" id="2WtKs4t$2T9" role="1xVPHs">
+                                      <node concept="chp4Y" id="2WtKs4t$2Ta" role="ri$Ld">
+                                        <ref role="cht4Q" to="wq2x:36tQV5AmIsB" resolve="ConstraintRule" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="Rh6nW" id="2WtKs4t$2Tb" role="1bW2Oz">
+                              <property role="TrG5h" value="it" />
+                              <node concept="2jxLKc" id="2WtKs4t$2Tc" role="1tU5fm" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3goQfb" id="2WtKs4t$2Td" role="2OqNvi">
+                        <node concept="1bVj0M" id="2WtKs4t$2Te" role="23t8la">
+                          <node concept="3clFbS" id="2WtKs4t$2Tf" role="1bW5cS">
+                            <node concept="3clFbF" id="2WtKs4t$2Tg" role="3cqZAp">
+                              <node concept="2OqwBi" id="2WtKs4t$2Th" role="3clFbG">
+                                <node concept="37vLTw" id="2WtKs4t$2Ti" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="2WtKs4t$2Tm" resolve="it" />
+                                </node>
+                                <node concept="2Rf3mk" id="2WtKs4t$2Tj" role="2OqNvi">
+                                  <node concept="1xMEDy" id="2WtKs4t$2Tk" role="1xVPHs">
+                                    <node concept="chp4Y" id="2WtKs4t$2Tl" role="ri$Ld">
+                                      <ref role="cht4Q" to="wq2x:6p0DfM0ang5" resolve="UserConstraint" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="Rh6nW" id="2WtKs4t$2Tm" role="1bW2Oz">
+                            <property role="TrG5h" value="it" />
+                            <node concept="2jxLKc" id="2WtKs4t$2Tn" role="1tU5fm" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1WS0z7" id="2WtKs4tzWPo" role="lGtFl">
+            <node concept="3JmXsc" id="2WtKs4tzWPp" role="3Jn$fo">
+              <node concept="3clFbS" id="2WtKs4tzWPq" role="2VODD2">
+                <node concept="3clFbF" id="2WtKs4t$45l" role="3cqZAp">
+                  <node concept="2OqwBi" id="2WtKs4t$4nJ" role="3clFbG">
+                    <node concept="1iwH7S" id="2WtKs4t$45k" role="2Oq$k0" />
+                    <node concept="1psM6Z" id="2WtKs4t$4IQ" role="2OqNvi">
+                      <ref role="1psM6Y" node="2WtKs4tzY_g" resolve="searchTargets" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2OqwBi" id="2WtKs4tzWPv" role="3clFbG">
+            <node concept="37vLTw" id="2WtKs4tzWPw" role="2Oq$k0">
+              <ref role="3cqZAo" node="1H_6AUSWicQ" resolve="principalCtrs" />
+            </node>
+            <node concept="TSZUe" id="2WtKs4tzWPx" role="2OqNvi">
+              <node concept="10Nm6u" id="2WtKs4tzWPy" role="25WWJ7">
+                <node concept="5jKBG" id="2WtKs4tzWPz" role="lGtFl">
+                  <ref role="v9R2y" node="2WtKs4tys2W" resolve="constraint_sym" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1W57fq" id="6xVZN2uyz5o" role="lGtFl">
+            <node concept="3IZrLx" id="6xVZN2uyz5p" role="3IZSJc">
+              <node concept="3clFbS" id="6xVZN2uyz5q" role="2VODD2">
+                <node concept="3SKdUt" id="6xVZN2uyzwP" role="3cqZAp">
+                  <node concept="1PaTwC" id="6xVZN2uyzwQ" role="3ndbpf">
+                    <node concept="3oM_SD" id="6xVZN2uyzwR" role="1PaTwD">
+                      <property role="3oM_SC" value="find" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzwS" role="1PaTwD">
+                      <property role="3oM_SC" value="whether" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzwT" role="1PaTwD">
+                      <property role="3oM_SC" value="constraint" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzwU" role="1PaTwD">
+                      <property role="3oM_SC" value="has" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzwV" role="1PaTwD">
+                      <property role="3oM_SC" value="access" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzwW" role="1PaTwD">
+                      <property role="3oM_SC" value="to" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzwX" role="1PaTwD">
+                      <property role="3oM_SC" value="AST" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzwY" role="1PaTwD">
+                      <property role="3oM_SC" value="(i.e." />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzwZ" role="1PaTwD">
+                      <property role="3oM_SC" value="rule" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzx0" role="1PaTwD">
+                      <property role="3oM_SC" value="input)" />
+                    </node>
+                  </node>
+                  <node concept="1PaTwC" id="6xVZN2uyzx1" role="3ndbpf">
+                    <node concept="3oM_SD" id="6xVZN2uyzx2" role="1PaTwD">
+                      <property role="3oM_SC" value="except" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzx3" role="1PaTwD">
+                      <property role="3oM_SC" value="for" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzx4" role="1PaTwD">
+                      <property role="3oM_SC" value="accesses" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzx5" role="1PaTwD">
+                      <property role="3oM_SC" value="made" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzx6" role="1PaTwD">
+                      <property role="3oM_SC" value="in" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzx7" role="1PaTwD">
+                      <property role="3oM_SC" value="pattern" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzx8" role="1PaTwD">
+                      <property role="3oM_SC" value="logical" />
+                    </node>
+                    <node concept="3oM_SD" id="6xVZN2uyzx9" role="1PaTwD">
+                      <property role="3oM_SC" value="s" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbF" id="6xVZN2uyzxa" role="3cqZAp">
+                  <node concept="2OqwBi" id="6xVZN2uyzxb" role="3clFbG">
+                    <node concept="2OqwBi" id="6xVZN2uyzxc" role="2Oq$k0">
+                      <node concept="2OqwBi" id="6xVZN2uyzxd" role="2Oq$k0">
+                        <node concept="30H73N" id="6xVZN2uyzxe" role="2Oq$k0" />
+                        <node concept="2Rf3mk" id="6xVZN2uyzxf" role="2OqNvi">
+                          <node concept="1xMEDy" id="6xVZN2uyzxg" role="1xVPHs">
+                            <node concept="chp4Y" id="6xVZN2uyzxh" role="ri$Ld">
+                              <ref role="cht4Q" to="wq2x:6p0DfM0im$2" resolve="RuleInputReference" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3zZkjj" id="6xVZN2uyzxi" role="2OqNvi">
+                        <node concept="1bVj0M" id="6xVZN2uyzxj" role="23t8la">
+                          <node concept="3clFbS" id="6xVZN2uyzxk" role="1bW5cS">
+                            <node concept="3clFbF" id="6xVZN2uyzxl" role="3cqZAp">
+                              <node concept="2OqwBi" id="6xVZN2uyzxm" role="3clFbG">
+                                <node concept="2OqwBi" id="6xVZN2uyzxn" role="2Oq$k0">
+                                  <node concept="37vLTw" id="6xVZN2uyzxo" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="6xVZN2uyzxt" resolve="it" />
+                                  </node>
+                                  <node concept="2Xjw5R" id="6xVZN2uyzxp" role="2OqNvi">
+                                    <node concept="1xMEDy" id="6xVZN2uyzxq" role="1xVPHs">
+                                      <node concept="chp4Y" id="6xVZN2uyzxr" role="ri$Ld">
+                                        <ref role="cht4Q" to="wq2x:1mdVbTS8GIV" resolve="PatternLogicalVariable" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="3w_OXm" id="6xVZN2uyzxs" role="2OqNvi" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="Rh6nW" id="6xVZN2uyzxt" role="1bW2Oz">
+                            <property role="TrG5h" value="it" />
+                            <node concept="2jxLKc" id="6xVZN2uyzxu" role="1tU5fm" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3GX2aA" id="6xVZN2uyzxv" role="2OqNvi" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="2QJm2MHqQxW" role="1B3o_S" />
+      <node concept="3cqZAl" id="2QJm2MHqSNh" role="3clF45" />
+    </node>
+    <node concept="2tJIrI" id="2QJm2MHqWDk" role="jymVt" />
+    <node concept="3clFb_" id="2QJm2MHr7S0" role="jymVt">
+      <property role="TrG5h" value="findPrincipalRules" />
+      <node concept="3clFbS" id="2QJm2MHr7S3" role="3clF47">
+        <node concept="3SKdUt" id="2WtKs4t$zyh" role="3cqZAp">
+          <node concept="1PaTwC" id="2WtKs4t$zyi" role="3ndbpf">
+            <node concept="3oM_SD" id="2WtKs4t$zyj" role="1PaTwD">
+              <property role="3oM_SC" value="add" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$zyk" role="1PaTwD">
+              <property role="3oM_SC" value="all" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$zyl" role="1PaTwD">
+              <property role="3oM_SC" value="rules" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$zym" role="1PaTwD">
+              <property role="3oM_SC" value="from" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$zyn" role="1PaTwD">
+              <property role="3oM_SC" value="queries" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$zyo" role="1PaTwD">
+              <property role="3oM_SC" value="as" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t$zyp" role="1PaTwD">
+              <property role="3oM_SC" value="principal" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="2WtKs4t$n93" role="3cqZAp">
+          <node concept="2OqwBi" id="2WtKs4t$n94" role="3clFbG">
+            <node concept="37vLTw" id="2WtKs4t$n95" role="2Oq$k0">
+              <ref role="3cqZAo" node="1TR62lz31TZ" resolve="principalRulesTags" />
+            </node>
+            <node concept="TSZUe" id="2WtKs4t$n96" role="2OqNvi">
+              <node concept="Xl_RD" id="6xVZN2upP7L" role="25WWJ7">
+                <node concept="5jKBG" id="6xVZN2upP7M" role="lGtFl">
+                  <ref role="v9R2y" node="6xVZN2uppfW" resolve="rule_basename" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1ps_y7" id="2WtKs4t$qM5" role="lGtFl">
+            <node concept="1ps_xZ" id="2WtKs4t$qM6" role="1ps_xO">
+              <property role="TrG5h" value="queries" />
+              <node concept="2jfdEK" id="2WtKs4t$qM7" role="1ps_xN">
+                <node concept="3clFbS" id="2WtKs4t$qM8" role="2VODD2">
+                  <node concept="3clFbF" id="2WtKs4t$rWl" role="3cqZAp">
+                    <node concept="2OqwBi" id="2WtKs4t$rWm" role="3clFbG">
+                      <node concept="2OqwBi" id="2WtKs4t$rWn" role="2Oq$k0">
+                        <node concept="1iwH7S" id="2WtKs4t$rWo" role="2Oq$k0" />
+                        <node concept="1r8y6K" id="2WtKs4t$rWp" role="2OqNvi" />
+                      </node>
+                      <node concept="2SmgA7" id="2WtKs4t$rWq" role="2OqNvi">
+                        <node concept="chp4Y" id="2WtKs4t$rWr" role="1dBWTz">
+                          <ref role="cht4Q" to="wq2x:6OXbTD$dU7b" resolve="Query" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1ps_y7" id="2WtKs4t$pkH" role="lGtFl">
+            <node concept="1ps_xZ" id="2WtKs4t$pkI" role="1ps_xO">
+              <property role="TrG5h" value="rules" />
+              <node concept="2jfdEK" id="2WtKs4t$pkJ" role="1ps_xN">
+                <node concept="3clFbS" id="2WtKs4t$pkK" role="2VODD2">
+                  <node concept="3clFbF" id="2WtKs4t$srX" role="3cqZAp">
+                    <node concept="2OqwBi" id="2WtKs4t$uLe" role="3clFbG">
+                      <node concept="2OqwBi" id="2WtKs4t$svp" role="2Oq$k0">
+                        <node concept="1iwH7S" id="2WtKs4t$srW" role="2Oq$k0" />
+                        <node concept="1psM6Z" id="2WtKs4t$sya" role="2OqNvi">
+                          <ref role="1psM6Y" node="2WtKs4t$qM6" resolve="queries" />
+                        </node>
+                      </node>
+                      <node concept="3goQfb" id="2WtKs4t$v5l" role="2OqNvi">
+                        <node concept="1bVj0M" id="2WtKs4t$v5m" role="23t8la">
+                          <node concept="3clFbS" id="2WtKs4t$v5n" role="1bW5cS">
+                            <node concept="3clFbF" id="2WtKs4t$v5o" role="3cqZAp">
+                              <node concept="2OqwBi" id="2WtKs4t$v5p" role="3clFbG">
+                                <node concept="37vLTw" id="2WtKs4t$v5q" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="2WtKs4t$v5u" resolve="it" />
+                                </node>
+                                <node concept="2Rf3mk" id="2WtKs4t$v5r" role="2OqNvi">
+                                  <node concept="1xMEDy" id="2WtKs4t$v5s" role="1xVPHs">
+                                    <node concept="chp4Y" id="2WtKs4t$v5t" role="ri$Ld">
+                                      <ref role="cht4Q" to="wq2x:36tQV5AmIsB" resolve="ConstraintRule" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="Rh6nW" id="2WtKs4t$v5u" role="1bW2Oz">
+                            <property role="TrG5h" value="it" />
+                            <node concept="2jxLKc" id="2WtKs4t$v5v" role="1tU5fm" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1WS0z7" id="2WtKs4t$n9i" role="lGtFl">
+            <node concept="3JmXsc" id="2WtKs4t$n9j" role="3Jn$fo">
+              <node concept="3clFbS" id="2WtKs4t$n9k" role="2VODD2">
+                <node concept="3clFbF" id="2WtKs4t$n9l" role="3cqZAp">
+                  <node concept="2OqwBi" id="2WtKs4t$n9m" role="3clFbG">
+                    <node concept="1iwH7S" id="2WtKs4t$n9n" role="2Oq$k0" />
+                    <node concept="1psM6Z" id="2WtKs4t$yMr" role="2OqNvi">
+                      <ref role="1psM6Y" node="2WtKs4t$pkI" resolve="rules" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2WtKs4t$mgf" role="3cqZAp" />
+        <node concept="3SKdUt" id="2WtKs4t_c5V" role="3cqZAp">
+          <node concept="1PaTwC" id="2WtKs4t_c5W" role="3ndbpf">
+            <node concept="3oM_SD" id="2WtKs4t_c_$" role="1PaTwD">
+              <property role="3oM_SC" value="add" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t_c_Q" role="1PaTwD">
+              <property role="3oM_SC" value="all" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t_cBt" role="1PaTwD">
+              <property role="3oM_SC" value="other" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t_cBM" role="1PaTwD">
+              <property role="3oM_SC" value="rules" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t_cAp" role="1PaTwD">
+              <property role="3oM_SC" value="containing" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t_cC8" role="1PaTwD">
+              <property role="3oM_SC" value="principal" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t_cCf" role="1PaTwD">
+              <property role="3oM_SC" value="constraints" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t_cCn" role="1PaTwD">
+              <property role="3oM_SC" value="as" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t_cCw" role="1PaTwD">
+              <property role="3oM_SC" value="principal" />
+            </node>
+            <node concept="3oM_SD" id="2WtKs4t_cCE" role="1PaTwD">
+              <property role="3oM_SC" value="rules" />
+            </node>
+          </node>
+        </node>
+        <node concept="9aQIb" id="2WtKs4t$_V0" role="3cqZAp">
+          <node concept="3clFbS" id="2WtKs4t$_V1" role="9aQI4">
+            <node concept="3cpWs8" id="2WtKs4t$_V2" role="3cqZAp">
+              <node concept="3cpWsn" id="2WtKs4t$_V3" role="3cpWs9">
+                <property role="TrG5h" value="ruletag" />
+                <node concept="17QB3L" id="2WtKs4t$_V4" role="1tU5fm" />
+                <node concept="Xl_RD" id="6xVZN2upOt1" role="33vP2m">
+                  <node concept="5jKBG" id="6xVZN2upOt2" role="lGtFl">
+                    <ref role="v9R2y" node="6xVZN2uppfW" resolve="rule_basename" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="2WtKs4t$_Vg" role="3cqZAp" />
+            <node concept="3clFbJ" id="2WtKs4t$_Vh" role="3cqZAp">
+              <node concept="3clFbS" id="2WtKs4t$_Vi" role="3clFbx">
+                <node concept="3clFbH" id="2WtKs4t_1o3" role="3cqZAp" />
+                <node concept="3clFbF" id="2WtKs4t$_Vj" role="3cqZAp">
+                  <node concept="2OqwBi" id="2WtKs4t$_Vk" role="3clFbG">
+                    <node concept="37vLTw" id="2WtKs4t$_Vl" role="2Oq$k0">
+                      <ref role="3cqZAo" node="1TR62lz31TZ" resolve="principalRulesTags" />
+                    </node>
+                    <node concept="TSZUe" id="2WtKs4t$_Vm" role="2OqNvi">
+                      <node concept="37vLTw" id="2WtKs4t$_Vn" role="25WWJ7">
+                        <ref role="3cqZAo" node="2WtKs4t$_V3" resolve="ruletag" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="2OqwBi" id="2WtKs4t$_Vo" role="3clFbw">
+                <node concept="37vLTw" id="2WtKs4t$_Vp" role="2Oq$k0">
+                  <ref role="3cqZAo" node="1H_6AUSWicQ" resolve="principalCtrs" />
+                </node>
+                <node concept="3JPx81" id="2WtKs4t$_Vq" role="2OqNvi">
+                  <node concept="10Nm6u" id="2WtKs4t$_Vr" role="25WWJ7">
+                    <node concept="5jKBG" id="2WtKs4t$_Vs" role="lGtFl">
+                      <ref role="v9R2y" node="2WtKs4tys2W" resolve="constraint_sym" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="1WS0z7" id="2WtKs4t$_Vt" role="lGtFl">
+                <node concept="3JmXsc" id="2WtKs4t$_Vu" role="3Jn$fo">
+                  <node concept="3clFbS" id="2WtKs4t$_Vv" role="2VODD2">
+                    <node concept="3clFbF" id="2WtKs4t$_Vw" role="3cqZAp">
+                      <node concept="2OqwBi" id="2WtKs4t$_Vx" role="3clFbG">
+                        <node concept="30H73N" id="2WtKs4t$_Vy" role="2Oq$k0" />
+                        <node concept="2Rf3mk" id="2WtKs4t$_Vz" role="2OqNvi">
+                          <node concept="1xMEDy" id="2WtKs4t$_V$" role="1xVPHs">
+                            <node concept="chp4Y" id="2WtKs4t$_V_" role="ri$Ld">
+                              <ref role="cht4Q" to="wq2x:6p0DfM0ang5" resolve="UserConstraint" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="2WtKs4t$_VA" role="3cqZAp" />
+          </node>
+          <node concept="1ps_y7" id="2WtKs4t$St3" role="lGtFl">
+            <node concept="1ps_xZ" id="2WtKs4t$St4" role="1ps_xO">
+              <property role="TrG5h" value="ruleLists" />
+              <node concept="2jfdEK" id="2WtKs4t$St5" role="1ps_xN">
+                <node concept="3clFbS" id="2WtKs4t$St6" role="2VODD2">
+                  <node concept="3clFbF" id="2WtKs4t_0x7" role="3cqZAp">
+                    <node concept="2OqwBi" id="2WtKs4t_0x8" role="3clFbG">
+                      <node concept="2OqwBi" id="2WtKs4t_0x9" role="2Oq$k0">
+                        <node concept="1iwH7S" id="2WtKs4t_0xa" role="2Oq$k0" />
+                        <node concept="1r8y6K" id="2WtKs4t_0xb" role="2OqNvi" />
+                      </node>
+                      <node concept="2SmgA7" id="2WtKs4t_0xc" role="2OqNvi">
+                        <node concept="chp4Y" id="2WtKs4t_0xd" role="1dBWTz">
+                          <ref role="cht4Q" to="wq2x:7eGEHDlgPKk" resolve="RulesList" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1ps_y7" id="2WtKs4t$KC7" role="lGtFl">
+            <node concept="1ps_xZ" id="2WtKs4t$KC8" role="1ps_xO">
+              <property role="TrG5h" value="rules" />
+              <node concept="2jfdEK" id="2WtKs4t$KC9" role="1ps_xN">
+                <node concept="3clFbS" id="2WtKs4t$KCa" role="2VODD2">
+                  <node concept="3clFbF" id="2WtKs4t$U1c" role="3cqZAp">
+                    <node concept="2OqwBi" id="2WtKs4t$U1d" role="3clFbG">
+                      <node concept="2OqwBi" id="2WtKs4t$U1e" role="2Oq$k0">
+                        <node concept="1iwH7S" id="2WtKs4t$U1f" role="2Oq$k0" />
+                        <node concept="1psM6Z" id="2WtKs4t$U1g" role="2OqNvi">
+                          <ref role="1psM6Y" node="2WtKs4t$St4" resolve="ruleLists" />
+                        </node>
+                      </node>
+                      <node concept="3goQfb" id="2WtKs4t$U1h" role="2OqNvi">
+                        <node concept="1bVj0M" id="2WtKs4t$U1i" role="23t8la">
+                          <node concept="3clFbS" id="2WtKs4t$U1j" role="1bW5cS">
+                            <node concept="3clFbF" id="2WtKs4t$U1k" role="3cqZAp">
+                              <node concept="2OqwBi" id="2WtKs4t$U1l" role="3clFbG">
+                                <node concept="37vLTw" id="2WtKs4t$U1m" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="2WtKs4t$U1q" resolve="it" />
+                                </node>
+                                <node concept="2Rf3mk" id="2WtKs4t$U1n" role="2OqNvi">
+                                  <node concept="1xMEDy" id="2WtKs4t$U1o" role="1xVPHs">
+                                    <node concept="chp4Y" id="2WtKs4t$U1p" role="ri$Ld">
+                                      <ref role="cht4Q" to="wq2x:36tQV5AmIsB" resolve="ConstraintRule" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="Rh6nW" id="2WtKs4t$U1q" role="1bW2Oz">
+                            <property role="TrG5h" value="it" />
+                            <node concept="2jxLKc" id="2WtKs4t$U1r" role="1tU5fm" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1WS0z7" id="2WtKs4t$_VB" role="lGtFl">
+            <node concept="3JmXsc" id="2WtKs4t$_VC" role="3Jn$fo">
+              <node concept="3clFbS" id="2WtKs4t$_VD" role="2VODD2">
+                <node concept="3clFbF" id="2WtKs4t$_VE" role="3cqZAp">
+                  <node concept="2OqwBi" id="2WtKs4t$Rbr" role="3clFbG">
+                    <node concept="1iwH7S" id="2WtKs4t$_VG" role="2Oq$k0" />
+                    <node concept="1psM6Z" id="2WtKs4t$RhR" role="2OqNvi">
+                      <ref role="1psM6Y" node="2WtKs4t$KC8" resolve="rules" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="2QJm2MHr4ph" role="1B3o_S" />
+      <node concept="3cqZAl" id="2QJm2MHr7KK" role="3clF45" />
+    </node>
+    <node concept="2tJIrI" id="7m2UX3UIaRt" role="jymVt" />
+    <node concept="2tJIrI" id="7m2UX3UIaRM" role="jymVt" />
+    <node concept="312cEg" id="1H_6AUSWicQ" role="jymVt">
+      <property role="TrG5h" value="principalCtrs" />
+      <node concept="3Tm6S6" id="1H_6AUSWfSx" role="1B3o_S" />
+      <node concept="2hMVRd" id="1H_6AUSWmu$" role="1tU5fm">
+        <node concept="3uibUv" id="1H_6AUSWmwO" role="2hN53Y">
+          <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
+        </node>
+      </node>
+      <node concept="2ShNRf" id="1H_6AUSWmAo" role="33vP2m">
+        <node concept="2i4dXS" id="1H_6AUSWmMT" role="2ShVmc">
+          <node concept="3uibUv" id="1H_6AUSWn20" role="HW$YZ">
+            <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="312cEg" id="1TR62lz31TZ" role="jymVt">
+      <property role="TrG5h" value="principalRulesTags" />
+      <node concept="3Tm6S6" id="1TR62lz31U0" role="1B3o_S" />
+      <node concept="2hMVRd" id="1TR62lz31U1" role="1tU5fm">
+        <node concept="3uibUv" id="1TR62lz36g0" role="2hN53Y">
+          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+        </node>
+      </node>
+      <node concept="2ShNRf" id="1TR62lz31U3" role="33vP2m">
+        <node concept="2i4dXS" id="1TR62lz31U4" role="2ShVmc">
+          <node concept="3uibUv" id="1TR62lz36AC" role="HW$YZ">
+            <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="7m2UX3UIaPd" role="jymVt" />
+    <node concept="3Tm1VV" id="7m2UX3UIaN6" role="1B3o_S" />
+    <node concept="n94m4" id="7m2UX3UIaN7" role="lGtFl" />
+    <node concept="3uibUv" id="7m2UX3UIh$7" role="1zkMxy">
+      <ref role="3uigEE" to="xnrr:1H_6AUSXnyk" resolve="ProgramAnalysis" />
+    </node>
+    <node concept="3uibUv" id="2PLbMk5NQiz" role="EKbjA">
+      <ref role="3uigEE" to="xnrr:2PLbMk5NJ$E" resolve="BasicProgramAnalysis" />
+    </node>
+  </node>
+  <node concept="312cEu" id="2Ap6smyFge">
+    <property role="3GE5qa" value="analysis" />
+    <property role="TrG5h" value="CallerTableBuilder" />
+    <node concept="2tJIrI" id="2Ap6smyFiB" role="jymVt" />
+    <node concept="3Tm1VV" id="2Ap6smyFgf" role="1B3o_S" />
+    <node concept="n94m4" id="2Ap6smyFgg" role="lGtFl" />
+    <node concept="3uibUv" id="2Ap6smyFim" role="1zkMxy">
+      <ref role="3uigEE" to="xnrr:1H_6AUSXnyk" resolve="ProgramAnalysis" />
+    </node>
+    <node concept="3clFb_" id="2Ap6smyFjn" role="jymVt">
+      <property role="TrG5h" value="doRun" />
+      <node concept="3cqZAl" id="2Ap6smyFjp" role="3clF45" />
+      <node concept="3Tmbuc" id="2Ap6smyFjq" role="1B3o_S" />
+      <node concept="3clFbS" id="2Ap6smyFjr" role="3clF47">
+        <node concept="9aQIb" id="2Ap6smyFv1" role="3cqZAp">
+          <node concept="3clFbS" id="2Ap6smyFv3" role="9aQI4">
+            <node concept="3cpWs8" id="6_dHUh85CFy" role="3cqZAp">
+              <node concept="3cpWsn" id="6_dHUh85CFz" role="3cpWs9">
+                <property role="TrG5h" value="ruletag" />
+                <node concept="17QB3L" id="6_dHUh85CF$" role="1tU5fm" />
+                <node concept="Xl_RD" id="6xVZN2upP_l" role="33vP2m">
+                  <node concept="5jKBG" id="6xVZN2upP_m" role="lGtFl">
+                    <ref role="v9R2y" node="6xVZN2uppfW" resolve="rule_basename" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="6_dHUh85fPs" role="3cqZAp" />
+            <node concept="3clFbF" id="2Ap6smyFpt" role="3cqZAp">
+              <node concept="2OqwBi" id="6_dHUh858fb" role="3clFbG">
+                <node concept="1rXfSq" id="6_dHUh857Oz" role="2Oq$k0">
+                  <ref role="37wK5l" node="6_dHUh854iO" resolve="callers" />
+                  <node concept="10Nm6u" id="6_dHUh85knv" role="37wK5m">
+                    <node concept="5jKBG" id="6_dHUh85knw" role="lGtFl">
+                      <ref role="v9R2y" node="2WtKs4tys2W" resolve="constraint_sym" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="TSZUe" id="6_dHUh85901" role="2OqNvi">
+                  <node concept="37vLTw" id="6_dHUh85Ds7" role="25WWJ7">
+                    <ref role="3cqZAo" node="6_dHUh85CFz" resolve="ruletag" />
+                  </node>
+                </node>
+              </node>
+              <node concept="1WS0z7" id="2Ap6smyR50" role="lGtFl">
+                <node concept="3JmXsc" id="2Ap6smyR51" role="3Jn$fo">
+                  <node concept="3clFbS" id="2Ap6smyR52" role="2VODD2">
+                    <node concept="3clFbF" id="2Ap6smyR6b" role="3cqZAp">
+                      <node concept="2OqwBi" id="2Ap6smyTrK" role="3clFbG">
+                        <node concept="2OqwBi" id="6_dHUh85eUa" role="2Oq$k0">
+                          <node concept="30H73N" id="2Ap6smyR6a" role="2Oq$k0" />
+                          <node concept="3Tsc0h" id="6_dHUh85fhN" role="2OqNvi">
+                            <ref role="3TtcxE" to="wq2x:36tQV5AmIsW" resolve="body" />
+                          </node>
+                        </node>
+                        <node concept="3goQfb" id="2Ap6smyWXr" role="2OqNvi">
+                          <node concept="1bVj0M" id="2Ap6smyWXt" role="23t8la">
+                            <node concept="3clFbS" id="2Ap6smyWXu" role="1bW5cS">
+                              <node concept="3clFbF" id="2Ap6smyXc6" role="3cqZAp">
+                                <node concept="2OqwBi" id="2Ap6smyZWJ" role="3clFbG">
+                                  <node concept="2OqwBi" id="2Ap6smyXvx" role="2Oq$k0">
+                                    <node concept="37vLTw" id="2Ap6smyXc5" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="2Ap6smyWXv" resolve="it" />
+                                    </node>
+                                    <node concept="3TrEf2" id="2Ap6smyXXP" role="2OqNvi">
+                                      <ref role="3Tt5mk" to="wq2x:20Ay2VegCfd" resolve="logic" />
+                                    </node>
+                                  </node>
+                                  <node concept="2Rf3mk" id="2Ap6smz0a_" role="2OqNvi">
+                                    <node concept="1xMEDy" id="2Ap6smz0aB" role="1xVPHs">
+                                      <node concept="chp4Y" id="2Ap6smz0jM" role="ri$Ld">
+                                        <ref role="cht4Q" to="wq2x:6p0DfM0ang5" resolve="UserConstraint" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="Rh6nW" id="2Ap6smyWXv" role="1bW2Oz">
+                              <property role="TrG5h" value="it" />
+                              <node concept="2jxLKc" id="2Ap6smyWXw" role="1tU5fm" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1WS0z7" id="6_dHUh85aFC" role="lGtFl">
+            <node concept="3JmXsc" id="6_dHUh85aFD" role="3Jn$fo">
+              <node concept="3clFbS" id="6_dHUh85aFE" role="2VODD2">
+                <node concept="3clFbF" id="6_dHUh85bpQ" role="3cqZAp">
+                  <node concept="2OqwBi" id="6_dHUh85cMb" role="3clFbG">
+                    <node concept="2OqwBi" id="6_dHUh85c3D" role="2Oq$k0">
+                      <node concept="1iwH7S" id="6_dHUh85bpP" role="2Oq$k0" />
+                      <node concept="1r8y6K" id="6_dHUh85coW" role="2OqNvi" />
+                    </node>
+                    <node concept="2SmgA7" id="6_dHUh85d1$" role="2OqNvi">
+                      <node concept="chp4Y" id="6_dHUh85eaB" role="1dBWTz">
+                        <ref role="cht4Q" to="wq2x:36tQV5AmIsB" resolve="ConstraintRule" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2AHcQZ" id="2Ap6smyFjs" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2Ap6smyFmP" role="jymVt" />
+    <node concept="3clFb_" id="2Ap6smyFjt" role="jymVt">
+      <property role="TrG5h" value="doMerge" />
+      <node concept="37vLTG" id="2Ap6smyFju" role="3clF46">
+        <property role="TrG5h" value="other" />
+        <node concept="3uibUv" id="2Ap6smyFjv" role="1tU5fm">
+          <ref role="3uigEE" to="xnrr:1H_6AUSXnyk" resolve="ProgramAnalysis" />
+        </node>
+      </node>
+      <node concept="3Tmbuc" id="2Ap6smyFjx" role="1B3o_S" />
+      <node concept="10P_77" id="2Ap6smyFjy" role="3clF45" />
+      <node concept="3clFbS" id="2Ap6smyFjz" role="3clF47">
+        <node concept="3clFbJ" id="6_dHUh85kSP" role="3cqZAp">
+          <node concept="3fqX7Q" id="6_dHUh85kSQ" role="3clFbw">
+            <node concept="2ZW3vV" id="6_dHUh85kSR" role="3fr31v">
+              <node concept="3uibUv" id="6_dHUh85l4b" role="2ZW6by">
+                <ref role="3uigEE" node="2Ap6smyFge" resolve="CallerTableBuilder" />
+              </node>
+              <node concept="37vLTw" id="6_dHUh85kST" role="2ZW6bz">
+                <ref role="3cqZAo" node="2Ap6smyFju" resolve="other" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbS" id="6_dHUh85kSU" role="3clFbx">
+            <node concept="YS8fn" id="6_dHUh85kSV" role="3cqZAp">
+              <node concept="2ShNRf" id="6_dHUh85kSW" role="YScLw">
+                <node concept="1pGfFk" id="6_dHUh85kSX" role="2ShVmc">
+                  <ref role="37wK5l" to="wyt6:~IllegalArgumentException.&lt;init&gt;()" resolve="IllegalArgumentException" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="6_dHUh85kSY" role="3cqZAp">
+          <node concept="3cpWsn" id="6_dHUh85kSZ" role="3cpWs9">
+            <property role="TrG5h" value="otherAn" />
+            <node concept="3uibUv" id="6_dHUh85lcG" role="1tU5fm">
+              <ref role="3uigEE" node="2Ap6smyFge" resolve="CallerTableBuilder" />
+            </node>
+            <node concept="10QFUN" id="6_dHUh85kT1" role="33vP2m">
+              <node concept="3uibUv" id="6_dHUh85ll8" role="10QFUM">
+                <ref role="3uigEE" node="2Ap6smyFge" resolve="CallerTableBuilder" />
+              </node>
+              <node concept="37vLTw" id="6_dHUh85kT3" role="10QFUP">
+                <ref role="3cqZAo" node="2Ap6smyFju" resolve="other" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6_dHUh85kT4" role="3cqZAp" />
+        <node concept="2Gpval" id="6_dHUh85mRa" role="3cqZAp">
+          <node concept="2GrKxI" id="6_dHUh85mRc" role="2Gsz3X">
+            <property role="TrG5h" value="kv" />
+          </node>
+          <node concept="2OqwBi" id="6_dHUh85nr0" role="2GsD0m">
+            <node concept="37vLTw" id="6_dHUh85ng6" role="2Oq$k0">
+              <ref role="3cqZAo" node="6_dHUh85kSZ" resolve="otherAn" />
+            </node>
+            <node concept="2OwXpG" id="6_dHUh85nzG" role="2OqNvi">
+              <ref role="2Oxat5" node="2Ap6smz0P_" resolve="activatingRules" />
+            </node>
+          </node>
+          <node concept="3clFbS" id="6_dHUh85mRg" role="2LFqv$">
+            <node concept="3clFbF" id="6_dHUh85oUm" role="3cqZAp">
+              <node concept="2OqwBi" id="6_dHUh85pac" role="3clFbG">
+                <node concept="1rXfSq" id="6_dHUh85oUk" role="2Oq$k0">
+                  <ref role="37wK5l" node="6_dHUh854iO" resolve="callers" />
+                  <node concept="2OqwBi" id="6_dHUh85ung" role="37wK5m">
+                    <node concept="2GrUjf" id="6_dHUh85p1O" role="2Oq$k0">
+                      <ref role="2Gs0qQ" node="6_dHUh85mRc" resolve="kv" />
+                    </node>
+                    <node concept="3AY5_j" id="6_dHUh85uH9" role="2OqNvi" />
+                  </node>
+                </node>
+                <node concept="X8dFx" id="6_dHUh85pA_" role="2OqNvi">
+                  <node concept="2OqwBi" id="6_dHUh85vKC" role="25WWJ7">
+                    <node concept="2GrUjf" id="6_dHUh85v3B" role="2Oq$k0">
+                      <ref role="2Gs0qQ" node="6_dHUh85mRc" resolve="kv" />
+                    </node>
+                    <node concept="3AV6Ez" id="6_dHUh85w2q" role="2OqNvi" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6_dHUh85mDO" role="3cqZAp" />
+        <node concept="3cpWs6" id="6_dHUh85luw" role="3cqZAp">
+          <node concept="3clFbT" id="6_dHUh85lU8" role="3cqZAk">
+            <property role="3clFbU" value="true" />
+          </node>
+        </node>
+      </node>
+      <node concept="2AHcQZ" id="2Ap6smyFj$" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2Ap6smz0FP" role="jymVt" />
+    <node concept="3clFb_" id="6_dHUh854iO" role="jymVt">
+      <property role="TrG5h" value="callers" />
+      <node concept="37vLTG" id="6_dHUh854wb" role="3clF46">
+        <property role="TrG5h" value="key" />
+        <node concept="3uibUv" id="6_dHUh854_6" role="1tU5fm">
+          <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="6_dHUh854iR" role="3clF47">
+        <node concept="3clFbJ" id="6_dHUh854Ao" role="3cqZAp">
+          <node concept="3fqX7Q" id="6_dHUh855Aq" role="3clFbw">
+            <node concept="2OqwBi" id="6_dHUh855As" role="3fr31v">
+              <node concept="37vLTw" id="6_dHUh855At" role="2Oq$k0">
+                <ref role="3cqZAo" node="2Ap6smz0P_" resolve="activatingRules" />
+              </node>
+              <node concept="2Nt0df" id="6_dHUh855Au" role="2OqNvi">
+                <node concept="37vLTw" id="6_dHUh855Av" role="38cxEo">
+                  <ref role="3cqZAo" node="6_dHUh854wb" resolve="key" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbS" id="6_dHUh854Aq" role="3clFbx">
+            <node concept="3clFbF" id="2Ap6smz3Ds" role="3cqZAp">
+              <node concept="37vLTI" id="6_dHUh853Zq" role="3clFbG">
+                <node concept="2ShNRf" id="6_dHUh855RH" role="37vLTx">
+                  <node concept="2i4dXS" id="6_dHUh8567C" role="2ShVmc">
+                    <node concept="3uibUv" id="6_dHUh856rv" role="HW$YZ">
+                      <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3EllGN" id="6_dHUh853dR" role="37vLTJ">
+                  <node concept="37vLTw" id="2Ap6smz3Dq" role="3ElQJh">
+                    <ref role="3cqZAo" node="2Ap6smz0P_" resolve="activatingRules" />
+                  </node>
+                  <node concept="37vLTw" id="6_dHUh855NJ" role="3ElVtu">
+                    <ref role="3cqZAo" node="6_dHUh854wb" resolve="key" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs6" id="6_dHUh856z9" role="3cqZAp">
+          <node concept="3EllGN" id="6_dHUh857z1" role="3cqZAk">
+            <node concept="37vLTw" id="6_dHUh857EO" role="3ElVtu">
+              <ref role="3cqZAo" node="6_dHUh854wb" resolve="key" />
+            </node>
+            <node concept="37vLTw" id="6_dHUh856Di" role="3ElQJh">
+              <ref role="3cqZAo" node="2Ap6smz0P_" resolve="activatingRules" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="6_dHUh854da" role="1B3o_S" />
+      <node concept="2hMVRd" id="6_dHUh854oN" role="3clF45">
+        <node concept="3uibUv" id="6_dHUh854vA" role="2hN53Y">
+          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="6_dHUh85kqz" role="jymVt" />
+    <node concept="312cEg" id="2Ap6smz0P_" role="jymVt">
+      <property role="TrG5h" value="activatingRules" />
+      <node concept="3Tm6S6" id="2Ap6smz0K6" role="1B3o_S" />
+      <node concept="2ShNRf" id="2Ap6smz1hZ" role="33vP2m">
+        <node concept="3rGOSV" id="2Ap6smz1yz" role="2ShVmc">
+          <node concept="3uibUv" id="2Ap6smz1Iu" role="3rHrn6">
+            <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
+          </node>
+          <node concept="2hMVRd" id="2Ap6smz5RV" role="3rHtpV">
+            <node concept="3uibUv" id="2Ap6smz5RW" role="2hN53Y">
+              <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3rvAFt" id="6_dHUh851IH" role="1tU5fm">
+        <node concept="3uibUv" id="6_dHUh851SA" role="3rvQeY">
+          <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
+        </node>
+        <node concept="2hMVRd" id="6_dHUh8522m" role="3rvSg0">
+          <node concept="3uibUv" id="6_dHUh852cY" role="2hN53Y">
+            <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="13MO4I" id="6xVZN2uppfW">
+    <property role="TrG5h" value="rule_basename" />
+    <ref role="3gUMe" to="wq2x:36tQV5AmIsB" resolve="ConstraintRule" />
+    <node concept="3clFb_" id="6xVZN2upuvW" role="13RCb5">
+      <property role="TrG5h" value="context" />
+      <node concept="17QB3L" id="6xVZN2upGkW" role="3clF45" />
+      <node concept="3Tm1VV" id="6xVZN2upuw0" role="1B3o_S" />
+      <node concept="3clFbS" id="6xVZN2upuw1" role="3clF47">
+        <node concept="3clFbF" id="6xVZN2ut2E_" role="3cqZAp">
+          <node concept="Xl_RD" id="6xVZN2upvmP" role="3clFbG">
+            <property role="Xl_RC" value="" />
+            <node concept="17Uvod" id="6xVZN2upvmQ" role="lGtFl">
+              <property role="P4ACc" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1070475926800/1070475926801" />
+              <property role="2qtEX9" value="value" />
+              <node concept="3zFVjK" id="6xVZN2upvmR" role="3zH0cK">
+                <node concept="3clFbS" id="6xVZN2upvmS" role="2VODD2">
+                  <node concept="3cpWs8" id="6xVZN2upvmT" role="3cqZAp">
+                    <node concept="3cpWsn" id="6xVZN2upvmU" role="3cpWs9">
+                      <property role="TrG5h" value="rt" />
+                      <node concept="3Tqbb2" id="6xVZN2upvmV" role="1tU5fm">
+                        <ref role="ehGHo" to="wq2x:36tQV5AmIsf" resolve="RuleTemplate" />
+                      </node>
+                      <node concept="2OqwBi" id="6xVZN2upvmW" role="33vP2m">
+                        <node concept="30H73N" id="6xVZN2upvmX" role="2Oq$k0" />
+                        <node concept="2Xjw5R" id="6xVZN2upvmY" role="2OqNvi">
+                          <node concept="1xMEDy" id="6xVZN2upvmZ" role="1xVPHs">
+                            <node concept="chp4Y" id="6xVZN2upvn0" role="ri$Ld">
+                              <ref role="cht4Q" to="wq2x:36tQV5AmIsf" resolve="RuleTemplate" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="6xVZN2uq2cq" role="3cqZAp" />
+                  <node concept="3cpWs8" id="6xVZN2upvXl" role="3cqZAp">
+                    <node concept="3cpWsn" id="6xVZN2upvXo" role="3cpWs9">
+                      <property role="TrG5h" value="rtRules" />
+                      <node concept="2OqwBi" id="6xVZN2upvn2" role="33vP2m">
+                        <node concept="37vLTw" id="6xVZN2upvn3" role="2Oq$k0">
+                          <ref role="3cqZAo" node="6xVZN2upvmU" resolve="rt" />
+                        </node>
+                        <node concept="2Rf3mk" id="6xVZN2upvn4" role="2OqNvi">
+                          <node concept="1xMEDy" id="6xVZN2upvn5" role="1xVPHs">
+                            <node concept="chp4Y" id="6xVZN2upvn6" role="ri$Ld">
+                              <ref role="cht4Q" to="wq2x:36tQV5AmIsB" resolve="ConstraintRule" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="A3Dl8" id="6xVZN2upwMB" role="1tU5fm">
+                        <node concept="3Tqbb2" id="6xVZN2upvXj" role="A3Ik2">
+                          <ref role="ehGHo" to="wq2x:36tQV5AmIsB" resolve="ConstraintRule" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3cpWs8" id="6xVZN2ut40K" role="3cqZAp">
+                    <node concept="3cpWsn" id="6xVZN2ut40N" role="3cpWs9">
+                      <property role="TrG5h" value="order" />
+                      <node concept="10Oyi0" id="6xVZN2ut40I" role="1tU5fm" />
+                      <node concept="2OqwBi" id="6xVZN2upDG4" role="33vP2m">
+                        <node concept="37vLTw" id="6xVZN2upDlF" role="2Oq$k0">
+                          <ref role="3cqZAo" node="6xVZN2upvXo" resolve="rtRules" />
+                        </node>
+                        <node concept="2WmjW8" id="6xVZN2upEfp" role="2OqNvi">
+                          <node concept="30H73N" id="6xVZN2upEJV" role="25WWJ7" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbF" id="6xVZN2up$Pv" role="3cqZAp">
+                    <node concept="3K4zz7" id="6xVZN2up$Pn" role="3clFbG">
+                      <node concept="2OqwBi" id="6xVZN2upBfm" role="3K4E3e">
+                        <node concept="37vLTw" id="6xVZN2upB6$" role="2Oq$k0">
+                          <ref role="3cqZAo" node="6xVZN2upvmU" resolve="rt" />
+                        </node>
+                        <node concept="3TrcHB" id="6xVZN2upBiz" role="2OqNvi">
+                          <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                        </node>
+                      </node>
+                      <node concept="3cpWs3" id="6xVZN2upDi_" role="3K4GZi">
+                        <node concept="2OqwBi" id="6xVZN2upCwZ" role="3uHU7B">
+                          <node concept="37vLTw" id="6xVZN2upBI4" role="2Oq$k0">
+                            <ref role="3cqZAo" node="6xVZN2upvmU" resolve="rt" />
+                          </node>
+                          <node concept="3TrcHB" id="6xVZN2upCXA" role="2OqNvi">
+                            <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                          </node>
+                        </node>
+                        <node concept="37vLTw" id="6xVZN2ut8D7" role="3uHU7w">
+                          <ref role="3cqZAo" node="6xVZN2ut40N" resolve="order" />
+                        </node>
+                      </node>
+                      <node concept="3clFbC" id="6xVZN2ut87m" role="3K4Cdx">
+                        <node concept="3cmrfG" id="6xVZN2ut8AH" role="3uHU7w">
+                          <property role="3cmrfH" value="0" />
+                        </node>
+                        <node concept="37vLTw" id="6xVZN2ut78y" role="3uHU7B">
+                          <ref role="3cqZAo" node="6xVZN2ut40N" resolve="order" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="6xVZN2uq1G6" role="3cqZAp" />
+                  <node concept="1X3_iC" id="6xVZN2upFw1" role="lGtFl">
+                    <property role="3V$3am" value="statement" />
+                    <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+                    <node concept="3clFbF" id="6xVZN2upvn7" role="8Wnug">
+                      <node concept="2OqwBi" id="6xVZN2upvn8" role="3clFbG">
+                        <node concept="1iwH7S" id="6xVZN2upvn9" role="2Oq$k0" />
+                        <node concept="32eq0B" id="6xVZN2upvna" role="2OqNvi">
+                          <property role="32f$Ya" value="true" />
+                          <node concept="2OqwBi" id="6xVZN2upvnb" role="32eq0w">
+                            <node concept="37vLTw" id="6xVZN2upvnc" role="2Oq$k0">
+                              <ref role="3cqZAo" node="6xVZN2upvmU" resolve="rt" />
+                            </node>
+                            <node concept="3TrcHB" id="6xVZN2upvnd" role="2OqNvi">
+                              <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                            </node>
+                          </node>
+                          <node concept="37vLTw" id="6xVZN2upvne" role="32eq0x">
+                            <ref role="3cqZAo" node="6xVZN2upvmU" resolve="rt" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="raruj" id="6xVZN2ut3vv" role="lGtFl" />
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="bUwia" id="2WtKs4tYtzN">
+    <property role="TrG5h" value="analyses" />
+    <property role="3GE5qa" value="analysis" />
+    <node concept="2VPoh5" id="2Ap6smxg_A" role="2VS0gm">
+      <ref role="2VPoh2" node="7m2UX3UIaN5" resolve="SimpleProgramAnalysis0" />
+    </node>
+    <node concept="2VPoh5" id="6_dHUh85xxe" role="2VS0gm">
+      <ref role="2VPoh2" node="2Ap6smyFge" resolve="CallerTableBuilder" />
+    </node>
+    <node concept="2rT7sh" id="2WtKs4tYtzV" role="2rTMjI">
+      <property role="TrG5h" value="simple_analysis_ctor" />
+      <ref role="2rZz_L" to="tpee:fzclF84" resolve="ConstructorDeclaration" />
+    </node>
+  </node>
+  <node concept="13MO4I" id="2WtKs4tys2W">
+    <property role="3GE5qa" value="constraint" />
+    <property role="TrG5h" value="constraint_sym" />
+    <ref role="3gUMe" to="wq2x:6p0DfM0ang5" resolve="UserConstraint" />
+    <node concept="3clFb_" id="2WtKs4tywX$" role="13RCb5">
+      <property role="TrG5h" value="context" />
+      <node concept="37vLTG" id="2WtKs4tywX_" role="3clF46">
+        <property role="TrG5h" value="session" />
+        <node concept="3uibUv" id="2WtKs4tywXA" role="1tU5fm">
+          <ref role="3uigEE" to="i348:18kNIl1vDPZ" resolve="TemplateApplicationSession" />
+        </node>
+      </node>
+      <node concept="3cqZAl" id="2WtKs4tywXB" role="3clF45" />
+      <node concept="3Tm1VV" id="2WtKs4tywXC" role="1B3o_S" />
+      <node concept="3clFbS" id="2WtKs4tywXD" role="3clF47">
+        <node concept="3clFbF" id="2WtKs4tyxxl" role="3cqZAp">
+          <node concept="2ShNRf" id="2WtKs4tywXJ" role="3clFbG">
+            <node concept="1pGfFk" id="2WtKs4tywXK" role="2ShVmc">
+              <ref role="37wK5l" to="av0y:~ConstraintSymbol.&lt;init&gt;(java.lang.String,int)" resolve="ConstraintSymbol" />
+              <node concept="Xl_RD" id="2WtKs4tywXL" role="37wK5m">
+                <property role="Xl_RC" value="name" />
+                <node concept="17Uvod" id="2WtKs4tywXM" role="lGtFl">
+                  <property role="2qtEX9" value="value" />
+                  <property role="P4ACc" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1070475926800/1070475926801" />
+                  <node concept="3zFVjK" id="2WtKs4tywXN" role="3zH0cK">
+                    <node concept="3clFbS" id="2WtKs4tywXO" role="2VODD2">
+                      <node concept="3clFbF" id="2WtKs4tywXP" role="3cqZAp">
+                        <node concept="2OqwBi" id="2WtKs4tywXQ" role="3clFbG">
+                          <node concept="2OqwBi" id="2WtKs4tywXR" role="2Oq$k0">
+                            <node concept="30H73N" id="2WtKs4tywXS" role="2Oq$k0" />
+                            <node concept="3TrEf2" id="2WtKs4tywXT" role="2OqNvi">
+                              <ref role="3Tt5mk" to="wq2x:6p0DfM0aywA" resolve="template" />
+                            </node>
+                          </node>
+                          <node concept="3TrcHB" id="2WtKs4tywXU" role="2OqNvi">
+                            <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3cmrfG" id="2WtKs4tywXV" role="37wK5m">
+                <property role="3cmrfH" value="1" />
+                <node concept="17Uvod" id="2WtKs4tywXW" role="lGtFl">
+                  <property role="P4ACc" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580320020/1068580320021" />
+                  <property role="2qtEX9" value="value" />
+                  <node concept="3zFVjK" id="2WtKs4tywXX" role="3zH0cK">
+                    <node concept="3clFbS" id="2WtKs4tywXY" role="2VODD2">
+                      <node concept="3clFbF" id="2WtKs4tywXZ" role="3cqZAp">
+                        <node concept="2OqwBi" id="2WtKs4tywY0" role="3clFbG">
+                          <node concept="2OqwBi" id="2WtKs4tywY1" role="2Oq$k0">
+                            <node concept="3Tsc0h" id="2WtKs4tywY2" role="2OqNvi">
+                              <ref role="3TtcxE" to="wq2x:6p0DfM0et2r" resolve="argument" />
+                            </node>
+                            <node concept="30H73N" id="2WtKs4tywY3" role="2Oq$k0" />
+                          </node>
+                          <node concept="34oBXx" id="2WtKs4tywY4" role="2OqNvi" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="raruj" id="2WtKs4tyybv" role="lGtFl" />
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
 </model>
 
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps
index 9b2f184a..3c14670f 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps
@@ -113,6 +113,9 @@
         <child id="1081256993305" name="classType" index="2ZW6by" />
         <child id="1081256993304" name="leftExpression" index="2ZW6bz" />
       </concept>
+      <concept id="1070533707846" name="jetbrains.mps.baseLanguage.structure.StaticFieldReference" flags="nn" index="10M0yZ">
+        <reference id="1144433057691" name="classifier" index="1PxDUh" />
+      </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" />
@@ -5068,6 +5071,21 @@
         </node>
       </node>
     </node>
+    <node concept="2tJIrI" id="2WtKs4tZeNt" role="jymVt" />
+    <node concept="3clFb_" id="2WtKs4tZfgb" role="jymVt">
+      <property role="TrG5h" value="programSpec" />
+      <node concept="3clFbS" id="2WtKs4tZfge" role="3clF47">
+        <node concept="3clFbF" id="2WtKs4tZfSn" role="3cqZAp">
+          <node concept="37vLTw" id="2WtKs4tZfSm" role="3clFbG">
+            <ref role="3cqZAo" node="2WtKs4tZfH3" resolve="programSpec" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="2WtKs4tZf7R" role="1B3o_S" />
+      <node concept="3uibUv" id="2WtKs4tZffh" role="3clF45">
+        <ref role="3uigEE" to="av0y:~IncrementalProgramSpec" resolve="IncrementalProgramSpec" />
+      </node>
+    </node>
     <node concept="2tJIrI" id="72RDgIN45M_" role="jymVt" />
     <node concept="3clFb_" id="7DvO2M9VeMb" role="jymVt">
       <property role="TrG5h" value="init" />
@@ -5118,7 +5136,16 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="7P_FdVPGUJh" role="3cqZAp" />
+        <node concept="3cpWs8" id="2WtKs4u1jqB" role="3cqZAp">
+          <node concept="3cpWsn" id="2WtKs4u1jqC" role="3cpWs9">
+            <property role="TrG5h" value="mergedAnalysis" />
+            <node concept="3uibUv" id="2WtKs4u1jqD" role="1tU5fm">
+              <ref role="3uigEE" to="xnrr:1H_6AUSXnyk" resolve="ProgramAnalysis" />
+            </node>
+            <node concept="10Nm6u" id="2WtKs4u1jV7" role="33vP2m" />
+          </node>
+        </node>
+        <node concept="3clFbH" id="2WtKs4tZiYW" role="3cqZAp" />
         <node concept="2Gpval" id="NKt6yoTa7y" role="3cqZAp">
           <node concept="3clFbS" id="6UWSvq5d00n" role="2LFqv$">
             <node concept="3cpWs8" id="7wfdmjRl1_C" role="3cqZAp">
@@ -5190,6 +5217,54 @@
                     </node>
                   </node>
                 </node>
+                <node concept="3clFbH" id="2WtKs4u1jyY" role="3cqZAp" />
+                <node concept="3clFbJ" id="2WtKs4u1jzV" role="3cqZAp">
+                  <node concept="3clFbS" id="2WtKs4u1jzX" role="3clFbx">
+                    <node concept="3clFbF" id="2WtKs4u1kj3" role="3cqZAp">
+                      <node concept="2OqwBi" id="2WtKs4u1kpF" role="3clFbG">
+                        <node concept="37vLTw" id="2WtKs4u1kj2" role="2Oq$k0">
+                          <ref role="3cqZAo" node="2WtKs4u1jqC" resolve="mergedAnalysis" />
+                        </node>
+                        <node concept="liA8E" id="2WtKs4u1kvN" role="2OqNvi">
+                          <ref role="37wK5l" to="xnrr:2WtKs4tZgH_" resolve="merge" />
+                          <node concept="2OqwBi" id="2WtKs4u1kCq" role="37wK5m">
+                            <node concept="37vLTw" id="2WtKs4u1kxn" role="2Oq$k0">
+                              <ref role="3cqZAo" node="7wfdmjRl43a" resolve="ruleManifest" />
+                            </node>
+                            <node concept="liA8E" id="2WtKs4u1kIK" role="2OqNvi">
+                              <ref role="37wK5l" to="i348:2WtKs4tZlCC" resolve="analyses" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3y3z36" id="2WtKs4u1jSW" role="3clFbw">
+                    <node concept="37vLTw" id="2WtKs4u1j_i" role="3uHU7B">
+                      <ref role="3cqZAo" node="2WtKs4u1jqC" resolve="mergedAnalysis" />
+                    </node>
+                    <node concept="10Nm6u" id="2WtKs4u1jRd" role="3uHU7w" />
+                  </node>
+                  <node concept="9aQIb" id="2WtKs4u1jW_" role="9aQIa">
+                    <node concept="3clFbS" id="2WtKs4u1jWA" role="9aQI4">
+                      <node concept="3clFbF" id="2WtKs4u1jXs" role="3cqZAp">
+                        <node concept="37vLTI" id="2WtKs4u1k3Z" role="3clFbG">
+                          <node concept="2OqwBi" id="2WtKs4u1kaX" role="37vLTx">
+                            <node concept="37vLTw" id="2WtKs4u1k5c" role="2Oq$k0">
+                              <ref role="3cqZAo" node="7wfdmjRl43a" resolve="ruleManifest" />
+                            </node>
+                            <node concept="liA8E" id="2WtKs4u1kho" role="2OqNvi">
+                              <ref role="37wK5l" to="i348:2WtKs4tZlCC" resolve="analyses" />
+                            </node>
+                          </node>
+                          <node concept="37vLTw" id="2WtKs4u1jXr" role="37vLTJ">
+                            <ref role="3cqZAo" node="2WtKs4u1jqC" resolve="mergedAnalysis" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
               </node>
               <node concept="3y3z36" id="7wfdmjRl4B5" role="3clFbw">
                 <node concept="10Nm6u" id="7wfdmjRl4Dc" role="3uHU7w" />
@@ -5261,6 +5336,70 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbH" id="2WtKs4u1mzB" role="3cqZAp" />
+        <node concept="3clFbJ" id="2WtKs4u1nt5" role="3cqZAp">
+          <node concept="3clFbS" id="2WtKs4u1nt7" role="3clFbx">
+            <node concept="3clFbF" id="2WtKs4u1mLl" role="3cqZAp">
+              <node concept="37vLTI" id="2WtKs4u1nfd" role="3clFbG">
+                <node concept="2OqwBi" id="2WtKs4u1mXZ" role="37vLTJ">
+                  <node concept="Xjq3P" id="2WtKs4u1mLj" role="2Oq$k0" />
+                  <node concept="2OwXpG" id="2WtKs4u1n6f" role="2OqNvi">
+                    <ref role="2Oxat5" node="2WtKs4tZfH3" resolve="programSpec" />
+                  </node>
+                </node>
+                <node concept="2OqwBi" id="3L0F0kb7Bhp" role="37vLTx">
+                  <node concept="1eOMI4" id="3L0F0kb7B9m" role="2Oq$k0">
+                    <node concept="10QFUN" id="3L0F0kb7B9j" role="1eOMHV">
+                      <node concept="3uibUv" id="3L0F0kb7Bb4" role="10QFUM">
+                        <ref role="3uigEE" to="xnrr:2WtKs4u1ogK" resolve="SpecProvider" />
+                      </node>
+                      <node concept="37vLTw" id="3L0F0kb7B7O" role="10QFUP">
+                        <ref role="3cqZAo" node="2WtKs4u1jqC" resolve="mergedAnalysis" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="3L0F0kb7BoQ" role="2OqNvi">
+                    <ref role="37wK5l" to="xnrr:5Ud1wlIOa8f" resolve="getSpec" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1Wc70l" id="6xVZN2uRxRk" role="3clFbw">
+            <node concept="3y3z36" id="6xVZN2uRyeB" role="3uHU7B">
+              <node concept="10Nm6u" id="6xVZN2uRyg5" role="3uHU7w" />
+              <node concept="37vLTw" id="6xVZN2uRy6m" role="3uHU7B">
+                <ref role="3cqZAo" node="2WtKs4u1jqC" resolve="mergedAnalysis" />
+              </node>
+            </node>
+            <node concept="2ZW3vV" id="2WtKs4u1nVT" role="3uHU7w">
+              <node concept="3uibUv" id="3L0F0kb7A0K" role="2ZW6by">
+                <ref role="3uigEE" to="xnrr:2WtKs4u1ogK" resolve="SpecProvider" />
+              </node>
+              <node concept="37vLTw" id="2WtKs4u1n$7" role="2ZW6bz">
+                <ref role="3cqZAo" node="2WtKs4u1jqC" resolve="mergedAnalysis" />
+              </node>
+            </node>
+          </node>
+          <node concept="9aQIb" id="3L0F0kb7BrZ" role="9aQIa">
+            <node concept="3clFbS" id="3L0F0kb7Bs0" role="9aQI4">
+              <node concept="3clFbF" id="3L0F0kb7BuE" role="3cqZAp">
+                <node concept="37vLTI" id="3L0F0kb7BNQ" role="3clFbG">
+                  <node concept="10M0yZ" id="3L0F0kb7BSR" role="37vLTx">
+                    <ref role="3cqZAo" to="av0y:~IncrementalProgramSpec.DefaultSpec" resolve="DefaultSpec" />
+                    <ref role="1PxDUh" to="av0y:~IncrementalProgramSpec" resolve="IncrementalProgramSpec" />
+                  </node>
+                  <node concept="2OqwBi" id="3L0F0kb7B$N" role="37vLTJ">
+                    <node concept="Xjq3P" id="3L0F0kb7BuD" role="2Oq$k0" />
+                    <node concept="2OwXpG" id="3L0F0kb7BFy" role="2OqNvi">
+                      <ref role="2Oxat5" node="2WtKs4tZfH3" resolve="programSpec" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
       </node>
     </node>
     <node concept="2tJIrI" id="6UWSvq5b6xS" role="jymVt" />
@@ -5294,6 +5433,14 @@
         <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
       </node>
     </node>
+    <node concept="2tJIrI" id="2WtKs4tZfnT" role="jymVt" />
+    <node concept="312cEg" id="2WtKs4tZfH3" role="jymVt">
+      <property role="TrG5h" value="programSpec" />
+      <node concept="3Tm6S6" id="2WtKs4tZf$D" role="1B3o_S" />
+      <node concept="3uibUv" id="2WtKs4tZfG8" role="1tU5fm">
+        <ref role="3uigEE" to="av0y:~IncrementalProgramSpec" resolve="IncrementalProgramSpec" />
+      </node>
+    </node>
     <node concept="2tJIrI" id="7P_FdVPFLhr" role="jymVt" />
     <node concept="3Tm1VV" id="CGeqIk8WWV" role="1B3o_S" />
   </node>
@@ -5565,9 +5712,23 @@
     <node concept="3clFb_" id="1H_6AUT8p2f" role="jymVt">
       <property role="TrG5h" value="getProgramSpec" />
       <node concept="3clFbS" id="1H_6AUT8p2i" role="3clF47">
-        <node concept="3clFbF" id="1H_6AUT8pBS" role="3cqZAp">
-          <node concept="37vLTw" id="1H_6AUT8pBR" role="3clFbG">
-            <ref role="3cqZAo" node="1H_6AUT4rkj" resolve="programSpec" />
+        <node concept="1X3_iC" id="3L0F0kb7I2W" role="lGtFl">
+          <property role="3V$3am" value="statement" />
+          <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+          <node concept="3clFbF" id="1H_6AUT8pBS" role="8Wnug">
+            <node concept="37vLTw" id="1H_6AUT8pBR" role="3clFbG">
+              <ref role="3cqZAo" node="1H_6AUT4rkj" resolve="programSpec" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="3L0F0kb7I5C" role="3cqZAp">
+          <node concept="2OqwBi" id="3L0F0kb7IfV" role="3clFbG">
+            <node concept="37vLTw" id="3L0F0kb7I5A" role="2Oq$k0">
+              <ref role="3cqZAo" node="7WKNeR9bpBf" resolve="ruleProcessingSession" />
+            </node>
+            <node concept="liA8E" id="3L0F0kb7LCU" role="2OqNvi">
+              <ref role="37wK5l" node="2WtKs4tZfgb" resolve="programSpec" />
+            </node>
           </node>
         </node>
       </node>
@@ -5866,67 +6027,83 @@
               </node>
             </node>
             <node concept="3clFbH" id="1H_6AUT4mqH" role="3cqZAp" />
-            <node concept="3clFbF" id="tyIfzBDnff" role="3cqZAp">
-              <node concept="37vLTI" id="tyIfzBDnIs" role="3clFbG">
-                <node concept="2OqwBi" id="tyIfzBDnqF" role="37vLTJ">
-                  <node concept="Xjq3P" id="tyIfzBDnfd" role="2Oq$k0" />
-                  <node concept="2OwXpG" id="tyIfzBDn_M" role="2OqNvi">
-                    <ref role="2Oxat5" node="tyIfzBDjPX" resolve="programGenInfo" />
+            <node concept="1X3_iC" id="3L0F0kb7G9O" role="lGtFl">
+              <property role="3V$3am" value="statement" />
+              <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+              <node concept="3clFbF" id="tyIfzBDnff" role="8Wnug">
+                <node concept="37vLTI" id="tyIfzBDnIs" role="3clFbG">
+                  <node concept="2OqwBi" id="tyIfzBDnqF" role="37vLTJ">
+                    <node concept="Xjq3P" id="tyIfzBDnfd" role="2Oq$k0" />
+                    <node concept="2OwXpG" id="tyIfzBDn_M" role="2OqNvi">
+                      <ref role="2Oxat5" node="tyIfzBDjPX" resolve="programGenInfo" />
+                    </node>
                   </node>
-                </node>
-                <node concept="2OqwBi" id="1H_6AUT4lei" role="37vLTx">
-                  <node concept="37vLTw" id="1H_6AUT4l2S" role="2Oq$k0">
-                    <ref role="3cqZAo" node="1H_6AUSGoq4" resolve="analysisInfoBuilder" />
-                  </node>
-                  <node concept="liA8E" id="1H_6AUT4lvB" role="2OqNvi">
-                    <ref role="37wK5l" to="xnrr:1H_6AUSUuKh" resolve="toInfo" />
-                    <node concept="37vLTw" id="1H_6AUT4ly_" role="37wK5m">
-                      <ref role="3cqZAo" node="1pPth$lE8Xs" resolve="program" />
+                  <node concept="2OqwBi" id="1H_6AUT4lei" role="37vLTx">
+                    <node concept="37vLTw" id="1H_6AUT4l2S" role="2Oq$k0">
+                      <ref role="3cqZAo" node="1H_6AUSGoq4" resolve="analysisInfoBuilder" />
+                    </node>
+                    <node concept="liA8E" id="1H_6AUT4lvB" role="2OqNvi">
+                      <ref role="37wK5l" to="xnrr:1H_6AUSUuKh" resolve="toInfo" />
+                      <node concept="37vLTw" id="1H_6AUT4ly_" role="37wK5m">
+                        <ref role="3cqZAo" node="1pPth$lE8Xs" resolve="program" />
+                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3cpWs8" id="1H_6AUT4lKd" role="3cqZAp">
-              <node concept="3cpWsn" id="1H_6AUT4lKe" role="3cpWs9">
-                <property role="TrG5h" value="principalsAnalysis" />
-                <node concept="3uibUv" id="1H_6AUT4lKf" role="1tU5fm">
-                  <ref role="3uigEE" to="xnrr:1H_6AUT0m_J" resolve="SimpleProgramAnalysis" />
-                </node>
-                <node concept="2ShNRf" id="1H_6AUT4lOu" role="33vP2m">
-                  <node concept="1pGfFk" id="1H_6AUT4m0i" role="2ShVmc">
-                    <ref role="37wK5l" to="xnrr:1H_6AUSTUb0" resolve="SimpleProgramAnalysis" />
-                    <node concept="37vLTw" id="tyIfzBDnQl" role="37wK5m">
-                      <ref role="3cqZAo" node="tyIfzBDjPX" resolve="programGenInfo" />
+            <node concept="1X3_iC" id="3L0F0kb7Gij" role="lGtFl">
+              <property role="3V$3am" value="statement" />
+              <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+              <node concept="3cpWs8" id="1H_6AUT4lKd" role="8Wnug">
+                <node concept="3cpWsn" id="1H_6AUT4lKe" role="3cpWs9">
+                  <property role="TrG5h" value="principalsAnalysis" />
+                  <node concept="3uibUv" id="1H_6AUT4lKf" role="1tU5fm">
+                    <ref role="3uigEE" to="xnrr:1H_6AUT0m_J" resolve="SimpleProgramAnalysis" />
+                  </node>
+                  <node concept="2ShNRf" id="1H_6AUT4lOu" role="33vP2m">
+                    <node concept="1pGfFk" id="1H_6AUT4m0i" role="2ShVmc">
+                      <ref role="37wK5l" to="xnrr:1H_6AUSTUb0" resolve="SimpleProgramAnalysis" />
+                      <node concept="37vLTw" id="tyIfzBDnQl" role="37wK5m">
+                        <ref role="3cqZAo" node="tyIfzBDjPX" resolve="programGenInfo" />
+                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3clFbF" id="4VntlICmPDO" role="3cqZAp">
-              <node concept="2OqwBi" id="4VntlICmPYp" role="3clFbG">
-                <node concept="37vLTw" id="4VntlICmPDM" role="2Oq$k0">
-                  <ref role="3cqZAo" node="1H_6AUT4lKe" resolve="principalsAnalysis" />
-                </node>
-                <node concept="liA8E" id="4VntlICmQjr" role="2OqNvi">
-                  <ref role="37wK5l" to="xnrr:1H_6AUSXuxC" resolve="run" />
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbF" id="1H_6AUT4rSx" role="3cqZAp">
-              <node concept="37vLTI" id="1H_6AUT4sig" role="3clFbG">
-                <node concept="2OqwBi" id="1tFmpKdRMCJ" role="37vLTx">
-                  <node concept="37vLTw" id="1tFmpKdRMp4" role="2Oq$k0">
+            <node concept="1X3_iC" id="3L0F0kb7GmY" role="lGtFl">
+              <property role="3V$3am" value="statement" />
+              <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+              <node concept="3clFbF" id="4VntlICmPDO" role="8Wnug">
+                <node concept="2OqwBi" id="4VntlICmPYp" role="3clFbG">
+                  <node concept="37vLTw" id="4VntlICmPDM" role="2Oq$k0">
                     <ref role="3cqZAo" node="1H_6AUT4lKe" resolve="principalsAnalysis" />
                   </node>
-                  <node concept="liA8E" id="1tFmpKdRMSx" role="2OqNvi">
-                    <ref role="37wK5l" to="xnrr:1tFmpKdQTMg" resolve="getSpec" />
+                  <node concept="liA8E" id="4VntlICmQjr" role="2OqNvi">
+                    <ref role="37wK5l" to="xnrr:1H_6AUSXuxC" resolve="run" />
                   </node>
                 </node>
-                <node concept="2OqwBi" id="1H_6AUT4s3h" role="37vLTJ">
-                  <node concept="Xjq3P" id="1H_6AUT4rSv" role="2Oq$k0" />
-                  <node concept="2OwXpG" id="1H_6AUT4s9w" role="2OqNvi">
-                    <ref role="2Oxat5" node="1H_6AUT4rkj" resolve="programSpec" />
+              </node>
+            </node>
+            <node concept="1X3_iC" id="3L0F0kb7GZE" role="lGtFl">
+              <property role="3V$3am" value="statement" />
+              <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+              <node concept="3clFbF" id="1H_6AUT4rSx" role="8Wnug">
+                <node concept="37vLTI" id="1H_6AUT4sig" role="3clFbG">
+                  <node concept="2OqwBi" id="1tFmpKdRMCJ" role="37vLTx">
+                    <node concept="37vLTw" id="1tFmpKdRMp4" role="2Oq$k0">
+                      <ref role="3cqZAo" node="1H_6AUT4lKe" resolve="principalsAnalysis" />
+                    </node>
+                    <node concept="liA8E" id="1tFmpKdRMSx" role="2OqNvi">
+                      <ref role="37wK5l" to="xnrr:1tFmpKdQTMg" resolve="getSpec" />
+                    </node>
+                  </node>
+                  <node concept="2OqwBi" id="1H_6AUT4s3h" role="37vLTJ">
+                    <node concept="Xjq3P" id="1H_6AUT4rSv" role="2Oq$k0" />
+                    <node concept="2OwXpG" id="1H_6AUT4s9w" role="2OqNvi">
+                      <ref role="2Oxat5" node="1H_6AUT4rkj" resolve="programSpec" />
+                    </node>
                   </node>
                 </node>
               </node>
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.analysis.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.analysis.mps
index 72802572..053ca99b 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.analysis.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.analysis.mps
@@ -66,6 +66,9 @@
       <concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
         <reference id="1144433194310" name="classConcept" index="1Pybhc" />
       </concept>
+      <concept id="1164991038168" name="jetbrains.mps.baseLanguage.structure.ThrowStatement" flags="nn" index="YS8fn">
+        <child id="1164991057263" name="throwable" index="YScLw" />
+      </concept>
       <concept id="1081256982272" name="jetbrains.mps.baseLanguage.structure.InstanceOfExpression" flags="nn" index="2ZW3vV">
         <child id="1081256993305" name="classType" index="2ZW6by" />
         <child id="1081256993304" name="leftExpression" index="2ZW6bz" />
@@ -157,6 +160,9 @@
       <concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
         <child id="1081516765348" name="expression" index="3fr31v" />
       </concept>
+      <concept id="1154542696413" name="jetbrains.mps.baseLanguage.structure.ArrayCreatorWithInitializer" flags="nn" index="3g6Rrh">
+        <child id="1154542793668" name="componentType" index="3g7fb8" />
+      </concept>
       <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
         <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
         <child id="1068499141038" name="actualArgument" index="37wK5m" />
@@ -182,7 +188,9 @@
       <concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
         <child id="1178549979242" name="visibility" index="1B3o_S" />
       </concept>
-      <concept id="1107796713796" name="jetbrains.mps.baseLanguage.structure.Interface" flags="ig" index="3HP615" />
+      <concept id="1107796713796" name="jetbrains.mps.baseLanguage.structure.Interface" flags="ig" index="3HP615">
+        <child id="1107797138135" name="extendedInterface" index="3HQHJm" />
+      </concept>
       <concept id="1082113931046" name="jetbrains.mps.baseLanguage.structure.ContinueStatement" flags="nn" index="3N13vt" />
       <concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
         <child id="1350122676458893092" name="text" index="3ndbpf" />
@@ -312,6 +320,30 @@
       </node>
     </node>
     <node concept="2tJIrI" id="1H_6AUSXnCW" role="jymVt" />
+    <node concept="3clFbW" id="7m2UX3UItlq" role="jymVt">
+      <node concept="3cqZAl" id="7m2UX3UItls" role="3clF45" />
+      <node concept="3Tm1VV" id="7m2UX3UItlt" role="1B3o_S" />
+      <node concept="3clFbS" id="7m2UX3UItlu" role="3clF47">
+        <node concept="3clFbF" id="7m2UX3UIxzN" role="3cqZAp">
+          <node concept="37vLTI" id="7m2UX3UIya1" role="3clFbG">
+            <node concept="2ShNRf" id="7m2UX3UIyoU" role="37vLTx">
+              <node concept="3g6Rrh" id="7m2UX3UI_FU" role="2ShVmc">
+                <node concept="3uibUv" id="7m2UX3UI_8d" role="3g7fb8">
+                  <ref role="3uigEE" node="1H_6AUSXnyk" resolve="ProgramAnalysis" />
+                </node>
+              </node>
+            </node>
+            <node concept="2OqwBi" id="7m2UX3UIxC9" role="37vLTJ">
+              <node concept="Xjq3P" id="7m2UX3UIxzM" role="2Oq$k0" />
+              <node concept="2OwXpG" id="7m2UX3UIxT8" role="2OqNvi">
+                <ref role="2Oxat5" node="1H_6AUSXtEt" resolve="deps" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="7m2UX3UIqI3" role="jymVt" />
     <node concept="3clFbW" id="1H_6AUSXnzy" role="jymVt">
       <node concept="37vLTG" id="1H_6AUSXnzW" role="3clF46">
         <property role="TrG5h" value="deps" />
@@ -438,6 +470,47 @@
       <node concept="3Tm1VV" id="1H_6AUSXuvw" role="1B3o_S" />
       <node concept="3cqZAl" id="1H_6AUSXuzU" role="3clF45" />
     </node>
+    <node concept="2tJIrI" id="2WtKs4tZgpN" role="jymVt" />
+    <node concept="3clFb_" id="2WtKs4tZgH_" role="jymVt">
+      <property role="TrG5h" value="merge" />
+      <property role="DiZV1" value="true" />
+      <node concept="37vLTG" id="2WtKs4tZgNL" role="3clF46">
+        <property role="TrG5h" value="other" />
+        <node concept="3uibUv" id="2WtKs4tZgSA" role="1tU5fm">
+          <ref role="3uigEE" node="1H_6AUSXnyk" resolve="ProgramAnalysis" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="2WtKs4tZgHC" role="3clF47">
+        <node concept="3clFbF" id="2WtKs4tZZOo" role="3cqZAp">
+          <node concept="1Wc70l" id="2WtKs4u00VF" role="3clFbG">
+            <node concept="1rXfSq" id="2WtKs4u011L" role="3uHU7w">
+              <ref role="37wK5l" node="2WtKs4tZha6" resolve="doMerge" />
+              <node concept="37vLTw" id="2WtKs4u0168" role="37wK5m">
+                <ref role="3cqZAo" node="2WtKs4tZgNL" resolve="other" />
+              </node>
+            </node>
+            <node concept="1Wc70l" id="2WtKs4u00ir" role="3uHU7B">
+              <node concept="2OqwBi" id="2WtKs4tZZZX" role="3uHU7B">
+                <node concept="Xjq3P" id="2WtKs4tZZOm" role="2Oq$k0" />
+                <node concept="liA8E" id="2WtKs4u00au" role="2OqNvi">
+                  <ref role="37wK5l" node="1H_6AUSXudJ" resolve="isRun" />
+                </node>
+              </node>
+              <node concept="2OqwBi" id="2WtKs4u00tG" role="3uHU7w">
+                <node concept="37vLTw" id="2WtKs4u00n$" role="2Oq$k0">
+                  <ref role="3cqZAo" node="2WtKs4tZgNL" resolve="other" />
+                </node>
+                <node concept="liA8E" id="2WtKs4u00CD" role="2OqNvi">
+                  <ref role="37wK5l" node="1H_6AUSXudJ" resolve="isRun" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="2WtKs4tZgBm" role="1B3o_S" />
+      <node concept="10P_77" id="2WtKs4tZLsM" role="3clF45" />
+    </node>
     <node concept="2tJIrI" id="1H_6AUSXuOE" role="jymVt" />
     <node concept="3clFb_" id="1H_6AUSXuSf" role="jymVt">
       <property role="1EzhhJ" value="true" />
@@ -446,6 +519,20 @@
       <node concept="3cqZAl" id="1H_6AUSXuWU" role="3clF45" />
       <node concept="3Tmbuc" id="1H_6AUSXuYB" role="1B3o_S" />
     </node>
+    <node concept="2tJIrI" id="2WtKs4tZgTU" role="jymVt" />
+    <node concept="3clFb_" id="2WtKs4tZha6" role="jymVt">
+      <property role="1EzhhJ" value="true" />
+      <property role="TrG5h" value="doMerge" />
+      <node concept="37vLTG" id="2WtKs4tZwEm" role="3clF46">
+        <property role="TrG5h" value="other" />
+        <node concept="3uibUv" id="2WtKs4tZwNY" role="1tU5fm">
+          <ref role="3uigEE" node="1H_6AUSXnyk" resolve="ProgramAnalysis" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="2WtKs4tZha9" role="3clF47" />
+      <node concept="3Tmbuc" id="2WtKs4tZh3_" role="1B3o_S" />
+      <node concept="10P_77" id="2WtKs4tZLht" role="3clF45" />
+    </node>
     <node concept="2tJIrI" id="1H_6AUSXu20" role="jymVt" />
     <node concept="312cEg" id="1H_6AUSXu5x" role="jymVt">
       <property role="TrG5h" value="isRun" />
@@ -1678,6 +1765,101 @@
         </node>
       </node>
     </node>
+    <node concept="2tJIrI" id="2WtKs4u0htF" role="jymVt" />
+    <node concept="3clFb_" id="2WtKs4tZtt5" role="jymVt">
+      <property role="TrG5h" value="doMerge" />
+      <node concept="37vLTG" id="2WtKs4tZv5Y" role="3clF46">
+        <property role="TrG5h" value="other" />
+        <node concept="3uibUv" id="2WtKs4tZwy2" role="1tU5fm">
+          <ref role="3uigEE" node="1H_6AUSXnyk" resolve="ProgramAnalysis" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="2WtKs4tZtt8" role="3clF47">
+        <node concept="3clFbJ" id="2WtKs4tZypc" role="3cqZAp">
+          <node concept="3fqX7Q" id="2WtKs4tZyG0" role="3clFbw">
+            <node concept="2ZW3vV" id="2WtKs4tZyG2" role="3fr31v">
+              <node concept="3uibUv" id="2WtKs4u0E_K" role="2ZW6by">
+                <ref role="3uigEE" node="1H_6AUT0m_J" resolve="SimpleProgramAnalysis" />
+              </node>
+              <node concept="37vLTw" id="2WtKs4tZyG4" role="2ZW6bz">
+                <ref role="3cqZAo" node="2WtKs4tZv5Y" resolve="other" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbS" id="2WtKs4tZype" role="3clFbx">
+            <node concept="YS8fn" id="2WtKs4tZyMt" role="3cqZAp">
+              <node concept="2ShNRf" id="2WtKs4tZyN2" role="YScLw">
+                <node concept="1pGfFk" id="2WtKs4tZzg0" role="2ShVmc">
+                  <ref role="37wK5l" to="wyt6:~IllegalArgumentException.&lt;init&gt;()" resolve="IllegalArgumentException" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2WtKs4tZ_Si" role="3cqZAp">
+          <node concept="3cpWsn" id="2WtKs4tZ_Sj" role="3cpWs9">
+            <property role="TrG5h" value="otherAn" />
+            <node concept="3uibUv" id="2WtKs4u0EOm" role="1tU5fm">
+              <ref role="3uigEE" node="1H_6AUT0m_J" resolve="SimpleProgramAnalysis" />
+            </node>
+            <node concept="10QFUN" id="2WtKs4tZA8R" role="33vP2m">
+              <node concept="3uibUv" id="2WtKs4u0Gy1" role="10QFUM">
+                <ref role="3uigEE" node="1H_6AUT0m_J" resolve="SimpleProgramAnalysis" />
+              </node>
+              <node concept="37vLTw" id="2WtKs4tZA62" role="10QFUP">
+                <ref role="3cqZAo" node="2WtKs4tZv5Y" resolve="other" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2WtKs4tZB8s" role="3cqZAp" />
+        <node concept="3clFbF" id="2WtKs4tZzkc" role="3cqZAp">
+          <node concept="2OqwBi" id="2WtKs4tZ$0U" role="3clFbG">
+            <node concept="37vLTw" id="2WtKs4tZzka" role="2Oq$k0">
+              <ref role="3cqZAo" node="1H_6AUSWicQ" resolve="principalCtrs" />
+            </node>
+            <node concept="X8dFx" id="2WtKs4tZ$yH" role="2OqNvi">
+              <node concept="2OqwBi" id="2WtKs4tZEIy" role="25WWJ7">
+                <node concept="37vLTw" id="2WtKs4tZDPX" role="2Oq$k0">
+                  <ref role="3cqZAo" node="2WtKs4tZ_Sj" resolve="otherAn" />
+                </node>
+                <node concept="2OwXpG" id="2WtKs4u0IGO" role="2OqNvi">
+                  <ref role="2Oxat5" node="1H_6AUSWicQ" resolve="principalCtrs" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="2WtKs4tZHhV" role="3cqZAp">
+          <node concept="2OqwBi" id="2WtKs4tZIaI" role="3clFbG">
+            <node concept="37vLTw" id="2WtKs4tZHhT" role="2Oq$k0">
+              <ref role="3cqZAo" node="1TR62lz31TZ" resolve="principalRulesTags" />
+            </node>
+            <node concept="X8dFx" id="2WtKs4tZILh" role="2OqNvi">
+              <node concept="2OqwBi" id="2WtKs4tZJvP" role="25WWJ7">
+                <node concept="37vLTw" id="2WtKs4tZJaV" role="2Oq$k0">
+                  <ref role="3cqZAo" node="2WtKs4tZ_Sj" resolve="otherAn" />
+                </node>
+                <node concept="2OwXpG" id="2WtKs4u0Jv$" role="2OqNvi">
+                  <ref role="2Oxat5" node="1TR62lz31TZ" resolve="principalRulesTags" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2WtKs4tZRpw" role="3cqZAp" />
+        <node concept="3cpWs6" id="2WtKs4tZTeS" role="3cqZAp">
+          <node concept="3clFbT" id="2WtKs4tZXcv" role="3cqZAk">
+            <property role="3clFbU" value="true" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tmbuc" id="2WtKs4tZsdX" role="1B3o_S" />
+      <node concept="10P_77" id="2WtKs4tZNJw" role="3clF45" />
+      <node concept="2AHcQZ" id="2WtKs4tZx9n" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
     <node concept="2tJIrI" id="1H_6AUSTS1B" role="jymVt" />
     <node concept="3clFb_" id="1H_6AUSEEjh" role="jymVt">
       <property role="TrG5h" value="doRun" />
@@ -2700,6 +2882,9 @@
     <node concept="3uibUv" id="1H_6AUT0mAj" role="1zkMxy">
       <ref role="3uigEE" node="1H_6AUSXnyk" resolve="ProgramAnalysis" />
     </node>
+    <node concept="3uibUv" id="3L0F0kb7jZx" role="EKbjA">
+      <ref role="3uigEE" node="2WtKs4u1ogK" resolve="SpecProvider" />
+    </node>
     <node concept="3uibUv" id="1H_6AUT38lB" role="EKbjA">
       <ref role="3uigEE" node="1H_6AUT33xC" resolve="PrincipalConstraintProvider" />
     </node>
@@ -2890,7 +3075,7 @@
     </node>
     <node concept="2tJIrI" id="1H_6AUT3la0" role="jymVt" />
     <node concept="3clFb_" id="1H_6AUT3mkR" role="jymVt">
-      <property role="TrG5h" value="build" />
+      <property role="TrG5h" value="getSpec" />
       <node concept="3clFbS" id="1H_6AUT3mkU" role="3clF47">
         <node concept="3clFbJ" id="1H_6AUT3mz0" role="3cqZAp">
           <node concept="2OqwBi" id="1H_6AUT3o4Q" role="3clFbw">
@@ -2970,6 +3155,9 @@
       <node concept="3uibUv" id="1H_6AUT3liW" role="3clF45">
         <ref role="3uigEE" to="av0y:~IncrementalProgramSpec" resolve="IncrementalProgramSpec" />
       </node>
+      <node concept="2AHcQZ" id="5Ud1wlIOa9K" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
     </node>
     <node concept="2tJIrI" id="1H_6AUT3jSL" role="jymVt" />
     <node concept="312cEg" id="1H_6AUT3lJS" role="jymVt">
@@ -2996,6 +3184,9 @@
       <node concept="3Tm6S6" id="1H_6AUT3jUg" role="1B3o_S" />
     </node>
     <node concept="3Tm1VV" id="1H_6AUT30JF" role="1B3o_S" />
+    <node concept="3uibUv" id="5Ud1wlIO9Yw" role="EKbjA">
+      <ref role="3uigEE" node="2WtKs4u1ogK" resolve="SpecProvider" />
+    </node>
   </node>
   <node concept="312cEu" id="1H_6AUT30Sc">
     <property role="TrG5h" value="ProgramChecker" />
@@ -3213,8 +3404,8 @@
                 <node concept="37vLTw" id="1H_6AUT3yqA" role="2Oq$k0">
                   <ref role="3cqZAo" node="1H_6AUT3qxg" resolve="rule" />
                 </node>
-                <node concept="liA8E" id="1H_6AUT3yUY" role="2OqNvi">
-                  <ref role="37wK5l" to="av0y:~Rule.uniqueTag()" resolve="uniqueTag" />
+                <node concept="liA8E" id="6xVZN2uLgGx" role="2OqNvi">
+                  <ref role="37wK5l" to="av0y:~Rule.basetag()" resolve="basetag" />
                 </node>
               </node>
             </node>
@@ -3245,5 +3436,46 @@
       </node>
     </node>
   </node>
+  <node concept="3HP615" id="2WtKs4u1ogK">
+    <property role="TrG5h" value="SpecProvider" />
+    <node concept="3clFb_" id="5Ud1wlIOa8f" role="jymVt">
+      <property role="TrG5h" value="getSpec" />
+      <node concept="3clFbS" id="5Ud1wlIOa8i" role="3clF47" />
+      <node concept="3Tm1VV" id="5Ud1wlIOa8j" role="1B3o_S" />
+      <node concept="3uibUv" id="5Ud1wlIOa7U" role="3clF45">
+        <ref role="3uigEE" to="av0y:~IncrementalProgramSpec" resolve="IncrementalProgramSpec" />
+      </node>
+    </node>
+    <node concept="3Tm1VV" id="2WtKs4u1ogL" role="1B3o_S" />
+  </node>
+  <node concept="3HP615" id="2PLbMk5NJ$E">
+    <property role="TrG5h" value="BasicProgramAnalysis" />
+    <node concept="2tJIrI" id="2PLbMk5NKJY" role="jymVt" />
+    <node concept="3clFb_" id="2PLbMk5NKRF" role="jymVt">
+      <property role="TrG5h" value="getPrincipalCtrs" />
+      <node concept="3clFbS" id="2PLbMk5NKRI" role="3clF47" />
+      <node concept="3Tm1VV" id="2PLbMk5NKRJ" role="1B3o_S" />
+      <node concept="2hMVRd" id="2PLbMk5NKON" role="3clF45">
+        <node concept="3uibUv" id="2PLbMk5NKRC" role="2hN53Y">
+          <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2PLbMk5NL10" role="jymVt" />
+    <node concept="3clFb_" id="2PLbMk5NLfP" role="jymVt">
+      <property role="TrG5h" value="getPrincipalRules" />
+      <node concept="3clFbS" id="2PLbMk5NLfS" role="3clF47" />
+      <node concept="3Tm1VV" id="2PLbMk5NLfT" role="1B3o_S" />
+      <node concept="2hMVRd" id="2PLbMk5NL4E" role="3clF45">
+        <node concept="3uibUv" id="2PLbMk5NLdN" role="2hN53Y">
+          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+        </node>
+      </node>
+    </node>
+    <node concept="3Tm1VV" id="2PLbMk5NJ$F" role="1B3o_S" />
+    <node concept="3uibUv" id="2PLbMk5O0SG" role="3HQHJm">
+      <ref role="3uigEE" node="2WtKs4u1ogK" resolve="SpecProvider" />
+    </node>
+  </node>
 </model>
 
diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
index a176ff89..c6240f53 100644
--- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
@@ -2,13 +2,13 @@
 <model ref="r:4f157831-48e7-4c8f-a144-b5bbd1be1539(jetbrains.mps.coderules.build)">
   <persistence version="9" />
   <languages>
-    <use id="427a473d-5177-432c-9905-bcbceb71b996" name="jetbrains.mps.build.mps.runner" version="-1" />
-    <use id="698a8d22-a104-47a0-ba8d-10e3ec237f13" name="jetbrains.mps.build.workflow" version="-1" />
-    <use id="0cf935df-4699-4e9c-a132-fa109541cba3" name="jetbrains.mps.build.mps" version="-1" />
-    <use id="d5033cee-f632-44b6-b308-89d4fbde34ff" name="jetbrains.mps.build.startup" version="-1" />
-    <use id="798100da-4f0a-421a-b991-71f8c50ce5d2" name="jetbrains.mps.build" version="-1" />
-    <use id="9f846aef-4e4a-4a84-828e-7e83fe2697f2" name="jetbrains.mps.build.mps.testManifest" version="-1" />
-    <use id="3600cb0a-44dd-4a5b-9968-22924406419e" name="jetbrains.mps.build.mps.tests" version="-1" />
+    <use id="427a473d-5177-432c-9905-bcbceb71b996" name="jetbrains.mps.build.mps.runner" version="0" />
+    <use id="698a8d22-a104-47a0-ba8d-10e3ec237f13" name="jetbrains.mps.build.workflow" version="0" />
+    <use id="0cf935df-4699-4e9c-a132-fa109541cba3" name="jetbrains.mps.build.mps" version="7" />
+    <use id="d5033cee-f632-44b6-b308-89d4fbde34ff" name="jetbrains.mps.build.startup" version="0" />
+    <use id="798100da-4f0a-421a-b991-71f8c50ce5d2" name="jetbrains.mps.build" version="0" />
+    <use id="9f846aef-4e4a-4a84-828e-7e83fe2697f2" name="jetbrains.mps.build.mps.testManifest" version="0" />
+    <use id="3600cb0a-44dd-4a5b-9968-22924406419e" name="jetbrains.mps.build.mps.tests" version="1" />
   </languages>
   <imports>
     <import index="ffeo" ref="r:874d959d-e3b4-4d04-b931-ca849af130dd(jetbrains.mps.ide.build)" />
@@ -1710,6 +1710,11 @@
             <ref role="3bR37D" node="7BVjoXzUxoR" resolve="jetbrains.mps.logic.reactor" />
           </node>
         </node>
+        <node concept="1SiIV0" id="2Ap6smoezi" role="3bR37C">
+          <node concept="3bR9La" id="2Ap6smoezj" role="1SiIV1">
+            <ref role="3bR37D" node="7BVjoXzUxee" resolve="jetbrains.mps.lang.coderules.runtime" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtA" id="7BVjoXzUxee" role="2G$12L">
         <property role="BnDLt" value="true" />
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
index b9462204..525f0f72 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
@@ -101,6 +101,7 @@
         <reference id="1144433057691" name="classifier" index="1PxDUh" />
       </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="1070534934090" name="jetbrains.mps.baseLanguage.structure.CastExpression" flags="nn" index="10QFUN">
         <child id="1070534934091" name="type" index="10QFUM" />
         <child id="1070534934092" name="expression" index="10QFUP" />
@@ -115,6 +116,7 @@
       </concept>
       <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="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
         <child id="5680397130376446158" name="type" index="1tU5fm" />
       </concept>
@@ -316,22 +318,11 @@
       <concept id="1204796164442" name="jetbrains.mps.baseLanguage.collections.structure.InternalSequenceOperation" flags="nn" index="23sCx2">
         <child id="1204796294226" name="closure" index="23t8la" />
       </concept>
-      <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="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="1237721394592" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerCreator" flags="nn" index="HWqM0">
-        <child id="1237721435807" name="elementType" index="HW$YZ" />
-      </concept>
       <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="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
       <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
       <concept id="1197683403723" name="jetbrains.mps.baseLanguage.collections.structure.MapType" flags="in" index="3rvAFt">
         <child id="1197683466920" name="keyType" index="3rvQeY" />
@@ -354,6 +345,45 @@
   <node concept="1lH9Xt" id="tyIfzBA5cK">
     <property role="TrG5h" value="Analyses" />
     <property role="3OwPAg" value="true" />
+    <node concept="2XrIbr" id="2PLbMk5R0rZ" role="1qtyYc">
+      <property role="TrG5h" value="ctr" />
+      <node concept="37vLTG" id="2PLbMk5R0uz" role="3clF46">
+        <property role="TrG5h" value="name" />
+        <node concept="17QB3L" id="2PLbMk5R0v0" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="2PLbMk5R0vk" role="3clF46">
+        <property role="TrG5h" value="arity" />
+        <node concept="10Oyi0" id="2PLbMk5R0vP" role="1tU5fm" />
+      </node>
+      <node concept="3uibUv" id="2PLbMk5R0tG" role="3clF45">
+        <ref role="3uigEE" to="av0y:~Constraint" resolve="Constraint" />
+      </node>
+      <node concept="3clFbS" id="2PLbMk5R0s1" role="3clF47">
+        <node concept="3clFbF" id="2PLbMk5R0xR" role="3cqZAp">
+          <node concept="2OqwBi" id="2PLbMk5R0gI" role="3clFbG">
+            <node concept="2ShNRf" id="2PLbMk5QY2H" role="2Oq$k0">
+              <node concept="1pGfFk" id="2PLbMk5QZX8" role="2ShVmc">
+                <ref role="37wK5l" to="i348:4sSe4$oM2rk" resolve="ConstraintBuilder" />
+                <node concept="2YIFZM" id="2PLbMk5R01n" role="37wK5m">
+                  <ref role="1Pybhc" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
+                  <ref role="37wK5l" to="av0y:~ConstraintSymbol.symbol(java.lang.String,int)" resolve="symbol" />
+                  <node concept="37vLTw" id="2PLbMk5RnWK" role="37wK5m">
+                    <ref role="3cqZAo" node="2PLbMk5R0uz" resolve="name" />
+                  </node>
+                  <node concept="37vLTw" id="2PLbMk5Ro0g" role="37wK5m">
+                    <ref role="3cqZAo" node="2PLbMk5R0vk" resolve="arity" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="liA8E" id="2PLbMk5R0pP" role="2OqNvi">
+              <ref role="37wK5l" to="i348:4sSe4$oM2zI" resolve="toConstraint" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="2PLbMk5R0zx" role="1B3o_S" />
+    </node>
     <node concept="1LZb2c" id="tyIfzBAafK" role="1SL9yI">
       <property role="TrG5h" value="principalConstraintChecker" />
       <node concept="3cqZAl" id="tyIfzBAafL" role="3clF45" />
@@ -745,14 +775,6 @@
       <node concept="3cqZAl" id="tyIfzBA5cN" role="3clF45" />
       <node concept="3clFbS" id="tyIfzBA5cO" role="3clF47">
         <node concept="3clFbH" id="tyIfzBPkAU" role="3cqZAp" />
-        <node concept="3cpWs8" id="tyIfzBIxtH" role="3cqZAp">
-          <node concept="3cpWsn" id="tyIfzBIxtI" role="3cpWs9">
-            <property role="TrG5h" value="info" />
-            <node concept="3uibUv" id="tyIfzBIxtJ" role="1tU5fm">
-              <ref role="3uigEE" to="xnrr:1H_6AUSU96G" resolve="ProgramGenInfoBuilder.ProgramGenInfo" />
-            </node>
-          </node>
-        </node>
         <node concept="3cpWs8" id="4VntlICnIHB" role="3cqZAp">
           <node concept="3cpWsn" id="4VntlICnIHC" role="3cpWs9">
             <property role="TrG5h" value="spec" />
@@ -855,21 +877,6 @@
                   </node>
                 </node>
               </node>
-              <node concept="3clFbF" id="tyIfzBILjT" role="3cqZAp">
-                <node concept="37vLTI" id="tyIfzBILC1" role="3clFbG">
-                  <node concept="2OqwBi" id="tyIfzBIXVS" role="37vLTx">
-                    <node concept="liA8E" id="tyIfzBIZQi" role="2OqNvi">
-                      <ref role="37wK5l" to="hfva:tyIfzC3lMP" resolve="getProgramGenInfo" />
-                    </node>
-                    <node concept="37vLTw" id="tyIfzC4E6Y" role="2Oq$k0">
-                      <ref role="3cqZAo" node="tyIfzC3OTC" resolve="launcher" />
-                    </node>
-                  </node>
-                  <node concept="37vLTw" id="tyIfzBILjR" role="37vLTJ">
-                    <ref role="3cqZAo" node="tyIfzBIxtI" resolve="info" />
-                  </node>
-                </node>
-              </node>
               <node concept="3clFbF" id="4VntlICnIU5" role="3cqZAp">
                 <node concept="37vLTI" id="4VntlICnJ3r" role="3clFbG">
                   <node concept="2OqwBi" id="4VntlICnLoq" role="37vLTx">
@@ -894,82 +901,22 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="tyIfzBIkEK" role="3cqZAp" />
-        <node concept="3cpWs8" id="tyIfzBKNMI" role="3cqZAp">
-          <node concept="3cpWsn" id="tyIfzBKNMJ" role="3cpWs9">
-            <property role="TrG5h" value="principalCtrsAnalysis" />
-            <node concept="3uibUv" id="tyIfzBKNMK" role="1tU5fm">
-              <ref role="3uigEE" to="xnrr:1H_6AUT0m_J" resolve="SimpleProgramAnalysis" />
+        <node concept="3clFbH" id="tyIfzBL6FW" role="3cqZAp" />
+        <node concept="3vwNmj" id="2PLbMk5QW18" role="3cqZAp">
+          <node concept="2OqwBi" id="2PLbMk5QW9O" role="3vwVQn">
+            <node concept="37vLTw" id="2PLbMk5QW4C" role="2Oq$k0">
+              <ref role="3cqZAo" node="4VntlICnIHC" resolve="spec" />
             </node>
-            <node concept="2ShNRf" id="tyIfzBKPxx" role="33vP2m">
-              <node concept="1pGfFk" id="tyIfzBKRiT" role="2ShVmc">
-                <ref role="37wK5l" to="xnrr:1H_6AUSTUb0" resolve="SimpleProgramAnalysis" />
-                <node concept="37vLTw" id="tyIfzBKRji" role="37wK5m">
-                  <ref role="3cqZAo" node="tyIfzBIxtI" resolve="info" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="tyIfzBKUeQ" role="3cqZAp">
-          <node concept="2OqwBi" id="tyIfzBKUPv" role="3clFbG">
-            <node concept="37vLTw" id="tyIfzBKUeO" role="2Oq$k0">
-              <ref role="3cqZAo" node="tyIfzBKNMJ" resolve="principalCtrsAnalysis" />
-            </node>
-            <node concept="liA8E" id="tyIfzBKWAN" role="2OqNvi">
-              <ref role="37wK5l" to="xnrr:1H_6AUSXuxC" resolve="run" />
-            </node>
-          </node>
-        </node>
-        <node concept="3cpWs8" id="tyIfzBL35s" role="3cqZAp">
-          <node concept="3cpWsn" id="tyIfzBL35v" role="3cpWs9">
-            <property role="TrG5h" value="principalCtrs" />
-            <node concept="2hMVRd" id="tyIfzBL35o" role="1tU5fm">
-              <node concept="3uibUv" id="tyIfzBL4y3" role="2hN53Y">
-                <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
-              </node>
-            </node>
-            <node concept="2OqwBi" id="tyIfzBL6fT" role="33vP2m">
-              <node concept="37vLTw" id="tyIfzBL61G" role="2Oq$k0">
-                <ref role="3cqZAo" node="tyIfzBKNMJ" resolve="principalCtrsAnalysis" />
-              </node>
-              <node concept="liA8E" id="tyIfzBL6EN" role="2OqNvi">
-                <ref role="37wK5l" to="xnrr:1H_6AUSWw$W" resolve="getPrincipalCtrs" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="tyIfzBLsJ0" role="3cqZAp" />
-        <node concept="3cpWs8" id="tyIfzBLg7S" role="3cqZAp">
-          <node concept="3cpWsn" id="tyIfzBLg7V" role="3cpWs9">
-            <property role="TrG5h" value="expectedPCtrs" />
-            <node concept="2hMVRd" id="tyIfzBLg7O" role="1tU5fm">
-              <node concept="3uibUv" id="tyIfzBLgpS" role="2hN53Y">
-                <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
-              </node>
-            </node>
-            <node concept="2ShNRf" id="tyIfzBLhVn" role="33vP2m">
-              <node concept="2i4dXS" id="tyIfzBLkEC" role="2ShVmc">
-                <node concept="3uibUv" id="tyIfzBLl0A" role="HW$YZ">
-                  <ref role="3uigEE" to="av0y:~ConstraintSymbol" resolve="ConstraintSymbol" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="tyIfzBLpyj" role="3cqZAp">
-          <node concept="2OqwBi" id="tyIfzBLqpt" role="3clFbG">
-            <node concept="37vLTw" id="tyIfzBLpyh" role="2Oq$k0">
-              <ref role="3cqZAo" node="tyIfzBLg7V" resolve="expectedPCtrs" />
-            </node>
-            <node concept="TSZUe" id="tyIfzBLsC8" role="2OqNvi">
-              <node concept="2ShNRf" id="tyIfzBLwbU" role="25WWJ7">
-                <node concept="1pGfFk" id="tyIfzBLyk_" role="2ShVmc">
-                  <ref role="37wK5l" to="av0y:~ConstraintSymbol.&lt;init&gt;(java.lang.String,int)" resolve="ConstraintSymbol" />
-                  <node concept="Xl_RD" id="tyIfzBL$eY" role="37wK5m">
+            <node concept="liA8E" id="2PLbMk5QWU3" role="2OqNvi">
+              <ref role="37wK5l" to="av0y:~IncrementalProgramSpec.isPrincipal(jetbrains.mps.logic.reactor.program.Constraint)" resolve="isPrincipal" />
+              <node concept="2OqwBi" id="2PLbMk5R0AT" role="37wK5m">
+                <node concept="2WthIp" id="2PLbMk5R0AW" role="2Oq$k0" />
+                <node concept="2XshWL" id="2PLbMk5R0AY" role="2OqNvi">
+                  <ref role="2WH_rO" node="2PLbMk5R0rZ" resolve="ctr" />
+                  <node concept="Xl_RD" id="2PLbMk5R0CH" role="2XxRq1">
                     <property role="Xl_RC" value="typeof" />
                   </node>
-                  <node concept="3cmrfG" id="tyIfzBL_9Z" role="37wK5m">
+                  <node concept="3cmrfG" id="2PLbMk5R0Pp" role="2XxRq1">
                     <property role="3cmrfH" value="2" />
                   </node>
                 </node>
@@ -977,41 +924,43 @@
             </node>
           </node>
         </node>
-        <node concept="3SKdUt" id="tyIfzBN$sa" role="3cqZAp">
-          <node concept="1PaTwC" id="tyIfzBN$sb" role="3ndbpf">
-            <node concept="3oM_SD" id="tyIfzBNDWg" role="1PaTwD">
+        <node concept="3SKdUt" id="2PLbMk5R1IT" role="3cqZAp">
+          <node concept="1PaTwC" id="2PLbMk5R1IU" role="3ndbpf">
+            <node concept="3oM_SD" id="2PLbMk5R1IV" role="1PaTwD">
               <property role="3oM_SC" value="constraints" />
             </node>
-            <node concept="3oM_SD" id="tyIfzBNDWq" role="1PaTwD">
+            <node concept="3oM_SD" id="2PLbMk5R1IW" role="1PaTwD">
               <property role="3oM_SC" value="from" />
             </node>
-            <node concept="3oM_SD" id="tyIfzBNDW_" role="1PaTwD">
+            <node concept="3oM_SD" id="2PLbMk5R1IX" role="1PaTwD">
               <property role="3oM_SC" value="queries" />
             </node>
-            <node concept="3oM_SD" id="tyIfzBNGTr" role="1PaTwD">
+            <node concept="3oM_SD" id="2PLbMk5R1IY" role="1PaTwD">
               <property role="3oM_SC" value="are" />
             </node>
-            <node concept="3oM_SD" id="tyIfzBNGTK" role="1PaTwD">
+            <node concept="3oM_SD" id="2PLbMk5R1IZ" role="1PaTwD">
               <property role="3oM_SC" value="principal" />
             </node>
-            <node concept="3oM_SD" id="tyIfzBNJQw" role="1PaTwD">
+            <node concept="3oM_SD" id="2PLbMk5R1J0" role="1PaTwD">
               <property role="3oM_SC" value="too" />
             </node>
           </node>
         </node>
-        <node concept="3clFbF" id="tyIfzBLC24" role="3cqZAp">
-          <node concept="2OqwBi" id="tyIfzBLC25" role="3clFbG">
-            <node concept="37vLTw" id="tyIfzBLC26" role="2Oq$k0">
-              <ref role="3cqZAo" node="tyIfzBLg7V" resolve="expectedPCtrs" />
+        <node concept="3vwNmj" id="2PLbMk5R0Ql" role="3cqZAp">
+          <node concept="2OqwBi" id="2PLbMk5R0Qm" role="3vwVQn">
+            <node concept="37vLTw" id="2PLbMk5R0Qn" role="2Oq$k0">
+              <ref role="3cqZAo" node="4VntlICnIHC" resolve="spec" />
             </node>
-            <node concept="TSZUe" id="tyIfzBLC27" role="2OqNvi">
-              <node concept="2ShNRf" id="tyIfzBLC28" role="25WWJ7">
-                <node concept="1pGfFk" id="tyIfzBLC29" role="2ShVmc">
-                  <ref role="37wK5l" to="av0y:~ConstraintSymbol.&lt;init&gt;(java.lang.String,int)" resolve="ConstraintSymbol" />
-                  <node concept="Xl_RD" id="tyIfzBLC2a" role="37wK5m">
+            <node concept="liA8E" id="2PLbMk5R0Qo" role="2OqNvi">
+              <ref role="37wK5l" to="av0y:~IncrementalProgramSpec.isPrincipal(jetbrains.mps.logic.reactor.program.Constraint)" resolve="isPrincipal" />
+              <node concept="2OqwBi" id="2PLbMk5R0Qp" role="37wK5m">
+                <node concept="2WthIp" id="2PLbMk5R0Qq" role="2Oq$k0" />
+                <node concept="2XshWL" id="2PLbMk5R0Qr" role="2OqNvi">
+                  <ref role="2WH_rO" node="2PLbMk5R0rZ" resolve="ctr" />
+                  <node concept="Xl_RD" id="2PLbMk5R0Qs" role="2XxRq1">
                     <property role="Xl_RC" value="recover" />
                   </node>
-                  <node concept="3cmrfG" id="tyIfzBM0Bg" role="37wK5m">
+                  <node concept="3cmrfG" id="2PLbMk5R1gs" role="2XxRq1">
                     <property role="3cmrfH" value="0" />
                   </node>
                 </node>
@@ -1041,19 +990,21 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbF" id="tyIfzBME_2" role="3cqZAp">
-          <node concept="2OqwBi" id="tyIfzBME_3" role="3clFbG">
-            <node concept="37vLTw" id="tyIfzBME_4" role="2Oq$k0">
-              <ref role="3cqZAo" node="tyIfzBLg7V" resolve="expectedPCtrs" />
+        <node concept="3vwNmj" id="2PLbMk5R0Uk" role="3cqZAp">
+          <node concept="2OqwBi" id="2PLbMk5R0Ul" role="3vwVQn">
+            <node concept="37vLTw" id="2PLbMk5R0Um" role="2Oq$k0">
+              <ref role="3cqZAo" node="4VntlICnIHC" resolve="spec" />
             </node>
-            <node concept="TSZUe" id="tyIfzBME_5" role="2OqNvi">
-              <node concept="2ShNRf" id="tyIfzBME_6" role="25WWJ7">
-                <node concept="1pGfFk" id="tyIfzBME_7" role="2ShVmc">
-                  <ref role="37wK5l" to="av0y:~ConstraintSymbol.&lt;init&gt;(java.lang.String,int)" resolve="ConstraintSymbol" />
-                  <node concept="Xl_RD" id="tyIfzBME_8" role="37wK5m">
+            <node concept="liA8E" id="2PLbMk5R0Un" role="2OqNvi">
+              <ref role="37wK5l" to="av0y:~IncrementalProgramSpec.isPrincipal(jetbrains.mps.logic.reactor.program.Constraint)" resolve="isPrincipal" />
+              <node concept="2OqwBi" id="2PLbMk5R0Uo" role="37wK5m">
+                <node concept="2WthIp" id="2PLbMk5R0Up" role="2Oq$k0" />
+                <node concept="2XshWL" id="2PLbMk5R0Uq" role="2OqNvi">
+                  <ref role="2WH_rO" node="2PLbMk5R0rZ" resolve="ctr" />
+                  <node concept="Xl_RD" id="2PLbMk5R0Ur" role="2XxRq1">
                     <property role="Xl_RC" value="main" />
                   </node>
-                  <node concept="3cmrfG" id="tyIfzBME_9" role="37wK5m">
+                  <node concept="3cmrfG" id="2PLbMk5R1j8" role="2XxRq1">
                     <property role="3cmrfH" value="0" />
                   </node>
                 </node>
@@ -1061,15 +1012,6 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="tyIfzBL6FW" role="3cqZAp" />
-        <node concept="3vlDli" id="tyIfzBL9Mu" role="3cqZAp">
-          <node concept="37vLTw" id="4VntlICn4CV" role="3tpDZB">
-            <ref role="3cqZAo" node="tyIfzBLg7V" resolve="expectedPCtrs" />
-          </node>
-          <node concept="37vLTw" id="4VntlICn5Ks" role="3tpDZA">
-            <ref role="3cqZAo" node="tyIfzBL35v" resolve="principalCtrs" />
-          </node>
-        </node>
       </node>
     </node>
   </node>
diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd
index 39d34249..403f4b96 100644
--- a/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd
+++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd
@@ -13,6 +13,7 @@
     <dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
     <dependency reexport="true">da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)</dependency>
     <dependency reexport="true">bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)</dependency>
+    <dependency reexport="false">26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)</dependency>
   </dependencies>
   <languageVersions>
     <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="9" />
@@ -33,6 +34,7 @@
     <module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
     <module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
     <module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
+    <module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" version="0" />
     <module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" version="0" />
     <module reference="9e98f4e2-decf-4e97-bf80-9109e8b759aa(jetbrains.mps.lang.feedback.context)" version="0" />
     <module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps
index 90c3d0df..7dc5c8a0 100644
--- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps
+++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps
@@ -25,6 +25,7 @@
     <import index="cxk7" ref="r:daa544a7-0a5c-49c0-a54c-4c2a5b4868aa(jetbrains.mps.logic.predicate)" />
     <import index="2gg1" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.errors(MPS.Core/)" />
     <import index="9x2e" ref="r:0730b0d1-7e2f-4982-aac3-8069c5060a9c(jetbrains.mps.lang.typesystem2.reporting)" />
+    <import index="xnrr" ref="r:4fd33103-fc30-42f4-a8cf-d1e858f21988(jetbrains.mps.lang.coderules.program.analysis)" />
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@@ -392,6 +393,16 @@
       <node concept="3Tm1VV" id="4MqhgXUaiLA" role="1B3o_S" />
       <node concept="3clFbS" id="4MqhgXUaiLB" role="3clF47" />
     </node>
+    <node concept="2tJIrI" id="2WtKs4tD$nT" role="jymVt" />
+    <node concept="3clFb_" id="2WtKs4tZlCC" role="jymVt">
+      <property role="1EzhhJ" value="true" />
+      <property role="TrG5h" value="analyses" />
+      <node concept="3clFbS" id="2WtKs4tZlCF" role="3clF47" />
+      <node concept="3Tm1VV" id="2WtKs4tZlzz" role="1B3o_S" />
+      <node concept="3uibUv" id="2WtKs4u1dpp" role="3clF45">
+        <ref role="3uigEE" to="xnrr:1H_6AUSXnyk" resolve="ProgramAnalysis" />
+      </node>
+    </node>
     <node concept="2tJIrI" id="4MqhgXUaiL8" role="jymVt" />
     <node concept="3Tm1VV" id="4OKkcnfu_xn" role="1B3o_S" />
   </node>
@@ -2680,6 +2691,9 @@
       <node concept="3clFbS" id="6lpwCiZjdpk" role="3clF47">
         <node concept="1VxSAg" id="7nPD14Oesbn" role="3cqZAp">
           <ref role="37wK5l" node="7nPD14OeqYJ" resolve="RuleBuilder" />
+          <node concept="37vLTw" id="6xVZN2uA0fH" role="37wK5m">
+            <ref role="3cqZAo" node="62MNP_kXJV2" resolve="tag" />
+          </node>
           <node concept="37vLTw" id="62MNP_kXJYe" role="37wK5m">
             <ref role="3cqZAo" node="62MNP_kXJV2" resolve="tag" />
           </node>
@@ -2694,6 +2708,10 @@
     </node>
     <node concept="2tJIrI" id="3KXGt7WvW6X" role="jymVt" />
     <node concept="3clFbW" id="7nPD14OeqYJ" role="jymVt">
+      <node concept="37vLTG" id="6xVZN2uA02z" role="3clF46">
+        <property role="TrG5h" value="tmpRuleTag" />
+        <node concept="17QB3L" id="6xVZN2uA0cE" role="1tU5fm" />
+      </node>
       <node concept="37vLTG" id="7nPD14OeqYK" role="3clF46">
         <property role="TrG5h" value="tag" />
         <node concept="17QB3L" id="7nPD14OeqYL" role="1tU5fm" />
@@ -2713,6 +2731,19 @@
       <node concept="3cqZAl" id="7nPD14OeqYO" role="3clF45" />
       <node concept="3Tm1VV" id="7nPD14OeqYP" role="1B3o_S" />
       <node concept="3clFbS" id="7nPD14OeqYQ" role="3clF47">
+        <node concept="3clFbF" id="6xVZN2uAqIF" role="3cqZAp">
+          <node concept="37vLTI" id="6xVZN2uArcw" role="3clFbG">
+            <node concept="37vLTw" id="6xVZN2uArjF" role="37vLTx">
+              <ref role="3cqZAo" node="6xVZN2uA02z" resolve="tmpRuleTag" />
+            </node>
+            <node concept="2OqwBi" id="6xVZN2uAqPp" role="37vLTJ">
+              <node concept="Xjq3P" id="6xVZN2uAqID" role="2Oq$k0" />
+              <node concept="2OwXpG" id="6xVZN2uAqVp" role="2OqNvi">
+                <ref role="2Oxat5" node="6xVZN2uAbNZ" resolve="basetag" />
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="3clFbF" id="7nPD14OeqYR" role="3cqZAp">
           <node concept="37vLTI" id="7nPD14OeqYS" role="3clFbG">
             <node concept="2OqwBi" id="7nPD14OeqYT" role="37vLTJ">
@@ -4199,6 +4230,22 @@
           <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
         </node>
       </node>
+      <node concept="2tJIrI" id="6xVZN2uAlU5" role="jymVt" />
+      <node concept="3clFb_" id="6xVZN2uAjp3" role="jymVt">
+        <property role="TrG5h" value="basetag" />
+        <node concept="3clFbS" id="6xVZN2uAjp4" role="3clF47">
+          <node concept="3clFbF" id="6xVZN2uAqw7" role="3cqZAp">
+            <node concept="37vLTw" id="6xVZN2uAqw6" role="3clFbG">
+              <ref role="3cqZAo" node="6xVZN2uAbNZ" resolve="basetag" />
+            </node>
+          </node>
+        </node>
+        <node concept="3Tm1VV" id="6xVZN2uAjp7" role="1B3o_S" />
+        <node concept="17QB3L" id="6xVZN2uAjp8" role="3clF45" />
+        <node concept="2AHcQZ" id="6xVZN2uAjp9" role="2AJF6D">
+          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+        </node>
+      </node>
       <node concept="2tJIrI" id="51V709l4iSX" role="jymVt" />
       <node concept="3Tm1VV" id="7eGEHDlc$dZ" role="1B3o_S" />
       <node concept="3uibUv" id="7nPD14Ob5KM" role="1zkMxy">
@@ -4427,6 +4474,11 @@
       <node concept="3Tm6S6" id="6lpwCiZjjEn" role="1B3o_S" />
       <node concept="17QB3L" id="6lpwCiZjjEp" role="1tU5fm" />
     </node>
+    <node concept="312cEg" id="6xVZN2uAbNZ" role="jymVt">
+      <property role="TrG5h" value="basetag" />
+      <node concept="3Tm6S6" id="6xVZN2uA62G" role="1B3o_S" />
+      <node concept="17QB3L" id="6xVZN2uAbM7" role="1tU5fm" />
+    </node>
     <node concept="312cEg" id="7nPD14Ob4vA" role="jymVt">
       <property role="TrG5h" value="templateRef" />
       <node concept="3Tm6S6" id="7nPD14Ob4vB" role="1B3o_S" />
diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/MatchJournalImpl.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/MatchJournalImpl.kt
index 2cd58d9d..7b6be627 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/MatchJournalImpl.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/MatchJournalImpl.kt
@@ -215,6 +215,7 @@ internal open class MatchJournalImpl(
             override fun kind(): Kind = Kind.PROPAGATION
             override fun uniqueTag(): Any = tag().hashCode()
             override fun tag(): String = "initialrule${"initialrule".hashCode()}"
+            override fun basetag(): String = tag()
             override fun headKept(): Iterable<Constraint> = emptyList()
             override fun headReplaced(): Iterable<Constraint> = emptyList()
             override fun guard(): Iterable<Predicate> = emptyList()
diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/program/Rule.java b/reactor/Core/src/jetbrains/mps/logic/reactor/program/Rule.java
index f4e1a8bf..af50b3f2 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/program/Rule.java
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/program/Rule.java
@@ -32,10 +32,15 @@ public abstract class Rule {
     public abstract Object uniqueTag();
 
     /**
-     * A human-readable identifier, not guaranteed to be unique
+     * Human-readable identifier, not guaranteed to be unique.
      */
     public abstract String tag();
 
+    /**
+     * Human-readable identifier shared by all rules produced from the same template.
+     */
+    public abstract String basetag();
+
     /**
      * An origin serves as justification for all constraints affected by this rule.
      */
diff --git a/reactor/Test/src/program/MockProgram.kt b/reactor/Test/src/program/MockProgram.kt
index feb84633..39a9cf5d 100644
--- a/reactor/Test/src/program/MockProgram.kt
+++ b/reactor/Test/src/program/MockProgram.kt
@@ -85,6 +85,8 @@ class MockRule(
 
     override fun tag(): String = tag
 
+    override fun basetag(): String = tag
+
     override fun headKept(): Iterable<Constraint> = kept
 
     override fun headReplaced(): Iterable<Constraint> = replaced