diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps
index 356f199c..a572b312 100644
--- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps
+++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps
@@ -342,9 +342,9 @@
-
+
-
+
@@ -371,7 +371,7 @@
-
+
@@ -418,12 +418,12 @@
-
+
-
+
@@ -1478,7 +1478,7 @@
-
+
@@ -1738,7 +1738,7 @@
-
+
@@ -1826,7 +1826,7 @@
-
+
@@ -2349,7 +2349,7 @@
-
+
@@ -2541,12 +2541,12 @@
-
+
-
+
@@ -2643,30 +2643,30 @@
-
+
-
+
-
+
-
+
-
+
-
+
diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
index 38825fdc..927c182e 100644
--- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
+++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
@@ -1729,22 +1729,22 @@
-
+
-
+
-
+
-
+
-
+
@@ -5822,6 +5822,11 @@
+
+
+
+
+
diff --git a/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/predicate.mps b/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/predicate.mps
index b271ace0..fc85b437 100644
--- a/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/predicate.mps
+++ b/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/predicate.mps
@@ -19,6 +19,7 @@
+
@@ -195,6 +196,9 @@
+
+
+
@@ -237,6 +241,9 @@
+
+
+
@@ -271,7 +278,7 @@
-
+
@@ -298,7 +305,7 @@
-
+
@@ -322,7 +329,7 @@
-
+
@@ -349,7 +356,7 @@
-
+
@@ -367,7 +374,7 @@
-
+
@@ -570,6 +577,7 @@
+
@@ -727,7 +735,7 @@
-
+
@@ -777,7 +785,7 @@
-
+
@@ -960,7 +968,7 @@
-
+
@@ -996,7 +1004,7 @@
-
+
@@ -1073,7 +1081,7 @@
-
+
@@ -1160,7 +1168,7 @@
-
+
@@ -1445,7 +1453,7 @@
-
+
@@ -1741,7 +1749,7 @@
-
+
@@ -1792,7 +1800,7 @@
-
+
@@ -2181,7 +2189,7 @@
-
+
@@ -2288,7 +2296,7 @@
-
+
@@ -2363,7 +2371,7 @@
-
+
@@ -2408,7 +2416,7 @@
-
+
@@ -2577,7 +2585,7 @@
-
+
@@ -3005,7 +3013,7 @@
-
+
@@ -3037,7 +3045,7 @@
-
+
@@ -3142,7 +3150,7 @@
-
+
@@ -3188,7 +3196,7 @@
-
+
@@ -3233,7 +3241,7 @@
-
+
@@ -3264,7 +3272,7 @@
-
+
@@ -3327,7 +3335,7 @@
-
+
@@ -3451,7 +3459,7 @@
-
+
@@ -3497,7 +3505,7 @@
-
+
@@ -3512,7 +3520,7 @@
-
+
@@ -3582,7 +3590,7 @@
-
+
@@ -3619,7 +3627,7 @@
-
+
@@ -3700,7 +3708,7 @@
-
+
@@ -3839,7 +3847,7 @@
-
+
@@ -4176,7 +4184,7 @@
-
+
@@ -4228,7 +4236,7 @@
-
+
@@ -4650,7 +4658,7 @@
-
+
@@ -4695,7 +4703,7 @@
-
+
@@ -4725,7 +4733,7 @@
-
+
@@ -4755,7 +4763,7 @@
-
+
@@ -4785,7 +4793,7 @@
-
+
@@ -4815,7 +4823,7 @@
-
+
@@ -4845,7 +4853,7 @@
-
+
@@ -4875,7 +4883,7 @@
-
+
@@ -4905,7 +4913,7 @@
-
+
@@ -4922,7 +4930,7 @@
-
+
@@ -4935,7 +4943,7 @@
-
+
@@ -4979,7 +4987,7 @@
-
+
@@ -5009,7 +5017,7 @@
-
+
@@ -5040,7 +5048,7 @@
-
+
@@ -5069,7 +5077,7 @@
-
+
@@ -5100,7 +5108,7 @@
-
+
@@ -5129,7 +5137,7 @@
-
+
@@ -5159,7 +5167,7 @@
-
+
@@ -5190,7 +5198,7 @@
-
+
@@ -5207,7 +5215,7 @@
-
+
@@ -5220,7 +5228,7 @@
-
+
@@ -5260,7 +5268,7 @@
-
+
@@ -5299,7 +5307,7 @@
-
+
@@ -5309,7 +5317,7 @@
-
+
@@ -5575,7 +5583,7 @@
-
+
@@ -5868,7 +5876,7 @@
-
+
@@ -5918,7 +5926,7 @@
-
+
@@ -6058,7 +6066,7 @@
-
+
@@ -6104,7 +6112,7 @@
-
+
@@ -6286,7 +6294,7 @@
-
+
@@ -6757,7 +6765,7 @@
-
+
@@ -6817,7 +6825,7 @@
-
+
@@ -6862,7 +6870,7 @@
-
+
@@ -6954,7 +6962,7 @@
-
+
@@ -7338,7 +7346,7 @@
-
+
@@ -7688,7 +7696,7 @@
-
+
@@ -7733,7 +7741,7 @@
-
+
@@ -8487,96 +8495,20 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
+
-
-
+
+
+
+
+
+
+
+
@@ -8587,9 +8519,7 @@
-
-
-
+
@@ -8603,11 +8533,9 @@
-
-
-
+
-
+
@@ -8618,7 +8546,7 @@
-
+
@@ -8631,7 +8559,7 @@
-
+
@@ -8644,9 +8572,7 @@
-
-
-
+
@@ -8660,9 +8586,7 @@
-
-
-
+
@@ -8674,7 +8598,7 @@
-
+
@@ -8687,9 +8611,7 @@
-
-
-
+
@@ -8714,7 +8636,7 @@
-
+
@@ -8727,9 +8649,7 @@
-
-
-
+
@@ -8754,7 +8674,7 @@
-
+
@@ -8767,9 +8687,7 @@
-
-
-
+
@@ -8813,112 +8731,203 @@
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
-
-
-
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
diff --git a/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps b/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps
index 85622ae5..3d943d7d 100644
--- a/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps
+++ b/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps
@@ -299,57 +299,39 @@
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
+
+
+
-
+
+
+
+
+
+
+
+
+
@@ -361,14 +343,14 @@
-
-
+
+
-
-
+
+
@@ -404,9 +386,9 @@
-
+
-
+
@@ -423,11 +405,11 @@
-
+
-
+
@@ -473,31 +455,17 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
+
-
+
@@ -1324,10 +1292,10 @@
-
+
-
+
@@ -1408,7 +1376,7 @@
-
+
@@ -1903,7 +1871,7 @@
-
+
@@ -2000,7 +1968,7 @@
-
+
@@ -2027,7 +1995,7 @@
-
+
diff --git a/languages/jetbrains.mps.logic/reactor/jetbrains.mps.logic.reactor.msd b/languages/jetbrains.mps.logic/reactor/jetbrains.mps.logic.reactor.msd
index 3eaefa6b..00b70ae0 100644
--- a/languages/jetbrains.mps.logic/reactor/jetbrains.mps.logic.reactor.msd
+++ b/languages/jetbrains.mps.logic/reactor/jetbrains.mps.logic.reactor.msd
@@ -9,7 +9,6 @@
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)
- 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)
@@ -23,7 +22,6 @@
-
diff --git a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps
index 30d9d38b..a0045424 100644
--- a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps
+++ b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps
@@ -43,7 +43,6 @@
-
@@ -69,12 +68,10 @@
-
-
@@ -88,6 +85,7 @@
+
@@ -176,12 +174,6 @@
-
-
-
-
-
-
@@ -258,7 +250,6 @@
-
@@ -266,184 +257,75 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
-
-
-
+
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
-
-
+
@@ -463,55 +345,13 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
@@ -525,6 +365,9 @@
+
+
+
@@ -532,55 +375,13 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
@@ -608,11 +409,13 @@
+
+
+
-
-
+
-
+
@@ -695,6 +498,89 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -707,48 +593,16 @@
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
@@ -757,6 +611,52 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -768,7 +668,7 @@
-
+
@@ -818,124 +718,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -960,22 +742,19 @@
-
-
+
-
-
-
-
-
-
-
+
+
+
+
+
@@ -1011,35 +790,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1340,95 +1090,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1444,38 +1105,7 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1524,21 +1154,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1723,111 +1338,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -2392,67 +1902,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/program.mps b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/program.mps
index fffa6d02..527bb6b2 100644
--- a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/program.mps
+++ b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/program.mps
@@ -2,8 +2,8 @@
-
-
+
+
@@ -136,6 +136,12 @@
+
+
+
+
+
+
@@ -167,6 +173,9 @@
+
+
+
@@ -281,6 +290,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -381,6 +412,12 @@
+
+
+
+
+
+
@@ -554,22 +591,12 @@
-
-
-
-
-
-
-
-
-
-
-
+
-
+
@@ -620,33 +647,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -737,6 +737,33 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/java.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/java.mps
index fcffd999..1b24397b 100644
--- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/java.mps
+++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/java.mps
@@ -22,12 +22,6 @@
-
-
-
-
-
-
@@ -40,7 +34,6 @@
-
@@ -79,23 +72,13 @@
-
-
-
-
-
-
-
-
-
-
@@ -106,7 +89,7 @@
-
+
@@ -166,33 +149,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps
index a25e4b58..1f652f8b 100644
--- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps
+++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps
@@ -1091,7 +1091,7 @@
-
+
@@ -1134,21 +1134,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1177,30 +1162,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1858,7 +1819,7 @@
-
+
@@ -1900,21 +1861,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1943,30 +1889,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1989,7 +1911,7 @@
-
+
@@ -2021,21 +1943,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -2055,30 +1962,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/var.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/var.mps
index 0e9ba170..0a38ee9c 100644
--- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/var.mps
+++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/var.mps
@@ -114,13 +114,9 @@
-
-
-
-
@@ -131,9 +127,6 @@
-
-
-
@@ -142,7 +135,7 @@
-
+
@@ -185,21 +178,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -209,14 +187,14 @@
-
+
-
+
@@ -243,14 +221,14 @@
-
+
-
+
@@ -312,30 +290,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/languages/jetbrains.mps.logic/sandbox/runner/models/jetbrains/mps/logic/sandbox/runner.mps b/languages/jetbrains.mps.logic/sandbox/runner/models/jetbrains/mps/logic/sandbox/runner.mps
index 79b183e0..0d2d3cb4 100644
--- a/languages/jetbrains.mps.logic/sandbox/runner/models/jetbrains/mps/logic/sandbox/runner.mps
+++ b/languages/jetbrains.mps.logic/sandbox/runner/models/jetbrains/mps/logic/sandbox/runner.mps
@@ -24,6 +24,9 @@
+
+
+
@@ -38,9 +41,6 @@
-
-
-
@@ -169,6 +169,37 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -181,22 +212,8 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
diff --git a/languages/jetbrains.mps.logic/test/jetbrains.mps.logic.test.msd b/languages/jetbrains.mps.logic/test/jetbrains.mps.logic.test.msd
index 207e6cc8..d96a175f 100644
--- a/languages/jetbrains.mps.logic/test/jetbrains.mps.logic.test.msd
+++ b/languages/jetbrains.mps.logic/test/jetbrains.mps.logic.test.msd
@@ -18,7 +18,7 @@
a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)
b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
- bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)
+ bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)
760652ad-c01a-495e-9510-ed51532f617b(jetbrains.mps.logic.jchr)
e4a4c488-aaf8-4c5b-bc98-e65c5dd9acb9(jetbrains.mps.lang.typesystem2.samplechecker.handler.test)
diff --git a/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps b/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps
index e6da417a..b6ced03e 100644
--- a/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps
+++ b/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps
@@ -1610,27 +1610,49 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -1651,15 +1673,7 @@
-
-
-
-
-
-
-
-
-
+
@@ -1940,13 +1954,13 @@
-
+
-
+
@@ -2077,13 +2091,13 @@
-
+
-
+
@@ -2258,13 +2272,13 @@
-
+
-
+
@@ -2285,13 +2299,13 @@
-
+
-
+
@@ -2338,13 +2352,13 @@
-
+
-
+
@@ -2486,14 +2500,14 @@
-
+
-
+
@@ -2512,14 +2526,14 @@
-
+
-
+
@@ -2620,14 +2634,14 @@
-
+
-
+
@@ -2769,13 +2783,13 @@
-
+
-
+
@@ -2795,14 +2809,14 @@
-
+
-
+
@@ -2903,14 +2917,14 @@
-
+
-
+
@@ -3029,13 +3043,13 @@
-
+
-
+
@@ -3097,13 +3111,13 @@
-
+
-
+
@@ -3252,14 +3266,14 @@
-
+
-
+
@@ -3284,14 +3298,14 @@
-
+
-
+
@@ -3324,14 +3338,14 @@
-
+
-
+
@@ -3487,14 +3501,14 @@
-
+
-
+
@@ -3519,14 +3533,14 @@
-
+
-
+
@@ -3673,13 +3687,13 @@
-
+
-
+
@@ -3705,13 +3719,13 @@
-
+
-
+
@@ -3809,14 +3823,14 @@
-
+
-
+
@@ -3841,13 +3855,13 @@
-
+
-
+
@@ -3888,10 +3902,10 @@
-
+
-
+
@@ -4697,27 +4711,49 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -4735,22 +4771,8 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -4841,51 +4863,39 @@
-
+
-
+
-
+
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
+
-
+
+
@@ -5032,42 +5042,29 @@
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
-
+
+
-
-
-
-
+
+
+
+
@@ -5083,7 +5080,7 @@
-
+
@@ -5149,10 +5146,10 @@
-
+
-
+
diff --git a/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps b/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps
index 774c02cb..79ceebe5 100644
--- a/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps
+++ b/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps
@@ -3055,7 +3055,7 @@
-
+
@@ -3077,7 +3077,7 @@
-
+
@@ -3205,11 +3205,19 @@
-
-
+
+
-
+
+
+
+
+
+
+
+
+
@@ -3219,6 +3227,7 @@
+
@@ -6353,6 +6362,9 @@
+
+
+
@@ -6361,6 +6373,15 @@
+
+
+
+
+
+
+
+
+
@@ -6406,6 +6427,12 @@
+
+
+
+
+
+
@@ -6437,6 +6464,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6520,14 +6560,14 @@
-
-
-
-
+
+
+
+
-
-
-
+
+
+
@@ -6565,6 +6605,7 @@
+
@@ -6642,6 +6683,53 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6703,33 +6791,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -7608,6 +7669,13 @@
+
+
+
+
+
+
+
@@ -7629,7 +7697,7 @@
-
+
@@ -7657,7 +7725,7 @@
-
+
@@ -7691,53 +7759,14 @@
-
-
-
-
-
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -7875,7 +7904,7 @@
-
+
@@ -7896,7 +7925,7 @@
-
+
@@ -8108,7 +8137,7 @@
-
+
@@ -8131,92 +8160,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -8256,10 +8199,10 @@
-
+
-
+
@@ -8268,14 +8211,6 @@
-
-
-
-
-
-
-
-
@@ -8322,42 +8257,26 @@
-
+
-
+
-
-
-
-
-
-
-
-
-
+
-
-
-
-
-
-
-
-
-
+
@@ -8389,36 +8308,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-