diff --git a/.mps/modules.xml b/.mps/modules.xml
index dd727848..5decce04 100644
--- a/.mps/modules.xml
+++ b/.mps/modules.xml
@@ -14,7 +14,6 @@
-
diff --git a/build.xml b/build.xml
index cae3545a..cef46e0a 100644
--- a/build.xml
+++ b/build.xml
@@ -354,45 +354,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -406,6 +367,7 @@
+
@@ -429,7 +391,6 @@
-
@@ -447,7 +408,7 @@
-
+
@@ -539,7 +500,6 @@
-
@@ -563,7 +523,7 @@
-
+
@@ -572,18 +532,17 @@
-
-
-
-
+
+
+
+
-
@@ -591,12 +550,12 @@
-
+
@@ -618,7 +577,7 @@
-
+
@@ -644,14 +603,13 @@
-
-
+
@@ -672,46 +630,7 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
@@ -720,24 +639,24 @@
-
-
-
-
+
+
+
+
-
-
+
+
@@ -746,12 +665,11 @@
-
-
+
@@ -760,58 +678,23 @@
-
-
-
-
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
@@ -824,7 +707,7 @@
-
+
@@ -853,15 +736,14 @@
-
-
+
@@ -891,7 +773,7 @@
-
+
@@ -921,15 +803,14 @@
-
-
+
@@ -958,9 +839,9 @@
-
-
-
+
+
+
@@ -978,12 +859,12 @@
-
+
@@ -1001,14 +882,13 @@
-
-
+
@@ -1029,15 +909,14 @@
-
-
+
@@ -1054,12 +933,12 @@
-
+
-
+
@@ -1080,15 +959,14 @@
-
-
+
@@ -1104,12 +982,12 @@
-
+
-
+
@@ -1138,17 +1016,16 @@
-
-
+
@@ -1169,7 +1046,7 @@
-
+
@@ -1178,26 +1055,25 @@
-
-
-
-
+
+
+
+
-
-
+
@@ -1221,7 +1097,6 @@
-
diff --git a/jchr/languages/jetbrains.mps.jchr/jetbrains.mps.jchr.mpl b/jchr/languages/jetbrains.mps.jchr/jetbrains.mps.jchr.mpl
index 396f6743..6b0ebb56 100644
--- a/jchr/languages/jetbrains.mps.jchr/jetbrains.mps.jchr.mpl
+++ b/jchr/languages/jetbrains.mps.jchr/jetbrains.mps.jchr.mpl
@@ -81,6 +81,7 @@
6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)
83888646-71ce-4f1c-9c53-c54016f6ad4f(jetbrains.mps.baseLanguage.collections)
df345b11-b8c7-4213-ac66-48d2a9b75d88(jetbrains.mps.baseLanguageInternal)
+ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)
fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
@@ -149,6 +150,8 @@
+
+
diff --git a/jchr/languages/jetbrains.mps.jchr/languageModels/plugin.mps b/jchr/languages/jetbrains.mps.jchr/languageModels/plugin.mps
index e390f93b..457fcb25 100644
--- a/jchr/languages/jetbrains.mps.jchr/languageModels/plugin.mps
+++ b/jchr/languages/jetbrains.mps.jchr/languageModels/plugin.mps
@@ -1318,7 +1318,7 @@
-
+
diff --git a/jchr/languages/jetbrains.mps.jchr/runtime/jetbrains.mps.jchr.runtime.msd b/jchr/languages/jetbrains.mps.jchr/runtime/jetbrains.mps.jchr.runtime.msd
index 639efc9c..fd5589bf 100644
--- a/jchr/languages/jetbrains.mps.jchr/runtime/jetbrains.mps.jchr.runtime.msd
+++ b/jchr/languages/jetbrains.mps.jchr/runtime/jetbrains.mps.jchr.runtime.msd
@@ -16,6 +16,7 @@
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
+ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)
fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
@@ -30,6 +31,8 @@
+
+
diff --git a/jchr/languages/jetbrains.mps.jchr/sandbox/jetbrains.mps.jchr.sandbox.msd b/jchr/languages/jetbrains.mps.jchr/sandbox/jetbrains.mps.jchr.sandbox.msd
index 4e16766b..33e24297 100644
--- a/jchr/languages/jetbrains.mps.jchr/sandbox/jetbrains.mps.jchr.sandbox.msd
+++ b/jchr/languages/jetbrains.mps.jchr/sandbox/jetbrains.mps.jchr.sandbox.msd
@@ -11,21 +11,19 @@
b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)
- 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)
-
-
-
-
-
-
+
+
+
+
+
+
-
diff --git a/jchr/languages/jetbrains.mps.jchr/sandbox/models/jetbrains/mps/jchr/sandbox.mps b/jchr/languages/jetbrains.mps.jchr/sandbox/models/jetbrains/mps/jchr/sandbox.mps
index 2094abed..0c02d855 100644
--- a/jchr/languages/jetbrains.mps.jchr/sandbox/models/jetbrains/mps/jchr/sandbox.mps
+++ b/jchr/languages/jetbrains.mps.jchr/sandbox/models/jetbrains/mps/jchr/sandbox.mps
@@ -12,7 +12,6 @@
-
diff --git a/jchr/languages/jetbrains.mps.jchr/sandbox/runner/jetbrains.mps.jchr.sandbox.runner.msd b/jchr/languages/jetbrains.mps.jchr/sandbox/runner/jetbrains.mps.jchr.sandbox.runner.msd
index 57d8efa8..c9592fa8 100644
--- a/jchr/languages/jetbrains.mps.jchr/sandbox/runner/jetbrains.mps.jchr.sandbox.runner.msd
+++ b/jchr/languages/jetbrains.mps.jchr/sandbox/runner/jetbrains.mps.jchr.sandbox.runner.msd
@@ -10,6 +10,7 @@
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)
7ab0c079-df36-45eb-a614-81cf81174043(jetbrains.mps.jchr.sandbox)
+ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)
fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
@@ -26,6 +27,8 @@
+
+
diff --git a/jchr/languages/jetbrains.mps.logic_jchr/generator/template/main@generator.mps b/jchr/languages/jetbrains.mps.logic_jchr/generator/template/main@generator.mps
index 27dba340..90dae224 100644
--- a/jchr/languages/jetbrains.mps.logic_jchr/generator/template/main@generator.mps
+++ b/jchr/languages/jetbrains.mps.logic_jchr/generator/template/main@generator.mps
@@ -19,12 +19,12 @@
-
+
@@ -482,7 +482,7 @@
-
+
@@ -691,7 +691,7 @@
-
+
@@ -751,8 +751,8 @@
-
-
+
+
@@ -878,8 +878,8 @@
-
-
+
+
@@ -939,8 +939,8 @@
-
-
+
+
@@ -1066,8 +1066,8 @@
-
-
+
+
@@ -1119,8 +1119,8 @@
-
-
+
+
diff --git a/jchr/languages/jetbrains.mps.logic_jchr/jetbrains.mps.logic_jchr.mpl b/jchr/languages/jetbrains.mps.logic_jchr/jetbrains.mps.logic_jchr.mpl
index f9821b53..790337b7 100644
--- a/jchr/languages/jetbrains.mps.logic_jchr/jetbrains.mps.logic_jchr.mpl
+++ b/jchr/languages/jetbrains.mps.logic_jchr/jetbrains.mps.logic_jchr.mpl
@@ -7,7 +7,7 @@
-
+
@@ -16,7 +16,6 @@
894463aa-8754-49c0-bf4b-6a32af66b376(jetbrains.mps.jchr)
- 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)
85f64970-3326-4ea7-966e-1ac904686424(jetbrains.mps.logic#6626732309150416985)
35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic)
f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)
@@ -61,7 +60,6 @@
-
diff --git a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler/jetbrains.mps.lang.typesystem2.samplechecker.handler.msd b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler/jetbrains.mps.lang.typesystem2.samplechecker.handler.msd
index 8b406dc2..87376069 100644
--- a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler/jetbrains.mps.lang.typesystem2.samplechecker.handler.msd
+++ b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler/jetbrains.mps.lang.typesystem2.samplechecker.handler.msd
@@ -12,20 +12,19 @@
a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
- 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)
b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)
9c4ae21e-62e0-4110-95b7-191b357a42d2(jetbrains.mps.lang.typesystem2.samplechecker.handler.util)
760652ad-c01a-495e-9510-ed51532f617b(jetbrains.mps.logic.jchr)
26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)
-
-
-
-
-
-
-
+
+
+
+
+
+
+
diff --git a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd
index d413f213..1cc70097 100644
--- a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd
+++ b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd
@@ -10,7 +10,6 @@
a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)
- 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)
26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)
f61473f9-130f-42f6-b98d-6c438812c2f6(jetbrains.mps.baseLanguage.unitTest)
bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)
diff --git a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps
index 8785df9a..70a230f3 100644
--- a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps
+++ b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps
@@ -8,7 +8,6 @@
-
@@ -23,6 +22,7 @@
+
@@ -381,13 +381,13 @@
-
-
+
+
-
+
@@ -396,7 +396,7 @@
-
+
@@ -956,14 +956,14 @@
-
-
+
+
-
+
@@ -1018,7 +1018,7 @@
-
+
@@ -1316,7 +1316,7 @@
-
+
@@ -1410,7 +1410,7 @@
-
+
diff --git a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/util.mps b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/util.mps
index a7ed3631..25830aba 100644
--- a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/util.mps
+++ b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/util.mps
@@ -5,10 +5,10 @@
-
+
-
+
@@ -322,7 +322,7 @@
-
+
@@ -378,7 +378,7 @@
-
+
@@ -438,7 +438,7 @@
-
+
@@ -493,7 +493,7 @@
-
+
@@ -508,10 +508,10 @@
-
+
-
-
+
+
@@ -592,19 +592,19 @@
-
+
-
+
-
+
@@ -680,7 +680,7 @@
-
+
@@ -703,7 +703,7 @@
-
+
@@ -774,7 +774,7 @@
-
+
@@ -835,8 +835,8 @@
-
-
+
+
@@ -846,7 +846,7 @@
-
+
@@ -881,15 +881,15 @@
-
-
+
+
-
+
@@ -898,7 +898,7 @@
-
+
@@ -919,7 +919,7 @@
-
+
@@ -945,7 +945,7 @@
-
+
@@ -975,15 +975,15 @@
-
-
+
+
-
+
@@ -995,13 +995,13 @@
-
+
-
+
@@ -1026,7 +1026,7 @@
-
+
@@ -1035,8 +1035,8 @@
-
-
+
+
@@ -1046,7 +1046,7 @@
-
+
@@ -1066,7 +1066,7 @@
-
+
@@ -1075,13 +1075,13 @@
-
+
-
+
@@ -1123,8 +1123,8 @@
-
-
+
+
@@ -2276,7 +2276,7 @@
-
+
diff --git a/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/jetbrains.mps.lang.typesystem2.sampleplugin.jchr.msd b/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/jetbrains.mps.lang.typesystem2.sampleplugin.jchr.msd
index 66c62daa..188eeb20 100644
--- a/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/jetbrains.mps.lang.typesystem2.sampleplugin.jchr.msd
+++ b/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/jetbrains.mps.lang.typesystem2.sampleplugin.jchr.msd
@@ -7,7 +7,6 @@
- 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)
35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic)
26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)
a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)
diff --git a/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/models/jetbrains/mps/lang/typesystem2/sampleplugin/jchr/plugin.mps b/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/models/jetbrains/mps/lang/typesystem2/sampleplugin/jchr/plugin.mps
index 0eac170f..6ebcb839 100644
--- a/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/models/jetbrains/mps/lang/typesystem2/sampleplugin/jchr/plugin.mps
+++ b/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/models/jetbrains/mps/lang/typesystem2/sampleplugin/jchr/plugin.mps
@@ -16,7 +16,6 @@
-
@@ -52,6 +51,7 @@
+
@@ -541,7 +541,7 @@
-
+
@@ -556,7 +556,7 @@
-
+
@@ -574,7 +574,7 @@
-
+
@@ -638,19 +638,19 @@
-
+
-
+
-
+
@@ -843,7 +843,7 @@
-
+
@@ -1020,7 +1020,7 @@
-
+
@@ -1085,7 +1085,7 @@
-
+
@@ -1178,7 +1178,7 @@
-
+
@@ -1216,8 +1216,8 @@
-
-
+
+
@@ -1230,7 +1230,7 @@
-
+
@@ -1343,8 +1343,8 @@
-
-
+
+
@@ -1354,7 +1354,7 @@
-
+
@@ -1363,7 +1363,7 @@
-
+
@@ -1430,7 +1430,7 @@
-
+
@@ -1514,7 +1514,7 @@
-
+
@@ -1522,12 +1522,12 @@
-
+
-
+
@@ -1541,7 +1541,7 @@
-
+
@@ -1549,13 +1549,13 @@
-
+
-
+
@@ -1684,15 +1684,15 @@
-
+
-
-
+
+
@@ -1702,7 +1702,7 @@
-
+
@@ -1714,13 +1714,13 @@
-
+
-
+
@@ -1783,7 +1783,7 @@
-
+
@@ -1822,8 +1822,8 @@
-
-
+
+
@@ -1836,7 +1836,7 @@
-
+
@@ -1892,7 +1892,7 @@
-
+
@@ -1926,7 +1926,7 @@
-
+
@@ -2059,7 +2059,7 @@
-
+
@@ -2067,15 +2067,15 @@
-
+
-
-
+
+
@@ -2085,7 +2085,7 @@
-
+
@@ -2094,13 +2094,13 @@
-
+
-
+
@@ -2151,7 +2151,7 @@
-
+
@@ -2240,7 +2240,7 @@
-
+
@@ -2382,7 +2382,7 @@
-
+
@@ -2395,7 +2395,7 @@
-
+
@@ -2449,8 +2449,8 @@
-
-
+
+
@@ -2901,7 +2901,7 @@
-
+
@@ -3430,7 +3430,7 @@
-
+
@@ -5444,7 +5444,7 @@
-
+
@@ -5460,7 +5460,7 @@
-
+
diff --git a/jchr/solutions/jetbrains.mps.logic.jchr/jetbrains.mps.logic.jchr.msd b/jchr/solutions/jetbrains.mps.logic.jchr/jetbrains.mps.logic.jchr.msd
index 0c337525..c07823c2 100644
--- a/jchr/solutions/jetbrains.mps.logic.jchr/jetbrains.mps.logic.jchr.msd
+++ b/jchr/solutions/jetbrains.mps.logic.jchr/jetbrains.mps.logic.jchr.msd
@@ -10,7 +10,6 @@
a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)
b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)
bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)
- 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)
c3941617-f429-4b63-b06e-42126b247dcb(jetbrains.mps.logic_jchr.runtime)
diff --git a/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/predicate.mps b/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/predicate.mps
index 4c6be324..75169ed3 100644
--- a/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/predicate.mps
+++ b/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/predicate.mps
@@ -11,15 +11,15 @@
-
-
+
+
@@ -417,13 +417,13 @@
-
+
-
+
@@ -447,7 +447,7 @@
-
+
@@ -483,7 +483,7 @@
-
+
@@ -537,13 +537,13 @@
-
+
-
+
@@ -567,7 +567,7 @@
-
+
@@ -603,7 +603,7 @@
-
+
@@ -4459,13 +4459,13 @@
-
+
-
+
@@ -4504,7 +4504,7 @@
-
+
@@ -4555,7 +4555,7 @@
-
+
@@ -4639,13 +4639,13 @@
-
+
-
+
@@ -4684,7 +4684,7 @@
-
+
@@ -4735,7 +4735,7 @@
-
+
@@ -5127,12 +5127,12 @@
-
+
-
+
@@ -5325,7 +5325,7 @@
-
+
@@ -5354,7 +5354,7 @@
-
+
@@ -5427,7 +5427,7 @@
-
+
@@ -5473,7 +5473,7 @@
-
+
@@ -5485,7 +5485,7 @@
-
+
@@ -5572,13 +5572,13 @@
-
+
-
+
diff --git a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps
index 7f9e87d6..939813a8 100644
--- a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps
+++ b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps
@@ -13,11 +13,11 @@
-
+
@@ -324,7 +324,7 @@
-
+
@@ -339,13 +339,13 @@
-
+
-
+
@@ -405,8 +405,8 @@
-
-
+
+
@@ -532,8 +532,8 @@
-
-
+
+
@@ -593,8 +593,8 @@
-
-
+
+
@@ -720,8 +720,8 @@
-
-
+
+
@@ -773,8 +773,8 @@
-
-
+
+
@@ -985,7 +985,7 @@
-
+
@@ -1057,7 +1057,7 @@
-
+
@@ -1159,7 +1159,7 @@
-
+
@@ -1214,8 +1214,8 @@
-
-
+
+
diff --git a/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
index ace59c80..dfd27141 100644
--- a/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
+++ b/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
@@ -15,7 +15,6 @@
- 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)
@@ -81,7 +80,6 @@
6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)
1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)
8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)
- 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)
f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)
2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)
e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)
diff --git a/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps b/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps
index c4da5e23..5cb50252 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps
@@ -7,8 +7,8 @@
-
+
@@ -196,7 +196,7 @@
-
+
@@ -208,7 +208,7 @@
-
+
@@ -216,7 +216,7 @@
-
+
@@ -264,7 +264,7 @@
-
+
@@ -291,7 +291,7 @@
-
+
@@ -315,7 +315,7 @@
-
+
@@ -339,7 +339,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps
index 94cceead..866cfc0e 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps
@@ -6,11 +6,11 @@
-
+
@@ -188,7 +188,7 @@
-
+
@@ -395,7 +395,7 @@
-
+
@@ -414,7 +414,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd b/logic/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
index 61dba48e..2154d8d4 100644
--- a/logic/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
+++ b/logic/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
@@ -8,7 +8,6 @@
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
- 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)
bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)
@@ -29,7 +28,6 @@
-
diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps
index ccf87cfc..92ed15e1 100644
--- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps
+++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps
@@ -7,15 +7,15 @@
-
-
+
+
@@ -250,7 +250,7 @@
-
+
@@ -260,7 +260,7 @@
-
+
@@ -276,7 +276,7 @@
-
+
@@ -358,7 +358,7 @@
-
+
@@ -387,7 +387,7 @@
-
+
@@ -421,8 +421,8 @@
-
-
+
+
@@ -433,7 +433,7 @@
-
+
@@ -444,7 +444,7 @@
-
+
@@ -454,7 +454,7 @@
-
+
@@ -493,7 +493,7 @@
-
+
@@ -501,7 +501,7 @@
-
+
@@ -517,7 +517,7 @@
-
+
@@ -531,18 +531,18 @@
-
+
-
+
-
+
@@ -595,7 +595,7 @@
-
+
@@ -1000,7 +1000,7 @@
-
+
@@ -1025,7 +1025,7 @@
-
+
@@ -1042,7 +1042,7 @@
-
+
@@ -1320,7 +1320,7 @@
-
+
@@ -1340,7 +1340,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps
index 2d7232a0..ead17087 100644
--- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps
+++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps
@@ -11,10 +11,10 @@
-
+
@@ -1869,7 +1869,7 @@
-
+
@@ -1885,19 +1885,19 @@
-
+
-
+
-
+
@@ -1977,14 +1977,14 @@
-
+
-
-
+
+
@@ -1994,7 +1994,7 @@
-
+
@@ -2005,7 +2005,7 @@
-
+
@@ -2074,7 +2074,7 @@
-
+
@@ -2082,14 +2082,14 @@
-
+
-
-
+
+
@@ -2099,7 +2099,7 @@
-
+
@@ -2109,14 +2109,14 @@
-
+
-
+
diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps
index c92fba8f..6524fdc1 100644
--- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps
+++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps
@@ -10,7 +10,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps
index bdf38860..d4f979b2 100644
--- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps
+++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps
@@ -7,10 +7,10 @@
-
-
+
+
@@ -173,7 +173,7 @@
-
+
@@ -256,7 +256,7 @@
-
+
@@ -314,7 +314,7 @@
-
+
@@ -352,7 +352,7 @@
-
+
@@ -538,7 +538,7 @@
-
+
@@ -722,7 +722,7 @@
-
+
@@ -766,12 +766,12 @@
-
+
-
+
diff --git a/logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps
similarity index 99%
rename from logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps
rename to logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps
index 56ad0b5c..a66571b8 100644
--- a/logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps
+++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps
@@ -1,12 +1,12 @@
-
+
-
+
diff --git a/logic/solutions/jetbrains.mps.logic.atom/jetbrains.mps.logic.atom.msd b/logic/solutions/jetbrains.mps.logic.atom/jetbrains.mps.logic.atom.msd
deleted file mode 100644
index 07fc6e72..00000000
--- a/logic/solutions/jetbrains.mps.logic.atom/jetbrains.mps.logic.atom.msd
+++ /dev/null
@@ -1,33 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
-
-
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd b/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd
index 1b222f6a..fa34b763 100644
--- a/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd
+++ b/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd
@@ -6,6 +6,7 @@
+
@@ -14,12 +15,12 @@
+
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)
- 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)
498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)
@@ -36,7 +37,6 @@
-
diff --git a/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/logical.mps b/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/logical.mps
index a65b704e..18fdd347 100644
--- a/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/logical.mps
+++ b/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/logical.mps
@@ -7,7 +7,7 @@
-
+
@@ -1071,7 +1071,7 @@
-
+
@@ -1096,7 +1096,7 @@
-
+
@@ -1107,7 +1107,7 @@
-
+
diff --git a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps
index 0c2cdc11..04d77ae1 100644
--- a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps
+++ b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps
@@ -10,13 +10,13 @@
-
+
@@ -203,7 +203,7 @@
-
+
@@ -213,7 +213,7 @@
-
+
@@ -233,7 +233,7 @@
-
+
@@ -243,7 +243,7 @@
-
+
@@ -263,14 +263,14 @@
-
+
-
+
@@ -284,14 +284,14 @@
-
+
-
+
@@ -306,7 +306,7 @@
-
+
@@ -315,7 +315,7 @@
-
+
@@ -333,7 +333,7 @@
-
+
@@ -349,7 +349,7 @@
-
+
@@ -414,7 +414,7 @@
-
+
@@ -424,18 +424,18 @@
-
+
-
+
-
+
@@ -454,11 +454,11 @@
-
+
-
+
@@ -468,7 +468,7 @@
-
+
@@ -498,7 +498,7 @@
-
+
@@ -510,13 +510,13 @@
-
+
-
+
@@ -531,7 +531,7 @@
-
+
@@ -541,8 +541,8 @@
-
-
+
+
@@ -552,14 +552,14 @@
-
+
-
+
@@ -577,10 +577,10 @@
-
+
-
+
@@ -611,7 +611,7 @@
-
+
@@ -628,7 +628,7 @@
-
+
@@ -644,11 +644,11 @@
-
+
-
+
@@ -673,13 +673,13 @@
-
+
-
+
@@ -694,7 +694,7 @@
-
+
@@ -704,8 +704,8 @@
-
-
+
+
@@ -720,7 +720,7 @@
-
+
@@ -730,8 +730,8 @@
-
-
+
+
@@ -741,14 +741,14 @@
-
+
-
+
@@ -766,7 +766,7 @@
-
+
@@ -786,7 +786,7 @@
-
+
@@ -830,7 +830,7 @@
-
+
@@ -847,7 +847,7 @@
-
+
@@ -863,11 +863,11 @@
-
+
-
+
@@ -891,11 +891,11 @@
-
+
-
+
@@ -916,11 +916,11 @@
-
+
-
+
@@ -944,13 +944,13 @@
-
+
-
+
@@ -965,7 +965,7 @@
-
+
@@ -975,8 +975,8 @@
-
-
+
+
@@ -991,7 +991,7 @@
-
+
@@ -1001,8 +1001,8 @@
-
-
+
+
@@ -1012,14 +1012,14 @@
-
+
-
+
@@ -1037,7 +1037,7 @@
-
+
@@ -1057,7 +1057,7 @@
-
+
@@ -1077,7 +1077,7 @@
-
+
@@ -1097,7 +1097,7 @@
-
+
@@ -1141,7 +1141,7 @@
-
+
@@ -1157,14 +1157,14 @@
-
+
-
+
@@ -1182,13 +1182,13 @@
-
+
-
+
@@ -1203,7 +1203,7 @@
-
+
@@ -1213,8 +1213,8 @@
-
-
+
+
@@ -1224,14 +1224,14 @@
-
+
-
+
@@ -1249,7 +1249,7 @@
-
+
@@ -1293,7 +1293,7 @@
-
+
@@ -1310,11 +1310,11 @@
-
+
-
+
@@ -1339,11 +1339,11 @@
-
+
-
+
@@ -1368,11 +1368,11 @@
-
+
-
+
@@ -1398,7 +1398,7 @@
-
+
@@ -1472,7 +1472,7 @@
-
+
@@ -1494,13 +1494,13 @@
-
+
-
+
@@ -1515,7 +1515,7 @@
-
+
@@ -1525,8 +1525,8 @@
-
-
+
+
@@ -1541,7 +1541,7 @@
-
+
@@ -1551,8 +1551,8 @@
-
-
+
+
@@ -1567,7 +1567,7 @@
-
+
@@ -1577,8 +1577,8 @@
-
-
+
+
@@ -1588,14 +1588,14 @@
-
+
-
+
@@ -1613,7 +1613,7 @@
-
+
@@ -1633,7 +1633,7 @@
-
+
@@ -1653,7 +1653,7 @@
-
+
@@ -1673,7 +1673,7 @@
-
+
@@ -1721,7 +1721,7 @@
-
+
@@ -1737,11 +1737,11 @@
-
+
-
+
@@ -1766,11 +1766,11 @@
-
+
-
+
@@ -1795,11 +1795,11 @@
-
+
-
+
@@ -1825,7 +1825,7 @@
-
+
@@ -1858,7 +1858,7 @@
-
+
@@ -1879,13 +1879,13 @@
-
+
-
+
@@ -1900,7 +1900,7 @@
-
+
@@ -1910,8 +1910,8 @@
-
-
+
+
@@ -1926,7 +1926,7 @@
-
+
@@ -1936,8 +1936,8 @@
-
-
+
+
@@ -1952,7 +1952,7 @@
-
+
@@ -1962,8 +1962,8 @@
-
-
+
+
@@ -1973,14 +1973,14 @@
-
+
-
+
@@ -1998,7 +1998,7 @@
-
+
@@ -2018,7 +2018,7 @@
-
+
@@ -2038,7 +2038,7 @@
-
+
@@ -2058,7 +2058,7 @@
-
+
@@ -2087,7 +2087,7 @@
-
+
@@ -2111,7 +2111,7 @@
-
+
@@ -2135,7 +2135,7 @@
-
+
@@ -2160,7 +2160,7 @@
-
+
@@ -2201,8 +2201,8 @@
-
-
+
+
@@ -2214,14 +2214,14 @@
-
+
-
+
@@ -2232,7 +2232,7 @@
-
+
@@ -2248,7 +2248,7 @@
-
+
@@ -2257,7 +2257,7 @@
-
+
@@ -2275,7 +2275,7 @@
-
+
@@ -2299,7 +2299,7 @@
-
+
@@ -2323,7 +2323,7 @@
-
+
@@ -2347,7 +2347,7 @@
-
+
@@ -2372,7 +2372,7 @@
-
+
@@ -2402,17 +2402,17 @@
-
+
-
-
+
+
-
-
+
+
@@ -2429,8 +2429,8 @@
-
-
+
+
@@ -2439,14 +2439,14 @@
-
+
-
+
@@ -2457,8 +2457,8 @@
-
-
+
+
@@ -2467,14 +2467,14 @@
-
+
-
+
@@ -2485,7 +2485,7 @@
-
+
@@ -2498,7 +2498,7 @@
-
+
@@ -2507,7 +2507,7 @@
-
+
@@ -2518,7 +2518,7 @@
-
+
@@ -2531,7 +2531,7 @@
-
+
@@ -2540,7 +2540,7 @@
-
+
@@ -2558,7 +2558,7 @@
-
+
@@ -2582,7 +2582,7 @@
-
+
@@ -2606,7 +2606,7 @@
-
+
@@ -2630,7 +2630,7 @@
-
+
@@ -2655,7 +2655,7 @@
-
+
@@ -2710,8 +2710,8 @@
-
-
+
+
@@ -2720,14 +2720,14 @@
-
+
-
+
@@ -2738,8 +2738,8 @@
-
-
+
+
@@ -2756,14 +2756,14 @@
-
+
-
+
@@ -2774,8 +2774,8 @@
-
-
+
+
@@ -2792,14 +2792,14 @@
-
+
-
+
@@ -2810,7 +2810,7 @@
-
+
@@ -2823,7 +2823,7 @@
-
+
@@ -2832,7 +2832,7 @@
-
+
@@ -2843,7 +2843,7 @@
-
+
@@ -2856,7 +2856,7 @@
-
+
@@ -2865,7 +2865,7 @@
-
+
@@ -2888,7 +2888,7 @@
-
+
@@ -2899,12 +2899,12 @@
-
+
-
+
@@ -2921,13 +2921,13 @@
-
+
-
+
@@ -2943,7 +2943,7 @@
-
+
@@ -2964,7 +2964,7 @@
-
+
@@ -2981,7 +2981,7 @@
-
+
@@ -2998,7 +2998,7 @@
-
+
@@ -3069,7 +3069,7 @@
-
+
@@ -3093,7 +3093,7 @@
-
+
@@ -3117,7 +3117,7 @@
-
+
@@ -3144,7 +3144,7 @@
-
+
@@ -3161,7 +3161,7 @@
-
+
@@ -3338,13 +3338,13 @@
-
+
-
+
@@ -3375,7 +3375,7 @@
-
+
@@ -3398,7 +3398,7 @@
-
+
@@ -3422,7 +3422,7 @@
-
+
@@ -3443,8 +3443,8 @@
-
-
+
+
@@ -3467,7 +3467,7 @@
-
+
@@ -3492,7 +3492,7 @@
-
+
@@ -3525,7 +3525,7 @@
-
+
@@ -3566,7 +3566,7 @@