diff --git a/.mps/migration.xml b/.mps/migration.xml
index 26e6596a..25045b7d 100644
--- a/.mps/migration.xml
+++ b/.mps/migration.xml
@@ -8,6 +8,8 @@
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps
index b87cab25..e6a17f1d 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps
@@ -3,12 +3,12 @@
-
+
-
+
@@ -16,7 +16,7 @@
-
+
@@ -908,7 +908,7 @@
-
+
@@ -3759,7 +3759,7 @@
-
+
@@ -3768,7 +3768,7 @@
-
+
@@ -3805,7 +3805,7 @@
-
+
@@ -4622,7 +4622,7 @@
-
+
@@ -6137,11 +6137,11 @@
-
+
-
+
@@ -6253,11 +6253,11 @@
-
+
-
+
@@ -6268,17 +6268,17 @@
-
+
-
+
-
+
@@ -6540,7 +6540,7 @@
-
+
@@ -6606,12 +6606,12 @@
-
+
-
+
@@ -6827,7 +6827,7 @@
-
+
@@ -6892,7 +6892,7 @@
-
+
@@ -6904,7 +6904,7 @@
-
+
@@ -6969,12 +6969,12 @@
-
+
-
+
@@ -7590,7 +7590,7 @@
-
+
@@ -8523,7 +8523,7 @@
-
+
@@ -11552,11 +11552,11 @@
-
+
-
+
@@ -11568,10 +11568,10 @@
-
+
-
+
@@ -11582,7 +11582,7 @@
-
+
@@ -13199,7 +13199,7 @@
-
+
@@ -13220,11 +13220,11 @@
-
+
-
+
@@ -14262,7 +14262,7 @@
-
+
@@ -14379,7 +14379,7 @@
-
+
@@ -14699,7 +14699,7 @@
-
+
@@ -14719,11 +14719,11 @@
-
+
-
+
@@ -15526,7 +15526,7 @@
-
+
@@ -15537,11 +15537,11 @@
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl
index cf3e2654..c32e1ea9 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl
+++ b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl
@@ -37,12 +37,12 @@
-
+
-
+
-
+
@@ -122,18 +122,18 @@
-
+
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps
index 6d19af36..f0537249 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps
@@ -268,7 +268,7 @@
-
+
@@ -585,7 +585,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps
index d5701f21..4b8d462e 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps
@@ -9,7 +9,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps
index 4540f10b..dc8fb26d 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps
index d030a0f5..58a27d5e 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps
@@ -389,7 +389,7 @@
-
+
@@ -533,7 +533,7 @@
-
+
@@ -698,11 +698,11 @@
-
+
-
+
@@ -758,11 +758,11 @@
-
+
-
+
@@ -802,11 +802,11 @@
-
+
-
+
@@ -846,11 +846,11 @@
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps
index a0c2ba1d..152cd4d0 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps
@@ -6,7 +6,7 @@
-
+
@@ -256,7 +256,7 @@
-
+
@@ -490,7 +490,7 @@
-
+
@@ -606,11 +606,11 @@
-
+
-
+
@@ -681,7 +681,7 @@
-
+
@@ -692,7 +692,7 @@
-
+
@@ -707,7 +707,7 @@
-
+
@@ -720,7 +720,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd b/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd
index e60d8156..c96a0272 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd
+++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd
@@ -25,7 +25,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps
index 53065d58..efcf2759 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps
@@ -4,7 +4,7 @@
-
+
@@ -700,7 +700,7 @@
-
+
@@ -730,7 +730,7 @@
-
+
@@ -892,7 +892,7 @@
-
+
@@ -910,7 +910,7 @@
-
+
@@ -949,7 +949,7 @@
-
+
@@ -1685,7 +1685,7 @@
-
+
@@ -1713,7 +1713,7 @@
-
+
@@ -1737,7 +1737,7 @@
-
+
@@ -1758,7 +1758,7 @@
-
+
@@ -1796,7 +1796,7 @@
-
+
@@ -1853,7 +1853,7 @@
-
+
@@ -1873,7 +1873,7 @@
-
+
@@ -1934,7 +1934,7 @@
-
+
@@ -1953,7 +1953,7 @@
-
+
@@ -2183,7 +2183,7 @@
-
+
@@ -2268,7 +2268,7 @@
-
+
@@ -2279,7 +2279,7 @@
-
+
@@ -2310,7 +2310,7 @@
-
+
@@ -2338,7 +2338,7 @@
-
+
@@ -2527,7 +2527,7 @@
-
+
@@ -2583,7 +2583,7 @@
-
+
@@ -2684,7 +2684,7 @@
-
+
@@ -2695,7 +2695,7 @@
-
+
@@ -2765,7 +2765,7 @@
-
+
@@ -2790,7 +2790,7 @@
-
+
@@ -3006,16 +3006,16 @@
-
+
-
+
-
+
@@ -3094,7 +3094,7 @@
-
+
@@ -3149,7 +3149,7 @@
-
+
@@ -3202,7 +3202,7 @@
-
+
@@ -3292,7 +3292,7 @@
-
+
@@ -3332,7 +3332,7 @@
-
+
@@ -3361,7 +3361,7 @@
-
+
@@ -3483,7 +3483,7 @@
-
+
@@ -3981,10 +3981,10 @@
-
+
-
+
@@ -4872,11 +4872,11 @@
-
+
-
+
@@ -5058,7 +5058,7 @@
-
+
@@ -5069,7 +5069,7 @@
-
+
@@ -5087,7 +5087,7 @@
-
+
@@ -5113,13 +5113,13 @@
-
+
-
+
@@ -5132,7 +5132,7 @@
-
+
@@ -5169,7 +5169,7 @@
-
+
@@ -6007,7 +6007,7 @@
-
+
@@ -6752,11 +6752,11 @@
-
+
-
+
@@ -6807,11 +6807,11 @@
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps
index a79d35bd..9f6af967 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps
@@ -4,7 +4,7 @@
-
+
@@ -597,7 +597,7 @@
-
+
@@ -626,10 +626,10 @@
-
+
-
+
@@ -708,14 +708,14 @@
-
+
-
+
@@ -736,14 +736,14 @@
-
+
-
+
@@ -772,7 +772,7 @@
-
+
@@ -816,11 +816,11 @@
-
+
-
+
@@ -829,11 +829,11 @@
-
+
-
+
@@ -850,13 +850,13 @@
-
+
-
+
@@ -902,13 +902,13 @@
-
+
-
+
@@ -922,7 +922,7 @@
-
+
@@ -935,13 +935,13 @@
-
+
-
+
@@ -958,23 +958,23 @@
-
+
-
+
-
+
-
+
@@ -990,13 +990,13 @@
-
+
-
+
@@ -1049,13 +1049,13 @@
-
+
-
+
@@ -1074,11 +1074,11 @@
-
+
-
+
@@ -1087,11 +1087,11 @@
-
+
-
+
@@ -1110,14 +1110,14 @@
-
+
-
+
@@ -1149,7 +1149,7 @@
-
+
@@ -1201,13 +1201,13 @@
-
+
-
+
@@ -1215,7 +1215,7 @@
-
+
@@ -1263,13 +1263,13 @@
-
+
-
+
@@ -1587,7 +1587,7 @@
-
+
@@ -2778,7 +2778,7 @@
-
+
@@ -3819,7 +3819,7 @@
-
+
@@ -3987,7 +3987,7 @@
-
+
@@ -4307,7 +4307,7 @@
-
+
@@ -4331,7 +4331,7 @@
-
+
@@ -4409,7 +4409,7 @@
-
+
@@ -4457,7 +4457,7 @@
-
+
@@ -4477,7 +4477,7 @@
-
+
@@ -5091,7 +5091,7 @@
-
+
@@ -5714,7 +5714,7 @@
-
+
@@ -5744,7 +5744,7 @@
-
+
@@ -5905,7 +5905,7 @@
-
+
@@ -6710,7 +6710,7 @@
-
+
@@ -6758,7 +6758,7 @@
-
+
@@ -7130,7 +7130,7 @@
-
+
@@ -7161,7 +7161,7 @@
-
+
@@ -7170,7 +7170,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl b/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl
index 15939362..dbb91877 100644
--- a/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl
+++ b/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl
@@ -31,13 +31,13 @@
-
+
-
+
-
+
@@ -113,9 +113,9 @@
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl b/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl
index e1a5f8c3..8c4093f6 100644
--- a/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl
+++ b/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl
@@ -24,12 +24,12 @@
-
+
-
+
-
+
@@ -90,16 +90,16 @@
-
+
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps
index fc7b2c5a..d7b42bb6 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps
@@ -4,8 +4,8 @@
-
-
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl b/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl
index 32facca1..9063122c 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl
@@ -39,13 +39,13 @@
-
+
-
+
-
+
@@ -124,9 +124,9 @@
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps
index 74816e2a..d47de6bd 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps
@@ -6,7 +6,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps
index a3ff3ca8..56af4f16 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps
@@ -4,8 +4,8 @@
-
-
+
+
diff --git a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps
index 76d280e9..46c381c3 100644
--- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps
+++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps
@@ -3,11 +3,11 @@
-
+
-
+
@@ -428,7 +428,7 @@
-
+
@@ -449,7 +449,7 @@
-
+
@@ -1846,7 +1846,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
index 03e26c0c..908a8fbf 100644
--- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
+++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
@@ -30,10 +30,11 @@
-
+
-
-
+
+
+
@@ -46,8 +47,6 @@
-
-
@@ -110,18 +109,18 @@
-
+
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps
index 430e9749..c96a4840 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps
@@ -5,7 +5,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps
index 7dfe6c2a..e212c7eb 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps
@@ -5,7 +5,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps
index 79a40b86..99429a74 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps
@@ -5,7 +5,7 @@
-
+
@@ -2944,7 +2944,7 @@
-
+
@@ -2971,11 +2971,11 @@
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps
index b0ae2f24..c7081cb4 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps
@@ -3,7 +3,7 @@
-
+
@@ -211,7 +211,7 @@
-
+
@@ -250,7 +250,7 @@
-
+
@@ -475,7 +475,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps
index e0ea8207..c2e68164 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps
@@ -4,8 +4,8 @@
-
-
+
+
diff --git a/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd b/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
index 1363ac34..802d7689 100644
--- a/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
+++ b/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
@@ -18,12 +18,13 @@
+
-
-
+
+
diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps
index e237d847..189d2978 100644
--- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps
+++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps
@@ -433,7 +433,7 @@
-
+
@@ -507,22 +507,22 @@
-
+
-
+
-
+
-
+
@@ -699,7 +699,7 @@
-
+
@@ -758,7 +758,7 @@
-
+
@@ -766,7 +766,7 @@
-
+
@@ -801,7 +801,7 @@
-
+
@@ -883,7 +883,7 @@
-
+
@@ -1219,11 +1219,11 @@
-
+
-
+
@@ -1404,10 +1404,10 @@
-
+
-
+
@@ -1415,21 +1415,21 @@
-
+
-
+
-
+
@@ -1442,7 +1442,7 @@
-
+
@@ -1548,11 +1548,11 @@
-
+
-
+
@@ -1658,23 +1658,23 @@
-
+
-
+
-
+
-
+
@@ -1874,7 +1874,7 @@
-
+
@@ -1882,7 +1882,7 @@
-
+
@@ -1909,7 +1909,7 @@
-
+
@@ -1963,7 +1963,7 @@
-
+
@@ -2047,7 +2047,7 @@
-
+
@@ -2103,7 +2103,7 @@
-
+
@@ -3045,7 +3045,7 @@
-
+
@@ -3106,10 +3106,10 @@
-
+
-
+
@@ -3249,7 +3249,7 @@
-
+
@@ -3277,26 +3277,26 @@
-
+
-
+
-
+
-
+
-
+
@@ -3310,13 +3310,13 @@
-
+
-
+
@@ -3325,22 +3325,22 @@
-
+
-
+
-
+
-
+
-
+
@@ -3581,7 +3581,7 @@
-
+
@@ -3625,7 +3625,7 @@
-
+
@@ -3713,7 +3713,7 @@
-
+
@@ -3753,7 +3753,7 @@
-
+
@@ -3790,7 +3790,7 @@
-
+
@@ -3819,7 +3819,7 @@
-
+
@@ -3843,9 +3843,9 @@
-
+
-
+
@@ -3863,7 +3863,7 @@
-
+
@@ -4622,17 +4622,17 @@
-
+
-
+
-
+
@@ -4656,7 +4656,7 @@
-
+
@@ -4669,7 +4669,7 @@
-
+
@@ -4692,7 +4692,7 @@
-
+
@@ -4704,7 +4704,7 @@
-
+
@@ -4721,7 +4721,7 @@
-
+
@@ -4747,7 +4747,7 @@
-
+
@@ -4782,7 +4782,7 @@
-
+
@@ -4793,7 +4793,7 @@
-
+
@@ -4823,7 +4823,7 @@
-
+
@@ -4881,7 +4881,7 @@
-
+
@@ -4892,7 +4892,7 @@
-
+
@@ -4922,7 +4922,7 @@
-
+
@@ -4980,7 +4980,7 @@
-
+
@@ -4991,7 +4991,7 @@
-
+
@@ -5021,7 +5021,7 @@
-
+
@@ -5103,7 +5103,7 @@
-
+
@@ -5114,7 +5114,7 @@
-
+
@@ -5211,7 +5211,7 @@
-
+
@@ -5222,7 +5222,7 @@
-
+
@@ -5252,7 +5252,7 @@
-
+
@@ -5326,7 +5326,7 @@
-
+
@@ -5402,7 +5402,7 @@
-
+
@@ -5459,7 +5459,7 @@
-
+
@@ -6081,7 +6081,7 @@
-
+
@@ -6187,7 +6187,7 @@
-
+
@@ -6207,7 +6207,7 @@
-
+
@@ -6223,7 +6223,7 @@
-
+
@@ -6247,7 +6247,7 @@
-
+
@@ -6291,7 +6291,7 @@
-
+
@@ -6310,11 +6310,11 @@
-
+
-
+
@@ -6332,7 +6332,7 @@
-
+
@@ -6346,7 +6346,7 @@
-
+
@@ -6430,7 +6430,7 @@
-
+
@@ -6478,13 +6478,13 @@
-
+
-
+
@@ -6565,7 +6565,7 @@
-
+
@@ -6671,7 +6671,7 @@
-
+
@@ -6691,7 +6691,7 @@
-
+
@@ -6707,7 +6707,7 @@
-
+
@@ -6731,7 +6731,7 @@
-
+
@@ -6817,7 +6817,7 @@
-
+
@@ -6843,11 +6843,11 @@
-
+
-
+
@@ -6879,7 +6879,7 @@
-
+
@@ -6931,14 +6931,14 @@
-
+
-
+
@@ -7055,23 +7055,23 @@
-
+
-
+
-
+
-
+
@@ -7719,7 +7719,7 @@
-
+
@@ -7820,10 +7820,10 @@
-
+
-
+
@@ -7831,7 +7831,7 @@
-
+
@@ -7854,20 +7854,20 @@
-
+
-
+
-
+
@@ -7901,14 +7901,14 @@
-
+
-
+
@@ -8198,7 +8198,7 @@
-
+
@@ -8206,7 +8206,7 @@
-
+
@@ -8246,7 +8246,7 @@
-
+
@@ -8601,11 +8601,11 @@
-
+
-
+
@@ -8619,7 +8619,7 @@
-
+
@@ -8865,7 +8865,7 @@
-
+
@@ -8900,7 +8900,7 @@
-
+
@@ -9124,7 +9124,7 @@
-
+
@@ -9139,7 +9139,7 @@
-
+
@@ -9192,7 +9192,7 @@
-
+
@@ -9201,7 +9201,7 @@
-
+
@@ -9245,7 +9245,7 @@
-
+
@@ -9305,7 +9305,7 @@
-
+
@@ -9343,7 +9343,7 @@
-
+
@@ -9393,7 +9393,7 @@
-
+
@@ -9490,7 +9490,7 @@
-
+
@@ -9525,7 +9525,7 @@
-
+
@@ -9568,7 +9568,7 @@
-
+
@@ -9606,7 +9606,7 @@
-
+
@@ -9632,7 +9632,7 @@
-
+
@@ -9730,9 +9730,9 @@
-
+
-
+
@@ -9787,7 +9787,7 @@
-
+
@@ -10215,7 +10215,7 @@
-
+
@@ -10486,7 +10486,7 @@
-
+
@@ -10521,14 +10521,14 @@
-
+
-
+
@@ -10541,7 +10541,7 @@
-
+
@@ -10563,14 +10563,14 @@
-
+
-
+
@@ -10598,7 +10598,7 @@
-
+
@@ -10951,7 +10951,7 @@
-
+
@@ -11016,7 +11016,7 @@
-
+
@@ -11404,10 +11404,10 @@
-
+
-
+
@@ -11415,14 +11415,14 @@
-
+
-
+
@@ -11435,7 +11435,7 @@
-
+
@@ -11632,7 +11632,7 @@
-
+
@@ -11655,7 +11655,7 @@
-
+
@@ -11689,7 +11689,7 @@
-
+
@@ -12039,10 +12039,10 @@
-
+
-
+
@@ -12050,21 +12050,21 @@
-
+
-
+
-
+
@@ -12077,7 +12077,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps
index 7a358cf4..dbf4a8d2 100644
--- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps
+++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps
@@ -9,7 +9,7 @@
-
+
@@ -316,10 +316,10 @@
-
+
-
+
@@ -347,10 +347,10 @@
-
+
-
+
@@ -399,7 +399,7 @@
-
+
@@ -407,7 +407,7 @@
-
+
@@ -442,13 +442,13 @@
-
+
-
+
@@ -458,7 +458,7 @@
-
+
@@ -467,7 +467,7 @@
-
+
@@ -477,7 +477,7 @@
-
+
@@ -537,19 +537,19 @@
-
+
-
+
-
+
-
+
@@ -798,11 +798,11 @@
-
+
-
+
@@ -814,11 +814,11 @@
-
+
-
+
@@ -1078,11 +1078,11 @@
-
+
-
+
@@ -1094,11 +1094,11 @@
-
+
-
+
@@ -1373,7 +1373,7 @@
-
+
@@ -1445,7 +1445,7 @@
-
+
@@ -1464,7 +1464,7 @@
-
+
@@ -1518,7 +1518,7 @@
-
+
@@ -1533,11 +1533,11 @@
-
+
-
+
@@ -1551,11 +1551,11 @@
-
+
-
+
@@ -1578,7 +1578,7 @@
-
+
@@ -1627,7 +1627,7 @@
-
+
@@ -1646,7 +1646,7 @@
-
+
@@ -1668,7 +1668,7 @@
-
+
@@ -1698,7 +1698,7 @@
-
+
@@ -1723,7 +1723,7 @@
-
+
@@ -1735,7 +1735,7 @@
-
+
@@ -1746,7 +1746,7 @@
-
+
@@ -1765,7 +1765,7 @@
-
+
@@ -1784,7 +1784,7 @@
-
+
@@ -1808,7 +1808,7 @@
-
+
@@ -1817,7 +1817,7 @@
-
+
@@ -1842,7 +1842,7 @@
-
+
@@ -1855,7 +1855,7 @@
-
+
@@ -1872,7 +1872,7 @@
-
+
@@ -1885,7 +1885,7 @@
-
+
@@ -1893,7 +1893,7 @@
-
+
@@ -1905,7 +1905,7 @@
-
+
@@ -1947,7 +1947,7 @@
-
+
@@ -2093,7 +2093,7 @@
-
+
@@ -2127,7 +2127,7 @@
-
+
@@ -2149,7 +2149,7 @@
-
+
@@ -2163,7 +2163,7 @@
-
+
@@ -2218,7 +2218,7 @@
-
+
@@ -2237,7 +2237,7 @@
-
+
@@ -2266,7 +2266,7 @@
-
+
@@ -2274,7 +2274,7 @@
-
+
@@ -2287,7 +2287,7 @@
-
+
@@ -2295,7 +2295,7 @@
-
+
@@ -2314,7 +2314,7 @@
-
+
@@ -2326,7 +2326,7 @@
-
+
@@ -2335,7 +2335,7 @@
-
+
@@ -2350,7 +2350,7 @@
-
+
@@ -2364,7 +2364,7 @@
-
+
@@ -2407,7 +2407,7 @@
-
+
@@ -2425,11 +2425,11 @@
-
+
-
+
@@ -2475,7 +2475,7 @@
-
+
@@ -2543,7 +2543,7 @@
-
+
@@ -2562,7 +2562,7 @@
-
+
@@ -2611,7 +2611,7 @@
-
+
@@ -2646,7 +2646,7 @@
-
+
@@ -2676,7 +2676,7 @@
-
+
@@ -2686,7 +2686,7 @@
-
+
@@ -2703,7 +2703,7 @@
-
+
@@ -2728,14 +2728,14 @@
-
+
-
+
@@ -2759,13 +2759,13 @@
-
+
-
+
@@ -2788,7 +2788,7 @@
-
+
@@ -2800,7 +2800,7 @@
-
+
@@ -2808,7 +2808,7 @@
-
+
@@ -2822,7 +2822,7 @@
-
+
@@ -2836,7 +2836,7 @@
-
+
@@ -2855,7 +2855,7 @@
-
+
@@ -2869,7 +2869,7 @@
-
+
@@ -2878,7 +2878,7 @@
-
+
@@ -2899,7 +2899,7 @@
-
+
@@ -2917,7 +2917,7 @@
-
+
@@ -3052,17 +3052,17 @@
-
+
-
+
-
+
@@ -3085,7 +3085,7 @@
-
+
@@ -3115,7 +3115,7 @@
-
+
@@ -3148,7 +3148,7 @@
-
+
@@ -3166,7 +3166,7 @@
-
+
@@ -3175,7 +3175,7 @@
-
+
@@ -3204,7 +3204,7 @@
-
+
@@ -3214,7 +3214,7 @@
-
+
@@ -3231,7 +3231,7 @@
-
+
@@ -3256,14 +3256,14 @@
-
+
-
+
@@ -3287,13 +3287,13 @@
-
+
-
+
@@ -3316,7 +3316,7 @@
-
+
@@ -3328,7 +3328,7 @@
-
+
@@ -3336,7 +3336,7 @@
-
+
@@ -3350,7 +3350,7 @@
-
+
@@ -3364,7 +3364,7 @@
-
+
@@ -3383,7 +3383,7 @@
-
+
@@ -3397,7 +3397,7 @@
-
+
@@ -3406,7 +3406,7 @@
-
+
@@ -3427,7 +3427,7 @@
-
+
@@ -3445,7 +3445,7 @@
-
+
@@ -3462,7 +3462,7 @@
-
+
@@ -3487,12 +3487,12 @@
-
+
-
+
@@ -3508,12 +3508,12 @@
-
+
-
+
@@ -3574,7 +3574,7 @@
-
+
@@ -3593,7 +3593,7 @@
-
+
@@ -3626,7 +3626,7 @@
-
+
@@ -3634,7 +3634,7 @@
-
+
@@ -3646,7 +3646,7 @@
-
+
@@ -3654,7 +3654,7 @@
-
+
@@ -3669,7 +3669,7 @@
-
+
@@ -3683,7 +3683,7 @@
-
+
@@ -3700,7 +3700,7 @@
-
+
@@ -3711,7 +3711,7 @@
-
+
@@ -3764,7 +3764,7 @@
-
+
@@ -3804,7 +3804,7 @@
-
+
@@ -3845,7 +3845,7 @@
-
+
@@ -3909,11 +3909,11 @@
-
+
-
+
@@ -3924,7 +3924,7 @@
-
+
@@ -3933,7 +3933,7 @@
-
+
@@ -3954,7 +3954,7 @@
-
+
@@ -3965,7 +3965,7 @@
-
+
@@ -4411,11 +4411,11 @@
-
+
-
+
@@ -4532,11 +4532,11 @@
-
+
-
+
@@ -4699,7 +4699,7 @@
-
+
@@ -4724,7 +4724,7 @@
-
+
@@ -4733,7 +4733,7 @@
-
+
@@ -4750,7 +4750,7 @@
-
+
@@ -4763,7 +4763,7 @@
-
+
@@ -4831,7 +4831,7 @@
-
+
@@ -4850,7 +4850,7 @@
-
+
@@ -4862,7 +4862,7 @@
-
+
@@ -5086,11 +5086,11 @@
-
+
-
+
@@ -5102,11 +5102,11 @@
-
+
-
+
@@ -5379,11 +5379,11 @@
-
+
-
+
@@ -5395,11 +5395,11 @@
-
+
-
+
@@ -5658,7 +5658,7 @@
-
+
@@ -5730,7 +5730,7 @@
-
+
@@ -5758,7 +5758,7 @@
-
+
@@ -5783,7 +5783,7 @@
-
+
@@ -5805,7 +5805,7 @@
-
+
@@ -5813,7 +5813,7 @@
-
+
@@ -5827,7 +5827,7 @@
-
+
@@ -5838,7 +5838,7 @@
-
+
@@ -5852,7 +5852,7 @@
-
+
@@ -5863,7 +5863,7 @@
-
+
@@ -5883,7 +5883,7 @@
-
+
@@ -5903,7 +5903,7 @@
-
+
@@ -5924,7 +5924,7 @@
-
+
@@ -5932,7 +5932,7 @@
-
+
@@ -5983,7 +5983,7 @@
-
+
@@ -6128,7 +6128,7 @@
-
+
@@ -6145,7 +6145,7 @@
-
+
@@ -6264,7 +6264,7 @@
-
+
@@ -6283,7 +6283,7 @@
-
+
@@ -6318,7 +6318,7 @@
-
+
@@ -6326,7 +6326,7 @@
-
+
@@ -6339,7 +6339,7 @@
-
+
@@ -6347,7 +6347,7 @@
-
+
@@ -6420,7 +6420,7 @@
-
+
@@ -6455,7 +6455,7 @@
-
+
@@ -6483,7 +6483,7 @@
-
+
@@ -6508,7 +6508,7 @@
-
+
@@ -6530,7 +6530,7 @@
-
+
@@ -6538,7 +6538,7 @@
-
+
@@ -6552,7 +6552,7 @@
-
+
@@ -6563,7 +6563,7 @@
-
+
@@ -6577,7 +6577,7 @@
-
+
@@ -6588,7 +6588,7 @@
-
+
@@ -6608,7 +6608,7 @@
-
+
@@ -6628,7 +6628,7 @@
-
+
@@ -6649,7 +6649,7 @@
-
+
@@ -6657,7 +6657,7 @@
-
+
@@ -6680,7 +6680,7 @@
-
+
@@ -6804,7 +6804,7 @@
-
+
@@ -6821,7 +6821,7 @@
-
+
@@ -6900,7 +6900,7 @@
-
+
@@ -6919,7 +6919,7 @@
-
+
@@ -6958,7 +6958,7 @@
-
+
@@ -6966,7 +6966,7 @@
-
+
@@ -6978,7 +6978,7 @@
-
+
@@ -6986,7 +6986,7 @@
-
+
@@ -7001,7 +7001,7 @@
-
+
@@ -7015,7 +7015,7 @@
-
+
@@ -7032,7 +7032,7 @@
-
+
@@ -7043,7 +7043,7 @@
-
+
@@ -7083,11 +7083,11 @@
-
+
-
+
@@ -7098,7 +7098,7 @@
-
+
@@ -7107,7 +7107,7 @@
-
+
@@ -7128,7 +7128,7 @@
-
+
@@ -7139,7 +7139,7 @@
-
+
@@ -7663,11 +7663,11 @@
-
+
-
+
@@ -7719,11 +7719,11 @@
-
+
-
+
@@ -7774,7 +7774,7 @@
-
+
@@ -7814,7 +7814,7 @@
-
+
@@ -8007,7 +8007,7 @@
-
+
@@ -8031,11 +8031,11 @@
-
+
-
+
@@ -8127,11 +8127,11 @@
-
+
-
+
@@ -8407,11 +8407,11 @@
-
+
-
+
@@ -8459,7 +8459,7 @@
-
+
@@ -8474,18 +8474,18 @@
-
+
-
+
-
+
@@ -8504,18 +8504,18 @@
-
+
-
+
-
+
@@ -8532,11 +8532,11 @@
-
+
-
+
@@ -8823,11 +8823,11 @@
-
+
-
+
@@ -8875,7 +8875,7 @@
-
+
@@ -8890,18 +8890,18 @@
-
+
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps
index 667e77b2..aa6466d1 100644
--- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps
+++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps
@@ -311,7 +311,7 @@
-
+
@@ -345,11 +345,11 @@
-
+
-
+
@@ -446,7 +446,7 @@
-
+
@@ -474,7 +474,7 @@
-
+
@@ -530,7 +530,7 @@
-
+
@@ -645,7 +645,7 @@
-
+
@@ -680,7 +680,7 @@
-
+
@@ -693,15 +693,15 @@
-
+
-
+
-
+
@@ -744,11 +744,11 @@
-
+
-
+
@@ -759,7 +759,7 @@
-
+
@@ -808,7 +808,7 @@
-
+
@@ -851,7 +851,7 @@
-
+
@@ -895,7 +895,7 @@
-
+
@@ -923,7 +923,7 @@
-
+
@@ -979,7 +979,7 @@
-
+
@@ -1078,7 +1078,7 @@
-
+
@@ -1089,11 +1089,11 @@
-
+
-
+
@@ -1127,7 +1127,7 @@
-
+
@@ -1160,7 +1160,7 @@
-
+
@@ -1227,7 +1227,7 @@
-
+
@@ -1270,7 +1270,7 @@
-
+
@@ -1314,7 +1314,7 @@
-
+
@@ -1342,7 +1342,7 @@
-
+
@@ -1398,7 +1398,7 @@
-
+
@@ -1517,7 +1517,7 @@
-
+
@@ -1550,7 +1550,7 @@
-
+
@@ -1647,7 +1647,7 @@
-
+
@@ -1675,7 +1675,7 @@
-
+
@@ -1731,7 +1731,7 @@
-
+
@@ -1806,7 +1806,7 @@
-
+
@@ -1836,7 +1836,7 @@
-
+
@@ -1862,7 +1862,7 @@
-
+
@@ -2172,7 +2172,7 @@
-
+
@@ -2204,7 +2204,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl b/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl
index 2308f25d..4364b19c 100644
--- a/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl
+++ b/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl
@@ -31,9 +31,9 @@
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps
index 68626c5f..ea34b182 100644
--- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps
@@ -200,7 +200,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl b/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl
index f1ad4b62..d7b7e3ac 100644
--- a/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl
+++ b/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl
@@ -23,12 +23,12 @@
-
+
-
+
-
+
@@ -73,16 +73,16 @@
-
+
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps
index 126c6d91..22e5d055 100644
--- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps
@@ -456,7 +456,7 @@
-
+
@@ -657,7 +657,7 @@
-
+
@@ -675,7 +675,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
index c058d595..af48e7a1 100644
--- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
@@ -5,7 +5,7 @@
-
+
@@ -509,7 +509,7 @@
-
+
@@ -520,7 +520,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd b/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd
index 1a84b15f..acc919e8 100644
--- a/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd
+++ b/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd
@@ -13,9 +13,47 @@
2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)
707c4fde-f79a-44b5-b3d7-b5cef8844ccf(jetbrains.mps.lang.test.runtime)
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps
index df89e112..8fe00822 100644
--- a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps
@@ -280,7 +280,7 @@
-
+
@@ -384,7 +384,7 @@
-
+
@@ -502,7 +502,7 @@
-
+
@@ -516,7 +516,7 @@
-
+
@@ -528,7 +528,7 @@
-
+
@@ -546,7 +546,7 @@
-
+
@@ -558,7 +558,7 @@
-
+
@@ -576,7 +576,7 @@
-
+
@@ -674,7 +674,7 @@
-
+
@@ -741,7 +741,7 @@
-
+
@@ -770,7 +770,7 @@
-
+
@@ -794,7 +794,7 @@
-
+
@@ -808,7 +808,7 @@
-
+
@@ -837,7 +837,7 @@
-
+
@@ -855,7 +855,7 @@
-
+
@@ -863,7 +863,7 @@
-
+
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 a4909590..1427dad8 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
@@ -31,8 +31,8 @@
-
-
+
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps
index 532afcbe..d3f56691 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps
@@ -233,14 +233,14 @@
-
+
-
+
@@ -291,7 +291,7 @@
-
+
@@ -359,14 +359,14 @@
-
+
-
+
@@ -417,7 +417,7 @@
-
+
@@ -478,16 +478,16 @@
-
+
-
+
-
+
@@ -548,7 +548,7 @@
-
+
@@ -586,7 +586,7 @@
-
+
@@ -597,7 +597,7 @@
-
+
@@ -668,7 +668,7 @@
-
+
@@ -708,16 +708,16 @@
-
+
-
+
-
+
@@ -779,7 +779,7 @@
-
+
@@ -817,7 +817,7 @@
-
+
@@ -828,7 +828,7 @@
-
+
@@ -868,7 +868,7 @@
-
+
@@ -890,7 +890,7 @@
-
+
@@ -901,7 +901,7 @@
-
+
@@ -917,7 +917,7 @@
-
+
@@ -929,7 +929,7 @@
-
+
@@ -941,7 +941,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps
index 1b032319..83026a99 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps
@@ -5,9 +5,9 @@
-
+
-
+
@@ -425,7 +425,7 @@
-
+
@@ -463,7 +463,7 @@
-
+
@@ -484,7 +484,7 @@
-
+
@@ -524,7 +524,7 @@
-
+
@@ -558,7 +558,7 @@
-
+
@@ -628,7 +628,7 @@
-
+
@@ -676,7 +676,7 @@
-
+
@@ -716,7 +716,7 @@
-
+
@@ -755,7 +755,7 @@
-
+
@@ -783,7 +783,7 @@
-
+
@@ -1216,7 +1216,7 @@
-
+
@@ -1245,7 +1245,7 @@
-
+
@@ -1268,7 +1268,7 @@
-
+
@@ -1293,7 +1293,7 @@
-
+
@@ -1399,7 +1399,7 @@
-
+
@@ -1428,7 +1428,7 @@
-
+
@@ -1451,7 +1451,7 @@
-
+
@@ -1476,7 +1476,7 @@
-
+
@@ -1578,7 +1578,7 @@
-
+
@@ -1607,7 +1607,7 @@
-
+
@@ -1630,7 +1630,7 @@
-
+
@@ -1799,7 +1799,7 @@
-
+
@@ -1839,7 +1839,7 @@
-
+
@@ -1854,7 +1854,7 @@
-
+
@@ -1960,7 +1960,7 @@
-
+
@@ -2015,15 +2015,15 @@
-
+
-
+
-
+
@@ -2043,7 +2043,7 @@
-
+
@@ -3319,7 +3319,7 @@
-
+
@@ -3399,7 +3399,7 @@
-
+
@@ -3757,7 +3757,7 @@
-
+
@@ -4017,7 +4017,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd
index e3bcfdfc..de192d7f 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd
@@ -37,7 +37,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps
index 57c3d64a..fc9b7afd 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps
@@ -9,7 +9,7 @@
-
+
@@ -584,11 +584,11 @@
-
+
-
+
@@ -645,13 +645,13 @@
-
+
-
+
@@ -734,13 +734,13 @@
-
+
-
+
@@ -792,7 +792,7 @@
-
+
@@ -865,7 +865,7 @@
-
+
@@ -883,7 +883,7 @@
-
+
@@ -918,7 +918,7 @@
-
+
@@ -1006,7 +1006,7 @@
-
+
@@ -1028,7 +1028,7 @@
-
+
@@ -1048,26 +1048,26 @@
-
+
-
+
-
+
-
+
@@ -1078,7 +1078,7 @@
-
+
@@ -1086,7 +1086,7 @@
-
+
@@ -1116,7 +1116,7 @@
-
+
@@ -1158,7 +1158,7 @@
-
+
@@ -1173,7 +1173,7 @@
-
+
@@ -1211,7 +1211,7 @@
-
+
@@ -1345,7 +1345,7 @@
-
+
@@ -1372,7 +1372,7 @@
-
+
@@ -1471,9 +1471,9 @@
-
+
-
+
@@ -1548,7 +1548,7 @@
-
+
@@ -1581,7 +1581,7 @@
-
+
@@ -1649,15 +1649,15 @@
-
+
-
+
-
+
@@ -1725,7 +1725,7 @@
-
+
@@ -1841,7 +1841,7 @@
-
+
@@ -1920,7 +1920,7 @@
-
+
@@ -2011,7 +2011,7 @@
-
+
@@ -2041,7 +2041,7 @@
-
+
@@ -2071,7 +2071,7 @@
-
+
@@ -2555,7 +2555,7 @@
-
+
@@ -2641,7 +2641,7 @@
-
+
@@ -2690,13 +2690,13 @@
-
+
-
+
@@ -2717,7 +2717,7 @@
-
+
@@ -2740,13 +2740,13 @@
-
+
-
+
@@ -2767,7 +2767,7 @@
-
+
@@ -2888,7 +2888,7 @@
-
+
@@ -3026,13 +3026,13 @@
-
+
-
+
@@ -3053,7 +3053,7 @@
-
+
@@ -3076,13 +3076,13 @@
-
+
-
+
@@ -3103,7 +3103,7 @@
-
+
@@ -3410,15 +3410,15 @@
-
+
-
+
-
+
@@ -3473,7 +3473,7 @@
-
+
@@ -3492,11 +3492,11 @@
-
+
-
+
@@ -3517,19 +3517,19 @@
-
+
-
+
-
+
-
+
@@ -3548,7 +3548,7 @@
-
+
@@ -3561,7 +3561,7 @@
-
+
@@ -3578,7 +3578,7 @@
-
+
@@ -3597,7 +3597,7 @@
-
+
@@ -3625,7 +3625,7 @@
-
+
@@ -3638,7 +3638,7 @@
-
+
@@ -3649,7 +3649,7 @@
-
+
@@ -3685,11 +3685,11 @@
-
+
-
+
@@ -3704,14 +3704,14 @@
-
+
-
+
@@ -3719,7 +3719,7 @@
-
+
@@ -3734,7 +3734,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd
index 2c1b46e7..c48b5039 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd
@@ -34,14 +34,15 @@
-
-
+
+
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps
index 9c47cd09..1202d465 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps
index 0bdb622e..8768b798 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps
@@ -6,7 +6,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
index 6858b5cd..72a89615 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
@@ -5,7 +5,7 @@
-
+
@@ -705,7 +705,7 @@
-
+
@@ -929,7 +929,7 @@
-
+
@@ -972,7 +972,7 @@
-
+
@@ -1045,7 +1045,7 @@
-
+
@@ -1083,7 +1083,7 @@
-
+
@@ -1095,7 +1095,7 @@
-
+
@@ -1220,7 +1220,7 @@
-
+
@@ -1307,7 +1307,7 @@
-
+
@@ -1698,14 +1698,14 @@
-
+
-
+
@@ -1716,7 +1716,7 @@
-
+
@@ -1750,7 +1750,7 @@
-
+
@@ -1761,13 +1761,13 @@
-
+
-
+
@@ -1783,7 +1783,7 @@
-
+
@@ -1802,7 +1802,7 @@
-
+
@@ -1814,7 +1814,7 @@
-
+
@@ -1843,7 +1843,7 @@
-
+
@@ -3451,7 +3451,7 @@
-
+
@@ -3468,11 +3468,11 @@
-
+
-
+
@@ -3491,7 +3491,7 @@
-
+
@@ -3614,7 +3614,7 @@
-
+
@@ -3684,7 +3684,7 @@
-
+
@@ -4197,11 +4197,11 @@
-
+
-
+
@@ -4353,11 +4353,11 @@
-
+
-
+
@@ -4418,7 +4418,7 @@
-
+
@@ -4502,11 +4502,11 @@
-
+
-
+
@@ -4865,7 +4865,7 @@
-
+
@@ -4916,7 +4916,7 @@
-
+
@@ -5068,7 +5068,7 @@
-
+
@@ -5253,7 +5253,7 @@
-
+
@@ -5560,7 +5560,7 @@
-
+
@@ -5580,7 +5580,7 @@
-
+
@@ -5682,7 +5682,7 @@
-
+
@@ -5707,7 +5707,7 @@
-
+
@@ -5777,14 +5777,14 @@
-
+
-
+
-
+
@@ -5919,7 +5919,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd b/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd
index 0f504f96..5c078361 100644
--- a/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd
+++ b/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd
@@ -30,7 +30,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps
index 5ed81732..e37c0490 100644
--- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps
@@ -5,7 +5,7 @@
-
+
@@ -965,7 +965,7 @@
-
+
@@ -1038,7 +1038,7 @@
-
+
@@ -1049,7 +1049,7 @@
-
+
@@ -1115,7 +1115,7 @@
-
+
@@ -1203,7 +1203,7 @@
-
+
@@ -1211,9 +1211,9 @@
-
+
-
+
@@ -1272,7 +1272,7 @@
-
+
@@ -1280,7 +1280,7 @@
-
+
@@ -1371,11 +1371,11 @@
-
+
-
+
@@ -1383,7 +1383,7 @@
-
+
@@ -1461,7 +1461,7 @@
-
+
@@ -1483,15 +1483,15 @@
-
+
-
+
-
+
@@ -1505,7 +1505,7 @@
-
+
@@ -1516,7 +1516,7 @@
-
+
@@ -1529,7 +1529,7 @@
-
+
@@ -1538,7 +1538,7 @@
-
+
@@ -1581,7 +1581,7 @@
-
+
@@ -1639,7 +1639,7 @@
-
+
@@ -1650,7 +1650,7 @@
-
+
@@ -1742,7 +1742,7 @@
-
+
@@ -1753,7 +1753,7 @@
-
+
@@ -1764,7 +1764,7 @@
-
+
@@ -2147,7 +2147,7 @@
-
+
@@ -2197,7 +2197,7 @@
-
+
@@ -2216,11 +2216,11 @@
-
+
-
+
@@ -2241,19 +2241,19 @@
-
+
-
+
-
+
-
+
@@ -2272,7 +2272,7 @@
-
+
@@ -2285,7 +2285,7 @@
-
+
@@ -2375,7 +2375,7 @@
-
+
@@ -2386,7 +2386,7 @@
-
+
@@ -2443,14 +2443,14 @@
-
+
-
+
@@ -2497,7 +2497,7 @@
-
+
@@ -2524,7 +2524,7 @@
-
+
@@ -2609,13 +2609,13 @@
-
+
-
+
@@ -2675,7 +2675,7 @@
-
+
@@ -2722,7 +2722,7 @@
-
+
@@ -2821,7 +2821,7 @@
-
+
@@ -2888,7 +2888,7 @@
-
+
@@ -3077,14 +3077,14 @@
-
+
-
+
@@ -3106,21 +3106,21 @@
-
+
-
+
-
+
@@ -3137,7 +3137,7 @@
-
+
@@ -3148,7 +3148,7 @@
-
+
@@ -3160,7 +3160,7 @@
-
+
@@ -3190,7 +3190,7 @@
-
+
@@ -3211,7 +3211,7 @@
-
+
@@ -3281,7 +3281,7 @@
-
+
@@ -3296,7 +3296,7 @@
-
+
@@ -3392,7 +3392,7 @@
-
+
@@ -3415,7 +3415,7 @@
-
+
@@ -3435,7 +3435,7 @@
-
+
@@ -3454,7 +3454,7 @@
-
+
@@ -3473,7 +3473,7 @@
-
+
@@ -3494,7 +3494,7 @@
-
+
@@ -3515,7 +3515,7 @@
-
+
@@ -3536,7 +3536,7 @@
-
+
@@ -3557,7 +3557,7 @@
-
+
@@ -3742,7 +3742,7 @@
-
+
@@ -4025,7 +4025,7 @@
-
+
@@ -4048,7 +4048,7 @@
-
+
@@ -4089,7 +4089,7 @@
-
+
@@ -4198,11 +4198,11 @@
-
+
-
+
@@ -4215,11 +4215,11 @@
-
+
-
+
@@ -4230,7 +4230,7 @@
-
+
@@ -4349,7 +4349,7 @@
-
+
@@ -4365,7 +4365,7 @@
-
+
@@ -4375,7 +4375,7 @@
-
+
@@ -4387,7 +4387,7 @@
-
+
@@ -4431,7 +4431,7 @@
-
+
@@ -4486,10 +4486,10 @@
-
+
-
+
@@ -4503,7 +4503,7 @@
-
+
@@ -4602,7 +4602,7 @@
-
+
@@ -4623,7 +4623,7 @@
-
+
@@ -4642,7 +4642,7 @@
-
+
@@ -4650,7 +4650,7 @@
-
+
@@ -4663,14 +4663,14 @@
-
+
-
+
@@ -4687,10 +4687,10 @@
-
+
-
+
@@ -4704,7 +4704,7 @@
-
+
@@ -4715,7 +4715,7 @@
-
+
@@ -4723,7 +4723,7 @@
-
+
@@ -4742,9 +4742,9 @@
-
+
-
+
@@ -4762,7 +4762,7 @@
-
+
@@ -4806,7 +4806,7 @@
-
+
@@ -4820,7 +4820,7 @@
-
+
@@ -4830,9 +4830,9 @@
-
+
-
+
@@ -4868,7 +4868,7 @@
-
+
@@ -4887,7 +4887,7 @@
-
+
@@ -4932,9 +4932,9 @@
-
+
-
+
@@ -4971,7 +4971,7 @@
-
+
@@ -4981,7 +4981,7 @@
-
+
@@ -4993,7 +4993,7 @@
-
+
@@ -5037,7 +5037,7 @@
-
+
@@ -5088,7 +5088,7 @@
-
+
@@ -5109,7 +5109,7 @@
-
+
@@ -5128,7 +5128,7 @@
-
+
@@ -5136,7 +5136,7 @@
-
+
@@ -5149,14 +5149,14 @@
-
+
-
+
@@ -5173,10 +5173,10 @@
-
+
-
+
@@ -5190,7 +5190,7 @@
-
+
@@ -5201,7 +5201,7 @@
-
+
@@ -5209,7 +5209,7 @@
-
+
@@ -5228,9 +5228,9 @@
-
+
-
+
@@ -5256,7 +5256,7 @@
-
+
@@ -5264,7 +5264,7 @@
-
+
@@ -5272,7 +5272,7 @@
-
+
@@ -5296,7 +5296,7 @@
-
+
@@ -5304,7 +5304,7 @@
-
+
@@ -5312,7 +5312,7 @@
-
+
@@ -5320,7 +5320,7 @@
-
+
@@ -5328,7 +5328,7 @@
-
+
@@ -5371,7 +5371,7 @@
-
+
@@ -5406,7 +5406,7 @@
-
+
@@ -5678,7 +5678,7 @@
-
+
@@ -5688,7 +5688,7 @@
-
+
@@ -6573,7 +6573,7 @@
-
+
@@ -7002,7 +7002,7 @@
-
+
@@ -7349,7 +7349,7 @@
-
+
@@ -7384,7 +7384,7 @@
-
+
@@ -7394,7 +7394,7 @@
-
+
@@ -7405,7 +7405,7 @@
-
+
@@ -7445,7 +7445,7 @@
-
+
@@ -7490,7 +7490,7 @@
-
+
@@ -7501,7 +7501,7 @@
-
+
@@ -8352,7 +8352,7 @@
-
+
@@ -8518,7 +8518,7 @@
-
+
@@ -8688,7 +8688,7 @@
-
+
@@ -8707,7 +8707,7 @@
-
+
@@ -8783,7 +8783,7 @@
-
+
@@ -8820,7 +8820,7 @@
-
+
@@ -8920,7 +8920,7 @@
-
+
@@ -9068,7 +9068,7 @@
-
+
@@ -9117,7 +9117,7 @@
-
+
@@ -9242,7 +9242,7 @@
-
+
@@ -9289,7 +9289,7 @@
-
+
@@ -9411,7 +9411,7 @@
-
+
@@ -9645,7 +9645,7 @@
-
+
@@ -9653,7 +9653,7 @@
-
+
@@ -9678,7 +9678,7 @@
-
+
@@ -9691,7 +9691,7 @@
-
+
@@ -9721,7 +9721,7 @@
-
+
@@ -9739,7 +9739,7 @@
-
+
@@ -9768,7 +9768,7 @@
-
+
@@ -9814,13 +9814,13 @@
-
+
-
+
@@ -9852,7 +9852,7 @@
-
+
@@ -9882,7 +9882,7 @@
-
+
@@ -9938,7 +9938,7 @@
-
+
@@ -10011,9 +10011,9 @@
-
+
-
+
@@ -10060,9 +10060,9 @@
-
+
-
+
@@ -10085,10 +10085,10 @@
-
+
-
+
@@ -10125,9 +10125,9 @@
-
+
-
+
@@ -10164,7 +10164,7 @@
-
+
@@ -10278,7 +10278,7 @@
-
+
@@ -10350,7 +10350,7 @@
-
+
@@ -10365,7 +10365,7 @@
-
+
@@ -10449,7 +10449,7 @@
-
+
@@ -10472,7 +10472,7 @@
-
+
@@ -10492,7 +10492,7 @@
-
+
@@ -10511,7 +10511,7 @@
-
+
@@ -10530,7 +10530,7 @@
-
+
@@ -10551,7 +10551,7 @@
-
+
@@ -10572,7 +10572,7 @@
-
+
@@ -10593,7 +10593,7 @@
-
+
@@ -10645,7 +10645,7 @@
-
+
@@ -10726,7 +10726,7 @@
-
+
@@ -10749,7 +10749,7 @@
-
+
@@ -10774,11 +10774,11 @@
-
+
-
+
@@ -10960,7 +10960,7 @@
-
+
@@ -11327,7 +11327,7 @@
-
+
@@ -11499,7 +11499,7 @@
-
+
@@ -11542,13 +11542,13 @@
-
+
-
+
@@ -11585,7 +11585,7 @@
-
+
@@ -11631,11 +11631,11 @@
-
+
-
+
@@ -11663,7 +11663,7 @@
-
+
@@ -11730,7 +11730,7 @@
-
+
@@ -11760,19 +11760,19 @@
-
+
-
+
-
+
-
+
@@ -11791,7 +11791,7 @@
-
+
@@ -11804,7 +11804,7 @@
-
+
@@ -11824,7 +11824,7 @@
-
+
@@ -11841,7 +11841,7 @@
-
+
@@ -11873,21 +11873,21 @@
-
+
-
+
-
+
@@ -11903,7 +11903,7 @@
-
+
@@ -11911,7 +11911,7 @@
-
+
@@ -11923,7 +11923,7 @@
-
+
@@ -11944,13 +11944,13 @@
-
+
-
+
@@ -11976,20 +11976,20 @@
-
+
-
+
-
+
@@ -12014,7 +12014,7 @@
-
+
@@ -12108,11 +12108,11 @@
-
+
-
+
@@ -12219,11 +12219,11 @@
-
+
-
+
@@ -12973,7 +12973,7 @@
-
+
@@ -13091,7 +13091,7 @@
-
+
@@ -13163,7 +13163,7 @@
-
+
@@ -13171,7 +13171,7 @@
-
+
@@ -13295,11 +13295,11 @@
-
+
-
+
@@ -13311,7 +13311,7 @@
-
+
@@ -13412,7 +13412,7 @@
-
+
@@ -13490,7 +13490,7 @@
-
+
@@ -13968,7 +13968,7 @@
-
+
@@ -14993,7 +14993,7 @@
-
+
@@ -15028,7 +15028,7 @@
-
+
@@ -15061,7 +15061,7 @@
-
+
@@ -15197,7 +15197,7 @@
-
+
@@ -15234,7 +15234,7 @@
-
+
@@ -15312,7 +15312,7 @@
-
+
@@ -15346,7 +15346,7 @@
-
+
@@ -15512,7 +15512,7 @@
-
+
@@ -15609,7 +15609,7 @@
-
+
@@ -15706,7 +15706,7 @@
-
+
@@ -15720,7 +15720,7 @@
-
+
@@ -15738,7 +15738,7 @@
-
+
@@ -16021,7 +16021,7 @@
-
+
@@ -16030,7 +16030,7 @@
-
+
@@ -16111,7 +16111,7 @@
-
+
@@ -16119,7 +16119,7 @@
-
+
@@ -16132,7 +16132,7 @@
-
+
@@ -16147,7 +16147,7 @@
-
+
@@ -16156,7 +16156,7 @@
-
+
@@ -16165,7 +16165,7 @@
-
+
@@ -16175,7 +16175,7 @@
-
+
@@ -16187,7 +16187,7 @@
-
+
@@ -16204,7 +16204,7 @@
-
+
@@ -16229,7 +16229,7 @@
-
+
@@ -16425,13 +16425,13 @@
-
+
-
+
@@ -16457,7 +16457,7 @@
-
+
@@ -16474,13 +16474,13 @@
-
+
-
+
@@ -16516,11 +16516,11 @@
-
+
-
+
@@ -16549,13 +16549,13 @@
-
+
-
+
@@ -16589,7 +16589,7 @@
-
+
@@ -16627,7 +16627,7 @@
-
+
@@ -16649,7 +16649,7 @@
-
+
@@ -16663,7 +16663,7 @@
-
+
@@ -16812,7 +16812,7 @@
-
+
@@ -16879,7 +16879,7 @@
-
+
@@ -16946,7 +16946,7 @@
-
+
@@ -17009,7 +17009,7 @@
-
+
@@ -17059,9 +17059,9 @@
-
+
-
+
@@ -17074,7 +17074,7 @@
-
+
@@ -17201,7 +17201,7 @@
-
+
@@ -17282,7 +17282,7 @@
-
+
@@ -17297,7 +17297,7 @@
-
+
@@ -17309,7 +17309,7 @@
-
+
@@ -17327,7 +17327,7 @@
-
+
@@ -17428,7 +17428,7 @@
-
+
@@ -17443,7 +17443,7 @@
-
+
@@ -17456,14 +17456,14 @@
-
+
-
+
@@ -17482,7 +17482,7 @@
-
+
@@ -17540,11 +17540,11 @@
-
+
-
+
@@ -17554,7 +17554,7 @@
-
+
@@ -17582,7 +17582,7 @@
-
+
@@ -17600,7 +17600,7 @@
-
+
@@ -17615,7 +17615,7 @@
-
+
@@ -17630,7 +17630,7 @@
-
+
@@ -17645,7 +17645,7 @@
-
+
@@ -17701,7 +17701,7 @@
-
+
@@ -17716,7 +17716,7 @@
-
+
@@ -17731,7 +17731,7 @@
-
+
@@ -17757,7 +17757,7 @@
-
+
@@ -17775,7 +17775,7 @@
-
+
@@ -17826,7 +17826,7 @@
-
+
@@ -17842,21 +17842,21 @@
-
+
-
+
-
+
@@ -17896,7 +17896,7 @@
-
+
@@ -17910,7 +17910,7 @@
-
+
@@ -17947,7 +17947,7 @@
-
+
@@ -18018,14 +18018,14 @@
-
+
-
+
@@ -18051,7 +18051,7 @@
-
+
@@ -18164,28 +18164,28 @@
-
+
-
+
-
+
-
+
@@ -18195,7 +18195,7 @@
-
+
@@ -18301,7 +18301,7 @@
-
+
@@ -18317,7 +18317,7 @@
-
+
@@ -18336,7 +18336,7 @@
-
+
@@ -18353,7 +18353,7 @@
-
+
@@ -18371,7 +18371,7 @@
-
+
@@ -18380,7 +18380,7 @@
-
+
@@ -18391,7 +18391,7 @@
-
+
@@ -18437,7 +18437,7 @@
-
+
@@ -18447,7 +18447,7 @@
-
+
@@ -18474,7 +18474,7 @@
-
+
@@ -18522,7 +18522,7 @@
-
+
@@ -18550,7 +18550,7 @@
-
+
@@ -18615,7 +18615,7 @@
-
+
@@ -18650,7 +18650,7 @@
-
+
@@ -18694,7 +18694,7 @@
-
+
@@ -19134,7 +19134,7 @@
-
+
@@ -19143,7 +19143,7 @@
-
+
@@ -19159,7 +19159,7 @@
-
+
@@ -19168,7 +19168,7 @@
-
+
@@ -19184,7 +19184,7 @@
-
+
@@ -19252,7 +19252,7 @@
-
+
@@ -19265,7 +19265,7 @@
-
+
@@ -19279,7 +19279,7 @@
-
+
@@ -19525,7 +19525,7 @@
-
+
@@ -19538,7 +19538,7 @@
-
+
@@ -19551,7 +19551,7 @@
-
+
@@ -19564,7 +19564,7 @@
-
+
@@ -19577,7 +19577,7 @@
-
+
@@ -19590,7 +19590,7 @@
-
+
@@ -19600,7 +19600,7 @@
-
+
@@ -19613,7 +19613,7 @@
-
+
@@ -19621,11 +19621,11 @@
-
+
-
+
@@ -19770,7 +19770,7 @@
-
+
@@ -19788,7 +19788,7 @@
-
+
@@ -19799,7 +19799,7 @@
-
+
@@ -19815,7 +19815,7 @@
-
+
@@ -19834,7 +19834,7 @@
-
+
@@ -19854,7 +19854,7 @@
-
+
@@ -19868,7 +19868,7 @@
-
+
@@ -19942,18 +19942,18 @@
-
+
-
+
-
+
@@ -19991,7 +19991,7 @@
-
+
@@ -20004,14 +20004,14 @@
-
+
-
+
-
+
@@ -20034,14 +20034,14 @@
-
+
-
+
-
+
@@ -20064,7 +20064,7 @@
-
+
@@ -20082,7 +20082,7 @@
-
+
@@ -20090,11 +20090,11 @@
-
+
-
+
@@ -20147,7 +20147,7 @@
-
+
@@ -20174,7 +20174,7 @@
-
+
@@ -20193,7 +20193,7 @@
-
+
@@ -20204,7 +20204,7 @@
-
+
@@ -20252,7 +20252,7 @@
-
+
@@ -20266,7 +20266,7 @@
-
+
@@ -20404,7 +20404,7 @@
-
+
@@ -20457,11 +20457,11 @@
-
+
-
+
@@ -20501,7 +20501,7 @@
-
+
@@ -20519,11 +20519,11 @@
-
+
-
+
@@ -20558,11 +20558,11 @@
-
+
-
+
@@ -20586,7 +20586,7 @@
-
+
@@ -20642,7 +20642,7 @@
-
+
@@ -20683,7 +20683,7 @@
-
+
@@ -20749,7 +20749,7 @@
-
+
@@ -20773,11 +20773,11 @@
-
+
-
+
@@ -20786,7 +20786,7 @@
-
+
@@ -20880,7 +20880,7 @@
-
+
@@ -20907,7 +20907,7 @@
-
+
@@ -20926,7 +20926,7 @@
-
+
@@ -20937,7 +20937,7 @@
-
+
@@ -20979,7 +20979,7 @@
-
+
@@ -20993,7 +20993,7 @@
-
+
@@ -21131,7 +21131,7 @@
-
+
@@ -21184,11 +21184,11 @@
-
+
-
+
@@ -21228,7 +21228,7 @@
-
+
@@ -21347,7 +21347,7 @@
-
+
@@ -21469,7 +21469,7 @@
-
+
@@ -21695,11 +21695,11 @@
-
+
-
+
@@ -21726,11 +21726,11 @@
-
+
-
+
@@ -21739,7 +21739,7 @@
-
+
@@ -21803,11 +21803,11 @@
-
+
-
+
@@ -21847,7 +21847,7 @@
-
+
@@ -23964,13 +23964,13 @@
-
+
-
+
@@ -24010,11 +24010,11 @@
-
+
-
+
@@ -24045,21 +24045,21 @@
-
+
-
+
-
+
@@ -24085,7 +24085,7 @@
-
+
@@ -24217,13 +24217,13 @@
-
+
-
+
@@ -24243,7 +24243,7 @@
-
+
@@ -24262,7 +24262,7 @@
-
+
@@ -24282,7 +24282,7 @@
-
+
@@ -24337,21 +24337,21 @@
-
+
-
+
-
+
@@ -24414,7 +24414,7 @@
-
+
@@ -24556,11 +24556,11 @@
-
+
-
+
@@ -24588,7 +24588,7 @@
-
+
@@ -24596,7 +24596,7 @@
-
+
@@ -24726,7 +24726,7 @@
-
+
@@ -24782,21 +24782,21 @@
-
+
-
+
-
+
@@ -24883,7 +24883,7 @@
-
+
@@ -24960,11 +24960,11 @@
-
+
-
+
@@ -25090,21 +25090,21 @@
-
+
-
+
-
+
@@ -25289,11 +25289,11 @@
-
+
-
+
@@ -25562,7 +25562,7 @@
-
+
@@ -26606,7 +26606,7 @@
-
+
@@ -26756,7 +26756,7 @@
-
+
@@ -27007,7 +27007,7 @@
-
+
@@ -27259,7 +27259,7 @@
-
+
@@ -27286,7 +27286,7 @@
-
+
@@ -27315,7 +27315,7 @@
-
+
@@ -27332,7 +27332,7 @@
-
+
@@ -27358,14 +27358,14 @@
-
+
-
+
@@ -27388,7 +27388,7 @@
-
+
@@ -27404,7 +27404,7 @@
-
+
@@ -27460,7 +27460,7 @@
-
+
@@ -27519,7 +27519,7 @@
-
+
@@ -27642,11 +27642,11 @@
-
+
-
+
@@ -27657,7 +27657,7 @@
-
+
@@ -27714,15 +27714,15 @@
-
+
-
+
-
+
@@ -27781,15 +27781,15 @@
-
+
-
+
-
+
@@ -28005,7 +28005,7 @@
-
+
@@ -28097,7 +28097,7 @@
-
+
@@ -28215,7 +28215,7 @@
-
+
@@ -28526,7 +28526,7 @@
-
+
@@ -28811,7 +28811,7 @@
-
+
@@ -28901,7 +28901,7 @@
-
+
@@ -30035,7 +30035,7 @@
-
+
@@ -30139,7 +30139,7 @@
-
+
@@ -30166,7 +30166,7 @@
-
+
@@ -30204,7 +30204,7 @@
-
+
@@ -30242,7 +30242,7 @@
-
+
@@ -30280,7 +30280,7 @@
-
+
@@ -30389,11 +30389,11 @@
-
+
-
+
@@ -30481,11 +30481,11 @@
-
+
-
+
@@ -30604,7 +30604,7 @@
-
+
@@ -30703,7 +30703,7 @@
-
+
@@ -30820,7 +30820,7 @@
-
+
@@ -31093,7 +31093,7 @@
-
+
@@ -31222,7 +31222,7 @@
-
+
@@ -31244,7 +31244,7 @@
-
+
@@ -31262,7 +31262,7 @@
-
+
@@ -31365,7 +31365,7 @@
-
+
@@ -31378,7 +31378,7 @@
-
+
@@ -31396,7 +31396,7 @@
-
+
@@ -31419,7 +31419,7 @@
-
+
@@ -31438,7 +31438,7 @@
-
+
@@ -31511,7 +31511,7 @@
-
+
@@ -31557,7 +31557,7 @@
-
+
@@ -31593,7 +31593,7 @@
-
+
@@ -31627,7 +31627,7 @@
-
+
@@ -31650,7 +31650,7 @@
-
+
@@ -31696,7 +31696,7 @@
-
+
@@ -31725,7 +31725,7 @@
-
+
@@ -31755,7 +31755,7 @@
-
+
@@ -31775,7 +31775,7 @@
-
+
@@ -31785,7 +31785,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd
index 491c6584..faada935 100644
--- a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd
+++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd
@@ -38,7 +38,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
index 0fc8a933..bfc323e7 100644
--- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
@@ -6,7 +6,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
index a903366e..d9b67dc1 100644
--- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
@@ -3,7 +3,7 @@
-
+
@@ -621,7 +621,7 @@
-
+
@@ -705,7 +705,7 @@
-
+
@@ -713,7 +713,7 @@
-
+
@@ -1212,7 +1212,7 @@
-
+
@@ -1224,7 +1224,7 @@
-
+
@@ -1541,7 +1541,7 @@
-
+
@@ -1616,14 +1616,14 @@
-
+
-
+
@@ -1675,10 +1675,10 @@
-
+
-
+
@@ -1697,10 +1697,10 @@
-
+
-
+
@@ -1799,7 +1799,7 @@
-
+
@@ -1990,7 +1990,7 @@
-
+
@@ -2017,7 +2017,7 @@
-
+
@@ -2098,7 +2098,7 @@
-
+
@@ -2117,7 +2117,7 @@
-
+
@@ -2197,7 +2197,7 @@
-
+
@@ -2216,7 +2216,7 @@
-
+
@@ -2276,10 +2276,10 @@
-
+
-
+
@@ -2325,7 +2325,7 @@
-
+
@@ -2374,7 +2374,7 @@
-
+
@@ -2572,7 +2572,7 @@
-
+
@@ -2631,7 +2631,7 @@
-
+
@@ -2690,7 +2690,7 @@
-
+
@@ -2749,7 +2749,7 @@
-
+
@@ -2808,7 +2808,7 @@
-
+
@@ -2867,7 +2867,7 @@
-
+
@@ -2926,7 +2926,7 @@
-
+
@@ -2985,7 +2985,7 @@
-
+
@@ -3044,7 +3044,7 @@
-
+
@@ -3103,7 +3103,7 @@
-
+
@@ -3166,7 +3166,7 @@
-
+
@@ -3515,7 +3515,7 @@
-
+
@@ -3539,7 +3539,7 @@
-
+
@@ -3557,20 +3557,20 @@
-
+
-
+
-
+
@@ -3766,7 +3766,7 @@
-
+
@@ -3822,7 +3822,7 @@
-
+
@@ -3865,7 +3865,7 @@
-
+
@@ -3927,7 +3927,7 @@
-
+
@@ -4006,7 +4006,7 @@
-
+
@@ -4078,7 +4078,7 @@
-
+
@@ -4115,7 +4115,7 @@
-
+
@@ -4172,7 +4172,7 @@
-
+
@@ -4207,7 +4207,7 @@
-
+
@@ -4226,7 +4226,7 @@
-
+
@@ -4245,7 +4245,7 @@
-
+
@@ -4347,7 +4347,7 @@
-
+
@@ -4384,7 +4384,7 @@
-
+
@@ -4398,7 +4398,7 @@
-
+
@@ -4540,7 +4540,7 @@
-
+
@@ -4562,7 +4562,7 @@
-
+
@@ -4629,7 +4629,7 @@
-
+
@@ -4646,10 +4646,10 @@
-
+
-
+
@@ -4700,14 +4700,14 @@
-
+
-
+
diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd b/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd
index bc760059..c52da0d0 100644
--- a/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd
+++ b/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd
@@ -30,7 +30,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps
index ea61cc53..33db5595 100644
--- a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps
+++ b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps
@@ -5,7 +5,7 @@
-
+
@@ -441,7 +441,7 @@
-
+
@@ -471,7 +471,7 @@
-
+
@@ -501,7 +501,7 @@
-
+
@@ -828,7 +828,7 @@
-
+
@@ -963,13 +963,13 @@
-
+
-
+
@@ -990,7 +990,7 @@
-
+
@@ -1012,14 +1012,14 @@
-
+
-
+
@@ -1040,7 +1040,7 @@
-
+
@@ -1193,7 +1193,7 @@
-
+
@@ -1220,7 +1220,7 @@
-
+
@@ -1296,10 +1296,10 @@
-
+
-
+
@@ -1373,7 +1373,7 @@
-
+
@@ -1406,7 +1406,7 @@
-
+
@@ -1481,15 +1481,15 @@
-
+
-
+
-
+
@@ -1551,7 +1551,7 @@
-
+
@@ -1674,7 +1674,7 @@
-
+
@@ -1753,7 +1753,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd
index d908ee0f..b5be1e5e 100644
--- a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd
+++ b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd
@@ -18,7 +18,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps
index fcdfd99e..9e266fce 100644
--- a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps
+++ b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps
@@ -3,7 +3,7 @@
-
+
@@ -232,7 +232,7 @@
-
+
@@ -302,14 +302,14 @@
-
+
-
+
-
+
@@ -396,7 +396,7 @@
-
+
@@ -686,7 +686,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd
index a8cb3a8b..8a49c2de 100644
--- a/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd
+++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd
@@ -23,7 +23,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps
index 545d1675..16895f95 100644
--- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps
+++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps
@@ -3,7 +3,7 @@
-
+
@@ -376,13 +376,13 @@
-
+
-
+
@@ -467,7 +467,7 @@
-
+
@@ -505,11 +505,11 @@
-
+
-
+
@@ -614,7 +614,7 @@
-
+
@@ -915,14 +915,14 @@
-
+
-
+
@@ -947,7 +947,7 @@
-
+
@@ -986,7 +986,7 @@
-
+
@@ -1084,7 +1084,7 @@
-
+
@@ -1612,7 +1612,7 @@
-
+
@@ -1664,7 +1664,7 @@
-
+
@@ -1793,7 +1793,7 @@
-
+
@@ -1883,7 +1883,7 @@
-
+
@@ -1910,7 +1910,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps
index 60065e2b..4ac46fef 100644
--- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps
+++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps
@@ -4,7 +4,7 @@
-
+
@@ -350,7 +350,7 @@
-
+
@@ -381,7 +381,7 @@
-
+
@@ -404,7 +404,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps
index f9dda4f0..b4dde090 100644
--- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps
+++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps
@@ -5,7 +5,7 @@
-
+
@@ -796,19 +796,19 @@
-
+
-
+
-
+
-
+
@@ -1409,9 +1409,9 @@
-
+
-
+
@@ -1475,7 +1475,7 @@
-
+
@@ -1488,7 +1488,7 @@
-
+
@@ -1525,7 +1525,7 @@
-
+
@@ -1543,13 +1543,13 @@
-
+
-
+
@@ -1653,7 +1653,7 @@
-
+
@@ -2674,7 +2674,7 @@
-
+
@@ -2718,7 +2718,7 @@
-
+
@@ -2739,7 +2739,7 @@
-
+
@@ -2758,7 +2758,7 @@
-
+
@@ -2768,7 +2768,7 @@
-
+
@@ -2784,7 +2784,7 @@
-
+
@@ -2850,7 +2850,7 @@
-
+
@@ -2908,7 +2908,7 @@
-
+
@@ -2974,7 +2974,7 @@
-
+
@@ -3039,7 +3039,7 @@
-
+
@@ -3047,7 +3047,7 @@
-
+
@@ -3069,7 +3069,7 @@
-
+
@@ -3089,7 +3089,7 @@
-
+
@@ -3210,7 +3210,7 @@
-
+
@@ -3220,7 +3220,7 @@
-
+
@@ -3246,7 +3246,7 @@
-
+
@@ -3258,7 +3258,7 @@
-
+
@@ -3321,7 +3321,7 @@
-
+
@@ -3329,7 +3329,7 @@
-
+
@@ -3343,7 +3343,7 @@
-
+
@@ -3357,7 +3357,7 @@
-
+
@@ -3371,7 +3371,7 @@
-
+
@@ -3411,7 +3411,7 @@
-
+
@@ -3423,7 +3423,7 @@
-
+
@@ -3431,7 +3431,7 @@
-
+
@@ -3439,7 +3439,7 @@
-
+
@@ -3447,7 +3447,7 @@
-
+
@@ -3507,7 +3507,7 @@
-
+
@@ -3525,7 +3525,7 @@
-
+
@@ -3543,7 +3543,7 @@
-
+
@@ -3593,7 +3593,7 @@
-
+
@@ -3622,7 +3622,7 @@
-
+
@@ -3635,7 +3635,7 @@
-
+
@@ -3647,13 +3647,13 @@
-
+
-
+
@@ -3676,7 +3676,7 @@
-
+
@@ -3950,7 +3950,7 @@
-
+
@@ -3963,7 +3963,7 @@
-
+
@@ -3976,7 +3976,7 @@
-
+
@@ -3991,7 +3991,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd
index d6ee483f..82623697 100644
--- a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd
+++ b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd
@@ -19,7 +19,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps
index c463314f..3324a227 100644
--- a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps
+++ b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd
index 53ac75ae..d2e660fa 100644
--- a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd
+++ b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd
@@ -17,7 +17,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps
index 74024b42..517473a9 100644
--- a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps
+++ b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd b/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd
index ee7d52b0..05e1fc26 100644
--- a/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd
+++ b/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd
@@ -29,14 +29,16 @@
-
-
+
+
+
+
diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps
index f02cb457..3d6a85d6 100644
--- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps
+++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps
@@ -234,7 +234,7 @@
-
+
@@ -264,7 +264,7 @@
-
+
@@ -288,7 +288,7 @@
-
+
@@ -309,7 +309,7 @@
-
+
@@ -330,7 +330,7 @@
-
+
@@ -351,7 +351,7 @@
-
+
@@ -375,7 +375,7 @@
-
+
@@ -398,7 +398,7 @@
-
+
@@ -431,7 +431,7 @@
-
+
@@ -458,7 +458,7 @@
-
+
@@ -494,7 +494,7 @@
-
+
@@ -530,7 +530,7 @@
-
+
@@ -569,7 +569,7 @@
-
+
@@ -580,7 +580,7 @@
-
+
@@ -595,7 +595,7 @@
-
+
@@ -627,7 +627,7 @@
-
+
@@ -639,7 +639,7 @@
-
+
@@ -660,7 +660,7 @@
-
+
@@ -732,7 +732,7 @@
-
+
@@ -743,7 +743,7 @@
-
+
@@ -758,7 +758,7 @@
-
+
@@ -769,7 +769,7 @@
-
+
@@ -784,7 +784,7 @@
-
+
@@ -815,7 +815,7 @@
-
+
@@ -835,7 +835,7 @@
-
+
@@ -860,7 +860,7 @@
-
+
@@ -880,7 +880,7 @@
-
+
@@ -1003,7 +1003,7 @@
-
+
@@ -1014,7 +1014,7 @@
-
+
@@ -1029,7 +1029,7 @@
-
+
@@ -1040,7 +1040,7 @@
-
+
@@ -1055,7 +1055,7 @@
-
+
@@ -1066,7 +1066,7 @@
-
+
@@ -1081,7 +1081,7 @@
-
+
@@ -1116,7 +1116,7 @@
-
+
@@ -1132,7 +1132,7 @@
-
+
@@ -1156,7 +1156,7 @@
-
+
@@ -1180,7 +1180,7 @@
-
+
@@ -1204,7 +1204,7 @@
-
+
@@ -1228,13 +1228,13 @@
-
+
-
+
@@ -1253,13 +1253,13 @@
-
+
-
+
@@ -1305,7 +1305,7 @@
-
+
@@ -1316,7 +1316,7 @@
-
+
@@ -1331,7 +1331,7 @@
-
+
@@ -1363,7 +1363,7 @@
-
+
@@ -1387,7 +1387,7 @@
-
+
@@ -1407,7 +1407,7 @@
-
+
@@ -1617,7 +1617,7 @@
-
+
@@ -1628,7 +1628,7 @@
-
+
@@ -1643,7 +1643,7 @@
-
+
@@ -1654,7 +1654,7 @@
-
+
@@ -1669,7 +1669,7 @@
-
+
@@ -1680,7 +1680,7 @@
-
+
@@ -1695,7 +1695,7 @@
-
+
@@ -1706,7 +1706,7 @@
-
+
@@ -1721,7 +1721,7 @@
-
+
@@ -1732,7 +1732,7 @@
-
+
@@ -1747,7 +1747,7 @@
-
+
@@ -1779,7 +1779,7 @@
-
+
@@ -1799,7 +1799,7 @@
-
+
@@ -1819,7 +1819,7 @@
-
+
@@ -1839,7 +1839,7 @@
-
+
@@ -1866,7 +1866,7 @@
-
+
@@ -1887,7 +1887,7 @@
-
+
@@ -2054,7 +2054,7 @@
-
+
@@ -2067,7 +2067,7 @@
-
+
@@ -2081,7 +2081,7 @@
-
+
@@ -2093,7 +2093,7 @@
-
+
@@ -2107,7 +2107,7 @@
-
+
@@ -2118,7 +2118,7 @@
-
+
@@ -2133,7 +2133,7 @@
-
+
@@ -2144,7 +2144,7 @@
-
+
@@ -2159,7 +2159,7 @@
-
+
@@ -2194,7 +2194,7 @@
-
+
@@ -2210,7 +2210,7 @@
-
+
@@ -2236,7 +2236,7 @@
-
+
@@ -2260,7 +2260,7 @@
-
+
@@ -2284,12 +2284,12 @@
-
+
-
+
@@ -2312,7 +2312,7 @@
-
+
@@ -2330,7 +2330,7 @@
-
+
@@ -2354,12 +2354,12 @@
-
+
-
+
@@ -2382,7 +2382,7 @@
-
+
@@ -2400,7 +2400,7 @@
-
+
@@ -2424,12 +2424,12 @@
-
+
-
+
@@ -2452,13 +2452,13 @@
-
+
-
+
@@ -2477,13 +2477,13 @@
-
+
-
+
@@ -3165,7 +3165,7 @@
-
+
@@ -3201,7 +3201,7 @@
-
+
@@ -3464,7 +3464,7 @@
-
+
@@ -3472,7 +3472,7 @@
-
+
@@ -3482,7 +3482,7 @@
-
+
@@ -3490,7 +3490,7 @@
-
+
@@ -3633,7 +3633,7 @@
-
+
@@ -3641,7 +3641,7 @@
-
+
@@ -3656,7 +3656,7 @@
-
+
@@ -3675,7 +3675,7 @@
-
+
@@ -3683,7 +3683,7 @@
-
+
@@ -3695,17 +3695,17 @@
-
+
-
+
-
+
@@ -3717,7 +3717,7 @@
-
+
@@ -3731,17 +3731,17 @@
-
+
-
+
-
+
@@ -3763,7 +3763,7 @@
-
+
@@ -4757,7 +4757,7 @@
-
+
@@ -4770,7 +4770,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps
index 67223807..efd162c6 100644
--- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps
+++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps
@@ -162,7 +162,7 @@
-
+
@@ -179,7 +179,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps
index b4e78ca1..621f2e1f 100644
--- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps
+++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps
@@ -334,7 +334,7 @@
-
+
@@ -364,7 +364,7 @@
-
+
@@ -394,7 +394,7 @@
-
+
@@ -1116,7 +1116,7 @@
-
+
@@ -2484,7 +2484,7 @@
-
+
@@ -2495,7 +2495,7 @@
-
+
@@ -3030,7 +3030,7 @@
-
+
@@ -3041,7 +3041,7 @@
-
+
@@ -3088,7 +3088,7 @@
-
+
@@ -3101,7 +3101,7 @@
-
+
@@ -3249,7 +3249,7 @@
-
+
@@ -3260,7 +3260,7 @@
-
+
@@ -3376,11 +3376,11 @@
-
+
-
+
@@ -3501,11 +3501,11 @@
-
+
-
+
@@ -3551,7 +3551,7 @@
-
+
@@ -3801,11 +3801,11 @@
-
+
-
+
@@ -4008,11 +4008,11 @@
-
+
-
+
@@ -4189,7 +4189,7 @@
-
+
@@ -4199,7 +4199,7 @@
-
+
@@ -4210,7 +4210,7 @@
-
+
@@ -4218,7 +4218,7 @@
-
+
@@ -4268,7 +4268,7 @@
-
+
@@ -4276,7 +4276,7 @@
-
+
@@ -4462,7 +4462,7 @@
-
+
@@ -4472,7 +4472,7 @@
-
+
@@ -4483,7 +4483,7 @@
-
+
@@ -4491,7 +4491,7 @@
-
+
@@ -4541,7 +4541,7 @@
-
+
@@ -4549,7 +4549,7 @@
-
+
@@ -4731,7 +4731,7 @@
-
+
@@ -4947,7 +4947,7 @@
-
+
@@ -4960,7 +4960,7 @@
-
+
@@ -5177,7 +5177,7 @@
-
+
@@ -5356,7 +5356,7 @@
-
+
@@ -5485,7 +5485,7 @@
-
+
@@ -5649,7 +5649,7 @@
-
+
@@ -5887,7 +5887,7 @@
-
+
@@ -5916,7 +5916,7 @@
-
+
@@ -6310,11 +6310,11 @@
-
+
-
+
@@ -6350,11 +6350,11 @@
-
+
-
+
@@ -6365,7 +6365,7 @@
-
+
@@ -6380,7 +6380,7 @@
-
+
@@ -6409,11 +6409,11 @@
-
+
-
+
@@ -6440,7 +6440,7 @@
-
+
@@ -6666,11 +6666,11 @@
-
+
-
+
@@ -6706,11 +6706,11 @@
-
+
-
+
@@ -6721,7 +6721,7 @@
-
+
@@ -6736,7 +6736,7 @@
-
+
@@ -6765,11 +6765,11 @@
-
+
-
+
@@ -6796,7 +6796,7 @@
-
+
@@ -7141,7 +7141,7 @@
-
+
@@ -7187,7 +7187,7 @@
-
+
@@ -7217,7 +7217,7 @@
-
+
@@ -7682,7 +7682,7 @@
-
+
@@ -7766,7 +7766,7 @@
-
+
@@ -8207,7 +8207,7 @@
-
+
@@ -8263,7 +8263,7 @@
-
+
@@ -8315,7 +8315,7 @@
-
+
@@ -8364,7 +8364,7 @@
-
+
@@ -8545,7 +8545,7 @@
-
+
@@ -8713,7 +8713,7 @@
-
+
@@ -9091,7 +9091,7 @@
-
+
@@ -9147,7 +9147,7 @@
-
+
@@ -9182,7 +9182,7 @@
-
+
@@ -9677,7 +9677,7 @@
-
+
@@ -9761,7 +9761,7 @@
-
+
@@ -10232,7 +10232,7 @@
-
+
@@ -10288,7 +10288,7 @@
-
+
@@ -10340,7 +10340,7 @@
-
+
@@ -10389,7 +10389,7 @@
-
+
@@ -10559,7 +10559,7 @@
-
+
@@ -10722,7 +10722,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd b/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd
index 4114ad88..494d96c7 100644
--- a/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd
+++ b/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd
@@ -18,7 +18,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps b/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps
index a6eb6f8a..916e4428 100644
--- a/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps
+++ b/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps
index 57bce355..946ffa29 100644
--- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps
+++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps
@@ -359,7 +359,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl
index 5709d667..c5c99f1b 100644
--- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl
+++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl
@@ -23,12 +23,12 @@
-
+
-
+
-
+
@@ -75,16 +75,16 @@
-
+
-
+
-
+
diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl
index ae4ee041..3c1d78c3 100644
--- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl
+++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl
@@ -23,12 +23,12 @@
-
+
-
+
-
+
@@ -76,16 +76,16 @@
-
+
-
+
-
+
diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps
index 266fc5b1..fe036468 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps
@@ -5,7 +5,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps
index 80d7f41b..46556f84 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
index 4d209b39..20b0638a 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl
index 39065cd5..ab53b6e6 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl
@@ -23,12 +23,12 @@
-
+
-
+
-
+
@@ -74,16 +74,16 @@
-
+
-
+
-
+
diff --git a/samples/fitch/languages/samples.fitch/models/constraints.mps b/samples/fitch/languages/samples.fitch/models/constraints.mps
index c09d8733..d1934ce9 100644
--- a/samples/fitch/languages/samples.fitch/models/constraints.mps
+++ b/samples/fitch/languages/samples.fitch/models/constraints.mps
@@ -426,7 +426,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch/models/editor.mps b/samples/fitch/languages/samples.fitch/models/editor.mps
index fc9875ae..b05f2cc4 100644
--- a/samples/fitch/languages/samples.fitch/models/editor.mps
+++ b/samples/fitch/languages/samples.fitch/models/editor.mps
@@ -292,7 +292,7 @@
-
+
@@ -399,7 +399,7 @@
-
+
@@ -427,7 +427,7 @@
-
+
@@ -523,7 +523,7 @@
-
+
@@ -560,7 +560,7 @@
-
+
@@ -746,7 +746,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch/samples.fitch.mpl b/samples/fitch/languages/samples.fitch/samples.fitch.mpl
index 03edbde3..b3b87c88 100644
--- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl
+++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl
@@ -23,12 +23,12 @@
-
+
-
+
-
+
@@ -75,18 +75,18 @@
-
+
-
+
-
+
diff --git a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps
index e72a79e2..675bdcb4 100644
--- a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps
+++ b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps
@@ -4,7 +4,7 @@
-
+
@@ -409,7 +409,7 @@
-
+
@@ -425,7 +425,7 @@
-
+
diff --git a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps
index cc0a3b76..910e17a4 100644
--- a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps
+++ b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps
@@ -4,7 +4,7 @@
-
+
@@ -202,7 +202,7 @@
-
+
@@ -218,7 +218,7 @@
-
+
diff --git a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps
index 67664183..03c0fb8b 100644
--- a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps
+++ b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps
@@ -4,7 +4,7 @@
-
+
@@ -576,7 +576,7 @@
-
+
@@ -592,7 +592,7 @@
-
+
diff --git a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd
index d6ceeab5..20f3dedd 100644
--- a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd
+++ b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd
@@ -22,7 +22,7 @@
-
+
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps
index 1c4e8ba0..023fc57c 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps
@@ -349,7 +349,7 @@
-
+
@@ -384,7 +384,7 @@
-
+
@@ -397,7 +397,7 @@
-
+
@@ -429,7 +429,7 @@
-
+
@@ -491,7 +491,7 @@
-
+
@@ -505,7 +505,7 @@
-
+
@@ -523,7 +523,7 @@
-
+
@@ -545,7 +545,7 @@
-
+
@@ -559,7 +559,7 @@
-
+
@@ -572,7 +572,7 @@
-
+
@@ -590,7 +590,7 @@
-
+
@@ -603,7 +603,7 @@
-
+
@@ -621,7 +621,7 @@
-
+
@@ -648,7 +648,7 @@
-
+
@@ -669,7 +669,7 @@
-
+
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps
index 8ce04dce..27e34a31 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps
@@ -336,7 +336,7 @@
-
+
@@ -1855,7 +1855,7 @@
-
+
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
index 0a0c1c92..7bd9d07c 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
@@ -3,7 +3,7 @@
-
+
@@ -3285,7 +3285,7 @@
-
+
@@ -4092,11 +4092,11 @@
-
+
-
+
@@ -4169,11 +4169,11 @@
-
+
-
+
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
index ad9673ee..5c01a2f1 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
+++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
@@ -41,16 +41,16 @@
-
+
-
+
-
+
diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps
index 953a73d4..a81f99b1 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps
@@ -4,7 +4,7 @@
-
+
@@ -723,7 +723,7 @@
-
+
@@ -739,7 +739,7 @@
-
+
diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd
index be414c0e..b38bacad 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd
@@ -19,7 +19,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
index 6a221bd5..e56023ee 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
@@ -36,9 +36,9 @@
-
+
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps
index 34e37253..9e85ae7a 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps
@@ -1251,7 +1251,7 @@
-
+
@@ -6572,7 +6572,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
index b0123141..231d127a 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
@@ -7,10 +7,10 @@
-
+
-
+
@@ -4366,7 +4366,7 @@
-
+
@@ -6960,7 +6960,7 @@
-
+
@@ -6977,7 +6977,7 @@
-
+
@@ -13289,7 +13289,7 @@
-
+
@@ -14296,7 +14296,7 @@
-
+
@@ -19425,7 +19425,7 @@
-
+
@@ -19565,7 +19565,7 @@
-
+
@@ -19648,7 +19648,7 @@
-
+
@@ -19778,7 +19778,7 @@
-
+
@@ -21528,7 +21528,7 @@
-
+
@@ -21740,7 +21740,7 @@
-
+
@@ -21752,11 +21752,11 @@
-
+
-
+
@@ -21829,7 +21829,7 @@
-
+
@@ -21857,7 +21857,7 @@
-
+
@@ -21872,13 +21872,13 @@
-
+
-
+
@@ -21890,7 +21890,7 @@
-
+
@@ -21910,7 +21910,7 @@
-
+
@@ -21919,7 +21919,7 @@
-
+
@@ -21928,7 +21928,7 @@
-
+
@@ -21961,7 +21961,7 @@
-
+
@@ -21969,7 +21969,7 @@
-
+
@@ -21981,7 +21981,7 @@
-
+
@@ -22087,7 +22087,7 @@
-
+
@@ -22113,7 +22113,7 @@
-
+
@@ -22147,7 +22147,7 @@
-
+
@@ -22462,7 +22462,7 @@
-
+
@@ -22707,7 +22707,7 @@
-
+
@@ -22720,11 +22720,11 @@
-
+
-
+
@@ -22735,11 +22735,11 @@
-
+
-
+
@@ -22803,7 +22803,7 @@
-
+
@@ -22920,7 +22920,7 @@
-
+
@@ -22941,7 +22941,7 @@
-
+
@@ -22968,7 +22968,7 @@
-
+
@@ -22984,7 +22984,7 @@
-
+
@@ -23015,7 +23015,7 @@
-
+
@@ -23078,7 +23078,7 @@
-
+
@@ -23086,7 +23086,7 @@
-
+
@@ -23100,7 +23100,7 @@
-
+
@@ -23293,7 +23293,7 @@
-
+
@@ -23323,7 +23323,7 @@
-
+
@@ -23339,7 +23339,7 @@
-
+
@@ -23355,7 +23355,7 @@
-
+
@@ -23368,7 +23368,7 @@
-
+
@@ -23378,7 +23378,7 @@
-
+
@@ -23404,7 +23404,7 @@
-
+
@@ -23444,7 +23444,7 @@
-
+
@@ -23475,7 +23475,7 @@
-
+
@@ -23484,7 +23484,7 @@
-
+
@@ -23886,7 +23886,7 @@
-
+
@@ -24027,7 +24027,7 @@
-
+
@@ -28066,7 +28066,7 @@
-
+
@@ -28240,7 +28240,7 @@
-
+
@@ -28293,7 +28293,7 @@
-
+
@@ -28577,7 +28577,7 @@
-
+
@@ -28690,7 +28690,7 @@
-
+
@@ -28725,7 +28725,7 @@
-
+
@@ -28806,7 +28806,7 @@
-
+
@@ -29484,14 +29484,14 @@
-
+
-
+
@@ -29623,7 +29623,7 @@
-
+
@@ -29747,14 +29747,14 @@
-
+
-
+
@@ -29767,7 +29767,7 @@
-
+
@@ -29794,7 +29794,7 @@
-
+
@@ -29805,7 +29805,7 @@
-
+
@@ -29898,7 +29898,7 @@
-
+
@@ -30000,7 +30000,7 @@
-
+
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 571a2e12..1716c026 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
@@ -24,7 +24,7 @@
-
+
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps
index fcb8c1f0..d3862cb5 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps
@@ -7,7 +7,7 @@
-
+
@@ -828,7 +828,7 @@
-
+
@@ -5338,7 +5338,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps
index 09d2ec4c..594b2242 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps
@@ -5,7 +5,7 @@
-
+
@@ -176,7 +176,7 @@
-
+
@@ -192,7 +192,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps
index acc3dd86..6c839326 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps
@@ -5,7 +5,7 @@
-
+
@@ -179,7 +179,7 @@
-
+
@@ -195,7 +195,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps
index d8d3a9e9..1069c9d2 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps
@@ -8,7 +8,7 @@
-
+
@@ -207,7 +207,7 @@
-
+
@@ -223,7 +223,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps
index e5218427..98b6441e 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps
@@ -475,7 +475,7 @@
-
+
@@ -689,7 +689,7 @@
-
+
@@ -919,7 +919,7 @@
-
+
@@ -1047,7 +1047,7 @@
-
+
@@ -1177,7 +1177,7 @@
-
+
@@ -1493,7 +1493,7 @@
-
+
@@ -1531,7 +1531,7 @@
-
+
@@ -1583,7 +1583,7 @@
-
+
@@ -1631,7 +1631,7 @@
-
+
@@ -1685,7 +1685,7 @@
-
+
@@ -1729,7 +1729,7 @@
-
+
@@ -1786,7 +1786,7 @@
-
+
@@ -1839,7 +1839,7 @@
-
+
@@ -1888,7 +1888,7 @@
-
+
@@ -1926,7 +1926,7 @@
-
+
@@ -1978,7 +1978,7 @@
-
+
@@ -2026,7 +2026,7 @@
-
+
@@ -2080,7 +2080,7 @@
-
+
@@ -2123,7 +2123,7 @@
-
+
@@ -2180,7 +2180,7 @@
-
+
@@ -2233,7 +2233,7 @@
-
+
@@ -2276,7 +2276,7 @@
-
+
@@ -2312,7 +2312,7 @@
-
+
@@ -2348,7 +2348,7 @@
-
+
@@ -2409,7 +2409,7 @@
-
+
@@ -2467,7 +2467,7 @@
-
+
@@ -2521,7 +2521,7 @@
-
+
@@ -2583,7 +2583,7 @@
-
+
@@ -2657,7 +2657,7 @@
-
+
@@ -2709,7 +2709,7 @@
-
+
@@ -2767,7 +2767,7 @@
-
+
@@ -3821,7 +3821,7 @@
-
+
@@ -4031,7 +4031,7 @@
-
+
@@ -7371,7 +7371,7 @@
-
+
@@ -7823,7 +7823,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps
index c9e42cf8..9f365271 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps
@@ -4,7 +4,7 @@
-
+
@@ -179,7 +179,7 @@
-
+
@@ -195,7 +195,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps
index be7a165c..4649b6fb 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps
@@ -4,7 +4,7 @@
-
+
@@ -178,7 +178,7 @@
-
+
@@ -194,7 +194,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps
index 18c7c92a..6830f991 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps
@@ -4,7 +4,7 @@
-
+
@@ -178,7 +178,7 @@
-
+
@@ -194,7 +194,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps
index 09459485..06892f2c 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps
@@ -4,7 +4,7 @@
-
+
@@ -178,7 +178,7 @@
-
+
@@ -194,7 +194,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.codeAnal.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.codeAnal.mps
index 22b1d20e..9d85393e 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.codeAnal.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.codeAnal.mps
@@ -742,14 +742,14 @@
-
+
-
+
@@ -766,14 +766,14 @@
-
+
-
+
@@ -822,10 +822,10 @@
-
+
-
+
@@ -843,7 +843,7 @@
-
+
@@ -865,7 +865,7 @@
-
+
@@ -1132,7 +1132,7 @@
-
+
@@ -1147,7 +1147,7 @@
-
+
@@ -1162,7 +1162,7 @@
-
+
@@ -1177,7 +1177,7 @@
-
+
@@ -1192,7 +1192,7 @@
-
+
@@ -1207,7 +1207,7 @@
-
+
@@ -1440,7 +1440,7 @@
-
+
@@ -1499,13 +1499,13 @@
-
+
-
+
@@ -1517,7 +1517,7 @@
-
+
@@ -1795,7 +1795,7 @@
-
+
@@ -2067,7 +2067,7 @@
-
+
@@ -2129,7 +2129,7 @@
-
+
@@ -2285,7 +2285,7 @@
-
+
@@ -2387,7 +2387,7 @@
-
+
@@ -2708,7 +2708,7 @@
-
+
@@ -2951,7 +2951,7 @@
-
+
@@ -3053,7 +3053,7 @@
-
+
@@ -3548,7 +3548,7 @@
-
+
@@ -4041,7 +4041,7 @@
-
+
@@ -4073,7 +4073,7 @@
-
+
@@ -4105,7 +4105,7 @@
-
+
@@ -4125,7 +4125,7 @@
-
+
@@ -5030,7 +5030,7 @@
-
+
@@ -5128,7 +5128,7 @@
-
+
@@ -5492,7 +5492,7 @@
-
+
@@ -5976,7 +5976,7 @@
-
+
@@ -5999,7 +5999,7 @@
-
+
@@ -6039,7 +6039,7 @@
-
+
@@ -6062,7 +6062,7 @@
-
+
@@ -6101,9 +6101,9 @@
-
+
-
+
@@ -6183,7 +6183,7 @@
-
+
@@ -6234,7 +6234,7 @@
-
+
@@ -6248,7 +6248,7 @@
-
+
@@ -6269,7 +6269,7 @@
-
+
@@ -6278,7 +6278,7 @@
-
+
@@ -6349,13 +6349,13 @@
-
+
-
+
@@ -6400,7 +6400,7 @@
-
+
@@ -6431,7 +6431,7 @@
-
+
@@ -6469,7 +6469,7 @@
-
+
@@ -6477,7 +6477,7 @@
-
+
@@ -6681,7 +6681,7 @@
-
+
@@ -7581,7 +7581,7 @@
-
+
@@ -8187,9 +8187,9 @@
-
+
-
+
@@ -8205,7 +8205,7 @@
-
+
@@ -8229,7 +8229,7 @@
-
+
@@ -8237,7 +8237,7 @@
-
+
@@ -8302,7 +8302,7 @@
-
+
@@ -8393,7 +8393,7 @@
-
+
@@ -8549,7 +8549,7 @@
-
+
@@ -8572,7 +8572,7 @@
-
+
@@ -8612,7 +8612,7 @@
-
+
@@ -8635,7 +8635,7 @@
-
+
@@ -8683,9 +8683,9 @@
-
+
-
+
@@ -8706,7 +8706,7 @@
-
+
@@ -8722,13 +8722,13 @@
-
+
-
+
@@ -8823,13 +8823,13 @@
-
+
-
+
@@ -8847,7 +8847,7 @@
-
+
@@ -8858,7 +8858,7 @@
-
+
@@ -8868,7 +8868,7 @@
-
+
@@ -9294,13 +9294,13 @@
-
+
-
+
@@ -9339,13 +9339,13 @@
-
+
-
+
@@ -9375,7 +9375,7 @@
-
+
@@ -9390,7 +9390,7 @@
-
+
@@ -9491,7 +9491,7 @@
-
+
@@ -9517,7 +9517,7 @@
-
+
@@ -9540,7 +9540,7 @@
-
+
@@ -9566,7 +9566,7 @@
-
+
@@ -9941,7 +9941,7 @@
-
+
@@ -10123,7 +10123,7 @@
-
+
@@ -10141,7 +10141,7 @@
-
+
@@ -10156,7 +10156,7 @@
-
+
@@ -10288,9 +10288,9 @@
-
+
-
+
@@ -10329,7 +10329,7 @@
-
+
@@ -10380,7 +10380,7 @@
-
+
@@ -10389,7 +10389,7 @@
-
+
@@ -10577,7 +10577,7 @@
-
+
@@ -10686,7 +10686,7 @@
-
+
@@ -10708,7 +10708,7 @@
-
+
@@ -10947,7 +10947,7 @@
-
+
@@ -10979,7 +10979,7 @@
-
+
@@ -11677,7 +11677,7 @@
-
+
@@ -11714,7 +11714,7 @@
-
+
@@ -12025,7 +12025,7 @@
-
+
@@ -12088,7 +12088,7 @@
-
+
@@ -12598,7 +12598,7 @@
-
+
@@ -12841,7 +12841,7 @@
-
+
@@ -12914,7 +12914,7 @@
-
+
@@ -13209,7 +13209,7 @@
-
+
@@ -13256,7 +13256,7 @@
-
+
@@ -13427,7 +13427,7 @@
-
+
@@ -13474,7 +13474,7 @@
-
+
@@ -14725,9 +14725,9 @@
-
+
-
+
@@ -14759,7 +14759,7 @@
-
+
@@ -14783,7 +14783,7 @@
-
+
@@ -14791,7 +14791,7 @@
-
+
@@ -14904,9 +14904,9 @@
-
+
-
+
@@ -14921,7 +14921,7 @@
-
+
@@ -14940,7 +14940,7 @@
-
+
@@ -14948,7 +14948,7 @@
-
+
@@ -15013,7 +15013,7 @@
-
+
@@ -15029,7 +15029,7 @@
-
+
@@ -15057,7 +15057,7 @@
-
+
@@ -15174,7 +15174,7 @@
-
+
@@ -15252,7 +15252,7 @@
-
+
@@ -15304,7 +15304,7 @@
-
+
@@ -15453,7 +15453,7 @@
-
+
@@ -15724,7 +15724,7 @@
-
+
@@ -16006,7 +16006,7 @@
-
+
@@ -16051,7 +16051,7 @@
-
+
@@ -16064,7 +16064,7 @@
-
+
@@ -16479,7 +16479,7 @@
-
+
@@ -16515,7 +16515,7 @@
-
+
@@ -16545,7 +16545,7 @@
-
+
@@ -16585,7 +16585,7 @@
-
+
@@ -16624,7 +16624,7 @@
-
+
@@ -16654,7 +16654,7 @@
-
+
@@ -16691,7 +16691,7 @@
-
+
@@ -16731,7 +16731,7 @@
-
+
@@ -16758,7 +16758,7 @@
-
+
@@ -16790,7 +16790,7 @@
-
+
@@ -16826,7 +16826,7 @@
-
+
@@ -17023,7 +17023,7 @@
-
+
@@ -17036,7 +17036,7 @@
-
+
@@ -17545,7 +17545,7 @@
-
+
@@ -17566,7 +17566,7 @@
-
+
@@ -17682,7 +17682,7 @@
-
+
@@ -17709,7 +17709,7 @@
-
+
@@ -17821,7 +17821,7 @@
-
+
@@ -17948,7 +17948,7 @@
-
+
@@ -18202,7 +18202,7 @@
-
+
@@ -18385,7 +18385,7 @@
-
+
@@ -18412,7 +18412,7 @@
-
+
@@ -18762,7 +18762,7 @@
-
+
@@ -18775,7 +18775,7 @@
-
+
@@ -19110,7 +19110,7 @@
-
+
@@ -19131,7 +19131,7 @@
-
+
@@ -19170,7 +19170,7 @@
-
+
@@ -19782,7 +19782,7 @@
-
+
@@ -19842,7 +19842,7 @@
-
+
@@ -19869,7 +19869,7 @@
-
+
@@ -19942,7 +19942,7 @@
-
+
@@ -19967,7 +19967,7 @@
-
+
@@ -20450,7 +20450,7 @@
-
+
@@ -20463,7 +20463,7 @@
-
+
@@ -21388,7 +21388,7 @@
-
+
@@ -21401,7 +21401,7 @@
-
+
@@ -21434,11 +21434,11 @@
-
+
-
+
@@ -22246,7 +22246,7 @@
-
+
@@ -22259,7 +22259,7 @@
-
+
@@ -23166,7 +23166,7 @@
-
+
@@ -23183,7 +23183,7 @@
-
+
@@ -23224,7 +23224,7 @@
-
+
@@ -23244,7 +23244,7 @@
-
+
@@ -23259,7 +23259,7 @@
-
+
@@ -23325,7 +23325,7 @@
-
+
@@ -23352,7 +23352,7 @@
-
+
@@ -23403,7 +23403,7 @@
-
+
@@ -23503,7 +23503,7 @@
-
+
@@ -23566,7 +23566,7 @@
-
+
@@ -23610,13 +23610,13 @@
-
+
-
+
@@ -23821,7 +23821,7 @@
-
+
@@ -23835,7 +23835,7 @@
-
+
@@ -23975,13 +23975,13 @@
-
+
-
+
@@ -24059,13 +24059,13 @@
-
+
-
+
@@ -24095,7 +24095,7 @@
-
+
@@ -24108,7 +24108,7 @@
-
+
@@ -24142,7 +24142,7 @@
-
+
@@ -24163,7 +24163,7 @@
-
+
@@ -24246,13 +24246,13 @@
-
+
-
+
@@ -24281,7 +24281,7 @@
-
+
@@ -24294,7 +24294,7 @@
-
+
@@ -24481,7 +24481,7 @@
-
+
@@ -24494,7 +24494,7 @@
-
+
@@ -24637,7 +24637,7 @@
-
+
@@ -24664,7 +24664,7 @@
-
+
@@ -25267,7 +25267,7 @@
-
+
@@ -25280,7 +25280,7 @@
-
+
@@ -25364,7 +25364,7 @@
-
+
@@ -25450,7 +25450,7 @@
-
+
@@ -25473,7 +25473,7 @@
-
+
@@ -25718,7 +25718,7 @@
-
+
@@ -25746,7 +25746,7 @@
-
+
@@ -25788,7 +25788,7 @@
-
+
@@ -25801,7 +25801,7 @@
-
+
@@ -25906,7 +25906,7 @@
-
+
@@ -25928,7 +25928,7 @@
-
+
@@ -25973,7 +25973,7 @@
-
+
@@ -26056,7 +26056,7 @@
-
+
@@ -26086,7 +26086,7 @@
-
+
@@ -26128,7 +26128,7 @@
-
+
@@ -26173,7 +26173,7 @@
-
+
@@ -26205,7 +26205,7 @@
-
+
@@ -26247,7 +26247,7 @@
-
+
@@ -26469,7 +26469,7 @@
-
+
@@ -26482,7 +26482,7 @@
-
+
@@ -26665,7 +26665,7 @@
-
+
@@ -27129,7 +27129,7 @@
-
+
@@ -27217,7 +27217,7 @@
-
+
@@ -27296,7 +27296,7 @@
-
+
@@ -27312,13 +27312,13 @@
-
+
-
+
@@ -27368,7 +27368,7 @@
-
+
@@ -27384,13 +27384,13 @@
-
+
-
+
@@ -27420,7 +27420,7 @@
-
+
@@ -27433,7 +27433,7 @@
-
+
@@ -27450,7 +27450,7 @@
-
+
@@ -27464,7 +27464,7 @@
-
+
@@ -27500,7 +27500,7 @@
-
+
@@ -27513,7 +27513,7 @@
-
+
@@ -27557,7 +27557,7 @@
-
+
@@ -27609,7 +27609,7 @@
-
+
@@ -27618,7 +27618,7 @@
-
+
@@ -27651,7 +27651,7 @@
-
+
@@ -27687,7 +27687,7 @@
-
+
@@ -27705,7 +27705,7 @@
-
+
@@ -27729,7 +27729,7 @@
-
+
@@ -27772,7 +27772,7 @@
-
+
@@ -28003,7 +28003,7 @@
-
+
@@ -28062,13 +28062,13 @@
-
+
-
+
@@ -28349,7 +28349,7 @@
-
+
@@ -28377,7 +28377,7 @@
-
+
@@ -28470,7 +28470,7 @@
-
+
@@ -29099,7 +29099,7 @@
-
+
@@ -29127,7 +29127,7 @@
-
+
@@ -29220,7 +29220,7 @@
-
+
@@ -29497,7 +29497,7 @@
-
+
@@ -29559,7 +29559,7 @@
-
+
@@ -29684,7 +29684,7 @@
-
+
@@ -29740,7 +29740,7 @@
-
+
@@ -29866,7 +29866,7 @@
-
+
@@ -29884,7 +29884,7 @@
-
+
@@ -29950,7 +29950,7 @@
-
+
@@ -30016,7 +30016,7 @@
-
+
@@ -30095,7 +30095,7 @@
-
+
@@ -30185,7 +30185,7 @@
-
+
@@ -30198,7 +30198,7 @@
-
+
@@ -30233,7 +30233,7 @@
-
+
@@ -30246,7 +30246,7 @@
-
+
@@ -30301,7 +30301,7 @@
-
+
@@ -30349,7 +30349,7 @@
-
+
@@ -30379,7 +30379,7 @@
-
+
@@ -30394,7 +30394,7 @@
-
+
@@ -30691,7 +30691,7 @@
-
+
@@ -30895,7 +30895,7 @@
-
+
@@ -30970,7 +30970,7 @@
-
+
@@ -31045,7 +31045,7 @@
-
+
@@ -31110,7 +31110,7 @@
-
+
@@ -31399,7 +31399,7 @@
-
+
@@ -31419,7 +31419,7 @@
-
+
@@ -31437,7 +31437,7 @@
-
+
@@ -31458,7 +31458,7 @@
-
+
@@ -31483,7 +31483,7 @@
-
+
@@ -31530,7 +31530,7 @@
-
+
@@ -31546,7 +31546,7 @@
-
+
@@ -31697,7 +31697,7 @@
-
+
@@ -31729,7 +31729,7 @@
-
+
@@ -31833,7 +31833,7 @@
-
+
@@ -31906,7 +31906,7 @@
-
+
@@ -31927,13 +31927,13 @@
-
+
-
+
@@ -31968,7 +31968,7 @@
-
+
@@ -31989,13 +31989,13 @@
-
+
-
+
@@ -32032,7 +32032,7 @@
-
+
@@ -32073,7 +32073,7 @@
-
+
@@ -32107,7 +32107,7 @@
-
+
@@ -32253,7 +32253,7 @@
-
+
@@ -32271,7 +32271,7 @@
-
+
@@ -32348,7 +32348,7 @@
-
+
@@ -32383,7 +32383,7 @@
-
+
@@ -32397,7 +32397,7 @@
-
+
@@ -32410,7 +32410,7 @@
-
+
@@ -32445,7 +32445,7 @@
-
+
@@ -32526,7 +32526,7 @@
-
+
@@ -32679,7 +32679,7 @@
-
+
@@ -32743,7 +32743,7 @@
-
+
@@ -32889,7 +32889,7 @@
-
+
@@ -32953,7 +32953,7 @@
-
+
@@ -32991,7 +32991,7 @@
-
+
@@ -33025,7 +33025,7 @@
-
+
@@ -33033,7 +33033,7 @@
-
+
@@ -33041,7 +33041,7 @@
-
+
@@ -33066,7 +33066,7 @@
-
+
@@ -33104,7 +33104,7 @@
-
+
@@ -33112,7 +33112,7 @@
-
+
@@ -33228,7 +33228,7 @@
-
+
@@ -33273,7 +33273,7 @@
-
+
@@ -33301,10 +33301,10 @@
-
+
-
+
@@ -33312,7 +33312,7 @@
-
+
@@ -33325,7 +33325,7 @@
-
+
@@ -33339,7 +33339,7 @@
-
+
@@ -33505,11 +33505,11 @@
-
+
-
+
@@ -33533,7 +33533,7 @@
-
+
@@ -33546,7 +33546,7 @@
-
+
@@ -33711,7 +33711,7 @@
-
+
@@ -33726,7 +33726,7 @@
-
+
@@ -33741,7 +33741,7 @@
-
+
@@ -33756,7 +33756,7 @@
-
+
@@ -33771,7 +33771,7 @@
-
+
@@ -33786,7 +33786,7 @@
-
+
@@ -36535,7 +36535,7 @@
-
+
@@ -36557,7 +36557,7 @@
-
+
@@ -36834,7 +36834,7 @@
-
+
@@ -36863,7 +36863,7 @@
-
+
@@ -36954,7 +36954,7 @@
-
+
@@ -36985,7 +36985,7 @@
-
+
@@ -37643,7 +37643,7 @@
-
+
@@ -37695,7 +37695,7 @@
-
+
@@ -37755,13 +37755,13 @@
-
+
-
+
-
+
@@ -37799,7 +37799,7 @@
-
+
@@ -37853,7 +37853,7 @@
-
+
@@ -37876,7 +37876,7 @@
-
+
@@ -37915,7 +37915,7 @@
-
+
@@ -37983,7 +37983,7 @@
-
+
@@ -38070,13 +38070,13 @@
-
+
-
+
-
+
@@ -38164,7 +38164,7 @@
-
+
@@ -38200,7 +38200,7 @@
-
+
@@ -38254,7 +38254,7 @@
-
+
@@ -38287,7 +38287,7 @@
-
+
@@ -38335,7 +38335,7 @@
-
+
@@ -39398,7 +39398,7 @@
-
+
@@ -40273,19 +40273,19 @@
-
+
-
+
-
+
-
+
@@ -40325,7 +40325,7 @@
-
+
@@ -40350,7 +40350,7 @@
-
+
@@ -40370,7 +40370,7 @@
-
+
@@ -40455,7 +40455,7 @@
-
+
@@ -40473,7 +40473,7 @@
-
+
@@ -40481,7 +40481,7 @@
-
+
@@ -40496,7 +40496,7 @@
-
+
@@ -40526,10 +40526,10 @@
-
+
-
+
@@ -40539,7 +40539,7 @@
-
+
@@ -40622,14 +40622,14 @@
-
+
-
+
-
+
@@ -40691,7 +40691,7 @@
-
+
@@ -40730,7 +40730,7 @@
-
+
@@ -40832,7 +40832,7 @@
-
+
@@ -40851,13 +40851,13 @@
-
+
-
+
@@ -40986,13 +40986,13 @@
-
+
-
+
@@ -41095,7 +41095,7 @@
-
+
@@ -41187,7 +41187,7 @@
-
+
@@ -41330,13 +41330,13 @@
-
+
-
+
@@ -41345,7 +41345,7 @@
-
+
@@ -41359,13 +41359,13 @@
-
+
-
+
@@ -41374,7 +41374,7 @@
-
+
@@ -41396,7 +41396,7 @@
-
+
@@ -41422,7 +41422,7 @@
-
+
@@ -41440,10 +41440,10 @@
-
+
-
+
@@ -41474,7 +41474,7 @@
-
+
@@ -44080,7 +44080,7 @@
-
+
@@ -44100,7 +44100,7 @@
-
+
@@ -44120,7 +44120,7 @@
-
+
@@ -44137,7 +44137,7 @@
-
+
@@ -45727,10 +45727,10 @@
-
+
-
+
@@ -45766,10 +45766,10 @@
-
+
-
+
@@ -45890,20 +45890,20 @@
-
+
-
+
-
+
@@ -46264,13 +46264,13 @@
-
+
-
+
@@ -46851,10 +46851,10 @@
-
+
-
+
@@ -46867,10 +46867,10 @@
-
+
-
+
@@ -47525,7 +47525,7 @@
-
+
@@ -48578,10 +48578,10 @@
-
+
-
+
@@ -48594,10 +48594,10 @@
-
+
-
+
@@ -49047,13 +49047,13 @@
-
+
-
+
@@ -49072,7 +49072,7 @@
-
+
@@ -49113,7 +49113,7 @@
-
+
@@ -49132,13 +49132,13 @@
-
+
-
+
@@ -49152,7 +49152,7 @@
-
+
@@ -49312,9 +49312,9 @@
-
+
-
+
@@ -49362,7 +49362,7 @@
-
+
@@ -49396,7 +49396,7 @@
-
+
@@ -49424,7 +49424,7 @@
-
+
@@ -49464,7 +49464,7 @@
-
+
@@ -49477,7 +49477,7 @@
-
+
@@ -49541,7 +49541,7 @@
-
+
@@ -49936,13 +49936,13 @@
-
+
-
+
@@ -50076,13 +50076,13 @@
-
+
-
+
@@ -50877,7 +50877,7 @@
-
+
@@ -50894,7 +50894,7 @@
-
+
@@ -50956,7 +50956,7 @@
-
+
@@ -50973,7 +50973,7 @@
-
+
@@ -51371,11 +51371,11 @@
-
+
-
+
@@ -51435,7 +51435,7 @@
-
+
@@ -51568,11 +51568,11 @@
-
+
-
+
@@ -51593,7 +51593,7 @@
-
+
@@ -51613,7 +51613,7 @@
-
+
@@ -51759,7 +51759,7 @@
-
+
@@ -52706,7 +52706,7 @@
-
+
@@ -53031,7 +53031,7 @@
-
+
@@ -53375,7 +53375,7 @@
-
+
@@ -53518,13 +53518,13 @@
-
+
-
+
@@ -54902,7 +54902,7 @@
-
+
@@ -55119,7 +55119,7 @@
-
+
@@ -55225,7 +55225,7 @@
-
+
@@ -56639,7 +56639,7 @@
-
+
@@ -57002,7 +57002,7 @@
-
+
@@ -59403,7 +59403,7 @@
-
+
@@ -59445,7 +59445,7 @@
-
+
@@ -59474,7 +59474,7 @@
-
+
@@ -59498,7 +59498,7 @@
-
+
@@ -59527,7 +59527,7 @@
-
+
@@ -59633,7 +59633,7 @@
-
+
@@ -60121,10 +60121,10 @@
-
+
-
+
@@ -60440,7 +60440,7 @@
-
+
@@ -60473,7 +60473,7 @@
-
+
@@ -60493,7 +60493,7 @@
-
+
@@ -60515,7 +60515,7 @@
-
+
@@ -60530,14 +60530,14 @@
-
+
-
+
@@ -60559,7 +60559,7 @@
-
+
@@ -60580,7 +60580,7 @@
-
+
@@ -60600,7 +60600,7 @@
-
+
@@ -60660,7 +60660,7 @@
-
+
@@ -60696,7 +60696,7 @@
-
+
@@ -60709,7 +60709,7 @@
-
+
@@ -60733,7 +60733,7 @@
-
+
@@ -60752,7 +60752,7 @@
-
+
@@ -60773,7 +60773,7 @@
-
+
@@ -60788,7 +60788,7 @@
-
+
@@ -60807,7 +60807,7 @@
-
+
@@ -60826,7 +60826,7 @@
-
+
@@ -60864,7 +60864,7 @@
-
+
@@ -60953,7 +60953,7 @@
-
+
@@ -60987,7 +60987,7 @@
-
+
@@ -61076,7 +61076,7 @@
-
+
@@ -61105,7 +61105,7 @@
-
+
@@ -61128,7 +61128,7 @@
-
+
@@ -61198,7 +61198,7 @@
-
+
@@ -61217,7 +61217,7 @@
-
+
@@ -61237,7 +61237,7 @@
-
+
@@ -61256,7 +61256,7 @@
-
+
@@ -61267,7 +61267,7 @@
-
+
@@ -61281,7 +61281,7 @@
-
+
@@ -61304,7 +61304,7 @@
-
+
@@ -61337,7 +61337,7 @@
-
+
@@ -61347,7 +61347,7 @@
-
+
@@ -61424,7 +61424,7 @@
-
+
@@ -61446,7 +61446,7 @@
-
+
@@ -61486,7 +61486,7 @@
-
+
@@ -61499,7 +61499,7 @@
-
+
@@ -61523,7 +61523,7 @@
-
+
@@ -61534,7 +61534,7 @@
-
+
@@ -61546,7 +61546,7 @@
-
+
@@ -61558,7 +61558,7 @@
-
+
@@ -61570,7 +61570,7 @@
-
+
@@ -61582,7 +61582,7 @@
-
+
@@ -61594,7 +61594,7 @@
-
+
@@ -61622,17 +61622,17 @@
-
+
-
+
-
+
@@ -61653,7 +61653,7 @@
-
+
@@ -61669,7 +61669,7 @@
-
+
@@ -61685,7 +61685,7 @@
-
+
@@ -61701,7 +61701,7 @@
-
+
@@ -61717,7 +61717,7 @@
-
+
@@ -61771,7 +61771,7 @@
-
+
@@ -61780,7 +61780,7 @@
-
+
@@ -61803,7 +61803,7 @@
-
+
@@ -61818,7 +61818,7 @@
-
+
@@ -61835,7 +61835,7 @@
-
+
@@ -61855,7 +61855,7 @@
-
+
@@ -61889,7 +61889,7 @@
-
+
@@ -61929,7 +61929,7 @@
-
+
@@ -62010,7 +62010,7 @@
-
+
@@ -62068,7 +62068,7 @@
-
+
@@ -62139,7 +62139,7 @@
-
+
@@ -62164,7 +62164,7 @@
-
+
@@ -62179,14 +62179,14 @@
-
+
-
+
@@ -62206,14 +62206,14 @@
-
+
-
+
@@ -62240,7 +62240,7 @@
-
+
@@ -62268,7 +62268,7 @@
-
+
@@ -62322,7 +62322,7 @@
-
+
@@ -62349,7 +62349,7 @@
-
+
@@ -62359,7 +62359,7 @@
-
+
@@ -62388,7 +62388,7 @@
-
+
@@ -62398,7 +62398,7 @@
-
+
@@ -62453,7 +62453,7 @@
-
+
@@ -62491,7 +62491,7 @@
-
+
@@ -63502,7 +63502,7 @@
-
+
@@ -63515,7 +63515,7 @@
-
+
@@ -63542,13 +63542,13 @@
-
+
-
+
@@ -63572,7 +63572,7 @@
-
+
@@ -63585,7 +63585,7 @@
-
+
@@ -63615,10 +63615,10 @@
-
+
-
+
@@ -63678,7 +63678,7 @@
-
+
@@ -63694,7 +63694,7 @@
-
+
@@ -63706,7 +63706,7 @@
-
+
@@ -64073,7 +64073,7 @@
-
+
@@ -64131,7 +64131,7 @@
-
+
@@ -64963,7 +64963,7 @@
-
+
@@ -65075,7 +65075,7 @@
-
+
@@ -65746,7 +65746,7 @@
-
+
@@ -65797,7 +65797,7 @@
-
+
@@ -66094,7 +66094,7 @@
-
+
@@ -66473,7 +66473,7 @@
-
+
@@ -66844,7 +66844,7 @@
-
+
@@ -66999,7 +66999,7 @@
-
+
@@ -67323,7 +67323,7 @@
-
+
@@ -67393,16 +67393,16 @@
-
+
-
+
-
+
-
+
@@ -67448,10 +67448,10 @@
-
+
-
+
@@ -67487,7 +67487,7 @@
-
+
@@ -67502,7 +67502,7 @@
-
+
@@ -67525,10 +67525,10 @@
-
+
-
+
@@ -67542,7 +67542,7 @@
-
+
@@ -67613,7 +67613,7 @@
-
+
@@ -67641,7 +67641,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.helloWorld.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.helloWorld.mps
index b580a5cb..710dfe9c 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.helloWorld.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.helloWorld.mps
@@ -189,7 +189,7 @@
-
+
@@ -201,10 +201,10 @@
-
+
-
+
@@ -597,7 +597,7 @@
-
+
@@ -672,7 +672,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.slice.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.slice.mps
index b658f8b3..0ff2644b 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.slice.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.slice.mps
@@ -760,7 +760,7 @@
-
+
@@ -971,7 +971,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd
index 21437479..627ff250 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd
@@ -26,7 +26,7 @@
-
+