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 c9323c66..73252c77 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
@@ -592,27 +592,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1787,41 +1766,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -3592,24 +3536,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -4192,16 +4118,6 @@
-
-
-
-
-
-
-
-
-
-
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 00ae24b8..70781789 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
@@ -252,7 +252,6 @@
-
@@ -1542,18 +1541,12 @@
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
@@ -3957,14 +3950,8 @@
-
-
-
-
-
-
-
-
+
+
@@ -4149,79 +4136,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
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 abe9bb77..302fbe09 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
@@ -2264,8 +2264,8 @@
-
-
+
+
@@ -2276,8 +2276,8 @@
-
-
+
+
@@ -6844,8 +6844,8 @@
-
-
+
+
@@ -7200,8 +7200,8 @@
-
-
+
+
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 533c3aca..690aa3b3 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
@@ -28348,20 +28348,15 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
-
-
+
+
+
+
+
@@ -29642,13 +29637,8 @@
-
-
-
-
-
-
-
+
+
@@ -29657,13 +29647,8 @@
-
-
-
-
-
-
-
+
+
@@ -40530,20 +40515,15 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
-
-
+
+
+
+
+
@@ -40587,20 +40567,15 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
-
-
+
+