From cf85151dad8411f457e1e72ee560b6f5db0ac78e Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Wed, 16 Dec 2020 21:13:30 +0100
Subject: [PATCH] Types for constraints lang

---
 .mps/modules.xml                              |    1 +
 samples/mpscore/build.xml                     |  276 ++-
 .../generator/templates/main@generator.mps    |   24 +
 .../jetbrains.mps.lang.constraintsExt.mpl     |  150 ++
 ...rains.mps.lang.constraintsExt.behavior.mps |   12 +
 ...ns.mps.lang.constraintsExt.constraints.mps |   19 +
 ...tbrains.mps.lang.constraintsExt.editor.mps |   11 +
 ...ains.mps.lang.constraintsExt.structure.mps |   11 +
 ...etbrains.mps.lang.constraintsExt.types.mps | 1624 +++++++++++++++++
 ...ins.mps.lang.constraintsExt.typesystem.mps |   11 +
 .../models/samples.mpscore.build.mps          |  122 +-
 11 files changed, 2253 insertions(+), 8 deletions(-)
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/generator/templates/main@generator.mps
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.behavior.mps
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.constraints.mps
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.editor.mps
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.structure.mps
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.typesystem.mps

diff --git a/.mps/modules.xml b/.mps/modules.xml
index 68845a7b..5f228c6e 100644
--- a/.mps/modules.xml
+++ b/.mps/modules.xml
@@ -45,6 +45,7 @@
       <modulePath path="$PROJECT_DIR$/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl" folder="samples.mpscore.ext.baseLanguage" />
       <modulePath path="$PROJECT_DIR$/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl" folder="samples.mpscore.ext.baseLanguage" />
       <modulePath path="$PROJECT_DIR$/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl" folder="samples.mpscore.ext.coderulesExt" />
+      <modulePath path="$PROJECT_DIR$/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl" folder="samples.mpscore.ext" />
       <modulePath path="$PROJECT_DIR$/samples/mpscore/languages/jetbrains.mps.lang.quotationExt/jetbrains.mps.lang.quotationExt.mpl" folder="samples.mpscore.ext" />
       <modulePath path="$PROJECT_DIR$/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.mpl" folder="samples.mpscore.ext.smodel" />
       <modulePath path="$PROJECT_DIR$/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/jetbrains.mps.lang.typesystemExt.mpl" folder="samples.mpscore.ext" />
diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index 1f0d688f..a1e40ef2 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -1887,7 +1887,6 @@
           <module ref="c1f5ad88-21f4-4e0e-927c-48b1ca0c2334(jetbrains.mps.baseLanguage.collectionsExt)" kind="cl" />
           <module ref="88dcbb14-19c3-4776-8f81-33611ca4d87c(jetbrains.mps.baseLanguage.sequence)" kind="cl" />
           <module ref="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" kind="cl" />
-          <module ref="3a13115c-633c-4c5c-bbcc-75c4219e9555(jetbrains.mps.lang.quotation)" kind="cl" />
           <module ref="65e59b42-e7f3-45ec-8692-6c7829780afe(jetbrains.mps.lang.smodelExt)" kind="cl" />
           <module ref="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" kind="cl" />
           <module ref="7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem)" kind="cl" />
@@ -1932,6 +1931,7 @@
     </echoxml>
     <jar destfile="${build.layout}/deploy/jetbrains.mps.lang.quotationExt.jar" duplicate="preserve">
       <fileset dir="${build.tmp}/java/out/jetbrains.mps.lang.quotationExt" />
+      <fileset dir="${basedir}/languages/jetbrains.mps.lang.quotationExt" includes="icons/**, resources/**" />
       <fileset dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.quotationExt/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
       <fileset dir="${build.tmp}/default/jetbrains.mps.lang.quotationExt.jar" />
     </jar>
@@ -2002,6 +2002,146 @@
       <zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-jetbrains.mps.lang.quotationExt-models" prefix="module/models" />
       <zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-jetbrains.mps.lang.quotationExt-generator-templates" prefix="module/generator/templates" />
     </jar>
+    <mkdir dir="${build.tmp}/default/jetbrains.mps.lang.constraintsExt.jar" />
+    <mkdir dir="${build.tmp}/default/jetbrains.mps.lang.constraintsExt.jar/META-INF" />
+    <echoxml file="${build.tmp}/default/jetbrains.mps.lang.constraintsExt.jar/META-INF/module.xml">
+      <module namespace="jetbrains.mps.lang.constraintsExt" type="language" uuid="585629d4-6ae6-4b06-948b-da2f7bfd9250">
+        <dependencies>
+          <module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
+          <module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="rt" />
+          <module ref="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" kind="rt" />
+          <module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="rt" />
+          <module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
+          <module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
+          <module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" kind="rt" />
+          <module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
+          <module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" kind="rt" />
+          <module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" kind="rt" />
+          <module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" kind="rt" />
+          <module ref="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" kind="rt" />
+          <module ref="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" kind="rt" />
+          <module ref="8e98f4e2-decf-4e97-bf80-9109e8b759ee(jetbrains.mps.lang.constraints.rules.runtime)" kind="rt" />
+          <module ref="0a98f3e2-decf-4e97-bf80-9109eccc59bb(jetbrains.mps.lang.feedback.problem.rules)" kind="rt" />
+          <module ref="9abaaae2-decf-4e97-bf80-9109e8b759cc(jetbrains.mps.lang.messages.api)" kind="rt" />
+          <module ref="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" kind="rt" />
+          <module ref="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" kind="rt" />
+          <module ref="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" kind="rt" />
+          <module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" kind="rt" />
+          <module ref="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" kind="cl" />
+          <module ref="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" kind="cl" />
+          <module ref="65e59b42-e7f3-45ec-8692-6c7829780afe(jetbrains.mps.lang.smodelExt)" kind="cl" />
+          <module ref="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" kind="cl" />
+        </dependencies>
+        <uses>
+          <language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
+          <language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
+          <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:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
+          <language id="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" />
+          <language id="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" />
+          <language id="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" />
+          <language id="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" />
+          <language id="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" />
+          <language id="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" />
+          <language id="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" />
+          <language id="l:5dae8159-ab99-46bb-a40d-0cee30ee7018:jetbrains.mps.lang.constraints.rules.kinds" />
+          <language id="l:134c38d4-e3af-4d9e-b069-1c7df0a4005d:jetbrains.mps.lang.constraints.rules.skeleton" />
+          <language id="l:3ad5badc-1d9c-461c-b7b1-fa2fcd0a0ae7:jetbrains.mps.lang.context" />
+          <language id="l:ea3159bf-f48e-4720-bde2-86dba75f0d34:jetbrains.mps.lang.context.defs" />
+          <language id="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" />
+          <language id="l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor" />
+          <language id="l:ad93155d-79b2-4759-b10c-55123e763903:jetbrains.mps.lang.messages" />
+          <language id="l:d4615e3b-d671-4ba9-af01-2b78369b0ba7:jetbrains.mps.lang.pattern" />
+          <language id="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" />
+          <language id="l:982eb8df-2c96-4bd7-9963-11712ea622e5:jetbrains.mps.lang.resources" />
+          <language id="l:b3551702-269c-4f05-ba61-58060cef4292:jetbrains.mps.lang.rulesAndMessages" />
+          <language id="l:d8f591ec-4d86-4af2-9f92-a9e93c803ffa:jetbrains.mps.lang.scopes" />
+          <language id="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" />
+          <language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
+          <language id="l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure" />
+          <language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
+          <language id="l:4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462:jetbrains.mps.lang.typechecking" />
+          <language id="l:7a5dda62-9140-4668-ab76-d5ed1746f2b2:jetbrains.mps.lang.typesystem" />
+        </uses>
+        <classpath>
+          <entry path="." />
+        </classpath>
+        <sources jar="jetbrains.mps.lang.constraintsExt-src.jar" descriptor="jetbrains.mps.lang.constraintsExt.mpl" />
+      </module>
+    </echoxml>
+    <jar destfile="${build.layout}/deploy/jetbrains.mps.lang.constraintsExt.jar" duplicate="preserve">
+      <fileset dir="${build.tmp}/java/out/jetbrains.mps.lang.constraintsExt" />
+      <fileset dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.constraintsExt/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
+      <fileset dir="${build.tmp}/default/jetbrains.mps.lang.constraintsExt.jar" />
+    </jar>
+    <mkdir dir="${build.tmp}/default/jetbrains.mps.lang.constraintsExt-generator.jar" />
+    <mkdir dir="${build.tmp}/default/jetbrains.mps.lang.constraintsExt-generator.jar/META-INF" />
+    <echoxml file="${build.tmp}/default/jetbrains.mps.lang.constraintsExt-generator.jar/META-INF/module.xml">
+      <module namespace="jetbrains.mps.lang.constraintsExt#01" type="generator" uuid="169d2221-3b4b-4779-ab69-5f32e51d11b9">
+        <dependencies>
+          <module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="rt" />
+          <module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="rt" />
+          <module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="rt" />
+          <module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" kind="rt" />
+          <module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" kind="rt" />
+          <module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" kind="rt" />
+          <module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" kind="rt" />
+          <module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" kind="rt" />
+          <module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" kind="rt" />
+          <module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" kind="rt" />
+          <module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" kind="rt" />
+          <module ref="585629d4-6ae6-4b06-948b-da2f7bfd9250(jetbrains.mps.lang.constraintsExt)" kind="cl" />
+        </dependencies>
+        <uses>
+          <language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
+          <language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
+          <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:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
+          <language id="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" />
+          <language id="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" />
+          <language id="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" />
+          <language id="l:289fcc83-6543-41e8-a5ca-768235715ce4:jetbrains.mps.lang.generator.generationParameters" />
+          <language id="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" />
+          <language id="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" />
+          <language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
+          <language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
+        </uses>
+        <classpath>
+          <entry path="." />
+        </classpath>
+        <sources jar="jetbrains.mps.lang.constraintsExt-src.jar" descriptor="jetbrains.mps.lang.constraintsExt.mpl" />
+      </module>
+    </echoxml>
+    <jar destfile="${build.layout}/deploy/jetbrains.mps.lang.constraintsExt-generator.jar" duplicate="preserve">
+      <fileset dir="${build.tmp}/java/out/jetbrains.mps.lang.constraintsExt#01" />
+      <fileset dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.constraintsExt/generator/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
+      <fileset dir="${build.tmp}/default/jetbrains.mps.lang.constraintsExt-generator.jar" />
+    </jar>
+    <copyModels todir="${build.tmp}/customProcessors/copyModels/languages-jetbrains.mps.lang.constraintsExt-models">
+      <fileset dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.constraintsExt/models" includes="**/*.mps, **/*.mpsr, **/.model" />
+    </copyModels>
+    <copyModels todir="${build.tmp}/customProcessors/copyModels/languages-jetbrains.mps.lang.constraintsExt-generator-templates">
+      <fileset dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.constraintsExt/generator/templates" includes="**/*.mps, **/*.mpsr, **/.model" />
+    </copyModels>
+    <jar destfile="${build.layout}/deploy/jetbrains.mps.lang.constraintsExt-src.jar" duplicate="preserve">
+      <fileset dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.constraintsExt/generator/source_gen">
+        <exclude name="**/trace.info" />
+        <exclude name="**/exports" />
+        <exclude name="**/checkpoints" />
+        <exclude name="**/*.mps" />
+      </fileset>
+      <fileset dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.constraintsExt/source_gen">
+        <exclude name="**/trace.info" />
+        <exclude name="**/exports" />
+        <exclude name="**/checkpoints" />
+        <exclude name="**/*.mps" />
+      </fileset>
+      <zipfileset file="${basedir}/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl" prefix="module" />
+      <zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-jetbrains.mps.lang.constraintsExt-models" prefix="module/models" />
+      <zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-jetbrains.mps.lang.constraintsExt-generator-templates" prefix="module/generator/templates" />
+    </jar>
     <mkdir dir="${build.tmp}/default/typechecking.samples.baseLanguage.jar" />
     <mkdir dir="${build.tmp}/default/typechecking.samples.baseLanguage.jar/META-INF" />
     <echoxml file="${build.tmp}/default/typechecking.samples.baseLanguage.jar/META-INF/module.xml">
@@ -2234,7 +2374,7 @@
     <delete dir="${build.layout}" />
   </target>
   
-  <target name="compileJava" depends="java.compile.jetbrains.mps.lang.smodelExt, java.compile.jetbrains.mps.lang.smodelExt#01, java.compile.jetbrains.mps.lang.smodelExt.test, java.compile.jetbrains.mps.lang.typesystemExt, java.compile.jetbrains.mps.lang.typesystemExt#01, java.compile.jetbrains.mps.lang.quotationExt, java.compile.jetbrains.mps.lang.quotationExt#01, java.compile.jetbrains.mps.baseLanguageExt, java.compile.jetbrains.mps.baseLanguageInternalExt, java.compile.jetbrains.mps.baseLanguageInternalExt#01, java.compile.jetbrains.mps.baseLanguage.blTypesExt, java.compile.jetbrains.mps.baseLanguage.blTypesExt#01, java.compile.jetbrains.mps.baseLanguage.javadocExt, java.compile.java.modules.cycle.1, java.compile.jetbrains.mps.baseLanguageExt.test, java.compile.typechecking.samples.baseLanguage, java.compile.jetbrains.mps.baseLanguage.tuplesExt, java.compile.jetbrains.mps.baseLanguage.tuplesExt#01, java.compile.jetbrains.mps.baseLanguage.tuplesExt.test, java.compile.jetbrains.mps.baseLanguage.sequence, java.compile.jetbrains.mps.baseLanguage.sequence#01, java.compile.jetbrains.mps.baseLanguage.function, java.compile.jetbrains.mps.baseLanguage.function#01, java.compile.jetbrains.mps.baseLanguage.collectionsExt, java.compile.jetbrains.mps.baseLanguage.collectionsExt#01, java.compile.jetbrains.mps.baseLanguage.collectionsExt.test, java.compile.jetbrains.mps.baseLanguage.closuresExt, java.compile.jetbrains.mps.baseLanguage.closuresExt#1312156863939371938, java.compile.jetbrains.mps.baseLanguage.closuresExt.test, java.compile.jetbrains.mps.logicExt, java.compile.jetbrains.mps.logicExt#01" />
+  <target name="compileJava" depends="java.compile.jetbrains.mps.lang.smodelExt, java.compile.jetbrains.mps.lang.smodelExt#01, java.compile.jetbrains.mps.lang.smodelExt.test, java.compile.jetbrains.mps.lang.typesystemExt, java.compile.jetbrains.mps.lang.typesystemExt#01, java.compile.jetbrains.mps.lang.quotationExt, java.compile.jetbrains.mps.lang.quotationExt#01, java.compile.jetbrains.mps.lang.constraintsExt, java.compile.jetbrains.mps.lang.constraintsExt#01, java.compile.jetbrains.mps.baseLanguageExt, java.compile.jetbrains.mps.baseLanguageInternalExt, java.compile.jetbrains.mps.baseLanguageInternalExt#01, java.compile.jetbrains.mps.baseLanguage.blTypesExt, java.compile.jetbrains.mps.baseLanguage.blTypesExt#01, java.compile.jetbrains.mps.baseLanguage.javadocExt, java.compile.java.modules.cycle.1, java.compile.jetbrains.mps.baseLanguageExt.test, java.compile.typechecking.samples.baseLanguage, java.compile.jetbrains.mps.baseLanguage.tuplesExt, java.compile.jetbrains.mps.baseLanguage.tuplesExt#01, java.compile.jetbrains.mps.baseLanguage.tuplesExt.test, java.compile.jetbrains.mps.baseLanguage.sequence, java.compile.jetbrains.mps.baseLanguage.sequence#01, java.compile.jetbrains.mps.baseLanguage.function, java.compile.jetbrains.mps.baseLanguage.function#01, java.compile.jetbrains.mps.baseLanguage.collectionsExt, java.compile.jetbrains.mps.baseLanguage.collectionsExt#01, java.compile.jetbrains.mps.baseLanguage.collectionsExt.test, java.compile.jetbrains.mps.baseLanguage.closuresExt, java.compile.jetbrains.mps.baseLanguage.closuresExt#1312156863939371938, java.compile.jetbrains.mps.baseLanguage.closuresExt.test, java.compile.jetbrains.mps.logicExt, java.compile.jetbrains.mps.logicExt#01" />
   
   <target name="processResources" />
   
@@ -2396,6 +2536,7 @@
         <module file="${basedir}/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl" />
         <module file="${basedir}/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl" />
         <module file="${basedir}/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl" />
+        <module file="${basedir}/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl" />
         <module file="${basedir}/languages/jetbrains.mps.lang.quotationExt/jetbrains.mps.lang.quotationExt.mpl" />
         <module file="${basedir}/languages/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.mpl" />
         <module file="${basedir}/languages/jetbrains.mps.lang.typesystemExt/jetbrains.mps.lang.typesystemExt.mpl" />
@@ -2898,6 +3039,135 @@
         <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}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.quotation.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.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" />
+        <fileset dir="${artifacts.coderules}/deploy/lib" includes="conreactor-core-0.9.14.jar" />
+      </classpath>
+    </javac>
+  </target>
+  
+  <target name="java.compile.jetbrains.mps.lang.constraintsExt" depends="java.compile.jetbrains.mps.baseLanguageExt, java.compile.jetbrains.mps.lang.smodelExt, fetchDependencies">
+    <mkdir dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.constraintsExt/source_gen" />
+    <mkdir dir="${build.tmp}/java/out/jetbrains.mps.lang.constraintsExt" />
+    <javac destdir="${build.tmp}/java/out/jetbrains.mps.lang.constraintsExt" fork="true" encoding="utf8" includeantruntime="false" debug="true">
+      <compilerarg value="-Xlint:none" />
+      <src>
+        <path location="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.constraintsExt/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-openapi.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-context.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-problem.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-platform.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-messages-for-rules.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-closures.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-collections.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-logging.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-references.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-messaging.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-boot-util.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-editor.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-generator.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-environment.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.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" />
+        <fileset file="${artifacts.mps}/lib/jdom.jar" />
+        <fileset file="${artifacts.mps}/lib/trove4j.jar" />
+        <fileset file="${artifacts.mps}/lib/ecj-4.13.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.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/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.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.constraints.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.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}/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" />
+        <fileset dir="${artifacts.coderules}/deploy/lib" includes="conreactor-core-0.9.14.jar" />
+      </classpath>
+    </javac>
+  </target>
+  
+  <target name="java.compile.jetbrains.mps.lang.constraintsExt#01" depends="java.compile.jetbrains.mps.baseLanguageExt, java.compile.jetbrains.mps.lang.constraintsExt, fetchDependencies">
+    <mkdir dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.constraintsExt/generator/source_gen" />
+    <mkdir dir="${build.tmp}/java/out/jetbrains.mps.lang.constraintsExt#01" />
+    <javac destdir="${build.tmp}/java/out/jetbrains.mps.lang.constraintsExt#01" fork="true" encoding="utf8" includeantruntime="false" debug="true">
+      <compilerarg value="-Xlint:none" />
+      <src>
+        <path location="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.constraintsExt/generator/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-openapi.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-context.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-problem.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-platform.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-messages-for-rules.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-closures.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-collections.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-logging.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-references.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-messaging.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-boot-util.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-editor.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-generator.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
+        <fileset file="${artifacts.mps}/lib/mps-environment.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.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.constraintsExt" />
+        <fileset file="${artifacts.mps}/lib/annotations.jar" />
+        <fileset dir="${artifacts.mps}/lib" includes="*.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.13.jar" />
+        <fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.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}/languages/languageDesign/jetbrains.mps.lang.constraints.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.scopes.runtime.jar" />
+        <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.structure.jar" />
         <fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
         <fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
         <fileset dir="${artifacts.coderules}/deploy/lib" includes="collection-0.7.jar" />
@@ -4740,6 +5010,8 @@
     <delete dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.baseLanguageExt/source_gen" />
     <delete dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.baseLanguageInternalExt/source_gen" />
     <delete dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.baseLanguageInternalExt/generator/source_gen" />
+    <delete dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.constraintsExt/source_gen" />
+    <delete dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.constraintsExt/generator/source_gen" />
     <delete dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.quotationExt/source_gen" />
     <delete dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.quotationExt/generator/source_gen" />
     <delete dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.smodelExt/source_gen" />
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/generator/templates/main@generator.mps b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/generator/templates/main@generator.mps
new file mode 100644
index 00000000..40bd2537
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/generator/templates/main@generator.mps
@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:b4c94d4d-2148-41d3-a6ae-25769e6134e2(main@generator)">
+  <persistence version="9" />
+  <languages>
+    <devkit ref="a2eb3a43-fcc2-4200-80dc-c60110c4862d(jetbrains.mps.devkit.templates)" />
+  </languages>
+  <imports>
+    <import index="o0vz" ref="r:2173a180-e386-4506-9594-915cec77bca5(jetbrains.mps.lang.constraintsExt.structure)" />
+  </imports>
+  <registry>
+    <language id="b401a680-8325-4110-8fd3-84331ff25bef" name="jetbrains.mps.lang.generator">
+      <concept id="1095416546421" name="jetbrains.mps.lang.generator.structure.MappingConfiguration" flags="ig" index="bUwia" />
+    </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>
+  </registry>
+  <node concept="bUwia" id="3ZfjIHtCL07">
+    <property role="TrG5h" value="main" />
+  </node>
+</model>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl
new file mode 100644
index 00000000..0b588f0e
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl
@@ -0,0 +1,150 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<language namespace="jetbrains.mps.lang.constraintsExt" uuid="585629d4-6ae6-4b06-948b-da2f7bfd9250" languageVersion="0" moduleVersion="0">
+  <models>
+    <modelRoot contentPath="${module}" type="default">
+      <sourceRoot location="models" />
+    </modelRoot>
+  </models>
+  <facets>
+    <facet type="java">
+      <classes generated="true" path="${module}/classes_gen" />
+    </facet>
+  </facets>
+  <accessoryModels />
+  <generators>
+    <generator alias="main" namespace="jetbrains.mps.lang.constraintsExt#01" uuid="169d2221-3b4b-4779-ab69-5f32e51d11b9">
+      <models>
+        <modelRoot contentPath="${module}/generator" type="default">
+          <sourceRoot location="templates" />
+        </modelRoot>
+      </models>
+      <facets>
+        <facet type="java">
+          <classes generated="true" path="${module}/generator/classes_gen" />
+        </facet>
+      </facets>
+      <external-templates />
+      <languageVersions>
+        <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="11" />
+        <language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
+        <language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
+        <language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />
+        <language slang="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
+        <language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
+        <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
+        <language slang="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" version="3" />
+        <language slang="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" version="2" />
+        <language slang="l:289fcc83-6543-41e8-a5ca-768235715ce4:jetbrains.mps.lang.generator.generationParameters" version="0" />
+        <language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
+        <language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="5" />
+        <language slang="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" version="0" />
+        <language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="17" />
+        <language slang="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" version="0" />
+        <language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
+      </languageVersions>
+      <dependencyVersions>
+        <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="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" 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="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="0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)" 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="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1(jetbrains.mps.lang.constraints)" version="0" />
+        <module reference="585629d4-6ae6-4b06-948b-da2f7bfd9250(jetbrains.mps.lang.constraintsExt)" version="0" />
+        <module reference="169d2221-3b4b-4779-ab69-5f32e51d11b9(jetbrains.mps.lang.constraintsExt#01)" version="0" />
+        <module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
+        <module reference="9e98f4e2-decf-4e97-bf80-9109e8b759aa(jetbrains.mps.lang.feedback.context)" version="0" />
+        <module reference="528ff3b9-5fc4-40dd-931f-c6ce3650640e(jetbrains.mps.lang.migration.runtime)" version="0" />
+        <module reference="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" version="0" />
+        <module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
+        <module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
+        <module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
+        <module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
+        <module reference="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" version="0" />
+      </dependencyVersions>
+      <mapping-priorities />
+    </generator>
+  </generators>
+  <sourcePath />
+  <dependencies>
+    <dependency reexport="false">65e59b42-e7f3-45ec-8692-6c7829780afe(jetbrains.mps.lang.smodelExt)</dependency>
+    <dependency reexport="false">7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)</dependency>
+    <dependency reexport="false">c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)</dependency>
+  </dependencies>
+  <languageVersions>
+    <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="11" />
+    <language slang="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" version="0" />
+    <language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
+    <language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
+    <language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />
+    <language slang="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
+    <language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
+    <language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
+    <language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
+    <language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="21" />
+    <language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
+    <language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
+    <language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />
+    <language slang="l:5dae8159-ab99-46bb-a40d-0cee30ee7018:jetbrains.mps.lang.constraints.rules.kinds" version="0" />
+    <language slang="l:134c38d4-e3af-4d9e-b069-1c7df0a4005d:jetbrains.mps.lang.constraints.rules.skeleton" version="0" />
+    <language slang="l:3ad5badc-1d9c-461c-b7b1-fa2fcd0a0ae7:jetbrains.mps.lang.context" version="0" />
+    <language slang="l:ea3159bf-f48e-4720-bde2-86dba75f0d34:jetbrains.mps.lang.context.defs" version="0" />
+    <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
+    <language slang="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" version="0" />
+    <language slang="l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor" version="14" />
+    <language slang="l:ad93155d-79b2-4759-b10c-55123e763903:jetbrains.mps.lang.messages" version="0" />
+    <language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
+    <language slang="l:d4615e3b-d671-4ba9-af01-2b78369b0ba7:jetbrains.mps.lang.pattern" version="2" />
+    <language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="5" />
+    <language slang="l:982eb8df-2c96-4bd7-9963-11712ea622e5:jetbrains.mps.lang.resources" version="2" />
+    <language slang="l:b3551702-269c-4f05-ba61-58060cef4292:jetbrains.mps.lang.rulesAndMessages" version="0" />
+    <language slang="l:d8f591ec-4d86-4af2-9f92-a9e93c803ffa:jetbrains.mps.lang.scopes" version="0" />
+    <language slang="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" version="0" />
+    <language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="17" />
+    <language slang="l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure" version="9" />
+    <language slang="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" version="0" />
+    <language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
+    <language slang="l:4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462:jetbrains.mps.lang.typechecking" version="0" />
+    <language slang="l:7a5dda62-9140-4668-ab76-d5ed1746f2b2:jetbrains.mps.lang.typesystem" version="5" />
+    <language slang="l:35320f26-77cb-4c55-be9f-a97a27770af1:jetbrains.mps.logic" version="13" />
+  </languageVersions>
+  <dependencyVersions>
+    <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="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
+    <module reference="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" 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="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
+    <module reference="0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)" 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="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1(jetbrains.mps.lang.constraints)" version="0" />
+    <module reference="585629d4-6ae6-4b06-948b-da2f7bfd9250(jetbrains.mps.lang.constraintsExt)" version="0" />
+    <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="9e98f4e2-decf-4e97-bf80-9109e8b759aa(jetbrains.mps.lang.feedback.context)" version="0" />
+    <module reference="528ff3b9-5fc4-40dd-931f-c6ce3650640e(jetbrains.mps.lang.migration.runtime)" 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="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
+    <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>
+    <extendedLanguage>0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)</extendedLanguage>
+    <extendedLanguage>3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1(jetbrains.mps.lang.constraints)</extendedLanguage>
+  </extendedLanguages>
+</language>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.behavior.mps b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.behavior.mps
new file mode 100644
index 00000000..463315ce
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.behavior.mps
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:65b15954-8202-4a0c-b7ef-1ee709f17b3a(jetbrains.mps.lang.constraintsExt.behavior)">
+  <persistence version="9" />
+  <languages>
+    <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="17" />
+    <use id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior" version="2" />
+    <devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
+  </languages>
+  <imports />
+  <registry />
+</model>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.constraints.mps b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.constraints.mps
new file mode 100644
index 00000000..29ce33ff
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.constraints.mps
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:bfbc8ec9-d3a3-43c0-b580-80c9246fc70d(jetbrains.mps.lang.constraintsExt.constraints)">
+  <persistence version="9" />
+  <languages>
+    <use id="5dae8159-ab99-46bb-a40d-0cee30ee7018" name="jetbrains.mps.lang.constraints.rules.kinds" version="0" />
+    <use id="ea3159bf-f48e-4720-bde2-86dba75f0d34" name="jetbrains.mps.lang.context.defs" version="0" />
+    <use id="e51810c5-7308-4642-bcb6-469e61b5dd18" name="jetbrains.mps.lang.constraints.msg.specification" version="0" />
+    <use id="134c38d4-e3af-4d9e-b069-1c7df0a4005d" name="jetbrains.mps.lang.constraints.rules.skeleton" version="0" />
+    <use id="b3551702-269c-4f05-ba61-58060cef4292" name="jetbrains.mps.lang.rulesAndMessages" version="0" />
+    <use id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" name="jetbrains.mps.lang.constraints" version="6" />
+    <use id="13744753-c81f-424a-9c1b-cf8943bf4e86" name="jetbrains.mps.lang.sharedConcepts" version="0" />
+    <use id="3ad5badc-1d9c-461c-b7b1-fa2fcd0a0ae7" name="jetbrains.mps.lang.context" version="0" />
+    <use id="ad93155d-79b2-4759-b10c-55123e763903" name="jetbrains.mps.lang.messages" version="0" />
+    <devkit ref="00000000-0000-4000-0000-5604ebd4f22c(jetbrains.mps.devkit.aspect.constraints)" />
+  </languages>
+  <imports />
+  <registry />
+</model>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.editor.mps b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.editor.mps
new file mode 100644
index 00000000..a4653cdf
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.editor.mps
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:56caf082-9c01-4195-af52-e5ed40b0939a(jetbrains.mps.lang.constraintsExt.editor)">
+  <persistence version="9" />
+  <languages>
+    <use id="18bc6592-03a6-4e29-a83a-7ff23bde13ba" name="jetbrains.mps.lang.editor" version="14" />
+    <devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
+  </languages>
+  <imports />
+  <registry />
+</model>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.structure.mps b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.structure.mps
new file mode 100644
index 00000000..30521a7a
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.structure.mps
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:2173a180-e386-4506-9594-915cec77bca5(jetbrains.mps.lang.constraintsExt.structure)">
+  <persistence version="9" />
+  <languages>
+    <use id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure" version="9" />
+    <devkit ref="78434eb8-b0e5-444b-850d-e7c4ad2da9ab(jetbrains.mps.devkit.aspect.structure)" />
+  </languages>
+  <imports />
+  <registry />
+</model>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps
new file mode 100644
index 00000000..ed2d2262
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps
@@ -0,0 +1,1624 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:ef774254-470f-48c0-8420-560d4baae033(jetbrains.mps.lang.constraintsExt.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="tp1t" ref="r:00000000-0000-4000-0000-011c8959030d(jetbrains.mps.lang.constraints.structure)" />
+    <import index="jxwi" ref="r:6ecd2c91-8e0b-4c6a-878e-d699a7336100(jetbrains.mps.lang.smodelExt.types)" />
+    <import index="tp25" ref="r:00000000-0000-4000-0000-011c89590301(jetbrains.mps.lang.smodel.structure)" />
+    <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
+    <import index="tpce" ref="r:00000000-0000-4000-0000-011c89590292(jetbrains.mps.lang.structure.structure)" />
+    <import index="tp22" ref="r:00000000-0000-4000-0000-011c89590306(jetbrains.mps.lang.constraints.behavior)" implicit="true" />
+  </imports>
+  <registry>
+    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1080223426719" name="jetbrains.mps.baseLanguage.structure.OrExpression" flags="nn" index="22lmx$" />
+      <concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
+        <child id="1082485599096" name="statements" index="9aQI4" />
+      </concept>
+      <concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
+        <child id="1068498886297" name="rValue" index="37vLTx" />
+        <child id="1068498886295" name="lValue" index="37vLTJ" />
+      </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="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
+      <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
+        <property id="1176718929932" name="isFinal" index="3TUv4t" />
+        <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="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
+      <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" />
+        <child id="1206060520071" name="elsifClauses" index="3eNLev" />
+      </concept>
+      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
+        <child id="1068581517665" name="statement" index="3cqZAp" />
+      </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="1206060495898" name="jetbrains.mps.baseLanguage.structure.ElsifClause" flags="ng" index="3eNFk2">
+        <child id="1206060619838" name="condition" index="3eO9$A" />
+        <child id="1206060644605" name="statementList" index="3eOfB_" />
+      </concept>
+      <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
+        <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
+      </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="1073239437375" name="jetbrains.mps.baseLanguage.structure.NotEqualsExpression" flags="nn" index="3y3z36" />
+    </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" />
+      </concept>
+      <concept id="8829335963591572611" name="jetbrains.mps.logic.structure.LogicalVariableDeclaration" flags="ng" index="aZer4" />
+    </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="1138411891628" name="jetbrains.mps.lang.smodel.structure.SNodeOperation" flags="nn" index="eCIE_">
+        <child id="1144104376918" name="parameter" index="1xVPHs" />
+      </concept>
+      <concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
+      <concept id="1171407110247" name="jetbrains.mps.lang.smodel.structure.Node_GetAncestorOperation" flags="nn" index="2Xjw5R" />
+      <concept id="6677504323281689838" name="jetbrains.mps.lang.smodel.structure.SConceptType" flags="in" index="3bZ5Sz">
+        <reference id="6677504323281689839" name="conceptDeclaraton" index="3bZ5Sy" />
+      </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="1144101972840" name="jetbrains.mps.lang.smodel.structure.OperationParm_Concept" flags="ng" index="1xMEDy">
+        <child id="1207343664468" name="conceptArgument" index="ri$Ld" />
+      </concept>
+      <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="1172420572800" name="jetbrains.mps.lang.smodel.structure.ConceptNodeType" flags="in" index="3THzug" />
+    </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="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules">
+      <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="3ZfjIHtCL08">
+    <property role="TrG5h" value="Parameters" />
+    <ref role="2YbDB9" to="kqnc:34$A1Mf51rY" resolve="TypeOf" />
+    <node concept="1nLNMY" id="3ZfjIHtCLoc" role="1nK1Vg">
+      <property role="TrG5h" value="constraintFunctionParameter_checkedNode" />
+      <node concept="3clFbS" id="3ZfjIHtCLod" role="1nLNMH">
+        <node concept="1nLNNL" id="3ZfjIHtCM0X" role="3cqZAp">
+          <node concept="1nLNMm" id="3ZfjIHtCM0Z" role="1nLNNK">
+            <node concept="3Aq93q" id="3ZfjIHtCM1D" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="3ZfjIHtCM1E" role="3Ip0Jz">
+                <node concept="3I6s7M" id="3ZfjIHtCM1I" role="3I6sU7">
+                  <node concept="3Aqt3T" id="3ZfjIHtCM1H" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="3ZfjIHtCM1L" role="3xSepv">
+              <node concept="3Aq9E8" id="3ZfjIHtCM1M" role="3xSepj">
+                <node concept="3I6sU6" id="3ZfjIHtCM1N" role="3Ip0Jz">
+                  <node concept="3IrJb3" id="3ZfjIHtCM1R" role="3I6sU7">
+                    <node concept="3clFbS" id="3ZfjIHtCM1S" role="3IrJb0">
+                      <node concept="3clFbJ" id="3ZfjIHtCLJt" role="3cqZAp">
+                        <node concept="3clFbS" id="3ZfjIHtCLJQ" role="3clFbx">
+                          <node concept="3cpWs8" id="2_ZlElkqgaR" role="3cqZAp">
+                            <node concept="3cpWsn" id="2_ZlElkqgaS" role="3cpWs9">
+                              <property role="TrG5h" value="constraint" />
+                              <node concept="3Tqbb2" id="2_ZlElkqgaT" role="1tU5fm">
+                                <ref role="ehGHo" to="tp1t:gHN5Pbq" resolve="NodeReferentConstraint" />
+                              </node>
+                              <node concept="2OqwBi" id="2_ZlElkqgaU" role="33vP2m">
+                                <node concept="2Xjw5R" id="2_ZlElkqgaW" role="2OqNvi">
+                                  <node concept="1xMEDy" id="2_ZlElkqgaX" role="1xVPHs">
+                                    <node concept="chp4Y" id="2_ZlElkqgaY" role="ri$Ld">
+                                      <ref role="cht4Q" to="tp1t:gHN5Pbq" resolve="NodeReferentConstraint" />
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="3A2sRY" id="3ZfjIHtCLLw" role="2Oq$k0">
+                                  <ref role="3A2yKK" node="3ZfjIHtCLof" resolve="cfpn" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3Aqczg" id="3ZfjIHtCMdi" role="3cqZAp">
+                            <node concept="3Aqt3T" id="3ZfjIHtCMdg" role="3Aqpz8">
+                              <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                              <node concept="37jhX" id="3ZfjIHtCMdx" role="3AunhB">
+                                <node concept="3A2sRY" id="3ZfjIHtCMdv" role="37jj2">
+                                  <ref role="3A2yKK" node="3ZfjIHtCLof" resolve="cfpn" />
+                                </node>
+                              </node>
+                              <node concept="ns1u0" id="3ZfjIHtCMCk" role="3AunhB">
+                                <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                <node concept="nsMwS" id="3ZfjIHtCMCo" role="ns1xD">
+                                  <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                  <node concept="2OqwBi" id="2_ZlElkqgb4" role="nsMwV">
+                                    <node concept="2OqwBi" id="2_ZlElkqgb5" role="2Oq$k0">
+                                      <node concept="37vLTw" id="3GM_nagTvRD" role="2Oq$k0">
+                                        <ref role="3cqZAo" node="2_ZlElkqgaS" resolve="constraint" />
+                                      </node>
+                                      <node concept="3TrEf2" id="2_ZlElkqgb7" role="2OqNvi">
+                                        <ref role="3Tt5mk" to="tp1t:gHN5VAa" resolve="applicableLink" />
+                                      </node>
+                                    </node>
+                                    <node concept="3TrEf2" id="2_ZlElkqgb8" role="2OqNvi">
+                                      <ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbH" id="3ZfjIHtCMRm" role="3cqZAp" />
+                        </node>
+                        <node concept="2OqwBi" id="2_ZlElkqgbc" role="3clFbw">
+                          <node concept="2OqwBi" id="2_ZlElkqgbd" role="2Oq$k0">
+                            <node concept="2Xjw5R" id="2_ZlElkqgbf" role="2OqNvi">
+                              <node concept="1xMEDy" id="2_ZlElkqgbg" role="1xVPHs">
+                                <node concept="chp4Y" id="2_ZlElkqgbh" role="ri$Ld">
+                                  <ref role="cht4Q" to="tp1t:gHN5Pbq" resolve="NodeReferentConstraint" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3A2sRY" id="3ZfjIHtCLBV" role="2Oq$k0">
+                              <ref role="3A2yKK" node="3ZfjIHtCLof" resolve="cfpn" />
+                            </node>
+                          </node>
+                          <node concept="3x8VRR" id="2_ZlElkqgbi" role="2OqNvi" />
+                        </node>
+                        <node concept="3eNFk2" id="3ZfjIHtCLM1" role="3eNLev">
+                          <node concept="3clFbS" id="3ZfjIHtCLM3" role="3eOfB_">
+                            <node concept="3cpWs8" id="2_ZlElkqgbs" role="3cqZAp">
+                              <node concept="3cpWsn" id="2_ZlElkqgbt" role="3cpWs9">
+                                <property role="TrG5h" value="defaultScope" />
+                                <node concept="3Tqbb2" id="2_ZlElkqgbu" role="1tU5fm">
+                                  <ref role="ehGHo" to="tp1t:gREP7xi" resolve="NodeDefaultSearchScope" />
+                                </node>
+                                <node concept="2OqwBi" id="2_ZlElkqgbv" role="33vP2m">
+                                  <node concept="2Xjw5R" id="2_ZlElkqgbx" role="2OqNvi">
+                                    <node concept="1xMEDy" id="2_ZlElkqgby" role="1xVPHs">
+                                      <node concept="chp4Y" id="2_ZlElkqgbz" role="ri$Ld">
+                                        <ref role="cht4Q" to="tp1t:gREP7xi" resolve="NodeDefaultSearchScope" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="3A2sRY" id="3ZfjIHtCLZQ" role="2Oq$k0">
+                                    <ref role="3A2yKK" node="3ZfjIHtCLof" resolve="cfpn" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3Aqczg" id="3ZfjIHtCMHj" role="3cqZAp">
+                              <node concept="3Aqt3T" id="3ZfjIHtCMHk" role="3Aqpz8">
+                                <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                                <node concept="37jhX" id="3ZfjIHtCMHl" role="3AunhB">
+                                  <node concept="3A2sRY" id="3ZfjIHtCMHm" role="37jj2">
+                                    <ref role="3A2yKK" node="3ZfjIHtCLof" resolve="cfpn" />
+                                  </node>
+                                </node>
+                                <node concept="ns1u0" id="3ZfjIHtCMHn" role="3AunhB">
+                                  <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                  <node concept="nsMwS" id="3ZfjIHtCMHo" role="ns1xD">
+                                    <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                    <node concept="2OqwBi" id="3ZfjIHtCMVI" role="nsMwV">
+                                      <node concept="37vLTw" id="3ZfjIHtCMVJ" role="2Oq$k0">
+                                        <ref role="3cqZAo" node="2_ZlElkqgbt" resolve="defaultScope" />
+                                      </node>
+                                      <node concept="2qgKlT" id="3ZfjIHtCMVK" role="2OqNvi">
+                                        <ref role="37wK5l" to="tp22:hEwIhhr" resolve="getReferentConcept" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3clFbH" id="3ZfjIHtCM0b" role="3cqZAp" />
+                          </node>
+                          <node concept="2OqwBi" id="2_ZlElkqgbk" role="3eO9$A">
+                            <node concept="2OqwBi" id="2_ZlElkqgbl" role="2Oq$k0">
+                              <node concept="2Xjw5R" id="2_ZlElkqgbn" role="2OqNvi">
+                                <node concept="1xMEDy" id="2_ZlElkqgbo" role="1xVPHs">
+                                  <node concept="chp4Y" id="2_ZlElkqgbp" role="ri$Ld">
+                                    <ref role="cht4Q" to="tp1t:gREP7xi" resolve="NodeDefaultSearchScope" />
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3A2sRY" id="3ZfjIHtCLUE" role="2Oq$k0">
+                                <ref role="3A2yKK" node="3ZfjIHtCLof" resolve="cfpn" />
+                              </node>
+                            </node>
+                            <node concept="3x8VRR" id="2_ZlElkqgbq" role="2OqNvi" />
+                          </node>
+                        </node>
+                        <node concept="9aQIb" id="3ZfjIHtCLUW" role="9aQIa">
+                          <node concept="3clFbS" id="3ZfjIHtCLUX" role="9aQI4">
+                            <node concept="3Aqczg" id="3ZfjIHtCMWs" role="3cqZAp">
+                              <node concept="3Aqt3T" id="3ZfjIHtCMWt" role="3Aqpz8">
+                                <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                                <node concept="37jhX" id="3ZfjIHtCMWu" role="3AunhB">
+                                  <node concept="3A2sRY" id="3ZfjIHtCMWv" role="37jj2">
+                                    <ref role="3A2yKK" node="3ZfjIHtCLof" resolve="cfpn" />
+                                  </node>
+                                </node>
+                                <node concept="ns1u0" id="3ZfjIHtCMWw" role="3AunhB">
+                                  <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                  <node concept="nsMwS" id="3ZfjIHtCMWx" role="ns1xD">
+                                    <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                    <node concept="2OqwBi" id="3ZfjIHtCN$$" role="nsMwV">
+                                      <node concept="2c44tf" id="3ZfjIHtCNMa" role="2Oq$k0">
+                                        <node concept="3bZ5Sz" id="3ZfjIHtCNMb" role="2c44tc">
+                                          <ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
+                                        </node>
+                                      </node>
+                                      <node concept="3TrEf2" id="3ZfjIHtCNJP" role="2OqNvi">
+                                        <ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="3ZfjIHtCLoe" role="1nLNMg">
+        <ref role="2t_S0q" to="tp1t:2_ZlElkqgaC" resolve="ConstraintFunctionParameter_checkedNode" />
+        <node concept="3A20r5" id="3ZfjIHtCLof" role="2t_VXX">
+          <property role="TrG5h" value="cfpn" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="3ZfjIHtCO2d" role="1nK1Vg">
+      <property role="TrG5h" value="constraintFunctionParameter_linkTarget" />
+      <node concept="3clFbS" id="3ZfjIHtCO2e" role="1nLNMH">
+        <node concept="3cpWs8" id="4OU1gA0vhtt" role="3cqZAp">
+          <node concept="3cpWsn" id="4OU1gA0vhtu" role="3cpWs9">
+            <property role="TrG5h" value="target" />
+            <node concept="2OqwBi" id="4OU1gA0vhtw" role="33vP2m">
+              <node concept="2OqwBi" id="4OU1gA0vhtx" role="2Oq$k0">
+                <node concept="2OqwBi" id="4OU1gA0vhty" role="2Oq$k0">
+                  <node concept="2Xjw5R" id="4OU1gA0vht$" role="2OqNvi">
+                    <node concept="1xMEDy" id="4OU1gA0vht_" role="1xVPHs">
+                      <node concept="chp4Y" id="4OU1gA0vhtA" role="ri$Ld">
+                        <ref role="cht4Q" to="tp1t:gHN5Pbq" resolve="NodeReferentConstraint" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3A2sRY" id="3ZfjIHtCO5I" role="2Oq$k0">
+                    <ref role="3A2yKK" node="3ZfjIHtCO2g" resolve="cfpt" />
+                  </node>
+                </node>
+                <node concept="3TrEf2" id="4OU1gA0vhtB" role="2OqNvi">
+                  <ref role="3Tt5mk" to="tp1t:gHN5VAa" resolve="applicableLink" />
+                </node>
+              </node>
+              <node concept="3TrEf2" id="4OU1gA0vhtC" role="2OqNvi">
+                <ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
+              </node>
+            </node>
+            <node concept="3Tqbb2" id="4OU1gA0vhDL" role="1tU5fm">
+              <ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
+            </node>
+          </node>
+        </node>
+        <node concept="1nLNNL" id="3ZfjIHtCO6g" role="3cqZAp">
+          <node concept="1nLNMm" id="3ZfjIHtCO6i" role="1nLNNK">
+            <node concept="3Aq93q" id="3ZfjIHtCO6y" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="3ZfjIHtCO6z" role="3Ip0Jz">
+                <node concept="3I6s7M" id="3ZfjIHtCO6B" role="3I6sU7">
+                  <node concept="3Aqt3T" id="3ZfjIHtCO6A" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="3ZfjIHtCO6E" role="3xSepv">
+              <node concept="3Aq9E8" id="3ZfjIHtCO6F" role="3xSepj">
+                <node concept="3I6sU6" id="3ZfjIHtCO6G" role="3Ip0Jz">
+                  <node concept="3IrJb3" id="3ZfjIHtCO6K" role="3I6sU7">
+                    <node concept="3clFbS" id="3ZfjIHtCO6L" role="3IrJb0">
+                      <node concept="3clFbJ" id="3ZfjIHtCO6O" role="3cqZAp">
+                        <node concept="2OqwBi" id="3ZfjIHtCOKZ" role="3clFbw">
+                          <node concept="37vLTw" id="3ZfjIHtCOL0" role="2Oq$k0">
+                            <ref role="3cqZAo" node="4OU1gA0vhtu" resolve="target" />
+                          </node>
+                          <node concept="3x8VRR" id="3ZfjIHtCOUO" role="2OqNvi" />
+                        </node>
+                        <node concept="3clFbS" id="3ZfjIHtCOHi" role="3clFbx">
+                          <node concept="3Aqczg" id="3ZfjIHtCOV2" role="3cqZAp">
+                            <node concept="3Aqt3T" id="3ZfjIHtCOV3" role="3Aqpz8">
+                              <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                              <node concept="37jhX" id="3ZfjIHtCOV4" role="3AunhB">
+                                <node concept="3A2sRY" id="3ZfjIHtCOV5" role="37jj2">
+                                  <ref role="3A2yKK" node="3ZfjIHtCO2g" resolve="cfpt" />
+                                </node>
+                              </node>
+                              <node concept="ns1u0" id="3ZfjIHtCOV6" role="3AunhB">
+                                <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                <node concept="nsMwS" id="3ZfjIHtCOV7" role="ns1xD">
+                                  <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                  <node concept="37vLTw" id="3ZfjIHtCOXv" role="nsMwV">
+                                    <ref role="3cqZAo" node="4OU1gA0vhtu" resolve="target" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbH" id="3ZfjIHtCOX$" role="3cqZAp" />
+                        </node>
+                        <node concept="9aQIb" id="3ZfjIHtCOL2" role="9aQIa">
+                          <node concept="3clFbS" id="3ZfjIHtCO6Q" role="9aQI4">
+                            <node concept="3Aqczg" id="3ZfjIHtCOE8" role="3cqZAp">
+                              <node concept="3Aqt3T" id="3ZfjIHtCOE7" role="3Aqpz8">
+                                <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                                <node concept="37jhX" id="3ZfjIHtCOEi" role="3AunhB">
+                                  <node concept="3A2sRY" id="3ZfjIHtCOEg" role="37jj2">
+                                    <ref role="3A2yKK" node="3ZfjIHtCO2g" resolve="cfpt" />
+                                  </node>
+                                </node>
+                                <node concept="ns1u0" id="3ZfjIHtCOEv" role="3AunhB">
+                                  <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                  <node concept="nsMwS" id="3ZfjIHtCOEB" role="ns1xD">
+                                    <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                    <node concept="2OqwBi" id="3ZfjIHtCOEC" role="nsMwV">
+                                      <node concept="2c44tf" id="3ZfjIHtCOED" role="2Oq$k0">
+                                        <node concept="3bZ5Sz" id="3ZfjIHtCOEE" role="2c44tc">
+                                          <ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
+                                        </node>
+                                      </node>
+                                      <node concept="3TrEf2" id="3ZfjIHtCOEF" role="2OqNvi">
+                                        <ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="3ZfjIHtCO2f" role="1nLNMg">
+        <ref role="2t_S0q" to="tp1t:4OU1gA0vgAx" resolve="ConstraintFunctionParameter_linkTarget" />
+        <node concept="3A20r5" id="3ZfjIHtCO2g" role="2t_VXX">
+          <property role="TrG5h" value="cfpt" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="3ZfjIHtCPh2" role="1nK1Vg">
+      <property role="TrG5h" value="constraintFunctionParameter_linkTargetNode" />
+      <node concept="3clFbS" id="3ZfjIHtCPh3" role="1nLNMH">
+        <node concept="3cpWs8" id="6s_yi1IfH2o" role="3cqZAp">
+          <node concept="3cpWsn" id="6s_yi1IfH2p" role="3cpWs9">
+            <property role="TrG5h" value="target" />
+            <node concept="3THzug" id="6s_yi1IfH2q" role="1tU5fm" />
+            <node concept="2OqwBi" id="6s_yi1IfH2H" role="33vP2m">
+              <node concept="2OqwBi" id="6s_yi1IfH2C" role="2Oq$k0">
+                <node concept="2OqwBi" id="6s_yi1IfH2t" role="2Oq$k0">
+                  <node concept="2Xjw5R" id="6s_yi1IfH2x" role="2OqNvi">
+                    <node concept="1xMEDy" id="6s_yi1IfH2y" role="1xVPHs">
+                      <node concept="chp4Y" id="6s_yi1IfH2B" role="ri$Ld">
+                        <ref role="cht4Q" to="tp1t:gHN5Pbq" resolve="NodeReferentConstraint" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3A2sRY" id="3ZfjIHtCPlO" role="2Oq$k0">
+                    <ref role="3A2yKK" node="3ZfjIHtCPh5" resolve="cfptn" />
+                  </node>
+                </node>
+                <node concept="3TrEf2" id="6s_yi1IfH2G" role="2OqNvi">
+                  <ref role="3Tt5mk" to="tp1t:gHN5VAa" resolve="applicableLink" />
+                </node>
+              </node>
+              <node concept="3TrEf2" id="6s_yi1IfH2L" role="2OqNvi">
+                <ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="3ZfjIHtCPzF" role="3cqZAp">
+          <node concept="3clFbS" id="3ZfjIHtCPzH" role="3clFbx">
+            <node concept="3clFbF" id="6s_yi1IfH2X" role="3cqZAp">
+              <node concept="37vLTI" id="6s_yi1IfH2Z" role="3clFbG">
+                <node concept="2OqwBi" id="6s_yi1IfH3c" role="37vLTx">
+                  <node concept="2OqwBi" id="6s_yi1IfH33" role="2Oq$k0">
+                    <node concept="2Xjw5R" id="6s_yi1IfH37" role="2OqNvi">
+                      <node concept="1xMEDy" id="6s_yi1IfH38" role="1xVPHs">
+                        <node concept="chp4Y" id="6s_yi1IfH3b" role="ri$Ld">
+                          <ref role="cht4Q" to="tp1t:hDM2fEI" resolve="ConceptConstraints" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3A2sRY" id="3ZfjIHtCQaE" role="2Oq$k0">
+                      <ref role="3A2yKK" node="3ZfjIHtCPh5" resolve="cfptn" />
+                    </node>
+                  </node>
+                  <node concept="3TrEf2" id="6s_yi1IfH3g" role="2OqNvi">
+                    <ref role="3Tt5mk" to="tp1t:hDM2mAQ" resolve="concept" />
+                  </node>
+                </node>
+                <node concept="37vLTw" id="3GM_nagTtmv" role="37vLTJ">
+                  <ref role="3cqZAo" node="6s_yi1IfH2p" resolve="target" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2OqwBi" id="3ZfjIHtCPMa" role="3clFbw">
+            <node concept="37vLTw" id="3ZfjIHtCP$G" role="2Oq$k0">
+              <ref role="3cqZAo" node="6s_yi1IfH2p" resolve="target" />
+            </node>
+            <node concept="3w_OXm" id="3ZfjIHtCPV1" role="2OqNvi" />
+          </node>
+        </node>
+        <node concept="3cpWs8" id="3ZfjIHtD9yS" role="3cqZAp">
+          <node concept="3cpWsn" id="3ZfjIHtD9yT" role="3cpWs9">
+            <property role="TrG5h" value="concept" />
+            <property role="3TUv4t" value="true" />
+            <node concept="3THzug" id="3ZfjIHtD9we" role="1tU5fm" />
+            <node concept="37vLTw" id="3ZfjIHtD9yU" role="33vP2m">
+              <ref role="3cqZAo" node="6s_yi1IfH2p" resolve="target" />
+            </node>
+          </node>
+        </node>
+        <node concept="1nLNNL" id="3ZfjIHtCPru" role="3cqZAp">
+          <node concept="1nLNMm" id="3ZfjIHtCPrv" role="1nLNNK">
+            <node concept="3Aq93q" id="3ZfjIHtCPrw" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="3ZfjIHtCPrx" role="3Ip0Jz">
+                <node concept="3I6s7M" id="3ZfjIHtCPry" role="3I6sU7">
+                  <node concept="3Aqt3T" id="3ZfjIHtCPrz" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="3ZfjIHtCPr$" role="3xSepv">
+              <node concept="3Aq9E8" id="3ZfjIHtCPr_" role="3xSepj">
+                <node concept="3I6sU6" id="3ZfjIHtCPrA" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="3ZfjIHtCQpE" role="3I6sU7">
+                    <node concept="3Aqt3T" id="3ZfjIHtCQpD" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="3ZfjIHtCQpL" role="3AunhB">
+                        <node concept="3A2sRY" id="3ZfjIHtCQpJ" role="37jj2">
+                          <ref role="3A2yKK" node="3ZfjIHtCPh5" resolve="cfptn" />
+                        </node>
+                      </node>
+                      <node concept="ns1u0" id="3ZfjIHtCQq1" role="3AunhB">
+                        <ref role="ns1xF" to="jxwi:3bgqfmmKNsS" resolve="conceptNode" />
+                        <node concept="nsMwS" id="3ZfjIHtCQq5" role="ns1xD">
+                          <ref role="nsMwP" to="jxwi:3lXUvG03UmI" resolve="concept" />
+                          <node concept="37vLTw" id="3ZfjIHtD9Bv" role="nsMwV">
+                            <ref role="3cqZAo" node="3ZfjIHtD9yT" resolve="concept" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="3ZfjIHtCPh4" role="1nLNMg">
+        <ref role="2t_S0q" to="tp1t:hyXa2tv" resolve="ConstraintFunctionParameter_linkTargetNode" />
+        <node concept="3A20r5" id="3ZfjIHtCPh5" role="2t_VXX">
+          <property role="TrG5h" value="cfptn" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="3ZfjIHtCQIp" role="1nK1Vg">
+      <property role="TrG5h" value="constraintFunctionParameter_parameterNode" />
+      <node concept="3clFbS" id="3ZfjIHtCQIq" role="1nLNMH">
+        <node concept="1nLNNL" id="3ZfjIHtCR0l" role="3cqZAp">
+          <node concept="1nLNMm" id="3ZfjIHtCR0n" role="1nLNNK">
+            <node concept="3Aq93q" id="3ZfjIHtCR11" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="3ZfjIHtCR12" role="3Ip0Jz">
+                <node concept="3I6s7M" id="3ZfjIHtCR16" role="3I6sU7">
+                  <node concept="3Aqt3T" id="3ZfjIHtCR15" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="3ZfjIHtCR19" role="3xSepv">
+              <node concept="3Aq9E8" id="3ZfjIHtCR1a" role="3xSepj">
+                <node concept="3I6sU6" id="3ZfjIHtCR1b" role="3Ip0Jz">
+                  <node concept="3IrJb3" id="3ZfjIHtCR1f" role="3I6sU7">
+                    <node concept="3clFbS" id="3ZfjIHtCR1g" role="3IrJb0">
+                      <node concept="3clFbJ" id="3ZfjIHtCQL$" role="3cqZAp">
+                        <node concept="3clFbS" id="3ZfjIHtCQLA" role="3clFbx">
+                          <node concept="3cpWs8" id="5RKjesl1UVG" role="3cqZAp">
+                            <node concept="3cpWsn" id="5RKjesl1UVH" role="3cpWs9">
+                              <property role="TrG5h" value="constraint" />
+                              <node concept="3Tqbb2" id="5RKjesl1UVI" role="1tU5fm">
+                                <ref role="ehGHo" to="tp1t:gHN5Pbq" resolve="NodeReferentConstraint" />
+                              </node>
+                              <node concept="2OqwBi" id="5RKjesl1UVK" role="33vP2m">
+                                <node concept="2Xjw5R" id="5RKjesl1UVM" role="2OqNvi">
+                                  <node concept="1xMEDy" id="5RKjesl1UVN" role="1xVPHs">
+                                    <node concept="chp4Y" id="5RKjesl1UVO" role="ri$Ld">
+                                      <ref role="cht4Q" to="tp1t:gHN5Pbq" resolve="NodeReferentConstraint" />
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="3A2sRY" id="3ZfjIHtCQXL" role="2Oq$k0">
+                                  <ref role="3A2yKK" node="3ZfjIHtCQIs" resolve="cfpn" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3Aqczg" id="3ZfjIHtCRcE" role="3cqZAp">
+                            <node concept="3Aqt3T" id="3ZfjIHtCRcC" role="3Aqpz8">
+                              <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                              <node concept="37jhX" id="3ZfjIHtCRcW" role="3AunhB">
+                                <node concept="3A2sRY" id="3ZfjIHtCRcU" role="37jj2">
+                                  <ref role="3A2yKK" node="3ZfjIHtCQIs" resolve="cfpn" />
+                                </node>
+                              </node>
+                              <node concept="ns1u0" id="3ZfjIHtCRdl" role="3AunhB">
+                                <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                <node concept="nsMwS" id="3ZfjIHtCRdp" role="ns1xD">
+                                  <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                  <node concept="2OqwBi" id="5RKjesl1UWa" role="nsMwV">
+                                    <node concept="2OqwBi" id="5RKjesl1UW5" role="2Oq$k0">
+                                      <node concept="37vLTw" id="3GM_nagTysm" role="2Oq$k0">
+                                        <ref role="3cqZAo" node="5RKjesl1UVH" resolve="constraint" />
+                                      </node>
+                                      <node concept="3TrEf2" id="5RKjesl1UW9" role="2OqNvi">
+                                        <ref role="3Tt5mk" to="tp1t:gHN5VAa" resolve="applicableLink" />
+                                      </node>
+                                    </node>
+                                    <node concept="3TrEf2" id="5RKjesl1UWe" role="2OqNvi">
+                                      <ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbH" id="3ZfjIHtCRik" role="3cqZAp" />
+                        </node>
+                        <node concept="2OqwBi" id="5RKjesl1UVB" role="3clFbw">
+                          <node concept="2OqwBi" id="5RKjesl1UVu" role="2Oq$k0">
+                            <node concept="2Xjw5R" id="5RKjesl1UVy" role="2OqNvi">
+                              <node concept="1xMEDy" id="5RKjesl1UVz" role="1xVPHs">
+                                <node concept="chp4Y" id="5RKjesl1UVA" role="ri$Ld">
+                                  <ref role="cht4Q" to="tp1t:gHN5Pbq" resolve="NodeReferentConstraint" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3A2sRY" id="3ZfjIHtCQQo" role="2Oq$k0">
+                              <ref role="3A2yKK" node="3ZfjIHtCQIs" resolve="cfpn" />
+                            </node>
+                          </node>
+                          <node concept="3x8VRR" id="5RKjesl1UVF" role="2OqNvi" />
+                        </node>
+                        <node concept="9aQIb" id="3ZfjIHtCQQN" role="9aQIa">
+                          <node concept="3clFbS" id="3ZfjIHtCQQO" role="9aQI4">
+                            <node concept="3Aqczg" id="3ZfjIHtCRv6" role="3cqZAp">
+                              <node concept="3Aqt3T" id="3ZfjIHtCRv7" role="3Aqpz8">
+                                <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                                <node concept="37jhX" id="3ZfjIHtCRv8" role="3AunhB">
+                                  <node concept="3A2sRY" id="3ZfjIHtCRv9" role="37jj2">
+                                    <ref role="3A2yKK" node="3ZfjIHtCQIs" resolve="cfpn" />
+                                  </node>
+                                </node>
+                                <node concept="ns1u0" id="3ZfjIHtCRva" role="3AunhB">
+                                  <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                  <node concept="nsMwS" id="3ZfjIHtCRvb" role="ns1xD">
+                                    <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                    <node concept="2OqwBi" id="3ZfjIHtCRI9" role="nsMwV">
+                                      <node concept="2c44tf" id="3ZfjIHtCRIa" role="2Oq$k0">
+                                        <node concept="3bZ5Sz" id="3ZfjIHtCRIb" role="2c44tc">
+                                          <ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
+                                        </node>
+                                      </node>
+                                      <node concept="3TrEf2" id="3ZfjIHtCRIc" role="2OqNvi">
+                                        <ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3eNFk2" id="3ZfjIHtCQR1" role="3eNLev">
+                          <node concept="3clFbS" id="3ZfjIHtCQR3" role="3eOfB_">
+                            <node concept="3cpWs8" id="5RKjesl1UWK" role="3cqZAp">
+                              <node concept="3cpWsn" id="5RKjesl1UWL" role="3cpWs9">
+                                <property role="TrG5h" value="defaultScope" />
+                                <node concept="3Tqbb2" id="5RKjesl1UWM" role="1tU5fm">
+                                  <ref role="ehGHo" to="tp1t:gREP7xi" resolve="NodeDefaultSearchScope" />
+                                </node>
+                                <node concept="2OqwBi" id="5RKjesl1UWO" role="33vP2m">
+                                  <node concept="2Xjw5R" id="5RKjesl1UWQ" role="2OqNvi">
+                                    <node concept="1xMEDy" id="5RKjesl1UWR" role="1xVPHs">
+                                      <node concept="chp4Y" id="5RKjesl1UWS" role="ri$Ld">
+                                        <ref role="cht4Q" to="tp1t:gREP7xi" resolve="NodeDefaultSearchScope" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="3A2sRY" id="3ZfjIHtCQZn" role="2Oq$k0">
+                                    <ref role="3A2yKK" node="3ZfjIHtCQIs" resolve="cfpn" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3Aqczg" id="3ZfjIHtCRiD" role="3cqZAp">
+                              <node concept="3Aqt3T" id="3ZfjIHtCRiE" role="3Aqpz8">
+                                <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                                <node concept="37jhX" id="3ZfjIHtCRiF" role="3AunhB">
+                                  <node concept="3A2sRY" id="3ZfjIHtCRiG" role="37jj2">
+                                    <ref role="3A2yKK" node="3ZfjIHtCQIs" resolve="cfpn" />
+                                  </node>
+                                </node>
+                                <node concept="ns1u0" id="3ZfjIHtCRiH" role="3AunhB">
+                                  <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                  <node concept="nsMwS" id="3ZfjIHtCRiI" role="ns1xD">
+                                    <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                    <node concept="2OqwBi" id="5RKjesl1UXd" role="nsMwV">
+                                      <node concept="37vLTw" id="3GM_nagTxcC" role="2Oq$k0">
+                                        <ref role="3cqZAo" node="5RKjesl1UWL" resolve="defaultScope" />
+                                      </node>
+                                      <node concept="2qgKlT" id="5RKjesl1UXh" role="2OqNvi">
+                                        <ref role="37wK5l" to="tp22:hEwIhhr" resolve="getReferentConcept" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3clFbH" id="3ZfjIHtCQZz" role="3cqZAp" />
+                          </node>
+                          <node concept="2OqwBi" id="5RKjesl1UWF" role="3eO9$A">
+                            <node concept="2OqwBi" id="5RKjesl1UWy" role="2Oq$k0">
+                              <node concept="2Xjw5R" id="5RKjesl1UWA" role="2OqNvi">
+                                <node concept="1xMEDy" id="5RKjesl1UWB" role="1xVPHs">
+                                  <node concept="chp4Y" id="5RKjesl1UWE" role="ri$Ld">
+                                    <ref role="cht4Q" to="tp1t:gREP7xi" resolve="NodeDefaultSearchScope" />
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3A2sRY" id="3ZfjIHtCQWd" role="2Oq$k0">
+                                <ref role="3A2yKK" node="3ZfjIHtCQIs" resolve="cfpn" />
+                              </node>
+                            </node>
+                            <node concept="3x8VRR" id="5RKjesl1UWJ" role="2OqNvi" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="3ZfjIHtCQIr" role="1nLNMg">
+        <ref role="2t_S0q" to="tp1t:3oQug8hqyBc" resolve="ConstraintFunctionParameter_parameterNode" />
+        <node concept="3A20r5" id="3ZfjIHtCQIs" role="2t_VXX">
+          <property role="TrG5h" value="cfpn" />
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="AVZre" id="3ZfjIHtCRQT">
+    <property role="TrG5h" value="Other" />
+    <ref role="2YbDB9" to="kqnc:34$A1Mf51rY" resolve="TypeOf" />
+    <node concept="1nLNMY" id="3ZfjIHtCS3N" role="1nK1Vg">
+      <property role="TrG5h" value="constraintFunctionParameter_newReferentNode" />
+      <node concept="3clFbS" id="3ZfjIHtCS3O" role="1nLNMH">
+        <node concept="3cpWs8" id="h9gNiu6" role="3cqZAp">
+          <node concept="3cpWsn" id="h9gNisc" role="3cpWs9">
+            <property role="TrG5h" value="targetConcept" />
+            <node concept="3Tqbb2" id="6ALWH9ft7lT" role="1tU5fm">
+              <ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
+            </node>
+            <node concept="2OqwBi" id="hxx$R7t" role="33vP2m">
+              <node concept="2OqwBi" id="hxx$Rx7" role="2Oq$k0">
+                <node concept="2OqwBi" id="hxx$Qme" role="2Oq$k0">
+                  <node concept="2Xjw5R" id="h9gNiuc" role="2OqNvi">
+                    <node concept="1xMEDy" id="h9gNiud" role="1xVPHs">
+                      <node concept="chp4Y" id="h_efEJ6" role="ri$Ld">
+                        <ref role="cht4Q" to="tp1t:gHN5Pbq" resolve="NodeReferentConstraint" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3A2sRY" id="3ZfjIHtCSap" role="2Oq$k0">
+                    <ref role="3A2yKK" node="3ZfjIHtCS3Q" resolve="cfprn" />
+                  </node>
+                </node>
+                <node concept="3TrEf2" id="h9gNiue" role="2OqNvi">
+                  <ref role="3Tt5mk" to="tp1t:gHN5VAa" resolve="applicableLink" />
+                </node>
+              </node>
+              <node concept="3TrEf2" id="h9gNiuf" role="2OqNvi">
+                <ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1nLNNL" id="3ZfjIHtCSb4" role="3cqZAp">
+          <node concept="1nLNMm" id="3ZfjIHtCSb6" role="1nLNNK">
+            <node concept="3Aq93q" id="3ZfjIHtCSbm" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="3ZfjIHtCSbn" role="3Ip0Jz">
+                <node concept="3I6s7M" id="3ZfjIHtCSbr" role="3I6sU7">
+                  <node concept="3Aqt3T" id="3ZfjIHtCSbq" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="3ZfjIHtCSbu" role="3xSepv">
+              <node concept="3Aq9E8" id="3ZfjIHtCSbv" role="3xSepj">
+                <node concept="3I6sU6" id="3ZfjIHtCSbw" role="3Ip0Jz">
+                  <node concept="3IrJb3" id="3ZfjIHtCSb$" role="3I6sU7">
+                    <node concept="3clFbS" id="3ZfjIHtCSb_" role="3IrJb0">
+                      <node concept="3clFbJ" id="3ZfjIHtCSbC" role="3cqZAp">
+                        <node concept="2OqwBi" id="3ZfjIHtCSq$" role="3clFbw">
+                          <node concept="37vLTw" id="3ZfjIHtCSbO" role="2Oq$k0">
+                            <ref role="3cqZAo" node="h9gNisc" resolve="targetConcept" />
+                          </node>
+                          <node concept="3x8VRR" id="3ZfjIHtCSFJ" role="2OqNvi" />
+                        </node>
+                        <node concept="3clFbS" id="3ZfjIHtCSbE" role="3clFbx">
+                          <node concept="3Aqczg" id="3ZfjIHtCSJf" role="3cqZAp">
+                            <node concept="3Aqt3T" id="3ZfjIHtCSJe" role="3Aqpz8">
+                              <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                              <node concept="37jhX" id="3ZfjIHtCSJm" role="3AunhB">
+                                <node concept="3A2sRY" id="3ZfjIHtCSJk" role="37jj2">
+                                  <ref role="3A2yKK" node="3ZfjIHtCS3Q" resolve="cfprn" />
+                                </node>
+                              </node>
+                              <node concept="ns1u0" id="3ZfjIHtCSJA" role="3AunhB">
+                                <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                <node concept="nsMwS" id="3ZfjIHtCSJE" role="ns1xD">
+                                  <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                  <node concept="37vLTw" id="3ZfjIHtCSJQ" role="nsMwV">
+                                    <ref role="3cqZAo" node="h9gNisc" resolve="targetConcept" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbH" id="3ZfjIHtCSNs" role="3cqZAp" />
+                        </node>
+                        <node concept="9aQIb" id="3ZfjIHtCSJX" role="9aQIa">
+                          <node concept="3clFbS" id="3ZfjIHtCSJY" role="9aQI4">
+                            <node concept="3Aqczg" id="3ZfjIHtCSSo" role="3cqZAp">
+                              <node concept="3Aqt3T" id="3ZfjIHtCSSp" role="3Aqpz8">
+                                <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                                <node concept="37jhX" id="3ZfjIHtCSSq" role="3AunhB">
+                                  <node concept="3A2sRY" id="3ZfjIHtCSVm" role="37jj2">
+                                    <ref role="3A2yKK" node="3ZfjIHtCS3Q" resolve="cfprn" />
+                                  </node>
+                                </node>
+                                <node concept="ns1u0" id="3ZfjIHtCSSs" role="3AunhB">
+                                  <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                  <node concept="nsMwS" id="3ZfjIHtCSSt" role="ns1xD">
+                                    <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                    <node concept="2OqwBi" id="3ZfjIHtCSSu" role="nsMwV">
+                                      <node concept="2c44tf" id="3ZfjIHtCSSv" role="2Oq$k0">
+                                        <node concept="3bZ5Sz" id="3ZfjIHtCSSw" role="2c44tc">
+                                          <ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
+                                        </node>
+                                      </node>
+                                      <node concept="3TrEf2" id="3ZfjIHtCSSx" role="2OqNvi">
+                                        <ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="3ZfjIHtCS3P" role="1nLNMg">
+        <ref role="2t_S0q" to="tp1t:gVkhV$q" resolve="ConstraintFunctionParameter_newReferentNode" />
+        <node concept="3A20r5" id="3ZfjIHtCS3Q" role="2t_VXX">
+          <property role="TrG5h" value="cfprn" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="3ZfjIHtCT76" role="1nK1Vg">
+      <property role="TrG5h" value="constraintFunctionParameter_oldReferentNode" />
+      <node concept="3clFbS" id="3ZfjIHtCT77" role="1nLNMH">
+        <node concept="3cpWs8" id="h9gNitD" role="3cqZAp">
+          <node concept="3cpWsn" id="h9gNis9" role="3cpWs9">
+            <property role="TrG5h" value="targetConcept" />
+            <node concept="3Tqbb2" id="6ALWH9ft7PT" role="1tU5fm">
+              <ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
+            </node>
+            <node concept="2OqwBi" id="hxx_5YL" role="33vP2m">
+              <node concept="2OqwBi" id="hxx$TWP" role="2Oq$k0">
+                <node concept="2OqwBi" id="hxx$E1P" role="2Oq$k0">
+                  <node concept="2Xjw5R" id="h9gNitJ" role="2OqNvi">
+                    <node concept="1xMEDy" id="h9gNitK" role="1xVPHs">
+                      <node concept="chp4Y" id="h_efEJ7" role="ri$Ld">
+                        <ref role="cht4Q" to="tp1t:gHN5Pbq" resolve="NodeReferentConstraint" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3A2sRY" id="3ZfjIHtCTew" role="2Oq$k0">
+                    <ref role="3A2yKK" node="3ZfjIHtCT79" resolve="cfprn" />
+                  </node>
+                </node>
+                <node concept="3TrEf2" id="h9gNitL" role="2OqNvi">
+                  <ref role="3Tt5mk" to="tp1t:gHN5VAa" resolve="applicableLink" />
+                </node>
+              </node>
+              <node concept="3TrEf2" id="h9gNitM" role="2OqNvi">
+                <ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1nLNNL" id="3ZfjIHtCTeX" role="3cqZAp">
+          <node concept="1nLNMm" id="3ZfjIHtCTeY" role="1nLNNK">
+            <node concept="3Aq93q" id="3ZfjIHtCTeZ" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="3ZfjIHtCTf0" role="3Ip0Jz">
+                <node concept="3I6s7M" id="3ZfjIHtCTf1" role="3I6sU7">
+                  <node concept="3Aqt3T" id="3ZfjIHtCTf2" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="3ZfjIHtCTf3" role="3xSepv">
+              <node concept="3Aq9E8" id="3ZfjIHtCTf4" role="3xSepj">
+                <node concept="3I6sU6" id="3ZfjIHtCTf5" role="3Ip0Jz">
+                  <node concept="3IrJb3" id="3ZfjIHtCTf6" role="3I6sU7">
+                    <node concept="3clFbS" id="3ZfjIHtCTf7" role="3IrJb0">
+                      <node concept="3clFbJ" id="3ZfjIHtCTf8" role="3cqZAp">
+                        <node concept="2OqwBi" id="3ZfjIHtCTf9" role="3clFbw">
+                          <node concept="37vLTw" id="3ZfjIHtCTfa" role="2Oq$k0">
+                            <ref role="3cqZAo" node="h9gNis9" resolve="targetConcept" />
+                          </node>
+                          <node concept="3x8VRR" id="3ZfjIHtCTfb" role="2OqNvi" />
+                        </node>
+                        <node concept="3clFbS" id="3ZfjIHtCTfc" role="3clFbx">
+                          <node concept="3Aqczg" id="3ZfjIHtCTfd" role="3cqZAp">
+                            <node concept="3Aqt3T" id="3ZfjIHtCTfe" role="3Aqpz8">
+                              <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                              <node concept="37jhX" id="3ZfjIHtCTff" role="3AunhB">
+                                <node concept="3A2sRY" id="3ZfjIHtCTn_" role="37jj2">
+                                  <ref role="3A2yKK" node="3ZfjIHtCT79" resolve="cfprn" />
+                                </node>
+                              </node>
+                              <node concept="ns1u0" id="3ZfjIHtCTfh" role="3AunhB">
+                                <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                <node concept="nsMwS" id="3ZfjIHtCTfi" role="ns1xD">
+                                  <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                  <node concept="37vLTw" id="3ZfjIHtCTfj" role="nsMwV">
+                                    <ref role="3cqZAo" node="h9gNis9" resolve="targetConcept" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbH" id="3ZfjIHtCTfk" role="3cqZAp" />
+                        </node>
+                        <node concept="9aQIb" id="3ZfjIHtCTfl" role="9aQIa">
+                          <node concept="3clFbS" id="3ZfjIHtCTfm" role="9aQI4">
+                            <node concept="3Aqczg" id="3ZfjIHtCTfn" role="3cqZAp">
+                              <node concept="3Aqt3T" id="3ZfjIHtCTfo" role="3Aqpz8">
+                                <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                                <node concept="37jhX" id="3ZfjIHtCTfp" role="3AunhB">
+                                  <node concept="3A2sRY" id="3ZfjIHtCTfq" role="37jj2">
+                                    <ref role="3A2yKK" node="3ZfjIHtCT79" resolve="cfprn" />
+                                  </node>
+                                </node>
+                                <node concept="ns1u0" id="3ZfjIHtCTfr" role="3AunhB">
+                                  <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                  <node concept="nsMwS" id="3ZfjIHtCTfs" role="ns1xD">
+                                    <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                    <node concept="2OqwBi" id="3ZfjIHtCTft" role="nsMwV">
+                                      <node concept="2c44tf" id="3ZfjIHtCTfu" role="2Oq$k0">
+                                        <node concept="3bZ5Sz" id="3ZfjIHtCTfv" role="2c44tc">
+                                          <ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
+                                        </node>
+                                      </node>
+                                      <node concept="3TrEf2" id="3ZfjIHtCTfw" role="2OqNvi">
+                                        <ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="3ZfjIHtCT78" role="1nLNMg">
+        <ref role="2t_S0q" to="tp1t:gVki8JJ" resolve="ConstraintFunctionParameter_oldReferentNode" />
+        <node concept="3A20r5" id="3ZfjIHtCT79" role="2t_VXX">
+          <property role="TrG5h" value="cfprn" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="3ZfjIHtCTG6" role="1nK1Vg">
+      <property role="TrG5h" value="constraintFunctionParameter_referenceNode" />
+      <node concept="3clFbS" id="3ZfjIHtCTG7" role="1nLNMH">
+        <node concept="3cpWs8" id="h9gNite" role="3cqZAp">
+          <node concept="3cpWsn" id="h9gNis7" role="3cpWs9">
+            <property role="TrG5h" value="applicableConcept" />
+            <node concept="3Tqbb2" id="6ALWH9ft8lE" role="1tU5fm">
+              <ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
+            </node>
+            <node concept="2OqwBi" id="hxx_6K8" role="33vP2m">
+              <node concept="2OqwBi" id="hxx$Uh$" role="2Oq$k0">
+                <node concept="2Xjw5R" id="h9gNitj" role="2OqNvi">
+                  <node concept="1xMEDy" id="h9gNitk" role="1xVPHs">
+                    <node concept="chp4Y" id="h_efEIL" role="ri$Ld">
+                      <ref role="cht4Q" to="tp1t:gHN5Pbq" resolve="NodeReferentConstraint" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3A2sRY" id="3ZfjIHtCTWl" role="2Oq$k0">
+                  <ref role="3A2yKK" node="3ZfjIHtCTG9" resolve="cfpn" />
+                </node>
+              </node>
+              <node concept="2qgKlT" id="haqRxcm" role="2OqNvi">
+                <ref role="37wK5l" to="tp22:hEwIMWq" resolve="getApplicableConcept" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="3oQug8hr9Pu" role="3cqZAp">
+          <node concept="3clFbS" id="3oQug8hr9Pv" role="3clFbx">
+            <node concept="3clFbF" id="3oQug8hr9PC" role="3cqZAp">
+              <node concept="37vLTI" id="3oQug8hr9PE" role="3clFbG">
+                <node concept="2OqwBi" id="3oQug8hr9PR" role="37vLTx">
+                  <node concept="2OqwBi" id="3oQug8hr9PI" role="2Oq$k0">
+                    <node concept="2Xjw5R" id="3oQug8hr9PM" role="2OqNvi">
+                      <node concept="1xMEDy" id="3oQug8hr9PN" role="1xVPHs">
+                        <node concept="chp4Y" id="3oQug8hr9PQ" role="ri$Ld">
+                          <ref role="cht4Q" to="tp1t:gREP7xi" resolve="NodeDefaultSearchScope" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3A2sRY" id="3ZfjIHtCU0g" role="2Oq$k0">
+                      <ref role="3A2yKK" node="3ZfjIHtCTG9" resolve="cfpn" />
+                    </node>
+                  </node>
+                  <node concept="2qgKlT" id="3oQug8hr9PV" role="2OqNvi">
+                    <ref role="37wK5l" to="tp22:hEwIhhr" resolve="getReferentConcept" />
+                  </node>
+                </node>
+                <node concept="37vLTw" id="3GM_nagTwpp" role="37vLTJ">
+                  <ref role="3cqZAo" node="h9gNis7" resolve="applicableConcept" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2OqwBi" id="3oQug8hr9Pz" role="3clFbw">
+            <node concept="37vLTw" id="3GM_nagTxAD" role="2Oq$k0">
+              <ref role="3cqZAo" node="h9gNis7" resolve="applicableConcept" />
+            </node>
+            <node concept="3w_OXm" id="3oQug8hr9PB" role="2OqNvi" />
+          </node>
+        </node>
+        <node concept="3cpWs8" id="3ZfjIHtD2vQ" role="3cqZAp">
+          <node concept="3cpWsn" id="3ZfjIHtD2vR" role="3cpWs9">
+            <property role="TrG5h" value="concept" />
+            <property role="3TUv4t" value="true" />
+            <node concept="3Tqbb2" id="3ZfjIHtD1Oh" role="1tU5fm">
+              <ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
+            </node>
+            <node concept="37vLTw" id="3ZfjIHtD2vS" role="33vP2m">
+              <ref role="3cqZAo" node="h9gNis7" resolve="applicableConcept" />
+            </node>
+          </node>
+        </node>
+        <node concept="1nLNNL" id="3ZfjIHtCU4o" role="3cqZAp">
+          <node concept="1nLNMm" id="3ZfjIHtCU4p" role="1nLNNK">
+            <node concept="3Aq93q" id="3ZfjIHtCU4q" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="3ZfjIHtCU4r" role="3Ip0Jz">
+                <node concept="3I6s7M" id="3ZfjIHtCU4s" role="3I6sU7">
+                  <node concept="3Aqt3T" id="3ZfjIHtCU4t" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="3ZfjIHtCU4u" role="3xSepv">
+              <node concept="3Aq9E8" id="3ZfjIHtCU4v" role="3xSepj">
+                <node concept="3I6sU6" id="3ZfjIHtCU4w" role="3Ip0Jz">
+                  <node concept="3IrJb3" id="3ZfjIHtCU4x" role="3I6sU7">
+                    <node concept="3clFbS" id="3ZfjIHtCU4y" role="3IrJb0">
+                      <node concept="3clFbJ" id="3ZfjIHtCU4z" role="3cqZAp">
+                        <node concept="2OqwBi" id="3ZfjIHtCU4$" role="3clFbw">
+                          <node concept="37vLTw" id="3ZfjIHtDcbP" role="2Oq$k0">
+                            <ref role="3cqZAo" node="3ZfjIHtD2vR" resolve="concept" />
+                          </node>
+                          <node concept="3x8VRR" id="3ZfjIHtCU4A" role="2OqNvi" />
+                        </node>
+                        <node concept="3clFbS" id="3ZfjIHtCU4B" role="3clFbx">
+                          <node concept="3Aqczg" id="3ZfjIHtCU4C" role="3cqZAp">
+                            <node concept="3Aqt3T" id="3ZfjIHtCU4D" role="3Aqpz8">
+                              <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                              <node concept="37jhX" id="3ZfjIHtCU4E" role="3AunhB">
+                                <node concept="3A2sRY" id="3ZfjIHtCUjV" role="37jj2">
+                                  <ref role="3A2yKK" node="3ZfjIHtCTG9" resolve="cfpn" />
+                                </node>
+                              </node>
+                              <node concept="ns1u0" id="3ZfjIHtCU4G" role="3AunhB">
+                                <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                <node concept="nsMwS" id="3ZfjIHtCU4H" role="ns1xD">
+                                  <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                  <node concept="37vLTw" id="3ZfjIHtD2vT" role="nsMwV">
+                                    <ref role="3cqZAo" node="3ZfjIHtD2vR" resolve="concept" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbH" id="3ZfjIHtCU4J" role="3cqZAp" />
+                        </node>
+                        <node concept="9aQIb" id="3ZfjIHtCU4K" role="9aQIa">
+                          <node concept="3clFbS" id="3ZfjIHtCU4L" role="9aQI4">
+                            <node concept="3Aqczg" id="3ZfjIHtCU4M" role="3cqZAp">
+                              <node concept="3Aqt3T" id="3ZfjIHtCU4N" role="3Aqpz8">
+                                <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                                <node concept="37jhX" id="3ZfjIHtCU4O" role="3AunhB">
+                                  <node concept="3A2sRY" id="3ZfjIHtCUp4" role="37jj2">
+                                    <ref role="3A2yKK" node="3ZfjIHtCTG9" resolve="cfpn" />
+                                  </node>
+                                </node>
+                                <node concept="ns1u0" id="3ZfjIHtCU4Q" role="3AunhB">
+                                  <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                  <node concept="nsMwS" id="3ZfjIHtCU4R" role="ns1xD">
+                                    <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                    <node concept="2OqwBi" id="3ZfjIHtCU4S" role="nsMwV">
+                                      <node concept="2c44tf" id="3ZfjIHtCU4T" role="2Oq$k0">
+                                        <node concept="3bZ5Sz" id="3ZfjIHtCU4U" role="2c44tc">
+                                          <ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
+                                        </node>
+                                      </node>
+                                      <node concept="3TrEf2" id="3ZfjIHtCU4V" role="2OqNvi">
+                                        <ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="3ZfjIHtCTG8" role="1nLNMg">
+        <ref role="2t_S0q" to="tp1t:gVkakXD" resolve="ConstraintFunctionParameter_referenceNode" />
+        <node concept="3A20r5" id="3ZfjIHtCTG9" role="2t_VXX">
+          <property role="TrG5h" value="cfpn" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="3ZfjIHtCVmz" role="1nK1Vg">
+      <property role="TrG5h" value="constraintsFunctionParameter_node" />
+      <node concept="3clFbS" id="3ZfjIHtCVm$" role="1nLNMH">
+        <node concept="3cpWs8" id="h9gNish" role="3cqZAp">
+          <node concept="3cpWsn" id="h9gNis0" role="3cpWs9">
+            <property role="TrG5h" value="applicableConcept" />
+            <node concept="3Tqbb2" id="6ALWH9ft9fi" role="1tU5fm">
+              <ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="1cLdD6E7kPB" role="3cqZAp">
+          <node concept="3clFbS" id="1cLdD6E7kPC" role="3clFbx">
+            <node concept="3clFbF" id="1cLdD6E7kPX" role="3cqZAp">
+              <node concept="37vLTI" id="1cLdD6E7kPZ" role="3clFbG">
+                <node concept="2OqwBi" id="1cLdD6E7kQc" role="37vLTx">
+                  <node concept="2OqwBi" id="1cLdD6E7kQ3" role="2Oq$k0">
+                    <node concept="2Xjw5R" id="1cLdD6E7kQ7" role="2OqNvi">
+                      <node concept="1xMEDy" id="1cLdD6E7kQ8" role="1xVPHs">
+                        <node concept="chp4Y" id="1cLdD6E7kQg" role="ri$Ld">
+                          <ref role="cht4Q" to="tp1t:hDM2fEI" resolve="ConceptConstraints" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3A2sRY" id="3ZfjIHtCWeL" role="2Oq$k0">
+                      <ref role="3A2yKK" node="3ZfjIHtCVmA" resolve="cfp" />
+                    </node>
+                  </node>
+                  <node concept="3TrEf2" id="1cLdD6E7kQh" role="2OqNvi">
+                    <ref role="3Tt5mk" to="tp1t:hDM2mAQ" resolve="concept" />
+                  </node>
+                </node>
+                <node concept="37vLTw" id="3GM_nagTvkG" role="37vLTJ">
+                  <ref role="3cqZAo" node="h9gNis0" resolve="applicableConcept" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="22lmx$" id="7tIFb5_O4pn" role="3clFbw">
+            <node concept="22lmx$" id="7tIFb5_OaRa" role="3uHU7B">
+              <node concept="2OqwBi" id="7tIFb5_O0PW" role="3uHU7w">
+                <node concept="2OqwBi" id="7tIFb5_NZfX" role="2Oq$k0">
+                  <node concept="2Xjw5R" id="7tIFb5_NZVi" role="2OqNvi">
+                    <node concept="1xMEDy" id="7tIFb5_NZVk" role="1xVPHs">
+                      <node concept="chp4Y" id="7tIFb5_O697" role="ri$Ld">
+                        <ref role="cht4Q" to="tp1t:5O58T9kTz2F" resolve="ConstraintFunction_CanBeAParent" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3A2sRY" id="3ZfjIHtCWbu" role="2Oq$k0">
+                    <ref role="3A2yKK" node="3ZfjIHtCVmA" resolve="cfp" />
+                  </node>
+                </node>
+                <node concept="3x8VRR" id="7tIFb5_O2ef" role="2OqNvi" />
+              </node>
+              <node concept="22lmx$" id="7tIFb5_NYCR" role="3uHU7B">
+                <node concept="22lmx$" id="1fdcuoJ028q" role="3uHU7B">
+                  <node concept="2OqwBi" id="1cLdD6E7kPQ" role="3uHU7B">
+                    <node concept="2OqwBi" id="1cLdD6E7kPG" role="2Oq$k0">
+                      <node concept="2Xjw5R" id="1cLdD6E7kPL" role="2OqNvi">
+                        <node concept="1xMEDy" id="1cLdD6E7kPM" role="1xVPHs">
+                          <node concept="chp4Y" id="1cLdD6E7kPP" role="ri$Ld">
+                            <ref role="cht4Q" to="tp1t:3gr0SYj1Ynf" resolve="ConstraintFunction_GetAlternativeIcon" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3A2sRY" id="3ZfjIHtCW4Y" role="2Oq$k0">
+                        <ref role="3A2yKK" node="3ZfjIHtCVmA" resolve="cfp" />
+                      </node>
+                    </node>
+                    <node concept="3x8VRR" id="1cLdD6E7kPU" role="2OqNvi" />
+                  </node>
+                  <node concept="2OqwBi" id="1fdcuoJ02rO" role="3uHU7w">
+                    <node concept="2OqwBi" id="1fdcuoJ02rP" role="2Oq$k0">
+                      <node concept="2Xjw5R" id="1fdcuoJ02rR" role="2OqNvi">
+                        <node concept="1xMEDy" id="1fdcuoJ02rS" role="1xVPHs">
+                          <node concept="chp4Y" id="1fdcuoJ02Ck" role="ri$Ld">
+                            <ref role="cht4Q" to="tp1t:1fdcuoIX_DM" resolve="ConstraintFunction_GetInstanceIcon" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3A2sRY" id="3ZfjIHtCW7k" role="2Oq$k0">
+                        <ref role="3A2yKK" node="3ZfjIHtCVmA" resolve="cfp" />
+                      </node>
+                    </node>
+                    <node concept="3x8VRR" id="1fdcuoJ02rU" role="2OqNvi" />
+                  </node>
+                </node>
+                <node concept="2OqwBi" id="7tIFb5_ObpL" role="3uHU7w">
+                  <node concept="2OqwBi" id="7tIFb5_ObpM" role="2Oq$k0">
+                    <node concept="2Xjw5R" id="7tIFb5_ObpO" role="2OqNvi">
+                      <node concept="1xMEDy" id="7tIFb5_ObpP" role="1xVPHs">
+                        <node concept="chp4Y" id="7tIFb5_O1rq" role="ri$Ld">
+                          <ref role="cht4Q" to="tp1t:5O58T9kTi97" resolve="ConstraintFunction_CanBeAChild" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3A2sRY" id="3ZfjIHtCW9x" role="2Oq$k0">
+                      <ref role="3A2yKK" node="3ZfjIHtCVmA" resolve="cfp" />
+                    </node>
+                  </node>
+                  <node concept="3x8VRR" id="7tIFb5_ObpQ" role="2OqNvi" />
+                </node>
+              </node>
+            </node>
+            <node concept="2OqwBi" id="7tIFb5_O4Ub" role="3uHU7w">
+              <node concept="2OqwBi" id="7tIFb5_O4Uc" role="2Oq$k0">
+                <node concept="2Xjw5R" id="7tIFb5_O4Ue" role="2OqNvi">
+                  <node concept="1xMEDy" id="7tIFb5_O4Uf" role="1xVPHs">
+                    <node concept="chp4Y" id="7tIFb5_O6A4" role="ri$Ld">
+                      <ref role="cht4Q" to="tp1t:5O58T9kT$5q" resolve="ConstraintFunction_CanBeAnAncestor" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3A2sRY" id="3ZfjIHtCWdr" role="2Oq$k0">
+                  <ref role="3A2yKK" node="3ZfjIHtCVmA" resolve="cfp" />
+                </node>
+              </node>
+              <node concept="3x8VRR" id="7tIFb5_O4Uh" role="2OqNvi" />
+            </node>
+          </node>
+          <node concept="9aQIb" id="1cLdD6E7kPV" role="9aQIa">
+            <node concept="3clFbS" id="1cLdD6E7kPW" role="9aQI4">
+              <node concept="3clFbF" id="1cLdD6E7kPz" role="3cqZAp">
+                <node concept="37vLTI" id="1cLdD6E7kP$" role="3clFbG">
+                  <node concept="2OqwBi" id="hxx$JMr" role="37vLTx">
+                    <node concept="2OqwBi" id="hxx$EIw" role="2Oq$k0">
+                      <node concept="2Xjw5R" id="h9gNism" role="2OqNvi">
+                        <node concept="1xMEDy" id="h9gNisn" role="1xVPHs">
+                          <node concept="chp4Y" id="h_efEIM" role="ri$Ld">
+                            <ref role="cht4Q" to="tp1t:gGEnED8" resolve="NodePropertyConstraint" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3A2sRY" id="3ZfjIHtCWhA" role="2Oq$k0">
+                        <ref role="3A2yKK" node="3ZfjIHtCVmA" resolve="cfp" />
+                      </node>
+                    </node>
+                    <node concept="2qgKlT" id="haqRx6B" role="2OqNvi">
+                      <ref role="37wK5l" to="tp22:hEwIoOT" resolve="getApplicableConcept" />
+                    </node>
+                  </node>
+                  <node concept="37vLTw" id="3GM_nagT_5j" role="37vLTJ">
+                    <ref role="3cqZAo" node="h9gNis0" resolve="applicableConcept" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1nLNNL" id="3ZfjIHtCWo6" role="3cqZAp">
+          <node concept="1nLNMm" id="3ZfjIHtCWo7" role="1nLNNK">
+            <node concept="3Aq93q" id="3ZfjIHtCWo8" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="3ZfjIHtCWo9" role="3Ip0Jz">
+                <node concept="3I6s7M" id="3ZfjIHtCWoa" role="3I6sU7">
+                  <node concept="3Aqt3T" id="3ZfjIHtCWob" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="3ZfjIHtCWoc" role="3xSepv">
+              <node concept="3Aq9E8" id="3ZfjIHtCWod" role="3xSepj">
+                <node concept="3I6sU6" id="3ZfjIHtCWoe" role="3Ip0Jz">
+                  <node concept="3IrJb3" id="3ZfjIHtCWof" role="3I6sU7">
+                    <node concept="3clFbS" id="3ZfjIHtCWog" role="3IrJb0">
+                      <node concept="3clFbJ" id="3ZfjIHtCWoh" role="3cqZAp">
+                        <node concept="2OqwBi" id="3ZfjIHtCWoi" role="3clFbw">
+                          <node concept="37vLTw" id="3ZfjIHtCWoj" role="2Oq$k0">
+                            <ref role="3cqZAo" node="h9gNis0" resolve="applicableConcept" />
+                          </node>
+                          <node concept="3x8VRR" id="3ZfjIHtCWok" role="2OqNvi" />
+                        </node>
+                        <node concept="3clFbS" id="3ZfjIHtCWol" role="3clFbx">
+                          <node concept="3Aqczg" id="3ZfjIHtCWom" role="3cqZAp">
+                            <node concept="3Aqt3T" id="3ZfjIHtCWon" role="3Aqpz8">
+                              <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                              <node concept="37jhX" id="3ZfjIHtCWoo" role="3AunhB">
+                                <node concept="3A2sRY" id="3ZfjIHtCWwV" role="37jj2">
+                                  <ref role="3A2yKK" node="3ZfjIHtCVmA" resolve="cfp" />
+                                </node>
+                              </node>
+                              <node concept="ns1u0" id="3ZfjIHtCWoq" role="3AunhB">
+                                <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                <node concept="nsMwS" id="3ZfjIHtCWor" role="ns1xD">
+                                  <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                  <node concept="37vLTw" id="3ZfjIHtCWos" role="nsMwV">
+                                    <ref role="3cqZAo" node="h9gNis0" resolve="applicableConcept" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3clFbH" id="3ZfjIHtCWot" role="3cqZAp" />
+                        </node>
+                        <node concept="9aQIb" id="3ZfjIHtCWou" role="9aQIa">
+                          <node concept="3clFbS" id="3ZfjIHtCWov" role="9aQI4">
+                            <node concept="3Aqczg" id="3ZfjIHtCWow" role="3cqZAp">
+                              <node concept="3Aqt3T" id="3ZfjIHtCWox" role="3Aqpz8">
+                                <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                                <node concept="37jhX" id="3ZfjIHtCWoy" role="3AunhB">
+                                  <node concept="3A2sRY" id="3ZfjIHtCWIp" role="37jj2">
+                                    <ref role="3A2yKK" node="3ZfjIHtCVmA" resolve="cfp" />
+                                  </node>
+                                </node>
+                                <node concept="ns1u0" id="3ZfjIHtCWo$" role="3AunhB">
+                                  <ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
+                                  <node concept="nsMwS" id="3ZfjIHtCWo_" role="ns1xD">
+                                    <ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
+                                    <node concept="2OqwBi" id="3ZfjIHtCWoA" role="nsMwV">
+                                      <node concept="2c44tf" id="3ZfjIHtCWoB" role="2Oq$k0">
+                                        <node concept="3bZ5Sz" id="3ZfjIHtCWoC" role="2c44tc">
+                                          <ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
+                                        </node>
+                                      </node>
+                                      <node concept="3TrEf2" id="3ZfjIHtCWoD" role="2OqNvi">
+                                        <ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="3ZfjIHtCVm_" role="1nLNMg">
+        <ref role="2t_S0q" to="tp1t:gGEsrNs" resolve="ConstraintsFunctionParameter_node" />
+        <node concept="3A20r5" id="3ZfjIHtCVmA" role="2t_VXX">
+          <property role="TrG5h" value="cfp" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="3ZfjIHtCXH2" role="1nK1Vg">
+      <property role="TrG5h" value="constraintsFunctionParameter_propertyValue" />
+      <node concept="3clFbS" id="3ZfjIHtCXH3" role="1nLNMH">
+        <node concept="3cpWs8" id="hdgYnmR" role="3cqZAp">
+          <node concept="3cpWsn" id="hdgYnmS" role="3cpWs9">
+            <property role="TrG5h" value="propertyConstraint" />
+            <node concept="3Tqbb2" id="hdgYnmT" role="1tU5fm">
+              <ref role="ehGHo" to="tp1t:gGEnED8" resolve="NodePropertyConstraint" />
+            </node>
+            <node concept="2OqwBi" id="hxx$SWL" role="33vP2m">
+              <node concept="2Xjw5R" id="hdgYhie" role="2OqNvi">
+                <node concept="1xMEDy" id="hdgYikH" role="1xVPHs">
+                  <node concept="chp4Y" id="h_efEJh" role="ri$Ld">
+                    <ref role="cht4Q" to="tp1t:gGEnED8" resolve="NodePropertyConstraint" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3A2sRY" id="3ZfjIHtCXOg" role="2Oq$k0">
+                <ref role="3A2yKK" node="3ZfjIHtCXH5" resolve="cfpv" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="hdgYud_" role="3cqZAp">
+          <node concept="3cpWsn" id="hdgYudA" role="3cpWs9">
+            <property role="TrG5h" value="property" />
+            <node concept="3Tqbb2" id="hdgYudB" role="1tU5fm">
+              <ref role="ehGHo" to="tpce:f_TJgxF" resolve="PropertyDeclaration" />
+            </node>
+            <node concept="2OqwBi" id="hxx$Z6o" role="33vP2m">
+              <node concept="37vLTw" id="3GM_nagTwuY" role="2Oq$k0">
+                <ref role="3cqZAo" node="hdgYnmS" resolve="propertyConstraint" />
+              </node>
+              <node concept="3TrEf2" id="hdgYsfL" role="2OqNvi">
+                <ref role="3Tt5mk" to="tp1t:gGEom_V" resolve="applicableProperty" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="hdgY_2P" role="3cqZAp">
+          <node concept="3cpWsn" id="hdgY_2Q" role="3cpWs9">
+            <property role="TrG5h" value="dataType" />
+            <node concept="3Tqbb2" id="hdgY_2R" role="1tU5fm">
+              <ref role="ehGHo" to="tpce:fKAxPRU" resolve="DataTypeDeclaration" />
+            </node>
+            <node concept="2OqwBi" id="hxx$Cxk" role="33vP2m">
+              <node concept="37vLTw" id="3GM_nagTtqe" role="2Oq$k0">
+                <ref role="3cqZAo" node="hdgYudA" resolve="property" />
+              </node>
+              <node concept="3TrEf2" id="hdgY$qe" role="2OqNvi">
+                <ref role="3Tt5mk" to="tpce:fKAX2Z_" resolve="dataType" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="3ZfjIHtCXTM" role="3cqZAp">
+          <node concept="3clFbS" id="3ZfjIHtCXTO" role="3clFbx">
+            <node concept="1nLNNL" id="3ZfjIHtCYeD" role="3cqZAp">
+              <node concept="1nLNMm" id="3ZfjIHtCYeF" role="1nLNNK">
+                <node concept="3Aq93q" id="3ZfjIHtCYeK" role="1nLNMb">
+                  <property role="3ArMco" value="true" />
+                  <node concept="3I6sU6" id="3ZfjIHtCYeL" role="3Ip0Jz">
+                    <node concept="3I6s7M" id="3ZfjIHtCYeP" role="3I6sU7">
+                      <node concept="3Aqt3T" id="3ZfjIHtCYeO" role="3I6s78">
+                        <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3xSepi" id="3ZfjIHtCYeS" role="3xSepv">
+                  <node concept="3Aq9E8" id="3ZfjIHtCYeT" role="3xSepj">
+                    <node concept="3I6sU6" id="3ZfjIHtCYeU" role="3Ip0Jz">
+                      <node concept="3I6s7M" id="3ZfjIHtCYfD" role="3I6sU7">
+                        <node concept="3jbYBd" id="3ZfjIHtCYfA" role="3I6s78">
+                          <ref role="3jbY9l" to="jxwi:6RzTUCSVvGo" resolve="liftDatatype" />
+                          <node concept="37vLTw" id="3ZfjIHtCYgx" role="3jbY8P">
+                            <ref role="3cqZAo" node="hdgY_2Q" resolve="dataType" />
+                          </node>
+                          <node concept="a7P8L" id="3ZfjIHtCYgq" role="3jbY8V">
+                            <ref role="a7OzE" node="3ZfjIHtCYfQ" resolve="DataType" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3I6s7M" id="3ZfjIHtCYf8" role="3I6sU7">
+                        <node concept="3Aqt3T" id="3ZfjIHtCYf7" role="3I6s78">
+                          <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                          <node concept="37jhX" id="3ZfjIHtCYff" role="3AunhB">
+                            <node concept="3A2sRY" id="3ZfjIHtCYfd" role="37jj2">
+                              <ref role="3A2yKK" node="3ZfjIHtCXH5" resolve="cfpv" />
+                            </node>
+                          </node>
+                          <node concept="a7P8L" id="3ZfjIHtCYgT" role="3AunhB">
+                            <ref role="a7OzE" node="3ZfjIHtCYfQ" resolve="DataType" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3NuqgR" id="3ZfjIHtCYfP" role="0Rg$4">
+                  <node concept="aZer4" id="3ZfjIHtCYfQ" role="3XD1gS">
+                    <property role="TrG5h" value="DataType" />
+                  </node>
+                  <node concept="32pEOW" id="3ZfjIHtCYg2" role="3vLBG7" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3y3z36" id="3ZfjIHtCY79" role="3clFbw">
+            <node concept="10Nm6u" id="3ZfjIHtCYem" role="3uHU7w" />
+            <node concept="37vLTw" id="3ZfjIHtCXUl" role="3uHU7B">
+              <ref role="3cqZAo" node="hdgY_2Q" resolve="dataType" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="3ZfjIHtCXH4" role="1nLNMg">
+        <ref role="2t_S0q" to="tp1t:gLWqvmI" resolve="ConstraintsFunctionParameter_propertyValue" />
+        <node concept="3A20r5" id="3ZfjIHtCXH5" role="2t_VXX">
+          <property role="TrG5h" value="cfpv" />
+        </node>
+      </node>
+    </node>
+  </node>
+</model>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.typesystem.mps b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.typesystem.mps
new file mode 100644
index 00000000..f7e9bba1
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.typesystem.mps
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:f9c48a53-4ba4-4c87-8c3f-03ca5510a408(jetbrains.mps.lang.constraintsExt.typesystem)">
+  <persistence version="9" />
+  <languages>
+    <use id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem" version="5" />
+    <devkit ref="00000000-0000-4000-0000-1de82b3a4936(jetbrains.mps.devkit.aspect.typesystem)" />
+  </languages>
+  <imports />
+  <registry />
+</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 ed59d547..22f209ff 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
@@ -235,6 +235,9 @@
         <node concept="L2wRC" id="5c7SrrUYKbv" role="39821P">
           <ref role="L2wRA" node="5c7SrrUYK2Y" resolve="jetbrains.mps.lang.quotationExt" />
         </node>
+        <node concept="L2wRC" id="3ZfjIHtDgcu" role="39821P">
+          <ref role="L2wRA" node="3ZfjIHtDg2T" resolve="jetbrains.mps.lang.constraintsExt" />
+        </node>
         <node concept="L2wRC" id="69UmpDmJWdl" role="39821P">
           <ref role="L2wRA" node="69UmpDmJW3w" resolve="typechecking.samples.baseLanguage" />
         </node>
@@ -679,9 +682,9 @@
         </node>
       </node>
       <node concept="1E1JtD" id="5c7SrrUYK2Y" role="2G$12L">
-        <property role="BnDLt" value="true" />
         <property role="TrG5h" value="jetbrains.mps.lang.quotationExt" />
         <property role="3LESm3" value="92b6e23c-5bc0-40ce-ad68-6222c2664122" />
+        <property role="BnDLt" value="true" />
         <node concept="55IIr" id="5c7SrrUYK31" role="3LF7KH">
           <node concept="2Ry0Ak" id="5c7SrrUYK5u" role="iGT6I">
             <property role="2Ry0Am" value="languages" />
@@ -708,11 +711,6 @@
             <ref role="3bR37D" node="4NtT$ZxGT_H" resolve="jetbrains.mps.baseLanguage.sequence" />
           </node>
         </node>
-        <node concept="1SiIV0" id="5c7SrrUYK6s" role="3bR37C">
-          <node concept="3bR9La" id="5c7SrrUYK6t" role="1SiIV1">
-            <ref role="3bR37D" to="ffeo:7Kfy9QB6L9c" resolve="jetbrains.mps.lang.quotation" />
-          </node>
-        </node>
         <node concept="1SiIV0" id="5c7SrrUYK6u" role="3bR37C">
           <node concept="3bR9La" id="5c7SrrUYK6v" role="1SiIV1">
             <ref role="3bR37D" to="ffeo:7Kfy9QB6KYb" resolve="jetbrains.mps.baseLanguage" />
@@ -789,6 +787,118 @@
             </node>
           </node>
         </node>
+        <node concept="3rtmxn" id="3ZfjIHtDfZk" role="3bR31x">
+          <node concept="3LXTmp" id="3ZfjIHtDfZl" role="3rtmxm">
+            <node concept="55IIr" id="3ZfjIHtDfZm" role="3LXTmr">
+              <node concept="2Ry0Ak" id="3ZfjIHtDfZn" role="iGT6I">
+                <property role="2Ry0Am" value="languages" />
+                <node concept="2Ry0Ak" id="3ZfjIHtDfZo" role="2Ry0An">
+                  <property role="2Ry0Am" value="jetbrains.mps.lang.quotationExt" />
+                </node>
+              </node>
+            </node>
+            <node concept="3qWCbU" id="3ZfjIHtDfZq" role="3LXTna">
+              <property role="3qWCbO" value="icons/**, resources/**" />
+            </node>
+          </node>
+        </node>
+        <node concept="1SiIV0" id="3ZfjIHtDg76" role="3bR37C">
+          <node concept="1Busua" id="3ZfjIHtDg77" role="1SiIV1">
+            <ref role="1Busuk" to="ffeo:7Kfy9QB6L9c" resolve="jetbrains.mps.lang.quotation" />
+          </node>
+        </node>
+      </node>
+      <node concept="1E1JtD" id="3ZfjIHtDg2T" role="2G$12L">
+        <property role="BnDLt" value="true" />
+        <property role="TrG5h" value="jetbrains.mps.lang.constraintsExt" />
+        <property role="3LESm3" value="585629d4-6ae6-4b06-948b-da2f7bfd9250" />
+        <node concept="55IIr" id="3ZfjIHtDg2W" role="3LF7KH">
+          <node concept="2Ry0Ak" id="3ZfjIHtDg66" role="iGT6I">
+            <property role="2Ry0Am" value="languages" />
+            <node concept="2Ry0Ak" id="3ZfjIHtDg6b" role="2Ry0An">
+              <property role="2Ry0Am" value="jetbrains.mps.lang.constraintsExt" />
+              <node concept="2Ry0Ak" id="3ZfjIHtDg6g" role="2Ry0An">
+                <property role="2Ry0Am" value="jetbrains.mps.lang.constraintsExt.mpl" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1SiIV0" id="3ZfjIHtDg7i" role="3bR37C">
+          <node concept="3bR9La" id="3ZfjIHtDg7j" role="1SiIV1">
+            <ref role="3bR37D" to="ffeo:7Kfy9QB6L9O" resolve="jetbrains.mps.lang.smodel" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="3ZfjIHtDg7k" role="3bR37C">
+          <node concept="3bR9La" id="3ZfjIHtDg7l" role="1SiIV1">
+            <ref role="3bR37D" node="6Dg__VJQ3B2" resolve="jetbrains.mps.lang.smodelExt" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="3ZfjIHtDg7m" role="3bR37C">
+          <node concept="3bR9La" id="3ZfjIHtDg7n" role="1SiIV1">
+            <ref role="3bR37D" to="ffeo:7Kfy9QB6LaO" resolve="jetbrains.mps.lang.structure" />
+          </node>
+        </node>
+        <node concept="1BupzO" id="3ZfjIHtDg7w" role="3bR31x">
+          <property role="3ZfqAx" value="models" />
+          <property role="1Hdu6h" value="true" />
+          <property role="1HemKv" value="true" />
+          <node concept="3LXTmp" id="3ZfjIHtDg7x" role="1HemKq">
+            <node concept="398BVA" id="3ZfjIHtDg7o" role="3LXTmr">
+              <ref role="398BVh" node="46o4wsH3mv_" resolve="mps.macro.mpscore_home" />
+              <node concept="2Ry0Ak" id="3ZfjIHtDg7p" role="iGT6I">
+                <property role="2Ry0Am" value="languages" />
+                <node concept="2Ry0Ak" id="3ZfjIHtDg7q" role="2Ry0An">
+                  <property role="2Ry0Am" value="jetbrains.mps.lang.constraintsExt" />
+                  <node concept="2Ry0Ak" id="3ZfjIHtDg7r" role="2Ry0An">
+                    <property role="2Ry0Am" value="models" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3qWCbU" id="3ZfjIHtDg7y" role="3LXTna">
+              <property role="3qWCbO" value="**/*.mps, **/*.mpsr, **/.model" />
+            </node>
+          </node>
+        </node>
+        <node concept="1SiIV0" id="3ZfjIHtDg7z" role="3bR37C">
+          <node concept="1Busua" id="3ZfjIHtDg7$" role="1SiIV1">
+            <ref role="1Busuk" node="69UmpDmJW26" resolve="jetbrains.mps.baseLanguageExt" />
+          </node>
+        </node>
+        <node concept="1SiIV0" id="3ZfjIHtDg7_" role="3bR37C">
+          <node concept="1Busua" id="3ZfjIHtDg7A" role="1SiIV1">
+            <ref role="1Busuk" to="ffeo:7Kfy9QB6L4x" resolve="jetbrains.mps.lang.constraints" />
+          </node>
+        </node>
+        <node concept="1yeLz9" id="3ZfjIHtDg7B" role="1TViLv">
+          <property role="TrG5h" value="jetbrains.mps.lang.constraintsExt#01" />
+          <property role="3LESm3" value="169d2221-3b4b-4779-ab69-5f32e51d11b9" />
+          <node concept="1BupzO" id="3ZfjIHtDg7M" role="3bR31x">
+            <property role="3ZfqAx" value="generator/templates" />
+            <property role="1Hdu6h" value="true" />
+            <property role="1HemKv" value="true" />
+            <node concept="3LXTmp" id="3ZfjIHtDg7N" role="1HemKq">
+              <node concept="398BVA" id="3ZfjIHtDg7C" role="3LXTmr">
+                <ref role="398BVh" node="46o4wsH3mv_" resolve="mps.macro.mpscore_home" />
+                <node concept="2Ry0Ak" id="3ZfjIHtDg7D" role="iGT6I">
+                  <property role="2Ry0Am" value="languages" />
+                  <node concept="2Ry0Ak" id="3ZfjIHtDg7E" role="2Ry0An">
+                    <property role="2Ry0Am" value="jetbrains.mps.lang.constraintsExt" />
+                    <node concept="2Ry0Ak" id="3ZfjIHtDg7F" role="2Ry0An">
+                      <property role="2Ry0Am" value="generator" />
+                      <node concept="2Ry0Ak" id="3ZfjIHtDg7G" role="2Ry0An">
+                        <property role="2Ry0Am" value="templates" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3qWCbU" id="3ZfjIHtDg7O" role="3LXTna">
+                <property role="3qWCbO" value="**/*.mps, **/*.mpsr, **/.model" />
+              </node>
+            </node>
+          </node>
+        </node>
       </node>
     </node>
     <node concept="2G$12M" id="69UmpDmJW20" role="3989C9">