diff --git a/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/languages/jetbrains.mps.logic/generator/template/main@generator.mps
index 0257b57f..9bfaae7e 100644
--- a/languages/jetbrains.mps.logic/generator/template/main@generator.mps
+++ b/languages/jetbrains.mps.logic/generator/template/main@generator.mps
@@ -871,6 +871,27 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/languages/jetbrains.mps.logic/languageModels/editor.mps b/languages/jetbrains.mps.logic/languageModels/editor.mps
index ab821c06..a5e71d65 100644
--- a/languages/jetbrains.mps.logic/languageModels/editor.mps
+++ b/languages/jetbrains.mps.logic/languageModels/editor.mps
@@ -1824,5 +1824,39 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/languages/jetbrains.mps.logic/languageModels/structure.mps b/languages/jetbrains.mps.logic/languageModels/structure.mps
index 87e38040..8659400c 100644
--- a/languages/jetbrains.mps.logic/languageModels/structure.mps
+++ b/languages/jetbrains.mps.logic/languageModels/structure.mps
@@ -107,6 +107,7 @@
+
@@ -180,5 +181,15 @@
+
+
+
+
+
+
+
+
+
+
diff --git a/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd b/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
index d16669ec..c54eaccc 100644
--- a/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
+++ b/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
@@ -14,7 +14,7 @@
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)
- 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification.tree)
+ 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification.tree)
f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)
diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/constraint.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/constraint.mps
index e9a872e9..7df8bc73 100644
--- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/constraint.mps
+++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/constraint.mps
@@ -254,6 +254,61 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/jchr/unification.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/jchr/unification.mps
index 303352b3..781cd0f8 100644
--- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/jchr/unification.mps
+++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/jchr/unification.mps
@@ -3131,7 +3131,7 @@
-
+
@@ -3796,6 +3796,41 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+