From d7ff66167098d552d8f216fa4afcd07826033620 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 5 Apr 2021 15:21:17 +0200
Subject: [PATCH] Types for j.m.l.test lang

---
 samples/mpscore/build.xml                     |   16 +-
 .../jetbrains.mps.lang.testExt.mpl            |   38 +-
 .../jetbrains.mps.lang.testExt.types.mps      | 1190 +++++++++++++++++
 .../models/samples.mpscore.build.mps          |   25 +-
 4 files changed, 1261 insertions(+), 8 deletions(-)
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.types.mps

diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index 9440bbc8..f82a76fc 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -3668,7 +3668,7 @@
     </javac>
   </target>
   
-  <target name="java.compile.jetbrains.mps.lang.testExt" depends="java.compile.jetbrains.mps.baseLanguageExt, fetchDependencies">
+  <target name="java.compile.jetbrains.mps.lang.testExt" depends="java.compile.jetbrains.mps.baseLanguageExt, java.compile.jetbrains.mps.lang.smodelExt, fetchDependencies">
     <mkdir dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.testExt/source_gen" />
     <mkdir dir="${build.tmp}/java/out/jetbrains.mps.lang.testExt" />
     <javac destdir="${build.tmp}/java/out/jetbrains.mps.lang.testExt" fork="true" encoding="utf8" includeantruntime="false" debug="true">
@@ -3705,6 +3705,7 @@
         <pathelement path="${build.tmp}/java/out/jetbrains.mps.baseLanguageExt" />
         <fileset file="${artifacts.mps}/lib/mps-feedback-api.jar" />
         <fileset file="${artifacts.mps}/lib/mps-messages-api.jar" />
+        <pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.smodelExt" />
         <fileset file="${artifacts.mps}/lib/annotations.jar" />
         <fileset dir="${artifacts.mps}/lib" includes="*.jar" />
         <fileset file="${artifacts.mps}/lib/log4j.jar" />
@@ -3713,18 +3714,25 @@
         <fileset file="${artifacts.mps}/lib/ecj-4.16.jar" />
         <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
         <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.classifiers.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.baseLanguage.lightweightdsl.jar" />
         <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
         <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
         <fileset file="${artifacts.mps}/plugins/mps-testing/languages/baseLanguage/jetbrains.mps.baseLanguage.unitTest.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.checkedName.jar" />
+        <fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
+        <fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.template.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.intentions.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.modelapi.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.scopes.runtime.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.structure.jar" />
         <fileset file="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
+        <fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.runtime.jar" />
         <fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
         <fileset dir="${artifacts.coderules}/deploy/lib" includes="collection-0.7.jar" />
         <fileset dir="${artifacts.coderules}/deploy/lib" includes="trove4j-3.0.3.jar" />
@@ -3776,8 +3784,14 @@
         <fileset file="${artifacts.mps}/lib/jdom.jar" />
         <fileset file="${artifacts.mps}/lib/trove4j.jar" />
         <fileset file="${artifacts.mps}/lib/ecj-4.16.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.classifiers.jar" />
         <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
+        <fileset file="${artifacts.mps}/plugins/mps-testing/languages/baseLanguage/jetbrains.mps.baseLanguage.unitTest.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
+        <fileset file="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
       </classpath>
     </javac>
   </target>
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl
index 5742baa6..d8d84dc0 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl
@@ -44,21 +44,45 @@
       </languageVersions>
       <dependencyVersions>
         <module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
+        <module reference="847a3235-09f9-403c-b6a9-1c294a212e92(Ant)" version="0" />
         <module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
+        <module reference="49808fad-9d41-4b96-83fa-9231640f6b2b(JUnit)" version="0" />
         <module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
+        <module reference="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" version="0" />
+        <module reference="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" version="0" />
         <module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
+        <module reference="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" version="0" />
+        <module reference="920eaa0e-ecca-46bc-bee7-4e5c59213dd6(Testbench)" version="0" />
+        <module reference="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" version="0" />
+        <module reference="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" version="0" />
+        <module reference="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" version="0" />
+        <module reference="443f4c36-fcf5-4eb6-9500-8d06ed259e3e(jetbrains.mps.baseLanguage.classifiers)" version="0" />
+        <module reference="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" version="0" />
+        <module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
+        <module reference="f61473f9-130f-42f6-b98d-6c438812c2f6(jetbrains.mps.baseLanguage.unitTest)" version="0" />
+        <module reference="fdaaf35f-8ee3-4c37-b09d-9efaeaaa7a41(jetbrains.mps.core.tool.environment)" version="0" />
+        <module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
+        <module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
+        <module reference="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" version="0" />
         <module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
+        <module reference="8585453e-6bfb-4d80-98de-b16074f1d86c(jetbrains.mps.lang.test)" version="0" />
+        <module reference="e55e6749-03cb-4ea7-9695-2322bab791c1(jetbrains.mps.lang.test.matcher)" version="0" />
+        <module reference="707c4fde-f79a-44b5-b3d7-b5cef8844ccf(jetbrains.mps.lang.test.runtime)" version="0" />
         <module reference="a662e823-fbc1-4c03-bb95-1e23a88e48ee(jetbrains.mps.lang.testExt)" version="0" />
         <module reference="327272ac-0643-4d5c-922f-c61a3f0f203f(jetbrains.mps.lang.testExt.generator)" version="0" />
+        <module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
+        <module reference="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" version="0" />
       </dependencyVersions>
       <mapping-priorities />
     </generator>
   </generators>
   <sourcePath />
   <dependencies>
-    <dependency reexport="false">8585453e-6bfb-4d80-98de-b16074f1d86c(jetbrains.mps.lang.test)</dependency>
     <dependency reexport="false">0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)</dependency>
     <dependency reexport="false">d7a92d38-f7db-40d0-8431-763b0c3c9f20(jetbrains.mps.lang.intentions)</dependency>
+    <dependency reexport="false">1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)</dependency>
+    <dependency reexport="false">f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)</dependency>
+    <dependency reexport="false">65e59b42-e7f3-45ec-8692-6c7829780afe(jetbrains.mps.lang.smodelExt)</dependency>
   </dependencies>
   <languageVersions>
     <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="11" />
@@ -101,9 +125,14 @@
     <module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
     <module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
     <module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
+    <module reference="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" version="0" />
+    <module reference="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" version="0" />
     <module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
+    <module reference="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" version="0" />
     <module reference="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" version="0" />
     <module reference="443f4c36-fcf5-4eb6-9500-8d06ed259e3e(jetbrains.mps.baseLanguage.classifiers)" version="0" />
+    <module reference="fd392034-7849-419d-9071-12563d152375(jetbrains.mps.baseLanguage.closures)" version="0" />
+    <module reference="83888646-71ce-4f1c-9c53-c54016f6ad4f(jetbrains.mps.baseLanguage.collections)" version="0" />
     <module reference="c7d5b9dd-a05f-4be2-bc73-f2e16994cc67(jetbrains.mps.baseLanguage.lightweightdsl)" version="0" />
     <module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
     <module reference="f61473f9-130f-42f6-b98d-6c438812c2f6(jetbrains.mps.baseLanguage.unitTest)" version="0" />
@@ -114,7 +143,10 @@
     <module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
     <module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
     <module reference="d7a92d38-f7db-40d0-8431-763b0c3c9f20(jetbrains.mps.lang.intentions)" version="0" />
+    <module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
     <module reference="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" version="0" />
+    <module reference="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" version="1" />
+    <module reference="65e59b42-e7f3-45ec-8692-6c7829780afe(jetbrains.mps.lang.smodelExt)" version="0" />
     <module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
     <module reference="8585453e-6bfb-4d80-98de-b16074f1d86c(jetbrains.mps.lang.test)" version="0" />
     <module reference="a662e823-fbc1-4c03-bb95-1e23a88e48ee(jetbrains.mps.lang.testExt)" version="0" />
@@ -122,6 +154,8 @@
     <module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
     <module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
   </dependencyVersions>
-  <extendedLanguages />
+  <extendedLanguages>
+    <extendedLanguage>8585453e-6bfb-4d80-98de-b16074f1d86c(jetbrains.mps.lang.test)</extendedLanguage>
+  </extendedLanguages>
 </language>
 
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.types.mps
new file mode 100644
index 00000000..c3b7e820
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.types.mps
@@ -0,0 +1,1190 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:e9226bfe-7a17-4f9b-bb09-44e64bd3c53b(jetbrains.mps.lang.testExt.types)">
+  <persistence version="9" />
+  <languages>
+    <use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
+    <use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="21" />
+    <engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
+    <devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
+  </languages>
+  <imports>
+    <import index="kqnc" ref="r:92b96158-68e6-4f53-a32b-36e2b456fe01(jetbrains.mps.baseLanguageExt.types)" />
+    <import index="tp5g" ref="r:00000000-0000-4000-0000-011c89590388(jetbrains.mps.lang.test.structure)" />
+    <import index="tp3j" ref="r:00000000-0000-4000-0000-011c89590353(jetbrains.mps.lang.intentions.structure)" />
+    <import index="cj4x" ref="1ed103c3-3aa6-49b7-9c21-6765ee11f224/java:jetbrains.mps.openapi.editor(MPS.Editor/)" />
+    <import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
+    <import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" />
+    <import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" />
+    <import index="jxwi" ref="r:6ecd2c91-8e0b-4c6a-878e-d699a7336100(jetbrains.mps.lang.smodelExt.types)" />
+    <import index="tpeq" ref="r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)" />
+    <import index="tpce" ref="r:00000000-0000-4000-0000-011c89590292(jetbrains.mps.lang.structure.structure)" implicit="true" />
+  </imports>
+  <registry>
+    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
+        <child id="1082485599096" name="statements" index="9aQI4" />
+      </concept>
+      <concept id="1239714755177" name="jetbrains.mps.baseLanguage.structure.AbstractUnaryNumberOperation" flags="nn" index="2$Kvd9">
+        <child id="1239714902950" name="expression" index="2$L3a6" />
+      </concept>
+      <concept id="1154032098014" name="jetbrains.mps.baseLanguage.structure.AbstractLoopStatement" flags="nn" index="2LF5Ji">
+        <child id="1154032183016" name="body" index="2LFqv$" />
+      </concept>
+      <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
+        <child id="1197027771414" name="operand" index="2Oq$k0" />
+        <child id="1197027833540" name="operation" index="2OqNvi" />
+      </concept>
+      <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
+        <property id="1070475926801" name="value" index="Xl_RC" />
+      </concept>
+      <concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
+        <reference id="1144433194310" name="classConcept" index="1Pybhc" />
+      </concept>
+      <concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
+      <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
+        <child id="1068431790190" name="initializer" index="33vP2m" />
+      </concept>
+      <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
+        <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
+      </concept>
+      <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
+        <child id="5680397130376446158" name="type" index="1tU5fm" />
+      </concept>
+      <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
+        <child id="1068580123156" name="expression" index="3clFbG" />
+      </concept>
+      <concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
+      <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
+        <child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
+        <child id="1068580123160" name="condition" index="3clFbw" />
+        <child id="1068580123161" name="ifTrue" index="3clFbx" />
+      </concept>
+      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
+        <child id="1068581517665" name="statement" index="3cqZAp" />
+      </concept>
+      <concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
+        <property id="1068580320021" name="value" index="3cmrfH" />
+      </concept>
+      <concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
+        <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
+      </concept>
+      <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
+      <concept id="1081506773034" name="jetbrains.mps.baseLanguage.structure.LessThanExpression" flags="nn" index="3eOVzh" />
+      <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" />
+      </concept>
+      <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
+        <reference id="1107535924139" name="classifier" index="3uigEE" />
+      </concept>
+      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
+        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
+        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
+      </concept>
+      <concept id="1214918800624" name="jetbrains.mps.baseLanguage.structure.PostfixIncrementExpression" flags="nn" index="3uNrnE" />
+      <concept id="1144230876926" name="jetbrains.mps.baseLanguage.structure.AbstractForStatement" flags="nn" index="1DupvO">
+        <child id="1144230900587" name="variable" index="1Duv9x" />
+      </concept>
+      <concept id="1144231330558" name="jetbrains.mps.baseLanguage.structure.ForStatement" flags="nn" index="1Dw8fO">
+        <child id="1144231399730" name="condition" index="1Dwp0S" />
+        <child id="1144231408325" name="iteration" index="1Dwrff" />
+      </concept>
+      <concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
+        <child id="8356039341262087992" name="line" index="1aUNEU" />
+      </concept>
+      <concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
+    </language>
+    <language id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation">
+      <concept id="1196350785113" name="jetbrains.mps.lang.quotation.structure.Quotation" flags="nn" index="2c44tf">
+        <child id="1196350785114" name="quotedNode" index="2c44tc" />
+      </concept>
+    </language>
+    <language id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic">
+      <concept id="8456919074574710634" name="jetbrains.mps.logic.structure.ExpressionItem" flags="ng" index="37jhX">
+        <child id="8456919074574710741" name="code" index="37jj2" />
+      </concept>
+      <concept id="8169506320648805904" name="jetbrains.mps.logic.structure.LogicalVariableDeclarationContainer" flags="ng" index="29MRiA">
+        <child id="6399471711045617306" name="dataType" index="3vLBG7" />
+        <child id="3063948360254832884" name="declaration" index="3XD1gS" />
+      </concept>
+      <concept id="8829335963593820278" name="jetbrains.mps.logic.structure.LogicalVariable" flags="ng" index="a7P8L">
+        <reference id="8829335963593822893" name="declaration" index="a7OzE" />
+        <child id="6036655413806858011" name="indexExpr" index="3gCZO6" />
+      </concept>
+      <concept id="8829335963591572611" name="jetbrains.mps.logic.structure.LogicalVariableDeclaration" flags="ng" index="aZer4">
+        <child id="6036655413809169524" name="cardinalityExpr" index="3gj$pD" />
+      </concept>
+    </language>
+    <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
+      <concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
+        <reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
+      </concept>
+      <concept id="7453996997717780434" name="jetbrains.mps.lang.smodel.structure.Node_GetSConceptOperation" flags="nn" index="2yIwOk" />
+      <concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
+        <child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
+        <child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
+      </concept>
+      <concept id="1139613262185" name="jetbrains.mps.lang.smodel.structure.Node_GetParentOperation" flags="nn" index="1mfA1w" />
+      <concept id="1139621453865" name="jetbrains.mps.lang.smodel.structure.Node_IsInstanceOfOperation" flags="nn" index="1mIQ4w">
+        <child id="1177027386292" name="conceptArgument" index="cj9EA" />
+      </concept>
+      <concept id="1171999116870" name="jetbrains.mps.lang.smodel.structure.Node_IsNullOperation" flags="nn" index="3w_OXm" />
+      <concept id="1172008320231" name="jetbrains.mps.lang.smodel.structure.Node_IsNotNullOperation" flags="nn" index="3x8VRR" />
+      <concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
+      <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
+        <reference id="1138405853777" name="concept" index="ehGHo" />
+      </concept>
+      <concept id="1138056143562" name="jetbrains.mps.lang.smodel.structure.SLinkAccess" flags="nn" index="3TrEf2">
+        <reference id="1138056516764" name="link" index="3Tt5mk" />
+      </concept>
+      <concept id="1138056282393" name="jetbrains.mps.lang.smodel.structure.SLinkListAccess" flags="nn" index="3Tsc0h">
+        <reference id="1138056546658" name="link" index="3TtcxE" />
+      </concept>
+    </language>
+    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
+      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
+        <property id="1169194664001" name="name" index="TrG5h" />
+      </concept>
+    </language>
+    <language id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text">
+      <concept id="155656958578482948" name="jetbrains.mps.lang.text.structure.Word" flags="nn" index="3oM_SD">
+        <property id="155656958578482949" name="value" index="3oM_SC" />
+      </concept>
+      <concept id="2535923850359271782" name="jetbrains.mps.lang.text.structure.Line" flags="nn" index="1PaTwC">
+        <child id="2535923850359271783" name="elements" index="1PaTwD" />
+      </concept>
+    </language>
+    <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
+      <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
+      <concept id="1225711141656" name="jetbrains.mps.baseLanguage.collections.structure.ListElementAccessExpression" flags="nn" index="1y4W85">
+        <child id="1225711182005" name="list" index="1y566C" />
+        <child id="1225711191269" name="index" index="1y58nS" />
+      </concept>
+    </language>
+    <language id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules">
+      <concept id="7326790520856487884" name="jetbrains.mps.lang.coderules.structure.ProvideFeedbackOperation" flags="ng" index="26X5F$">
+        <property id="7326790520856501351" name="severity" index="26X25f" />
+        <child id="7326790520856501349" name="message" index="26X25d" />
+      </concept>
+      <concept id="861509610434242029" name="jetbrains.mps.lang.coderules.structure.TermConstructor" flags="ng" index="ns1u0">
+        <reference id="861509610434243078" name="decl" index="ns1xF" />
+        <child id="861509610434243076" name="override" index="ns1xD" />
+      </concept>
+      <concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
+        <reference id="861509610434435672" name="feature" index="nsMwP" />
+        <child id="861509610434435670" name="getter" index="nsMwV" />
+      </concept>
+      <concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
+        <reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
+        <child id="6691972578451986151" name="input" index="2t_VXX" />
+      </concept>
+      <concept id="8335224865066015764" name="jetbrains.mps.lang.coderules.structure.RulesList" flags="ng" index="AVZre">
+        <reference id="3541122455446356437" name="extends" index="2YbDB9" />
+        <child id="3575255234175157601" name="template" index="1nK1Vg" />
+      </concept>
+      <concept id="2381360340662937504" name="jetbrains.mps.lang.coderules.structure.TermType" flags="ig" index="32pEOW" />
+      <concept id="6097203247182936001" name="jetbrains.mps.lang.coderules.structure.ExpandMacroConstraint" flags="ng" index="3jbYBd">
+        <reference id="6097203247182937177" name="template" index="3jbY9l" />
+        <child id="6097203247182937145" name="input" index="3jbY8P" />
+        <child id="6097203247182937143" name="logical" index="3jbY8V" />
+      </concept>
+      <concept id="3575255234174969639" name="jetbrains.mps.lang.coderules.structure.ConstraintRule" flags="ng" index="1nLNMm">
+        <child id="4814011019633607808" name="parameter" index="0Rg$4" />
+        <child id="3575255234174969658" name="head" index="1nLNMb" />
+        <child id="7674753015762572651" name="body" index="3xSepv" />
+      </concept>
+      <concept id="3575255234174969615" name="jetbrains.mps.lang.coderules.structure.RuleTemplate" flags="ng" index="1nLNMY">
+        <child id="3575255234174969633" name="input" index="1nLNMg" />
+        <child id="3575255234174969628" name="code" index="1nLNMH" />
+      </concept>
+      <concept id="3575255234174969664" name="jetbrains.mps.lang.coderules.structure.ConstraintRuleStatement" flags="ng" index="1nLNNL">
+        <child id="3575255234174969665" name="rule" index="1nLNNK" />
+      </concept>
+      <concept id="7674753015762572646" name="jetbrains.mps.lang.coderules.structure.BodyBlock" flags="ng" index="3xSepi">
+        <child id="7674753015762572647" name="body" index="3xSepj" />
+      </concept>
+      <concept id="7368070394769089081" name="jetbrains.mps.lang.coderules.structure.RuleInputDeclaration" flags="ng" index="3A20r5" />
+      <concept id="7368070394769139970" name="jetbrains.mps.lang.coderules.structure.RuleInputReference" flags="ng" index="3A2sRY">
+        <reference id="7368070394769213644" name="declaration" index="3A2yKK" />
+      </concept>
+      <concept id="7368070394766963750" name="jetbrains.mps.lang.coderules.structure.Head" flags="ng" index="3Aq93q">
+        <property id="7368070394767443940" name="keep" index="3ArMco" />
+      </concept>
+      <concept id="7368070394766963523" name="jetbrains.mps.lang.coderules.structure.RuleComponent" flags="ng" index="3Aq9uZ">
+        <child id="2316688792939037645" name="logic" index="3Ip0Jz" />
+      </concept>
+      <concept id="7368070394766966388" name="jetbrains.mps.lang.coderules.structure.Body" flags="ng" index="3Aq9E8" />
+      <concept id="7368070394766978092" name="jetbrains.mps.lang.coderules.structure.EmitConstraintStatement" flags="ng" index="3Aqczg">
+        <child id="7368070394767031348" name="constraint" index="3Aqpz8" />
+      </concept>
+      <concept id="7368070394767045637" name="jetbrains.mps.lang.coderules.structure.UserConstraint" flags="ng" index="3Aqt3T">
+        <reference id="7368070394767091750" name="template" index="3AqCNq" />
+        <child id="7368070394768117915" name="argument" index="3AunhB" />
+      </concept>
+      <concept id="2316688792938826204" name="jetbrains.mps.lang.coderules.structure.ConstraintLogicalClause" flags="ng" index="3I6s7M">
+        <child id="2316688792938826214" name="constraint" index="3I6s78" />
+      </concept>
+      <concept id="2316688792938825384" name="jetbrains.mps.lang.coderules.structure.LogicalClauseList" flags="ng" index="3I6sU6">
+        <child id="2316688792938825385" name="clauses" index="3I6sU7" />
+      </concept>
+      <concept id="2316688792939428589" name="jetbrains.mps.lang.coderules.structure.TemplateLogicalClause" flags="ng" index="3IrJb3">
+        <child id="2316688792939428590" name="code" index="3IrJb0" />
+      </concept>
+      <concept id="965748826975413063" name="jetbrains.mps.lang.coderules.structure.RulePartParameterDeclaration" flags="ng" index="3NuqgR" />
+    </language>
+  </registry>
+  <node concept="AVZre" id="4rjQv0r_Suz">
+    <property role="TrG5h" value="Check" />
+    <ref role="2YbDB9" to="kqnc:34$A1Mf51rY" resolve="TypeOf" />
+    <node concept="1nLNMY" id="4rjQv0r_Su$" role="1nK1Vg">
+      <property role="TrG5h" value="invokeIntentionStatement" />
+      <node concept="3clFbS" id="4rjQv0r_Su_" role="1nLNMH">
+        <node concept="3clFbJ" id="4rjQv0r_SuA" role="3cqZAp">
+          <node concept="2OqwBi" id="4rjQv0r_SuB" role="3clFbw">
+            <node concept="2OqwBi" id="4rjQv0r_SuC" role="2Oq$k0">
+              <node concept="3TrEf2" id="4rjQv0r_SuD" role="2OqNvi">
+                <ref role="3Tt5mk" to="tp5g:hPMFYKr" resolve="intention" />
+              </node>
+              <node concept="3A2sRY" id="4rjQv0r_SuE" role="2Oq$k0">
+                <ref role="3A2yKK" node="4rjQv0r_Swf" resolve="iis" />
+              </node>
+            </node>
+            <node concept="1mIQ4w" id="4rjQv0r_SuF" role="2OqNvi">
+              <node concept="chp4Y" id="4rjQv0r_SuG" role="cj9EA">
+                <ref role="cht4Q" to="tp3j:i3dkpKH" resolve="ParameterizedIntentionDeclaration" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbS" id="4rjQv0r_SuH" role="3clFbx">
+            <node concept="3clFbJ" id="4rjQv0r_SuI" role="3cqZAp">
+              <node concept="3clFbS" id="4rjQv0r_SuJ" role="3clFbx">
+                <node concept="3clFbF" id="4rjQv0r_SuK" role="3cqZAp">
+                  <node concept="2OqwBi" id="4rjQv0r_SuL" role="3clFbG">
+                    <node concept="3A2sRY" id="4rjQv0r_SuM" role="2Oq$k0">
+                      <ref role="3A2yKK" node="4rjQv0r_Swf" resolve="iis" />
+                    </node>
+                    <node concept="26X5F$" id="4rjQv0r_SuN" role="2OqNvi">
+                      <property role="26X25f" value="4jcOV4hu0n_/ERROR" />
+                      <node concept="Xl_RD" id="4rjQv0r_SuO" role="26X25d">
+                        <property role="Xl_RC" value="Missing parameter value for parameterized intention" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbH" id="4rjQv0r_SuP" role="3cqZAp" />
+              </node>
+              <node concept="2OqwBi" id="4rjQv0r_SuQ" role="3clFbw">
+                <node concept="2OqwBi" id="4rjQv0r_SuR" role="2Oq$k0">
+                  <node concept="3TrEf2" id="4rjQv0r_SuS" role="2OqNvi">
+                    <ref role="3Tt5mk" to="tp5g:7JT4LO$qcEi" resolve="parameter" />
+                  </node>
+                  <node concept="3A2sRY" id="4rjQv0r_SuT" role="2Oq$k0">
+                    <ref role="3A2yKK" node="4rjQv0r_Swf" resolve="iis" />
+                  </node>
+                </node>
+                <node concept="3w_OXm" id="4rjQv0r_SuU" role="2OqNvi" />
+              </node>
+              <node concept="9aQIb" id="4rjQv0r_SuV" role="9aQIa">
+                <node concept="3clFbS" id="4rjQv0r_SuW" role="9aQI4">
+                  <node concept="3cpWs8" id="4rjQv0r_SuX" role="3cqZAp">
+                    <node concept="3cpWsn" id="4rjQv0r_SuY" role="3cpWs9">
+                      <property role="TrG5h" value="decl" />
+                      <node concept="3Tqbb2" id="4rjQv0r_SuZ" role="1tU5fm">
+                        <ref role="ehGHo" to="tp3j:i3dkpKH" resolve="ParameterizedIntentionDeclaration" />
+                      </node>
+                      <node concept="1PxgMI" id="4rjQv0r_Sv0" role="33vP2m">
+                        <node concept="2OqwBi" id="4rjQv0r_Sv1" role="1m5AlR">
+                          <node concept="3TrEf2" id="4rjQv0r_Sv2" role="2OqNvi">
+                            <ref role="3Tt5mk" to="tp5g:hPMFYKr" resolve="intention" />
+                          </node>
+                          <node concept="3A2sRY" id="4rjQv0r_Sv3" role="2Oq$k0">
+                            <ref role="3A2yKK" node="4rjQv0r_Swf" resolve="iis" />
+                          </node>
+                        </node>
+                        <node concept="chp4Y" id="4rjQv0r_Sv4" role="3oSUPX">
+                          <ref role="cht4Q" to="tp3j:i3dkpKH" resolve="ParameterizedIntentionDeclaration" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="6eUXjac0Ezs" role="3cqZAp" />
+                  <node concept="3clFbJ" id="4rjQv0r_Sv6" role="3cqZAp">
+                    <node concept="1Wc70l" id="4rjQv0r_Sv7" role="3clFbw">
+                      <node concept="2OqwBi" id="4rjQv0rAlpU" role="3uHU7B">
+                        <node concept="2OqwBi" id="4rjQv0r_Sv8" role="2Oq$k0">
+                          <node concept="37vLTw" id="4rjQv0r_Sv9" role="2Oq$k0">
+                            <ref role="3cqZAo" node="4rjQv0r_SuY" resolve="decl" />
+                          </node>
+                          <node concept="3TrEf2" id="4rjQv0rAkD6" role="2OqNvi">
+                            <ref role="3Tt5mk" to="tp3j:i3dlsyr" resolve="queryFunction" />
+                          </node>
+                        </node>
+                        <node concept="3x8VRR" id="4rjQv0rAmjS" role="2OqNvi" />
+                      </node>
+                      <node concept="2OqwBi" id="4rjQv0r_Svb" role="3uHU7w">
+                        <node concept="2OqwBi" id="4rjQv0r_Svc" role="2Oq$k0">
+                          <node concept="2OqwBi" id="4rjQv0r_Svd" role="2Oq$k0">
+                            <node concept="37vLTw" id="4rjQv0r_Sve" role="2Oq$k0">
+                              <ref role="3cqZAo" node="4rjQv0r_SuY" resolve="decl" />
+                            </node>
+                            <node concept="3TrEf2" id="4rjQv0r_Svf" role="2OqNvi">
+                              <ref role="3Tt5mk" to="tp3j:i3dlsyr" resolve="queryFunction" />
+                            </node>
+                          </node>
+                          <node concept="3TrEf2" id="4rjQv0r_Svg" role="2OqNvi">
+                            <ref role="3Tt5mk" to="tp3j:i3ddBrI" resolve="paramType" />
+                          </node>
+                        </node>
+                        <node concept="3x8VRR" id="4rjQv0r_Svh" role="2OqNvi" />
+                      </node>
+                    </node>
+                    <node concept="3clFbS" id="4rjQv0r_Svi" role="3clFbx">
+                      <node concept="1nLNNL" id="4rjQv0r_Svj" role="3cqZAp">
+                        <node concept="1nLNMm" id="4rjQv0r_Svk" role="1nLNNK">
+                          <node concept="3Aq93q" id="4rjQv0r_Svl" role="1nLNMb">
+                            <property role="3ArMco" value="true" />
+                            <node concept="3I6sU6" id="4rjQv0r_Svm" role="3Ip0Jz">
+                              <node concept="3I6s7M" id="4rjQv0r_Svn" role="3I6sU7">
+                                <node concept="3Aqt3T" id="4rjQv0r_Svo" role="3I6s78">
+                                  <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                                  <node concept="37jhX" id="4rjQv0r_Svp" role="3AunhB">
+                                    <node concept="2OqwBi" id="4rjQv0r_Svq" role="37jj2">
+                                      <node concept="3A2sRY" id="4rjQv0r_Svr" role="2Oq$k0">
+                                        <ref role="3A2yKK" node="4rjQv0r_Swf" resolve="iis" />
+                                      </node>
+                                      <node concept="3TrEf2" id="4rjQv0r_TEo" role="2OqNvi">
+                                        <ref role="3Tt5mk" to="tp5g:7JT4LO$qcEi" resolve="parameter" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="a7P8L" id="4rjQv0r_Svt" role="3AunhB">
+                                    <ref role="a7OzE" node="4rjQv0r_Svv" resolve="T" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3NuqgR" id="4rjQv0r_Svu" role="0Rg$4">
+                            <node concept="aZer4" id="4rjQv0r_Svv" role="3XD1gS">
+                              <property role="TrG5h" value="T" />
+                            </node>
+                            <node concept="aZer4" id="4rjQv0r_Svw" role="3XD1gS">
+                              <property role="TrG5h" value="DeclT" />
+                            </node>
+                            <node concept="32pEOW" id="4rjQv0r_Svx" role="3vLBG7" />
+                          </node>
+                          <node concept="3xSepi" id="4rjQv0r_Svy" role="3xSepv">
+                            <node concept="3Aq9E8" id="4rjQv0r_Svz" role="3xSepj">
+                              <node concept="3I6sU6" id="4rjQv0r_Sv$" role="3Ip0Jz">
+                                <node concept="3I6s7M" id="4rjQv0r_Sv_" role="3I6sU7">
+                                  <node concept="3jbYBd" id="4rjQv0r_SvA" role="3I6s78">
+                                    <ref role="3jbY9l" to="kqnc:5itBwMau8m1" resolve="lift" />
+                                    <node concept="a7P8L" id="4rjQv0r_SvB" role="3jbY8V">
+                                      <ref role="a7OzE" node="4rjQv0r_Svw" resolve="DeclT" />
+                                    </node>
+                                    <node concept="2OqwBi" id="4rjQv0r_SvC" role="3jbY8P">
+                                      <node concept="2OqwBi" id="4rjQv0r_SvD" role="2Oq$k0">
+                                        <node concept="37vLTw" id="4rjQv0r_SvE" role="2Oq$k0">
+                                          <ref role="3cqZAo" node="4rjQv0r_SuY" resolve="decl" />
+                                        </node>
+                                        <node concept="3TrEf2" id="4rjQv0r_SvF" role="2OqNvi">
+                                          <ref role="3Tt5mk" to="tp3j:i3dlsyr" resolve="queryFunction" />
+                                        </node>
+                                      </node>
+                                      <node concept="3TrEf2" id="4rjQv0r_SvG" role="2OqNvi">
+                                        <ref role="3Tt5mk" to="tp3j:i3ddBrI" resolve="paramType" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="3I6s7M" id="4rjQv0r_SvH" role="3I6sU7">
+                                  <node concept="3Aqt3T" id="4rjQv0r_SvI" role="3I6s78">
+                                    <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
+                                    <node concept="a7P8L" id="4rjQv0r_SvJ" role="3AunhB">
+                                      <ref role="a7OzE" node="4rjQv0r_Svv" resolve="T" />
+                                    </node>
+                                    <node concept="a7P8L" id="4rjQv0r_SvK" role="3AunhB">
+                                      <ref role="a7OzE" node="4rjQv0r_Svw" resolve="DeclT" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="4rjQv0r_SvL" role="3cqZAp" />
+          </node>
+          <node concept="9aQIb" id="4rjQv0r_SvM" role="9aQIa">
+            <node concept="3clFbS" id="4rjQv0r_SvN" role="9aQI4">
+              <node concept="3SKdUt" id="4rjQv0r_SvO" role="3cqZAp">
+                <node concept="1PaTwC" id="4rjQv0r_SvP" role="1aUNEU">
+                  <node concept="3oM_SD" id="4rjQv0r_SvQ" role="1PaTwD">
+                    <property role="3oM_SC" value="Not" />
+                  </node>
+                  <node concept="3oM_SD" id="4rjQv0r_SvR" role="1PaTwD">
+                    <property role="3oM_SC" value="a" />
+                  </node>
+                  <node concept="3oM_SD" id="4rjQv0r_SvS" role="1PaTwD">
+                    <property role="3oM_SC" value="parameterized" />
+                  </node>
+                  <node concept="3oM_SD" id="4rjQv0r_SvT" role="1PaTwD">
+                    <property role="3oM_SC" value="intention" />
+                  </node>
+                  <node concept="3oM_SD" id="4rjQv0r_SvU" role="1PaTwD">
+                    <property role="3oM_SC" value="-" />
+                  </node>
+                  <node concept="3oM_SD" id="4rjQv0r_SvV" role="1PaTwD">
+                    <property role="3oM_SC" value="should" />
+                  </node>
+                  <node concept="3oM_SD" id="4rjQv0r_SvW" role="1PaTwD">
+                    <property role="3oM_SC" value="not" />
+                  </node>
+                  <node concept="3oM_SD" id="4rjQv0r_SvX" role="1PaTwD">
+                    <property role="3oM_SC" value="have" />
+                  </node>
+                  <node concept="3oM_SD" id="4rjQv0r_SvY" role="1PaTwD">
+                    <property role="3oM_SC" value="a" />
+                  </node>
+                  <node concept="3oM_SD" id="4rjQv0r_SvZ" role="1PaTwD">
+                    <property role="3oM_SC" value="parameter" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbJ" id="4rjQv0r_Sw0" role="3cqZAp">
+                <node concept="3clFbS" id="4rjQv0r_Sw1" role="3clFbx">
+                  <node concept="3clFbF" id="4rjQv0r_Sw2" role="3cqZAp">
+                    <node concept="2OqwBi" id="4rjQv0r_Sw3" role="3clFbG">
+                      <node concept="2OqwBi" id="4rjQv0r_Sw4" role="2Oq$k0">
+                        <node concept="3A2sRY" id="4rjQv0r_Sw5" role="2Oq$k0">
+                          <ref role="3A2yKK" node="4rjQv0r_Swf" resolve="iis" />
+                        </node>
+                        <node concept="3TrEf2" id="4rjQv0r_Sw6" role="2OqNvi">
+                          <ref role="3Tt5mk" to="tp5g:7JT4LO$qcEi" resolve="parameter" />
+                        </node>
+                      </node>
+                      <node concept="26X5F$" id="4rjQv0r_Sw7" role="2OqNvi">
+                        <property role="26X25f" value="4jcOV4hu0n_/ERROR" />
+                        <node concept="Xl_RD" id="4rjQv0r_Sw8" role="26X25d">
+                          <property role="Xl_RC" value="Parameter value specified for a non-parameterized intention" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="2OqwBi" id="4rjQv0r_Sw9" role="3clFbw">
+                  <node concept="2OqwBi" id="4rjQv0r_Swa" role="2Oq$k0">
+                    <node concept="3TrEf2" id="4rjQv0r_Swb" role="2OqNvi">
+                      <ref role="3Tt5mk" to="tp5g:7JT4LO$qcEi" resolve="parameter" />
+                    </node>
+                    <node concept="3A2sRY" id="4rjQv0r_Swc" role="2Oq$k0">
+                      <ref role="3A2yKK" node="4rjQv0r_Swf" resolve="iis" />
+                    </node>
+                  </node>
+                  <node concept="3x8VRR" id="4rjQv0r_Swd" role="2OqNvi" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="4rjQv0r_Swe" role="1nLNMg">
+        <ref role="2t_S0q" to="tp5g:hPMFPyi" resolve="InvokeIntentionStatement" />
+        <node concept="3A20r5" id="4rjQv0r_Swf" role="2t_VXX">
+          <property role="TrG5h" value="iis" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="3gjzOaTcRG" role="1nK1Vg">
+      <property role="TrG5h" value="editorComponentExpression" />
+      <node concept="3clFbS" id="3gjzOaTcRH" role="1nLNMH">
+        <node concept="1nLNNL" id="3gjzOaTcTD" role="3cqZAp">
+          <node concept="1nLNMm" id="3gjzOaTcTE" role="1nLNNK">
+            <node concept="3Aq93q" id="3gjzOaTcU0" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="3gjzOaTcU1" role="3Ip0Jz">
+                <node concept="3I6s7M" id="3gjzOaTcU8" role="3I6sU7">
+                  <node concept="3Aqt3T" id="3gjzOaTcU7" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="3gjzOaTcTK" role="3xSepv">
+              <node concept="3Aq9E8" id="3gjzOaTcTL" role="3xSepj">
+                <node concept="3I6sU6" id="3gjzOaTcTM" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="3gjzOaTcTU" role="3I6sU7">
+                    <node concept="3Aqt3T" id="3gjzOaTcTT" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="3gjzOaTcUu" role="3AunhB">
+                        <node concept="3A2sRY" id="3gjzOaTcUs" role="37jj2">
+                          <ref role="3A2yKK" node="3gjzOaTcRJ" resolve="ece" />
+                        </node>
+                      </node>
+                      <node concept="ns1u0" id="e_eLhyE9Wq" role="3AunhB">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                        <node concept="nsMwS" id="e_eLhyE9W_" role="ns1xD">
+                          <ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
+                          <node concept="2OqwBi" id="6RMeEk2SY$Q" role="nsMwV">
+                            <node concept="2c44tf" id="6RMeEk2SYKI" role="2Oq$k0">
+                              <node concept="3uibUv" id="6RMeEk2SYKJ" role="2c44tc">
+                                <ref role="3uigEE" to="cj4x:~EditorComponent" resolve="EditorComponent" />
+                              </node>
+                            </node>
+                            <node concept="3TrEf2" id="6RMeEk2SYK7" role="2OqNvi">
+                              <ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="3gjzOaTcRI" role="1nLNMg">
+        <ref role="2t_S0q" to="tp5g:50vRVameF3Z" resolve="EditorComponentExpression" />
+        <node concept="3A20r5" id="3gjzOaTcRJ" role="2t_VXX">
+          <property role="TrG5h" value="ece" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6RMeEk2Te_d" role="1nK1Vg">
+      <property role="TrG5h" value="isActionApplicableExpression" />
+      <node concept="3clFbS" id="6RMeEk2Te_e" role="1nLNMH">
+        <node concept="1nLNNL" id="6RMeEk2TeBx" role="3cqZAp">
+          <node concept="1nLNMm" id="6RMeEk2TeBy" role="1nLNNK">
+            <node concept="3Aq93q" id="6RMeEk2TeBC" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="6RMeEk2TeBD" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6RMeEk2TeBK" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6RMeEk2TeBJ" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="6RMeEk2TeBQ" role="3xSepv">
+              <node concept="3Aq9E8" id="6RMeEk2TeBR" role="3xSepj">
+                <node concept="3I6sU6" id="6RMeEk2TeBS" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6RMeEk2TeC0" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6RMeEk2TeBZ" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="6RMeEk2TeCm" role="3AunhB">
+                        <node concept="3A2sRY" id="6RMeEk2TeCk" role="37jj2">
+                          <ref role="3A2yKK" node="6RMeEk2Te_g" resolve="iaae" />
+                        </node>
+                      </node>
+                      <node concept="ns1u0" id="6RMeEk2TeD1" role="3AunhB">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt36" resolve="_boolean_" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="6RMeEk2Te_f" role="1nLNMg">
+        <ref role="2t_S0q" to="tp5g:H9$uslP7vo" resolve="IsActionApplicableExpression" />
+        <node concept="3A20r5" id="6RMeEk2Te_g" role="2t_VXX">
+          <property role="TrG5h" value="iaae" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6RMeEk2TeXs" role="1nK1Vg">
+      <property role="TrG5h" value="isIntentionApplicableExpression" />
+      <node concept="3clFbS" id="6RMeEk2TeXt" role="1nLNMH">
+        <node concept="1nLNNL" id="6RMeEk2Tf02" role="3cqZAp">
+          <node concept="1nLNMm" id="6RMeEk2Tf03" role="1nLNNK">
+            <node concept="3Aq93q" id="6RMeEk2Tf09" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="6RMeEk2Tf0a" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6RMeEk2Tf0h" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6RMeEk2Tf0g" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="6RMeEk2Tf0n" role="3xSepv">
+              <node concept="3Aq9E8" id="6RMeEk2Tf0o" role="3xSepj">
+                <node concept="3I6sU6" id="6RMeEk2Tf0p" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6RMeEk2Tf0x" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6RMeEk2Tf0w" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="6RMeEk2Tf0R" role="3AunhB">
+                        <node concept="3A2sRY" id="6RMeEk2Tf0P" role="37jj2">
+                          <ref role="3A2yKK" node="6RMeEk2TeXv" resolve="iiae" />
+                        </node>
+                      </node>
+                      <node concept="ns1u0" id="6RMeEk2Tf16" role="3AunhB">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt36" resolve="_boolean_" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="6RMeEk2TeXu" role="1nLNMg">
+        <ref role="2t_S0q" to="tp5g:wUiM63T4Ip" resolve="IsIntentionApplicableExpression" />
+        <node concept="3A20r5" id="6RMeEk2TeXv" role="2t_VXX">
+          <property role="TrG5h" value="iiae" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6RMeEk2Tfdo" role="1nK1Vg">
+      <property role="TrG5h" value="modelExpression" />
+      <node concept="3clFbS" id="6RMeEk2Tfdp" role="1nLNMH">
+        <node concept="1nLNNL" id="6RMeEk2Tfgg" role="3cqZAp">
+          <node concept="1nLNMm" id="6RMeEk2Tfgh" role="1nLNNK">
+            <node concept="3Aq93q" id="6RMeEk2Tfgn" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="6RMeEk2Tfgo" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6RMeEk2Tfgv" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6RMeEk2Tfgu" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="6RMeEk2Tfg_" role="3xSepv">
+              <node concept="3Aq9E8" id="6RMeEk2TfgA" role="3xSepj">
+                <node concept="3I6sU6" id="6RMeEk2TfgB" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6RMeEk2TfgJ" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6RMeEk2TfgI" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="6RMeEk2Tfhh" role="3AunhB">
+                        <node concept="3A2sRY" id="6RMeEk2Tfhf" role="37jj2">
+                          <ref role="3A2yKK" node="6RMeEk2Tfdr" resolve="me" />
+                        </node>
+                      </node>
+                      <node concept="ns1u0" id="6RMeEk2Tfhw" role="3AunhB">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                        <node concept="nsMwS" id="6RMeEk2Tfhx" role="ns1xD">
+                          <ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
+                          <node concept="2OqwBi" id="6RMeEk2Tfhy" role="nsMwV">
+                            <node concept="2c44tf" id="6RMeEk2Tfhz" role="2Oq$k0">
+                              <node concept="3uibUv" id="6RMeEk2TfyF" role="2c44tc">
+                                <ref role="3uigEE" to="mhbf:~SModel" resolve="SModel" />
+                              </node>
+                            </node>
+                            <node concept="3TrEf2" id="6RMeEk2Tfh_" role="2OqNvi">
+                              <ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="6RMeEk2Tfdq" role="1nLNMg">
+        <ref role="2t_S0q" to="tp5g:hPjGwIs" resolve="ModelExpression" />
+        <node concept="3A20r5" id="6RMeEk2Tfdr" role="2t_VXX">
+          <property role="TrG5h" value="me" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6RMeEk2TfKq" role="1nK1Vg">
+      <property role="TrG5h" value="projectExpression" />
+      <node concept="3clFbS" id="6RMeEk2TfKr" role="1nLNMH">
+        <node concept="1nLNNL" id="6RMeEk2TfND" role="3cqZAp">
+          <node concept="1nLNMm" id="6RMeEk2TfNE" role="1nLNNK">
+            <node concept="3Aq93q" id="6RMeEk2TfNK" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="6RMeEk2TfNL" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6RMeEk2TfNS" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6RMeEk2TfNR" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="6RMeEk2TfNY" role="3xSepv">
+              <node concept="3Aq9E8" id="6RMeEk2TfNZ" role="3xSepj">
+                <node concept="3I6sU6" id="6RMeEk2TfO0" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6RMeEk2TfO8" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6RMeEk2TfO7" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="6RMeEk2TfOy" role="3AunhB">
+                        <node concept="3A2sRY" id="6RMeEk2TfOw" role="37jj2">
+                          <ref role="3A2yKK" node="6RMeEk2TfKt" resolve="pe" />
+                        </node>
+                      </node>
+                      <node concept="ns1u0" id="6RMeEk2TfOU" role="3AunhB">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                        <node concept="nsMwS" id="6RMeEk2TfOV" role="ns1xD">
+                          <ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
+                          <node concept="2OqwBi" id="6RMeEk2TfOW" role="nsMwV">
+                            <node concept="2c44tf" id="6RMeEk2TfOX" role="2Oq$k0">
+                              <node concept="3uibUv" id="6RMeEk2Tg1V" role="2c44tc">
+                                <ref role="3uigEE" to="z1c3:~Project" resolve="Project" />
+                              </node>
+                            </node>
+                            <node concept="3TrEf2" id="6RMeEk2TfOZ" role="2OqNvi">
+                              <ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="6RMeEk2TfKs" role="1nLNMg">
+        <ref role="2t_S0q" to="tp5g:hPjxXux" resolve="ProjectExpression" />
+        <node concept="3A20r5" id="6RMeEk2TfKt" role="2t_VXX">
+          <property role="TrG5h" value="pe" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6RMeEk2Tgfx" role="1nK1Vg">
+      <property role="TrG5h" value="assertMatch" />
+      <node concept="3clFbS" id="6RMeEk2Tgfy" role="1nLNMH">
+        <node concept="1nLNNL" id="6RMeEk2Th5b" role="3cqZAp">
+          <node concept="1nLNMm" id="6RMeEk2Th5d" role="1nLNNK">
+            <node concept="3Aq93q" id="6RMeEk2Th5q" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="6RMeEk2Th5r" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6RMeEk2Th5y" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6RMeEk2Th5x" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="6RMeEk2Th5C" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="6RMeEk2Th5D" role="3Ip0Jz">
+                <node concept="3IrJb3" id="6RMeEk2Th5N" role="3I6sU7">
+                  <node concept="3clFbS" id="6RMeEk2Th5O" role="3IrJb0">
+                    <node concept="1Dw8fO" id="6RMeEk2TFUi" role="3cqZAp">
+                      <node concept="3clFbS" id="6RMeEk2TFUk" role="2LFqv$">
+                        <node concept="3Aqczg" id="6RMeEk2Tmc$" role="3cqZAp">
+                          <node concept="3Aqt3T" id="6RMeEk2Tmcy" role="3Aqpz8">
+                            <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                            <node concept="37jhX" id="6RMeEk2TmcN" role="3AunhB">
+                              <node concept="1y4W85" id="6RMeEk2TKM7" role="37jj2">
+                                <node concept="37vLTw" id="6RMeEk2TKN0" role="1y58nS">
+                                  <ref role="3cqZAo" node="6RMeEk2TFUl" resolve="i" />
+                                </node>
+                                <node concept="2OqwBi" id="6RMeEk2TIV1" role="1y566C">
+                                  <node concept="3A2sRY" id="6RMeEk2TIU7" role="2Oq$k0">
+                                    <ref role="3A2yKK" node="6RMeEk2Tgf$" resolve="am" />
+                                  </node>
+                                  <node concept="3Tsc0h" id="6RMeEk2TJye" role="2OqNvi">
+                                    <ref role="3TtcxE" to="tp5g:hCJA96l" resolve="before" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="a7P8L" id="6RMeEk2TIT9" role="3AunhB">
+                              <ref role="a7OzE" node="6RMeEk2Th72" resolve="BT" />
+                              <node concept="37vLTw" id="6RMeEk2TITK" role="3gCZO6">
+                                <ref role="3cqZAo" node="6RMeEk2TFUl" resolve="i" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3cpWsn" id="6RMeEk2TFUl" role="1Duv9x">
+                        <property role="TrG5h" value="i" />
+                        <node concept="10Oyi0" id="6RMeEk2TFUF" role="1tU5fm" />
+                        <node concept="3cmrfG" id="6RMeEk2TFUU" role="33vP2m">
+                          <property role="3cmrfH" value="0" />
+                        </node>
+                      </node>
+                      <node concept="3eOVzh" id="6RMeEk2TFVo" role="1Dwp0S">
+                        <node concept="2OqwBi" id="6RMeEk2THap" role="3uHU7w">
+                          <node concept="2OqwBi" id="6RMeEk2TFW5" role="2Oq$k0">
+                            <node concept="3A2sRY" id="6RMeEk2TFVv" role="2Oq$k0">
+                              <ref role="3A2yKK" node="6RMeEk2Tgf$" resolve="am" />
+                            </node>
+                            <node concept="3Tsc0h" id="6RMeEk2TGz9" role="2OqNvi">
+                              <ref role="3TtcxE" to="tp5g:hCJA96l" resolve="before" />
+                            </node>
+                          </node>
+                          <node concept="34oBXx" id="6RMeEk2TIIC" role="2OqNvi" />
+                        </node>
+                        <node concept="37vLTw" id="6RMeEk2TFV1" role="3uHU7B">
+                          <ref role="3cqZAo" node="6RMeEk2TFUl" resolve="i" />
+                        </node>
+                      </node>
+                      <node concept="3uNrnE" id="6RMeEk2TIR0" role="1Dwrff">
+                        <node concept="37vLTw" id="6RMeEk2TIR2" role="2$L3a6">
+                          <ref role="3cqZAo" node="6RMeEk2TFUl" resolve="i" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="1Dw8fO" id="6RMeEk2TKN_" role="3cqZAp">
+                      <node concept="3clFbS" id="6RMeEk2TKNA" role="2LFqv$">
+                        <node concept="3Aqczg" id="6RMeEk2TKNB" role="3cqZAp">
+                          <node concept="3Aqt3T" id="6RMeEk2TKNC" role="3Aqpz8">
+                            <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                            <node concept="37jhX" id="6RMeEk2TKND" role="3AunhB">
+                              <node concept="1y4W85" id="6RMeEk2TKNE" role="37jj2">
+                                <node concept="37vLTw" id="6RMeEk2TKNF" role="1y58nS">
+                                  <ref role="3cqZAo" node="6RMeEk2TKNL" resolve="i" />
+                                </node>
+                                <node concept="2OqwBi" id="6RMeEk2TKNG" role="1y566C">
+                                  <node concept="3A2sRY" id="6RMeEk2TKNH" role="2Oq$k0">
+                                    <ref role="3A2yKK" node="6RMeEk2Tgf$" resolve="am" />
+                                  </node>
+                                  <node concept="3Tsc0h" id="6RMeEk2TMYz" role="2OqNvi">
+                                    <ref role="3TtcxE" to="tp5g:hCJAdgf" resolve="after" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="a7P8L" id="6RMeEk2TKNJ" role="3AunhB">
+                              <ref role="a7OzE" node="6RMeEk2TMYY" resolve="AT" />
+                              <node concept="37vLTw" id="6RMeEk2TKNK" role="3gCZO6">
+                                <ref role="3cqZAo" node="6RMeEk2TKNL" resolve="i" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3cpWsn" id="6RMeEk2TKNL" role="1Duv9x">
+                        <property role="TrG5h" value="i" />
+                        <node concept="10Oyi0" id="6RMeEk2TKNM" role="1tU5fm" />
+                        <node concept="3cmrfG" id="6RMeEk2TKNN" role="33vP2m">
+                          <property role="3cmrfH" value="0" />
+                        </node>
+                      </node>
+                      <node concept="3eOVzh" id="6RMeEk2TKNO" role="1Dwp0S">
+                        <node concept="2OqwBi" id="6RMeEk2TKNP" role="3uHU7w">
+                          <node concept="2OqwBi" id="6RMeEk2TKNQ" role="2Oq$k0">
+                            <node concept="3A2sRY" id="6RMeEk2TKNR" role="2Oq$k0">
+                              <ref role="3A2yKK" node="6RMeEk2Tgf$" resolve="am" />
+                            </node>
+                            <node concept="3Tsc0h" id="6RMeEk2TM34" role="2OqNvi">
+                              <ref role="3TtcxE" to="tp5g:hCJAdgf" resolve="after" />
+                            </node>
+                          </node>
+                          <node concept="34oBXx" id="6RMeEk2TKNT" role="2OqNvi" />
+                        </node>
+                        <node concept="37vLTw" id="6RMeEk2TKNU" role="3uHU7B">
+                          <ref role="3cqZAo" node="6RMeEk2TKNL" resolve="i" />
+                        </node>
+                      </node>
+                      <node concept="3uNrnE" id="6RMeEk2TKNV" role="1Dwrff">
+                        <node concept="37vLTw" id="6RMeEk2TKNW" role="2$L3a6">
+                          <ref role="3cqZAo" node="6RMeEk2TKNL" resolve="i" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6RMeEk2Th71" role="0Rg$4">
+              <node concept="aZer4" id="6RMeEk2Th72" role="3XD1gS">
+                <property role="TrG5h" value="BT" />
+                <node concept="2OqwBi" id="6RMeEk2TiuW" role="3gj$pD">
+                  <node concept="2OqwBi" id="6RMeEk2Th81" role="2Oq$k0">
+                    <node concept="3A2sRY" id="6RMeEk2Th7x" role="2Oq$k0">
+                      <ref role="3A2yKK" node="6RMeEk2Tgf$" resolve="am" />
+                    </node>
+                    <node concept="3Tsc0h" id="6RMeEk2ThJ2" role="2OqNvi">
+                      <ref role="3TtcxE" to="tp5g:hCJA96l" resolve="before" />
+                    </node>
+                  </node>
+                  <node concept="34oBXx" id="6RMeEk2Tk4a" role="2OqNvi" />
+                </node>
+              </node>
+              <node concept="aZer4" id="6RMeEk2TMYY" role="3XD1gS">
+                <property role="TrG5h" value="AT" />
+                <node concept="2OqwBi" id="6RMeEk2TMYZ" role="3gj$pD">
+                  <node concept="2OqwBi" id="6RMeEk2TMZ0" role="2Oq$k0">
+                    <node concept="3A2sRY" id="6RMeEk2TMZ1" role="2Oq$k0">
+                      <ref role="3A2yKK" node="6RMeEk2Tgf$" resolve="am" />
+                    </node>
+                    <node concept="3Tsc0h" id="6RMeEk2TNAu" role="2OqNvi">
+                      <ref role="3TtcxE" to="tp5g:hCJAdgf" resolve="after" />
+                    </node>
+                  </node>
+                  <node concept="34oBXx" id="6RMeEk2TMZ3" role="2OqNvi" />
+                </node>
+              </node>
+              <node concept="32pEOW" id="6RMeEk2Th7c" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="6RMeEk2TNBS" role="3xSepv">
+              <node concept="3Aq9E8" id="6RMeEk2TNBT" role="3xSepj">
+                <node concept="3I6sU6" id="6RMeEk2TNBU" role="3Ip0Jz">
+                  <node concept="3IrJb3" id="6RMeEk2TNCl" role="3I6sU7">
+                    <node concept="3clFbS" id="6RMeEk2TNCm" role="3IrJb0">
+                      <node concept="1Dw8fO" id="6RMeEk2TNGQ" role="3cqZAp">
+                        <node concept="3clFbS" id="6RMeEk2TNGR" role="2LFqv$">
+                          <node concept="3Aqczg" id="6RMeEk2TNMi" role="3cqZAp">
+                            <node concept="3Aqt3T" id="6RMeEk2TNMy" role="3Aqpz8">
+                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
+                              <node concept="a7P8L" id="6RMeEk2TNMI" role="3AunhB">
+                                <ref role="a7OzE" node="6RMeEk2Th72" resolve="BT" />
+                                <node concept="37vLTw" id="6RMeEk2TNNb" role="3gCZO6">
+                                  <ref role="3cqZAo" node="6RMeEk2TNH2" resolve="i" />
+                                </node>
+                              </node>
+                              <node concept="ns1u0" id="6RMeEk2TNOT" role="3AunhB">
+                                <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3cpWsn" id="6RMeEk2TNH2" role="1Duv9x">
+                          <property role="TrG5h" value="i" />
+                          <node concept="10Oyi0" id="6RMeEk2TNH3" role="1tU5fm" />
+                          <node concept="3cmrfG" id="6RMeEk2TNH4" role="33vP2m">
+                            <property role="3cmrfH" value="0" />
+                          </node>
+                        </node>
+                        <node concept="3eOVzh" id="6RMeEk2TNH5" role="1Dwp0S">
+                          <node concept="2OqwBi" id="6RMeEk2TNH6" role="3uHU7w">
+                            <node concept="2OqwBi" id="6RMeEk2TNH7" role="2Oq$k0">
+                              <node concept="3A2sRY" id="6RMeEk2TNH8" role="2Oq$k0">
+                                <ref role="3A2yKK" node="6RMeEk2Tgf$" resolve="am" />
+                              </node>
+                              <node concept="3Tsc0h" id="6RMeEk2TNH9" role="2OqNvi">
+                                <ref role="3TtcxE" to="tp5g:hCJA96l" resolve="before" />
+                              </node>
+                            </node>
+                            <node concept="34oBXx" id="6RMeEk2TNHa" role="2OqNvi" />
+                          </node>
+                          <node concept="37vLTw" id="6RMeEk2TNHb" role="3uHU7B">
+                            <ref role="3cqZAo" node="6RMeEk2TNH2" resolve="i" />
+                          </node>
+                        </node>
+                        <node concept="3uNrnE" id="6RMeEk2TNHc" role="1Dwrff">
+                          <node concept="37vLTw" id="6RMeEk2TNHd" role="2$L3a6">
+                            <ref role="3cqZAo" node="6RMeEk2TNH2" resolve="i" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="1Dw8fO" id="6RMeEk2TNHe" role="3cqZAp">
+                        <node concept="3clFbS" id="6RMeEk2TNHf" role="2LFqv$">
+                          <node concept="3Aqczg" id="6RMeEk2TNQC" role="3cqZAp">
+                            <node concept="3Aqt3T" id="6RMeEk2TNQD" role="3Aqpz8">
+                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
+                              <node concept="a7P8L" id="6RMeEk2TNQE" role="3AunhB">
+                                <ref role="a7OzE" node="6RMeEk2TMYY" resolve="AT" />
+                                <node concept="37vLTw" id="6RMeEk2TNUB" role="3gCZO6">
+                                  <ref role="3cqZAo" node="6RMeEk2TNHq" resolve="i" />
+                                </node>
+                              </node>
+                              <node concept="ns1u0" id="6RMeEk2TNQG" role="3AunhB">
+                                <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3cpWsn" id="6RMeEk2TNHq" role="1Duv9x">
+                          <property role="TrG5h" value="i" />
+                          <node concept="10Oyi0" id="6RMeEk2TNHr" role="1tU5fm" />
+                          <node concept="3cmrfG" id="6RMeEk2TNHs" role="33vP2m">
+                            <property role="3cmrfH" value="0" />
+                          </node>
+                        </node>
+                        <node concept="3eOVzh" id="6RMeEk2TNHt" role="1Dwp0S">
+                          <node concept="2OqwBi" id="6RMeEk2TNHu" role="3uHU7w">
+                            <node concept="2OqwBi" id="6RMeEk2TNHv" role="2Oq$k0">
+                              <node concept="3A2sRY" id="6RMeEk2TNHw" role="2Oq$k0">
+                                <ref role="3A2yKK" node="6RMeEk2Tgf$" resolve="am" />
+                              </node>
+                              <node concept="3Tsc0h" id="6RMeEk2TNHx" role="2OqNvi">
+                                <ref role="3TtcxE" to="tp5g:hCJAdgf" resolve="after" />
+                              </node>
+                            </node>
+                            <node concept="34oBXx" id="6RMeEk2TNHy" role="2OqNvi" />
+                          </node>
+                          <node concept="37vLTw" id="6RMeEk2TNHz" role="3uHU7B">
+                            <ref role="3cqZAo" node="6RMeEk2TNHq" resolve="i" />
+                          </node>
+                        </node>
+                        <node concept="3uNrnE" id="6RMeEk2TNH$" role="1Dwrff">
+                          <node concept="37vLTw" id="6RMeEk2TNH_" role="2$L3a6">
+                            <ref role="3cqZAo" node="6RMeEk2TNHq" resolve="i" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="1Dw8fO" id="6RMeEk2TNYS" role="3cqZAp">
+                        <node concept="3clFbS" id="6RMeEk2TNYU" role="2LFqv$">
+                          <node concept="3Aqczg" id="6RMeEk2TSTW" role="3cqZAp">
+                            <node concept="3Aqt3T" id="6RMeEk2TSTU" role="3Aqpz8">
+                              <ref role="3AqCNq" to="kqnc:6RzTUCTeZel" resolve="comparable" />
+                              <node concept="a7P8L" id="6RMeEk2TTe4" role="3AunhB">
+                                <ref role="a7OzE" node="6RMeEk2TMYY" resolve="AT" />
+                                <node concept="37vLTw" id="6RMeEk2TTen" role="3gCZO6">
+                                  <ref role="3cqZAo" node="6RMeEk2TNYV" resolve="i" />
+                                </node>
+                              </node>
+                              <node concept="a7P8L" id="6RMeEk2TTeX" role="3AunhB">
+                                <ref role="a7OzE" node="6RMeEk2Th72" resolve="BT" />
+                                <node concept="37vLTw" id="6RMeEk2TTfM" role="3gCZO6">
+                                  <ref role="3cqZAo" node="6RMeEk2TNYV" resolve="i" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3cpWsn" id="6RMeEk2TNYV" role="1Duv9x">
+                          <property role="TrG5h" value="i" />
+                          <node concept="10Oyi0" id="6RMeEk2TNZE" role="1tU5fm" />
+                          <node concept="3cmrfG" id="6RMeEk2TNZX" role="33vP2m">
+                            <property role="3cmrfH" value="0" />
+                          </node>
+                        </node>
+                        <node concept="1Wc70l" id="6RMeEk2TONx" role="1Dwp0S">
+                          <node concept="3eOVzh" id="6RMeEk2TO0s" role="3uHU7B">
+                            <node concept="37vLTw" id="6RMeEk2TO04" role="3uHU7B">
+                              <ref role="3cqZAo" node="6RMeEk2TNYV" resolve="i" />
+                            </node>
+                            <node concept="2OqwBi" id="6RMeEk2TO0F" role="3uHU7w">
+                              <node concept="2OqwBi" id="6RMeEk2TO0G" role="2Oq$k0">
+                                <node concept="3A2sRY" id="6RMeEk2TO0H" role="2Oq$k0">
+                                  <ref role="3A2yKK" node="6RMeEk2Tgf$" resolve="am" />
+                                </node>
+                                <node concept="3Tsc0h" id="6RMeEk2TO0I" role="2OqNvi">
+                                  <ref role="3TtcxE" to="tp5g:hCJA96l" resolve="before" />
+                                </node>
+                              </node>
+                              <node concept="34oBXx" id="6RMeEk2TO0J" role="2OqNvi" />
+                            </node>
+                          </node>
+                          <node concept="3eOVzh" id="6RMeEk2TQ4P" role="3uHU7w">
+                            <node concept="2OqwBi" id="6RMeEk2TRkl" role="3uHU7w">
+                              <node concept="2OqwBi" id="6RMeEk2TQ5K" role="2Oq$k0">
+                                <node concept="3A2sRY" id="6RMeEk2TQ4W" role="2Oq$k0">
+                                  <ref role="3A2yKK" node="6RMeEk2Tgf$" resolve="am" />
+                                </node>
+                                <node concept="3Tsc0h" id="6RMeEk2TQGV" role="2OqNvi">
+                                  <ref role="3TtcxE" to="tp5g:hCJAdgf" resolve="after" />
+                                </node>
+                              </node>
+                              <node concept="34oBXx" id="6RMeEk2TSSF" role="2OqNvi" />
+                            </node>
+                            <node concept="37vLTw" id="6RMeEk2TQ4f" role="3uHU7B">
+                              <ref role="3cqZAo" node="6RMeEk2TNYV" resolve="i" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3uNrnE" id="6RMeEk2TSTI" role="1Dwrff">
+                          <node concept="37vLTw" id="6RMeEk2TSTK" role="2$L3a6">
+                            <ref role="3cqZAo" node="6RMeEk2TNYV" resolve="i" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="6RMeEk2Tgfz" role="1nLNMg">
+        <ref role="2t_S0q" to="tp5g:hCJA54K" resolve="AssertMatch" />
+        <node concept="3A20r5" id="6RMeEk2Tgf$" role="2t_VXX">
+          <property role="TrG5h" value="am" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6RMeEk2TTMT" role="1nK1Vg">
+      <property role="TrG5h" value="testNodeReference" />
+      <node concept="3clFbS" id="6RMeEk2TTMU" role="1nLNMH">
+        <node concept="3cpWs8" id="hBxYg20" role="3cqZAp">
+          <node concept="3cpWsn" id="hBxYg21" role="3cpWs9">
+            <property role="TrG5h" value="concept" />
+            <node concept="3Tqbb2" id="6ALWH9fZ9fV" role="1tU5fm">
+              <ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
+            </node>
+            <node concept="2YIFZM" id="6RMeEk2TU4E" role="33vP2m">
+              <ref role="37wK5l" to="tpeq:EDoXYsb2Yk" resolve="closestConceptNode" />
+              <ref role="1Pybhc" to="tpeq:h9nq4jh" resolve="RulesUtil" />
+              <node concept="2OqwBi" id="6RMeEk2TU4F" role="37wK5m">
+                <node concept="2OqwBi" id="6RMeEk2TU4G" role="2Oq$k0">
+                  <node concept="2OqwBi" id="6RMeEk2TU4H" role="2Oq$k0">
+                    <node concept="3TrEf2" id="6RMeEk2TU4J" role="2OqNvi">
+                      <ref role="3Tt5mk" to="tp5g:hBxOPr6" resolve="declaration" />
+                    </node>
+                    <node concept="3A2sRY" id="6RMeEk2TUeG" role="2Oq$k0">
+                      <ref role="3A2yKK" node="6RMeEk2TTMW" resolve="tnr" />
+                    </node>
+                  </node>
+                  <node concept="1mfA1w" id="6RMeEk2TU4K" role="2OqNvi" />
+                </node>
+                <node concept="2yIwOk" id="6RMeEk2TU4L" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1nLNNL" id="6RMeEk2TTSM" role="3cqZAp">
+          <node concept="1nLNMm" id="6RMeEk2TTSN" role="1nLNNK">
+            <node concept="3Aq93q" id="6RMeEk2TUeX" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="6RMeEk2TUeY" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6RMeEk2TUf5" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6RMeEk2TUf4" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="6RMeEk2TUfb" role="3xSepv">
+              <node concept="3Aq9E8" id="6RMeEk2TUfc" role="3xSepj">
+                <node concept="3I6sU6" id="6RMeEk2TUfd" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6RMeEk2TUfl" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6RMeEk2TUfk" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="6RMeEk2TUfF" role="3AunhB">
+                        <node concept="3A2sRY" id="6RMeEk2TUfD" role="37jj2">
+                          <ref role="3A2yKK" node="6RMeEk2TTMW" resolve="tnr" />
+                        </node>
+                      </node>
+                      <node concept="ns1u0" id="6RMeEk2TUfU" role="3AunhB">
+                        <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                        <node concept="nsMwS" id="6RMeEk2TUg5" role="ns1xD">
+                          <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                          <node concept="37vLTw" id="5x7Q7oyPnXu" role="nsMwV">
+                            <ref role="3cqZAo" node="hBxYg21" resolve="concept" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="6RMeEk2TTMV" role="1nLNMg">
+        <ref role="2t_S0q" to="tp5g:hBxON8j" resolve="TestNodeReference" />
+        <node concept="3A20r5" id="6RMeEk2TTMW" role="2t_VXX">
+          <property role="TrG5h" value="tnr" />
+        </node>
+      </node>
+    </node>
+  </node>
+</model>
+
diff --git a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps
index 0b0c679b..407fc222 100644
--- a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps
+++ b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps
@@ -1122,11 +1122,6 @@
             </node>
           </node>
         </node>
-        <node concept="1SiIV0" id="55xYlrl9SaJ" role="3bR37C">
-          <node concept="3bR9La" id="55xYlrl9SaK" role="1SiIV1">
-            <ref role="3bR37D" to="ffeo:ymnOULAU0H" resolve="jetbrains.mps.lang.test" />
-          </node>
-        </node>
         <node concept="1SiIV0" id="55xYlrl9SaL" role="3bR37C">
           <node concept="3bR9La" id="55xYlrl9SaM" role="1SiIV1">
             <ref role="3bR37D" node="69UmpDmJW26" resolve="jetbrains.mps.baseLanguageExt" />
@@ -1137,6 +1132,26 @@
             <ref role="3bR37D" to="ffeo:7Kfy9QB6L7y" resolve="jetbrains.mps.lang.intentions" />
           </node>
         </node>
+        <node concept="1SiIV0" id="1tzntNAbTLW" role="3bR37C">
+          <node concept="3bR9La" id="1tzntNAbTLX" role="1SiIV1">
+            <ref role="3bR37D" to="ffeo:1TaHNgiIbIZ" resolve="MPS.Editor" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="1tzntNAkqmd" role="3bR37C">
+          <node concept="3bR9La" id="1tzntNAkqme" role="1SiIV1">
+            <ref role="3bR37D" to="ffeo:7Kfy9QB6KYb" resolve="jetbrains.mps.baseLanguage" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="1tzntNAkqmf" role="3bR37C">
+          <node concept="3bR9La" id="1tzntNAkqmg" role="1SiIV1">
+            <ref role="3bR37D" node="6Dg__VJQ3B2" resolve="jetbrains.mps.lang.smodelExt" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="1tzntNAkqmp" role="3bR37C">
+          <node concept="1Busua" id="1tzntNAkqmq" role="1SiIV1">
+            <ref role="1Busuk" to="ffeo:ymnOULAU0H" resolve="jetbrains.mps.lang.test" />
+          </node>
+        </node>
       </node>
     </node>
     <node concept="2G$12M" id="69UmpDmJW20" role="3989C9">