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 6e093bbe..761a0bfd 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
@@ -1756,6 +1756,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1794,6 +1816,7 @@
+
@@ -1801,7 +1824,7 @@
-
+
@@ -1964,6 +1987,79 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1997,6 +2093,13 @@
+
+
+
+
+
+
+
@@ -3253,6 +3356,23 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -3293,20 +3413,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
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 51a842e9..f758581d 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
@@ -5339,6 +5339,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -5574,6 +5584,15 @@
+
+
+
+
+
+
+
+
+
@@ -5942,6 +5961,7 @@
+
@@ -5959,6 +5979,124 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5978,7 +6116,25 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6009,6 +6165,9 @@
+
+
+
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 7599e388..81b5860a 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
@@ -5266,7 +5266,7 @@
-
+
@@ -5359,7 +5359,7 @@
-
+
@@ -6599,21 +6599,7 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
@@ -6625,11 +6611,8 @@
-
-
-
-
-
+
+
@@ -6644,6 +6627,12 @@
+
+
+
+
+
+
@@ -13751,14 +13740,14 @@
+
+
+
-
-
-
@@ -13854,14 +13843,14 @@
+
+
+
-
-
-
@@ -14198,15 +14187,15 @@
-
-
-
+
+
+
@@ -14240,15 +14229,15 @@
-
-
-
+
+
+
@@ -14282,15 +14271,15 @@
-
-
-
+
+
+
@@ -14324,15 +14313,15 @@
-
-
-
+
+
+
@@ -15146,7 +15135,7 @@
-
+
@@ -15177,7 +15166,7 @@
-
+
@@ -15216,7 +15205,7 @@
-
+
@@ -15252,18 +15241,46 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15287,7 +15304,7 @@
-
+
@@ -16768,6 +16785,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -16788,16 +16815,6 @@
-
-
-
-
-
-
-
-
-
-
@@ -17411,18 +17428,46 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
index f6026a7e..43110f28 100644
--- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
@@ -283,6 +283,7 @@
+
@@ -8254,5 +8255,196 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
index 4db207ca..53d2cd27 100644
--- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
@@ -42,18 +42,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
@@ -287,6 +275,7 @@
+
@@ -311,10 +300,19 @@
+
+
+
+
+
+
+
+
+
@@ -496,6 +494,7 @@
+
@@ -836,11 +835,17 @@
-
+
+
+
+
+
+
+
@@ -864,7 +869,6 @@
-
@@ -1027,6 +1031,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1209,12 +1235,6 @@
-
-
-
-
-
-
@@ -1249,6 +1269,12 @@
+
+
+
+
+
+
@@ -1312,9 +1338,8 @@
-
-
-
+
+
@@ -1938,7 +1963,7 @@
-
+
@@ -7416,8 +7441,25 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -7456,6 +7498,41 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -7492,60 +7569,137 @@
-
+
+
+
+
+
+
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -7556,6 +7710,12 @@
+
+
+
+
+
+
@@ -7571,30 +7731,17 @@
-
-
-
-
-
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
@@ -7610,15 +7757,8 @@
-
-
-
-
-
-
-
-
-
+
+
@@ -7633,6 +7773,25 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -7641,19 +7800,11 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
-
+
@@ -7665,19 +7816,11 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
-
+
@@ -7708,28 +7851,14 @@
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
-
-
-
-
-
+
+
@@ -8242,5 +8371,183 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps
index 15b42ba6..60368480 100644
--- a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps
+++ b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps
@@ -1068,6 +1068,20 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1108,20 +1122,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1734,7 +1734,7 @@
-
+