diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd
index ec1caebf..a777b5c8 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd
@@ -29,6 +29,7 @@
f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime)
7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem)
f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules)
+ bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
index e52907ae..189e420b 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
@@ -517,8 +517,21 @@
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps
index fb3cbcc1..cd3c3bca 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps
@@ -37,6 +37,9 @@
+
+
+
@@ -44,6 +47,9 @@
+
+
+
@@ -147,6 +153,7 @@
+
@@ -180,7 +187,9 @@
-
+
+
+
@@ -215,6 +224,9 @@
+
+
+
@@ -284,10 +296,12 @@
+
+
@@ -369,8 +383,10 @@
+
+
@@ -425,14 +441,86 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
+
@@ -452,6 +540,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -465,39 +563,73 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -513,74 +645,17 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
@@ -600,8 +675,8 @@
-
-
+
+
@@ -617,8 +692,12 @@
-
-
+
+
+
+
+
+
@@ -644,8 +723,19 @@
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -683,9 +773,12 @@
-
+
+
+
+
@@ -697,10 +790,21 @@
-
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -783,13 +887,8 @@
-
-
-
-
-
-
-
+
+
@@ -863,12 +962,25 @@
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
@@ -1065,12 +1177,83 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
+
+
+
+
+
+
+
+
@@ -1083,6 +1266,34 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1104,8 +1315,11 @@
-
-
+
+
+
+
+
@@ -1113,12 +1327,20 @@
-
+
-
-
+
+
+
+
+
+
+
+
+
+
@@ -1128,7 +1350,7 @@
-
+
@@ -1180,8 +1402,11 @@
-
-
+
+
+
+
+
@@ -1271,6 +1496,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -1309,8 +1544,14 @@
-
-
+
+
+
+
+
+
+
+
@@ -1345,6 +1586,27 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1436,8 +1698,16 @@
-
-
+
+
+
+
+
+
+
+
+
+
@@ -1565,6 +1835,7 @@
+
@@ -1577,26 +1848,14 @@
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
-
-
+
+
@@ -1659,6 +1918,20 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1729,6 +2002,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2015,6 +2303,17 @@
+
+
+
+
+
+
+
+
+
+
+
@@ -2188,7 +2487,7 @@
-
+
@@ -4153,8 +4452,19 @@
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -4174,6 +4484,9 @@
+
+
+
@@ -4447,8 +4760,19 @@
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -4468,6 +4792,42 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5009,9 +5369,36 @@
-
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5035,9 +5422,221 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -5056,27 +5655,74 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
+
+
+
+
+
+
+
+
-
+
@@ -5088,6 +5734,229 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5101,20 +5970,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -5132,7 +5987,10 @@
-
+
+
+
+
@@ -5150,7 +6008,7 @@
-
+
@@ -5183,7 +6041,10 @@
-
+
+
+
+
@@ -5288,15 +6149,11 @@
-
-
-
-
@@ -5367,6 +6224,40 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5403,7 +6294,321 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6109,12 +7314,8 @@
-
-
-
-
-
-
+
+
@@ -6130,7 +7331,10 @@
-
+
+
+
+
@@ -6198,16 +7402,12 @@
-
-
-
-
-
-
-
+
+
+
@@ -6219,7 +7419,10 @@
-
+
+
+
+
@@ -6265,16 +7468,12 @@
-
-
-
-
-
-
-
+
+
+
@@ -6286,7 +7485,10 @@
-
+
+
+
+
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd
index 5b6f9396..c0c3a740 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd
@@ -27,6 +27,7 @@
7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem)
ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)
6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)
+ f113d56b-63e3-4120-a89c-2f5dcb8c6290(jetbrains.mps.coderules.runtime)
@@ -69,6 +70,7 @@
+
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps
index 89ad03ba..1e23fb96 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps
@@ -33,9 +33,11 @@
+
+
@@ -290,6 +292,9 @@
+
+
+
@@ -680,7 +685,7 @@
-
+
@@ -694,8 +699,8 @@
-
-
+
+
@@ -930,8 +935,8 @@
-
-
+
+
@@ -1401,7 +1406,7 @@
-
+
@@ -1466,7 +1471,7 @@
-
+
@@ -1531,7 +1536,7 @@
-
+
@@ -1593,7 +1598,7 @@
-
+
@@ -1672,7 +1677,7 @@
-
+
@@ -1725,10 +1730,6 @@
-
-
-
-
@@ -1790,10 +1791,6 @@
-
-
-
-
@@ -1849,7 +1846,7 @@
-
+
@@ -1944,10 +1941,6 @@
-
-
-
-
@@ -2126,10 +2119,6 @@
-
-
-
-
@@ -2726,7 +2715,7 @@
-
+
@@ -2747,10 +2736,6 @@
-
-
-
-
@@ -2799,10 +2784,6 @@
-
-
-
-
@@ -2848,10 +2829,6 @@
-
-
-
-
@@ -2955,7 +2932,7 @@
-
+
@@ -3040,10 +3017,6 @@
-
-
-
-
@@ -3085,7 +3058,7 @@
-
+
@@ -3107,10 +3080,6 @@
-
-
-
-
@@ -3185,10 +3154,6 @@
-
-
-
-
@@ -3664,7 +3629,7 @@
-
+
@@ -3698,10 +3663,6 @@
-
-
-
-
@@ -3858,10 +3819,6 @@
-
-
-
-
@@ -4245,7 +4202,7 @@
-
+
@@ -4320,7 +4277,7 @@
-
+
@@ -4345,10 +4302,6 @@
-
-
-
-
@@ -4421,7 +4374,7 @@
-
+
@@ -4499,7 +4452,7 @@
-
+
@@ -4520,10 +4473,6 @@
-
-
-
-
@@ -4581,10 +4530,6 @@
-
-
-
-
@@ -4666,7 +4611,7 @@
-
+
@@ -4733,10 +4678,6 @@
-
-
-
-
@@ -4802,10 +4743,6 @@
-
-
-
-
@@ -4854,7 +4791,7 @@
-
+
@@ -4941,10 +4878,6 @@
-
-
-
-
@@ -5014,10 +4947,6 @@
-
-
-
-
@@ -5074,7 +5003,7 @@
-
+
@@ -5154,10 +5083,6 @@
-
-
-
-
@@ -5234,10 +5159,6 @@
-
-
-
-
@@ -5303,10 +5224,6 @@
-
-
-
-
@@ -5425,7 +5342,7 @@
-
+
@@ -5438,10 +5355,6 @@
-
-
-
-
@@ -5495,10 +5408,6 @@
-
-
-
-
@@ -6190,7 +6099,7 @@
-
+
@@ -6263,7 +6172,7 @@
-
+
@@ -6341,7 +6250,7 @@
-
+
@@ -6437,7 +6346,7 @@
-
+
@@ -6491,10 +6400,6 @@
-
-
-
-
@@ -6539,7 +6444,7 @@
-
+
@@ -6606,10 +6511,6 @@
-
-
-
-
@@ -6746,7 +6647,7 @@
-
+
@@ -6841,7 +6742,7 @@
-
+
@@ -7600,7 +7501,7 @@
-
+
@@ -7840,5 +7741,1043 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+