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 57981b77..bb45b7bf 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
@@ -293,6 +293,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -591,8 +611,8 @@
-
-
+
+
@@ -706,8 +726,8 @@
-
-
+
+
@@ -1987,9 +2007,39 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2083,6 +2133,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -2249,12 +2309,22 @@
-
+
+
+
+
+
+
+
+
+
+
+
@@ -2370,6 +2440,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -2536,7 +2616,7 @@
-
+