diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
index 189e420b..eab9230c 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
@@ -221,6 +221,7 @@
+
@@ -500,6 +501,12 @@
+
+
+
+
+
+
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 cd3c3bca..dff73606 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
@@ -540,6 +540,12 @@
+
+
+
+
+
+
@@ -590,6 +596,9 @@
+
+
+
@@ -611,6 +620,10 @@
+
+
+
+
@@ -642,6 +655,10 @@
+
+
+
+
@@ -692,6 +709,9 @@
+
+
+
@@ -715,6 +735,10 @@
+
+
+
+
@@ -773,6 +797,9 @@
+
+
+
@@ -790,6 +817,10 @@
+
+
+
+
@@ -960,6 +991,51 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1018,6 +1094,62 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1805,37 +1937,29 @@
-
-
-
-
+
+
+
+
-
-
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
-
-
-
+
+
-
@@ -1843,10 +1967,8 @@
-
-
-
-
+
+
@@ -2347,6 +2469,20 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -4419,6 +4555,9 @@
+
+
+
@@ -4431,67 +4570,12 @@
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -4682,65 +4766,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -4752,6 +4777,10 @@
+
+
+
+
@@ -4786,6 +4815,9 @@
+
+
+
@@ -5451,6 +5483,7 @@
+
@@ -5557,6 +5590,7 @@
+
@@ -5638,7 +5672,7 @@
-
+
@@ -5665,7 +5699,13 @@
-
+
+
+
+
+
+
+
@@ -5718,7 +5758,7 @@
-
+