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 ba0c00bb..85131c3e 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
@@ -836,7 +836,7 @@
-
+
@@ -1021,14 +1021,14 @@
-
-
+
+
-
+
@@ -1296,11 +1296,11 @@
-
+
-
+
@@ -1371,7 +1371,7 @@
-
+
@@ -6528,19 +6528,19 @@
-
+
-
-
-
+
+
+
-
+
@@ -6570,27 +6570,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -6742,8 +6721,8 @@
-
-
+
+
@@ -7273,45 +7252,24 @@
-
+
-
-
-
+
+
+
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -7486,8 +7444,8 @@
-
-
+
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps
index 0ae7c018..00186c99 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps
@@ -1315,7 +1315,7 @@
-
+
@@ -1655,26 +1655,26 @@
-
+
-
+
-
-
+
+
-
-
-
+
+
+
@@ -2600,8 +2600,8 @@
-
-
+
+
@@ -4198,26 +4198,26 @@
-
+
-
+
-
-
+
+
-
-
-
+
+
+
@@ -4522,7 +4522,7 @@
-
+
@@ -4609,26 +4609,26 @@
-
+
-
+
-
-
+
+
-
-
-
+
+
+
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 f035cdc0..ad3e4030 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
@@ -1,6 +1,7 @@
+
@@ -1857,6 +1858,11 @@
+
+
+
+
+
@@ -1865,11 +1871,6 @@
-
-
-
-
-
@@ -2879,7 +2880,7 @@
-
+
@@ -2960,7 +2961,7 @@
-
+
@@ -3342,7 +3343,7 @@
-
+
@@ -5600,7 +5601,6 @@
-
@@ -5623,11 +5623,11 @@
+
-
@@ -5650,11 +5650,11 @@
+
-
@@ -5677,11 +5677,11 @@
+
-
@@ -5801,11 +5801,11 @@
+
-
@@ -5828,6 +5828,7 @@
+
@@ -5893,16 +5894,16 @@
+
+
+
+
-
-
-
-
@@ -5946,16 +5947,16 @@
+
+
+
+
-
-
-
-
@@ -5999,16 +6000,16 @@
+
+
+
+
-
-
-
-
@@ -6263,12 +6264,6 @@
-
-
-
-
-
-
@@ -6291,6 +6286,12 @@
+
+
+
+
+
+
@@ -6303,12 +6304,6 @@
-
-
-
-
-
-
@@ -6334,6 +6329,12 @@
+
+
+
+
+
+
@@ -6346,12 +6347,6 @@
-
-
-
-
-
-
@@ -6377,6 +6372,12 @@
+
+
+
+
+
+
@@ -8041,6 +8042,9 @@
+
+
+
@@ -8049,9 +8053,6 @@
-
-
-
@@ -8176,12 +8177,12 @@
-
-
-
+
+
+
@@ -8296,6 +8297,12 @@
+
+
+
+
+
+
@@ -8304,12 +8311,6 @@
-
-
-
-
-
-
@@ -8950,7 +8951,6 @@
-
@@ -8998,6 +8998,7 @@
+
@@ -9017,7 +9018,6 @@
-
@@ -9046,6 +9046,7 @@
+
@@ -10114,19 +10115,19 @@
-
+
-
+
-
+
@@ -10287,11 +10288,11 @@
-
+
-
+
@@ -10334,7 +10335,7 @@
-
+
@@ -10359,34 +10360,34 @@
+
+
+
+
+
-
-
+
+
-
-
-
+
+
+
-
+
-
+
-
-
-
-
-
@@ -10948,7 +10949,6 @@
-
@@ -11000,7 +11000,7 @@
-
+
@@ -11102,6 +11102,7 @@
+
@@ -11323,29 +11324,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -11370,7 +11348,7 @@
-
+
@@ -11440,6 +11418,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -11560,7 +11561,6 @@
-
@@ -11689,6 +11689,7 @@
+
@@ -11696,7 +11697,6 @@
-
@@ -11740,6 +11740,7 @@
+
@@ -11747,7 +11748,6 @@
-
@@ -11788,6 +11788,7 @@
+
@@ -11885,6 +11886,27 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -12195,27 +12217,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -12267,34 +12268,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -12351,7 +12324,7 @@
-
+
@@ -12387,6 +12360,34 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -16050,34 +16051,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -16098,7 +16071,7 @@
-
+
@@ -16190,6 +16163,34 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -18493,12 +18494,12 @@
-
+
-
+
@@ -18507,12 +18508,12 @@
-
+
-
+
@@ -18737,7 +18738,7 @@
-
+
@@ -18853,7 +18854,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
index aeabf7aa..5c8f1449 100644
--- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
@@ -1828,7 +1828,7 @@
-
+
@@ -2371,7 +2371,7 @@
-
+
@@ -2447,11 +2447,11 @@
-
+
-
+
@@ -2480,12 +2480,12 @@
-
+
-
+