diff --git a/build.xml b/build.xml
index cef46e0a..4e2746a8 100644
--- a/build.xml
+++ b/build.xml
@@ -368,6 +368,7 @@
+
@@ -556,6 +557,7 @@
+
@@ -610,6 +612,7 @@
+
@@ -657,6 +660,7 @@
+
@@ -695,6 +699,7 @@
+
@@ -744,6 +749,7 @@
+
@@ -811,6 +817,7 @@
+
@@ -865,6 +872,7 @@
+
@@ -917,6 +925,7 @@
+
@@ -967,6 +976,7 @@
+
@@ -1026,6 +1036,7 @@
+
@@ -1074,6 +1085,7 @@
+
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 90dae224..bc6890e0 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
@@ -23,7 +23,7 @@
-
+
@@ -674,7 +674,7 @@
-
+
@@ -689,7 +689,7 @@
-
+
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 70a230f3..d7ee2ec0 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
@@ -15,9 +15,9 @@
-
-
-
+
+
+
@@ -259,7 +259,7 @@
-
+
@@ -285,23 +285,23 @@
-
-
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
+
@@ -472,7 +472,7 @@
-
+
@@ -495,14 +495,14 @@
-
+
-
-
+
+
@@ -513,7 +513,7 @@
-
+
@@ -523,14 +523,14 @@
-
+
-
+
@@ -561,7 +561,7 @@
-
+
@@ -569,7 +569,7 @@
-
+
@@ -738,7 +738,7 @@
-
+
@@ -769,11 +769,11 @@
-
+
-
+
@@ -799,7 +799,7 @@
-
+
@@ -881,8 +881,8 @@
-
-
+
+
@@ -890,7 +890,7 @@
-
+
@@ -904,8 +904,8 @@
-
-
+
+
@@ -913,11 +913,11 @@
-
+
-
+
@@ -927,8 +927,8 @@
-
-
+
+
@@ -1328,7 +1328,7 @@
-
+
@@ -1336,7 +1336,7 @@
-
+
@@ -1344,11 +1344,11 @@
-
+
-
+
@@ -1371,7 +1371,7 @@
-
+
@@ -1393,7 +1393,7 @@
-
+
@@ -1436,7 +1436,7 @@
-
+
@@ -1460,7 +1460,7 @@
-
+
@@ -1485,7 +1485,7 @@
-
+
@@ -1501,7 +1501,7 @@
-
+
@@ -1517,7 +1517,7 @@
-
+
@@ -1540,7 +1540,7 @@
-
+
@@ -1556,7 +1556,7 @@
-
+
@@ -1572,13 +1572,13 @@
-
+
-
+
@@ -1586,7 +1586,7 @@
-
+
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 6ebcb839..9b9c6e6f 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
@@ -22,14 +22,14 @@
-
-
+
+
-
+
@@ -2512,13 +2512,13 @@
-
+
-
+
@@ -2843,7 +2843,7 @@
-
+
@@ -2976,7 +2976,7 @@
-
+
@@ -3013,8 +3013,8 @@
-
-
+
+
@@ -3024,8 +3024,8 @@
-
-
+
+
@@ -3043,8 +3043,8 @@
-
-
+
+
@@ -3053,7 +3053,7 @@
-
+
@@ -3262,7 +3262,7 @@
-
+
@@ -3400,7 +3400,7 @@
-
+
@@ -3637,7 +3637,7 @@
-
+
@@ -3686,8 +3686,8 @@
-
-
+
+
@@ -3695,7 +3695,7 @@
-
+
@@ -3704,8 +3704,8 @@
-
-
+
+
@@ -3713,7 +3713,7 @@
-
+
@@ -3923,7 +3923,7 @@
-
+
@@ -3931,7 +3931,7 @@
-
+
@@ -3943,7 +3943,7 @@
-
+
@@ -3997,8 +3997,8 @@
-
-
+
+
@@ -4022,8 +4022,8 @@
-
-
+
+
@@ -4032,7 +4032,7 @@
-
+
@@ -4057,7 +4057,7 @@
-
+
@@ -4105,7 +4105,7 @@
-
+
@@ -4113,7 +4113,7 @@
-
+
@@ -4121,7 +4121,7 @@
-
+
@@ -4151,7 +4151,7 @@
-
+
@@ -4193,7 +4193,7 @@
-
+
@@ -4275,8 +4275,8 @@
-
-
+
+
@@ -4284,7 +4284,7 @@
-
+
@@ -4319,8 +4319,8 @@
-
-
+
+
@@ -4328,7 +4328,7 @@
-
+
@@ -4356,7 +4356,7 @@
-
+
@@ -4398,7 +4398,7 @@
-
+
@@ -4461,8 +4461,8 @@
-
-
+
+
@@ -4470,7 +4470,7 @@
-
+
@@ -4498,7 +4498,7 @@
-
+
@@ -4540,7 +4540,7 @@
-
+
@@ -4603,8 +4603,8 @@
-
-
+
+
@@ -4612,7 +4612,7 @@
-
+
@@ -4641,8 +4641,8 @@
-
-
+
+
@@ -4688,7 +4688,7 @@
-
+
@@ -4730,7 +4730,7 @@
-
+
@@ -4745,8 +4745,8 @@
-
-
+
+
@@ -4805,7 +4805,7 @@
-
+
@@ -4850,7 +4850,7 @@
-
+
@@ -4872,7 +4872,7 @@
-
+
@@ -4911,7 +4911,7 @@
-
+
@@ -4991,7 +4991,7 @@
-
+
@@ -5084,11 +5084,11 @@
-
+
-
+
@@ -5172,7 +5172,7 @@
-
+
@@ -5182,7 +5182,7 @@
-
+
@@ -5265,14 +5265,14 @@
-
+
-
+
@@ -5314,13 +5314,13 @@
-
+
-
+
@@ -5591,7 +5591,7 @@
-
+
@@ -5634,7 +5634,7 @@
-
+
@@ -5668,7 +5668,7 @@
-
+
@@ -5676,7 +5676,7 @@
-
+
@@ -5692,7 +5692,7 @@
-
+
@@ -5736,7 +5736,7 @@
-
+
@@ -5832,7 +5832,7 @@
-
+
@@ -5896,14 +5896,14 @@
-
+
-
+
@@ -5920,7 +5920,7 @@
-
+
@@ -5929,7 +5929,7 @@
-
+
@@ -5945,8 +5945,8 @@
-
-
+
+
@@ -5959,8 +5959,8 @@
-
-
+
+
@@ -5983,7 +5983,7 @@
-
+
@@ -6676,8 +6676,8 @@
-
-
+
+
@@ -7309,12 +7309,12 @@
-
-
+
+
-
+
@@ -7343,12 +7343,12 @@
-
+
-
+
@@ -7362,7 +7362,7 @@
-
+
@@ -7382,7 +7382,7 @@
-
+
@@ -7416,7 +7416,7 @@
-
+
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 75169ed3..a526a1fb 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
@@ -10,11 +10,11 @@
-
+
-
+
-
+
@@ -300,7 +300,7 @@
-
+
@@ -351,7 +351,7 @@
-
+
@@ -405,7 +405,7 @@
-
+
@@ -690,7 +690,7 @@
-
+
@@ -976,13 +976,13 @@
-
+
-
+
@@ -1263,7 +1263,7 @@
-
+
@@ -1272,7 +1272,7 @@
-
+
@@ -1320,7 +1320,7 @@
-
+
@@ -1604,7 +1604,7 @@
-
+
@@ -1632,7 +1632,7 @@
-
+
@@ -1709,7 +1709,7 @@
-
+
@@ -1936,13 +1936,13 @@
-
+
-
+
@@ -1980,7 +1980,7 @@
-
+
@@ -2301,7 +2301,7 @@
-
+
@@ -2537,7 +2537,7 @@
-
+
@@ -2622,7 +2622,7 @@
-
+
@@ -2661,7 +2661,7 @@
-
+
@@ -2734,7 +2734,7 @@
-
+
@@ -2752,13 +2752,13 @@
-
+
-
+
@@ -2771,10 +2771,10 @@
-
+
-
+
@@ -2800,7 +2800,7 @@
-
+
@@ -2813,7 +2813,7 @@
-
+
@@ -2824,10 +2824,10 @@
-
+
-
+
@@ -2852,7 +2852,7 @@
-
+
@@ -2863,10 +2863,10 @@
-
+
-
+
@@ -2891,7 +2891,7 @@
-
+
@@ -2902,10 +2902,10 @@
-
+
-
+
@@ -2929,7 +2929,7 @@
-
+
@@ -2940,10 +2940,10 @@
-
+
-
+
@@ -2987,10 +2987,10 @@
-
+
-
+
@@ -3011,7 +3011,7 @@
-
+
@@ -3047,14 +3047,14 @@
-
+
-
+
@@ -3076,7 +3076,7 @@
-
+
@@ -3089,7 +3089,7 @@
-
+
@@ -3111,7 +3111,7 @@
-
+
@@ -3133,7 +3133,7 @@
-
+
@@ -3155,7 +3155,7 @@
-
+
@@ -3173,7 +3173,7 @@
-
+
@@ -3220,7 +3220,7 @@
-
+
@@ -3238,7 +3238,7 @@
-
+
@@ -3276,8 +3276,8 @@
-
-
+
+
@@ -3310,8 +3310,8 @@
-
-
+
+
@@ -3350,8 +3350,8 @@
-
-
+
+
@@ -3393,8 +3393,8 @@
-
-
+
+
@@ -3442,8 +3442,8 @@
-
-
+
+
@@ -3494,8 +3494,8 @@
-
-
+
+
@@ -3552,8 +3552,8 @@
-
-
+
+
@@ -3613,8 +3613,8 @@
-
-
+
+
@@ -3955,10 +3955,10 @@
-
+
-
+
@@ -3978,7 +3978,7 @@
-
+
@@ -4064,7 +4064,7 @@
-
+
@@ -4114,7 +4114,7 @@
-
+
@@ -4167,7 +4167,7 @@
-
+
@@ -4178,7 +4178,7 @@
-
+
@@ -4276,7 +4276,7 @@
-
+
@@ -4326,7 +4326,7 @@
-
+
@@ -4379,7 +4379,7 @@
-
+
@@ -4390,7 +4390,7 @@
-
+
@@ -4424,13 +4424,13 @@
-
+
-
+
@@ -4838,7 +4838,7 @@
-
+
@@ -4882,7 +4882,7 @@
-
+
@@ -4951,7 +4951,7 @@
-
+
@@ -5022,7 +5022,7 @@
-
+
@@ -5073,7 +5073,7 @@
-
+
@@ -5153,7 +5153,7 @@
-
+
@@ -5175,16 +5175,16 @@
-
+
-
+
-
+
@@ -5209,7 +5209,7 @@
-
+
@@ -5221,7 +5221,7 @@
-
+
@@ -5368,7 +5368,7 @@
-
+
@@ -5425,7 +5425,7 @@
-
+
@@ -5471,7 +5471,7 @@
-
+
@@ -5492,7 +5492,7 @@
-
+
@@ -5517,7 +5517,7 @@
-
+
@@ -5576,7 +5576,7 @@
-
+
@@ -5628,7 +5628,7 @@
-
+
diff --git a/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/program.mps b/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/program.mps
index 155f3abe..e618a619 100644
--- a/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/program.mps
+++ b/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/program.mps
@@ -9,15 +9,15 @@
-
+
-
+
-
+
@@ -263,8 +263,8 @@
-
-
+
+
@@ -280,8 +280,8 @@
-
-
+
+
@@ -301,7 +301,7 @@
-
+
@@ -315,7 +315,7 @@
-
+
@@ -385,7 +385,7 @@
-
+
@@ -456,7 +456,7 @@
-
+
@@ -477,7 +477,7 @@
-
+
@@ -488,14 +488,14 @@
-
+
-
+
@@ -512,7 +512,7 @@
-
+
@@ -562,7 +562,7 @@
-
+
@@ -573,14 +573,14 @@
-
+
-
+
@@ -633,13 +633,13 @@
-
+
-
+
@@ -650,14 +650,14 @@
-
+
-
+
@@ -691,7 +691,7 @@
-
+
@@ -754,7 +754,7 @@
-
+
@@ -765,11 +765,11 @@
-
+
-
+
@@ -777,7 +777,7 @@
-
+
@@ -886,12 +886,12 @@
-
+
-
+
@@ -922,11 +922,11 @@
-
+
-
+
@@ -965,7 +965,7 @@
-
+
@@ -1083,7 +1083,7 @@
-
+
@@ -1113,7 +1113,7 @@
-
+
@@ -1121,12 +1121,12 @@
-
+
-
+
@@ -1135,7 +1135,7 @@
-
+
@@ -1144,14 +1144,14 @@
-
+
-
+
@@ -1161,7 +1161,7 @@
-
+
@@ -1169,7 +1169,7 @@
-
+
@@ -1215,11 +1215,11 @@
-
+
-
+
@@ -1242,7 +1242,7 @@
-
+
@@ -1295,7 +1295,7 @@
-
+
@@ -1346,13 +1346,13 @@
-
+
-
+
@@ -1433,13 +1433,13 @@
-
+
-
+
@@ -1653,10 +1653,10 @@
-
+
-
+
@@ -1903,14 +1903,14 @@
-
+
-
+
@@ -2007,7 +2007,7 @@
-
+
@@ -2034,7 +2034,7 @@
-
+
@@ -2058,7 +2058,7 @@
-
+
@@ -2082,11 +2082,11 @@
-
+
-
+
@@ -2132,7 +2132,7 @@
-
+
@@ -2157,7 +2157,7 @@
-
+
@@ -2175,13 +2175,13 @@
-
+
-
-
+
+
@@ -2215,7 +2215,7 @@
-
+
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 939813a8..996478a9 100644
--- a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps
+++ b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps
@@ -15,7 +15,7 @@
-
+
@@ -328,7 +328,7 @@
-
+
@@ -343,7 +343,7 @@
-
+
@@ -907,7 +907,7 @@
-
+
@@ -938,7 +938,7 @@
-
+
@@ -979,7 +979,7 @@
-
+
@@ -1028,7 +1028,7 @@
-
+
@@ -1051,7 +1051,7 @@
-
+
@@ -1095,7 +1095,7 @@
-
+
@@ -1136,7 +1136,7 @@
-
+
@@ -1152,7 +1152,7 @@
-
+
@@ -1281,7 +1281,7 @@
-
+
@@ -1343,7 +1343,7 @@
-
+
@@ -1392,7 +1392,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
index dfd27141..2d300610 100644
--- a/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
+++ b/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
@@ -52,7 +52,6 @@
-
@@ -135,7 +134,6 @@
-
diff --git a/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps b/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps
index 13b2afc5..1671cc52 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps
@@ -14,23 +14,15 @@
-
-
-
-
-
-
-
-
@@ -50,7 +42,6 @@
-
@@ -84,13 +75,6 @@
-
-
-
-
-
-
-
@@ -134,10 +118,6 @@
-
-
-
-
@@ -148,10 +128,6 @@
-
-
-
-
@@ -159,9 +135,6 @@
-
-
-
@@ -173,23 +146,11 @@
-
-
-
-
-
-
-
-
-
+
-
-
-
-
@@ -459,127 +420,5 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps
index 866cfc0e..aad5bbf5 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps
@@ -9,7 +9,7 @@
-
+
@@ -212,8 +212,8 @@
-
-
+
+
@@ -253,7 +253,7 @@
-
+
@@ -437,7 +437,7 @@
-
+
@@ -608,8 +608,8 @@
-
-
+
+
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 92ed15e1..f4f20457 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
@@ -10,9 +10,9 @@
-
-
-
+
+
+
@@ -245,7 +245,7 @@
-
+
@@ -271,7 +271,7 @@
-
+
@@ -301,7 +301,7 @@
-
+
@@ -327,7 +327,7 @@
-
+
@@ -353,7 +353,7 @@
-
+
@@ -380,7 +380,7 @@
-
+
@@ -450,7 +450,7 @@
-
+
@@ -486,7 +486,7 @@
-
+
@@ -556,7 +556,7 @@
-
+
@@ -612,7 +612,7 @@
-
+
@@ -630,7 +630,7 @@
-
+
@@ -654,7 +654,7 @@
-
+
@@ -668,7 +668,7 @@
-
+
@@ -704,7 +704,7 @@
-
+
@@ -717,7 +717,7 @@
-
+
@@ -730,7 +730,7 @@
-
+
@@ -743,7 +743,7 @@
-
+
@@ -756,7 +756,7 @@
-
+
@@ -769,7 +769,7 @@
-
+
@@ -782,7 +782,7 @@
-
+
@@ -795,7 +795,7 @@
-
+
@@ -808,7 +808,7 @@
-
+
@@ -821,7 +821,7 @@
-
+
@@ -838,7 +838,7 @@
-
+
@@ -851,7 +851,7 @@
-
+
@@ -876,7 +876,7 @@
-
+
@@ -889,7 +889,7 @@
-
+
@@ -917,7 +917,7 @@
-
+
@@ -931,7 +931,7 @@
-
+
@@ -954,7 +954,7 @@
-
+
@@ -973,7 +973,7 @@
-
+
@@ -992,13 +992,13 @@
-
+
-
+
@@ -1074,7 +1074,7 @@
-
+
@@ -1087,7 +1087,7 @@
-
+
@@ -1100,7 +1100,7 @@
-
+
@@ -1115,7 +1115,7 @@
-
+
@@ -1202,7 +1202,7 @@
-
+
@@ -1296,12 +1296,12 @@
-
+
-
+
@@ -1311,7 +1311,7 @@
-
+
@@ -1397,7 +1397,7 @@
-
+
@@ -1434,7 +1434,7 @@
-
+
@@ -1446,14 +1446,14 @@
-
+
-
+
@@ -1477,7 +1477,7 @@
-
+
@@ -1556,7 +1556,7 @@
-
+
@@ -1599,13 +1599,13 @@
-
+
-
+
@@ -1624,7 +1624,7 @@
-
+
@@ -1649,7 +1649,7 @@
-
+
@@ -1670,7 +1670,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps
index 9700a836..42484edd 100644
--- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps
+++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps
@@ -6,12 +6,12 @@
-
+
-
+
-
+
@@ -278,7 +278,7 @@
-
+
@@ -314,7 +314,7 @@
-
+
@@ -415,7 +415,7 @@
-
+
@@ -425,7 +425,7 @@
-
+
@@ -434,7 +434,7 @@
-
+
@@ -444,7 +444,7 @@
-
+
@@ -504,7 +504,7 @@
-
+
@@ -512,7 +512,7 @@
-
+
@@ -536,7 +536,7 @@
-
+
@@ -597,7 +597,7 @@
-
+
@@ -626,11 +626,11 @@
-
+
-
+
@@ -667,7 +667,7 @@
-
+
@@ -697,11 +697,11 @@
-
+
-
+
@@ -757,7 +757,7 @@
-
+
@@ -787,11 +787,11 @@
-
+
-
+
@@ -810,7 +810,7 @@
-
+
@@ -818,7 +818,7 @@
-
+
@@ -903,7 +903,7 @@
-
+
@@ -928,11 +928,11 @@
-
+
-
+
@@ -948,11 +948,11 @@
-
+
-
+
@@ -1035,13 +1035,13 @@
-
+
-
+
@@ -1084,7 +1084,7 @@
-
+
@@ -1100,7 +1100,7 @@
-
+
@@ -1115,7 +1115,7 @@
-
+
@@ -1171,7 +1171,7 @@
-
+
@@ -1196,13 +1196,13 @@
-
+
-
+
@@ -1212,10 +1212,10 @@
-
+
-
+
@@ -1246,7 +1246,7 @@
-
+
@@ -1259,7 +1259,7 @@
-
+
@@ -1270,10 +1270,10 @@
-
+
-
+
@@ -1298,7 +1298,7 @@
-
+
@@ -1309,10 +1309,10 @@
-
+
-
+
@@ -1337,7 +1337,7 @@
-
+
@@ -1348,10 +1348,10 @@
-
+
-
+
@@ -1375,7 +1375,7 @@
-
+
@@ -1386,10 +1386,10 @@
-
+
-
+
@@ -1420,10 +1420,10 @@
-
+
-
+
@@ -1454,10 +1454,10 @@
-
+
-
+
@@ -1478,7 +1478,7 @@
-
+
@@ -1522,14 +1522,14 @@
-
+
-
+
@@ -1548,7 +1548,7 @@
-
+
@@ -1561,7 +1561,7 @@
-
+
@@ -1583,7 +1583,7 @@
-
+
@@ -1605,7 +1605,7 @@
-
+
@@ -1627,7 +1627,7 @@
-
+
@@ -1645,7 +1645,7 @@
-
+
@@ -1688,13 +1688,13 @@
-
+
-
+
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 ead17087..26492f9b 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
@@ -6,13 +6,13 @@
-
+
-
-
+
+
@@ -265,7 +265,7 @@
-
+
@@ -301,7 +301,7 @@
-
+
@@ -323,7 +323,7 @@
-
+
@@ -347,7 +347,7 @@
-
+
@@ -368,7 +368,7 @@
-
+
@@ -378,7 +378,7 @@
-
+
@@ -408,7 +408,7 @@
-
+
@@ -416,7 +416,7 @@
-
+
@@ -440,7 +440,7 @@
-
+
@@ -448,7 +448,7 @@
-
+
@@ -468,7 +468,7 @@
-
+
@@ -480,14 +480,14 @@
-
+
-
+
@@ -525,7 +525,7 @@
-
+
@@ -539,7 +539,7 @@
-
+
@@ -620,7 +620,7 @@
-
+
@@ -645,7 +645,7 @@
-
+
@@ -679,7 +679,7 @@
-
+
@@ -706,7 +706,7 @@
-
+
@@ -746,7 +746,7 @@
-
+
@@ -842,7 +842,7 @@
-
+
@@ -876,7 +876,7 @@
-
+
@@ -930,7 +930,7 @@
-
+
@@ -940,7 +940,7 @@
-
+
@@ -968,14 +968,14 @@
-
+
-
+
@@ -991,7 +991,7 @@
-
+
@@ -1004,11 +1004,11 @@
-
+
-
+
@@ -1021,7 +1021,7 @@
-
+
@@ -1031,7 +1031,7 @@
-
+
@@ -1058,7 +1058,7 @@
-
+
@@ -1075,7 +1075,7 @@
-
+
@@ -1089,7 +1089,7 @@
-
+
@@ -1108,7 +1108,7 @@
-
+
@@ -1125,7 +1125,7 @@
-
+
@@ -1141,7 +1141,7 @@
-
+
@@ -1162,7 +1162,7 @@
-
+
@@ -1172,7 +1172,7 @@
-
+
@@ -1181,7 +1181,7 @@
-
+
@@ -1192,14 +1192,14 @@
-
+
-
+
@@ -1211,7 +1211,7 @@
-
+
@@ -1221,7 +1221,7 @@
-
+
@@ -1240,7 +1240,7 @@
-
+
@@ -1253,11 +1253,11 @@
-
+
-
+
@@ -1273,7 +1273,7 @@
-
+
@@ -1283,7 +1283,7 @@
-
+
@@ -1315,7 +1315,7 @@
-
+
@@ -1323,11 +1323,11 @@
-
+
-
+
@@ -1349,14 +1349,14 @@
-
+
-
+
@@ -1373,7 +1373,7 @@
-
+
@@ -1381,7 +1381,7 @@
-
+
@@ -1391,7 +1391,7 @@
-
+
@@ -1400,7 +1400,7 @@
-
+
@@ -1411,14 +1411,14 @@
-
+
-
+
@@ -1435,7 +1435,7 @@
-
+
@@ -1473,11 +1473,11 @@
-
+
-
+
@@ -1489,14 +1489,14 @@
-
+
-
+
@@ -1508,7 +1508,7 @@
-
+
@@ -1522,7 +1522,7 @@
-
+
@@ -1544,7 +1544,7 @@
-
+
@@ -1571,11 +1571,11 @@
-
+
-
+
@@ -1654,7 +1654,7 @@
-
+
@@ -1676,7 +1676,7 @@
-
+
@@ -1691,7 +1691,7 @@
-
+
@@ -1710,7 +1710,7 @@
-
+
@@ -1718,7 +1718,7 @@
-
+
@@ -1726,7 +1726,7 @@
-
+
@@ -1748,7 +1748,7 @@
-
+
@@ -1763,7 +1763,7 @@
-
+
@@ -1782,7 +1782,7 @@
-
+
@@ -1790,7 +1790,7 @@
-
+
@@ -1798,7 +1798,7 @@
-
+
@@ -1814,7 +1814,7 @@
-
+
@@ -1822,7 +1822,7 @@
-
+
@@ -1844,7 +1844,7 @@
-
+
@@ -1860,7 +1860,7 @@
-
+
@@ -2138,7 +2138,7 @@
-
+
@@ -2146,7 +2146,7 @@
-
+
@@ -2159,7 +2159,7 @@
-
+
@@ -2168,7 +2168,7 @@
-
+
@@ -2182,20 +2182,20 @@
-
+
-
+
-
+
-
+
@@ -2207,20 +2207,20 @@
-
+
-
+
-
+
-
+
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 6524fdc1..717fc6b6 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
@@ -7,9 +7,9 @@
-
-
-
+
+
+
@@ -243,7 +243,7 @@
-
+
@@ -254,7 +254,7 @@
-
+
@@ -266,7 +266,7 @@
-
+
@@ -352,7 +352,7 @@
-
+
@@ -367,7 +367,7 @@
-
+
@@ -383,7 +383,7 @@
-
+
@@ -425,7 +425,7 @@
-
+
@@ -433,7 +433,7 @@
-
+
@@ -449,7 +449,7 @@
-
+
@@ -457,7 +457,7 @@
-
+
@@ -474,7 +474,7 @@
-
+
@@ -497,7 +497,7 @@
-
+
@@ -507,7 +507,7 @@
-
+
@@ -530,7 +530,7 @@
-
+
@@ -546,7 +546,7 @@
-
+
@@ -556,7 +556,7 @@
-
+
@@ -596,7 +596,7 @@
-
+
@@ -608,7 +608,7 @@
-
+
@@ -647,7 +647,7 @@
-
+
@@ -660,7 +660,7 @@
-
+
@@ -676,7 +676,7 @@
-
+
@@ -721,7 +721,7 @@
-
+
@@ -729,7 +729,7 @@
-
+
@@ -745,7 +745,7 @@
-
+
@@ -753,7 +753,7 @@
-
+
@@ -770,7 +770,7 @@
-
+
@@ -793,7 +793,7 @@
-
+
@@ -803,7 +803,7 @@
-
+
@@ -826,7 +826,7 @@
-
+
@@ -842,7 +842,7 @@
-
+
@@ -852,7 +852,7 @@
-
+
@@ -896,7 +896,7 @@
-
+
@@ -907,7 +907,7 @@
-
+
@@ -965,7 +965,7 @@
-
+
@@ -1029,7 +1029,7 @@
-
+
@@ -1074,7 +1074,7 @@
-
+
@@ -1106,7 +1106,7 @@
-
+
@@ -1125,7 +1125,7 @@
-
+
@@ -1135,7 +1135,7 @@
-
+
@@ -1150,7 +1150,7 @@
-
+
@@ -1181,7 +1181,7 @@
-
+
@@ -1194,7 +1194,7 @@
-
+
@@ -1237,7 +1237,7 @@
-
+
@@ -1246,7 +1246,7 @@
-
+
@@ -1278,7 +1278,7 @@
-
+
@@ -1288,7 +1288,7 @@
-
+
@@ -1297,7 +1297,7 @@
-
+
@@ -1307,7 +1307,7 @@
-
+
@@ -1336,7 +1336,7 @@
-
+
@@ -1362,7 +1362,7 @@
-
+
@@ -1466,7 +1466,7 @@
-
+
@@ -1498,7 +1498,7 @@
-
+
@@ -1517,7 +1517,7 @@
-
+
@@ -1527,7 +1527,7 @@
-
+
@@ -1548,7 +1548,7 @@
-
+
@@ -1561,7 +1561,7 @@
-
+
@@ -1584,7 +1584,7 @@
-
+
@@ -1593,7 +1593,7 @@
-
+
@@ -1624,7 +1624,7 @@
-
+
@@ -1634,7 +1634,7 @@
-
+
@@ -1643,7 +1643,7 @@
-
+
@@ -1653,7 +1653,7 @@
-
+
@@ -1692,7 +1692,7 @@
-
+
@@ -1702,7 +1702,7 @@
-
+
@@ -1717,7 +1717,7 @@
-
+
@@ -1727,7 +1727,7 @@
-
+
@@ -1744,11 +1744,11 @@
-
+
-
+
@@ -1761,7 +1761,7 @@
-
+
@@ -1773,7 +1773,7 @@
-
+
@@ -1875,7 +1875,7 @@
-
+
@@ -1886,7 +1886,7 @@
-
+
@@ -1895,7 +1895,7 @@
-
+
@@ -1919,7 +1919,7 @@
-
+
@@ -1942,7 +1942,7 @@
-
+
@@ -1951,7 +1951,7 @@
-
+
@@ -1974,7 +1974,7 @@
-
+
@@ -1993,7 +1993,7 @@
-
+
@@ -2006,7 +2006,7 @@
-
+
@@ -2032,7 +2032,7 @@
-
+
@@ -2046,7 +2046,7 @@
-
+
@@ -2065,7 +2065,7 @@
-
+
@@ -2093,7 +2093,7 @@
-
+
@@ -2104,7 +2104,7 @@
-
+
@@ -2116,7 +2116,7 @@
-
+
@@ -2134,7 +2134,7 @@
-
+
@@ -2150,7 +2150,7 @@
-
+
@@ -2174,7 +2174,7 @@
-
+
@@ -2186,7 +2186,7 @@
-
+
@@ -2204,7 +2204,7 @@
-
+
@@ -2214,7 +2214,7 @@
-
+
@@ -2230,7 +2230,7 @@
-
+
@@ -2250,7 +2250,7 @@
-
+
@@ -2261,7 +2261,7 @@
-
+
@@ -2289,7 +2289,7 @@
-
+
@@ -2309,7 +2309,7 @@
-
+
@@ -2345,7 +2345,7 @@
-
+
@@ -2389,7 +2389,7 @@
-
+
@@ -2397,7 +2397,7 @@
-
+
@@ -2430,7 +2430,7 @@
-
+
@@ -2447,12 +2447,12 @@
-
+
-
+
@@ -2479,7 +2479,7 @@
-
+
@@ -2490,7 +2490,7 @@
-
+
@@ -2502,7 +2502,7 @@
-
+
@@ -2583,7 +2583,7 @@
-
+
@@ -2598,7 +2598,7 @@
-
+
@@ -2632,7 +2632,7 @@
-
+
@@ -2648,7 +2648,7 @@
-
+
@@ -2706,7 +2706,7 @@
-
+
@@ -2719,7 +2719,7 @@
-
+
@@ -2756,7 +2756,7 @@
-
+
@@ -2772,7 +2772,7 @@
-
+
@@ -2824,7 +2824,7 @@
-
+
@@ -2846,7 +2846,7 @@
-
+
@@ -2869,7 +2869,7 @@
-
+
@@ -2887,7 +2887,7 @@
-
+
@@ -2908,7 +2908,7 @@
-
+
@@ -2918,7 +2918,7 @@
-
+
@@ -2931,7 +2931,7 @@
-
+
@@ -2946,7 +2946,7 @@
-
+
@@ -2955,7 +2955,7 @@
-
+
@@ -2972,7 +2972,7 @@
-
+
@@ -2985,7 +2985,7 @@
-
+
@@ -3030,7 +3030,7 @@
-
+
@@ -3043,7 +3043,7 @@
-
+
@@ -3053,7 +3053,7 @@
-
+
@@ -3072,7 +3072,7 @@
-
+
@@ -3084,7 +3084,7 @@
-
+
@@ -3095,7 +3095,7 @@
-
+
@@ -3103,7 +3103,7 @@
-
+
@@ -3153,19 +3153,19 @@
-
+
-
+
-
+
@@ -3176,7 +3176,7 @@
-
+
@@ -3188,7 +3188,7 @@
-
+
@@ -3271,7 +3271,7 @@
-
+
@@ -3286,7 +3286,7 @@
-
+
@@ -3302,7 +3302,7 @@
-
+
@@ -3392,7 +3392,7 @@
-
+
@@ -3408,7 +3408,7 @@
-
+
@@ -3434,7 +3434,7 @@
-
+
@@ -3463,7 +3463,7 @@
-
+
@@ -3481,7 +3481,7 @@
-
+
@@ -3489,7 +3489,7 @@
-
+
@@ -3505,7 +3505,7 @@
-
+
@@ -3513,7 +3513,7 @@
-
+
@@ -3553,7 +3553,7 @@
-
+
@@ -3566,7 +3566,7 @@
-
+
@@ -3582,7 +3582,7 @@
-
+
@@ -3672,7 +3672,7 @@
-
+
@@ -3688,7 +3688,7 @@
-
+
@@ -3714,7 +3714,7 @@
-
+
@@ -3743,7 +3743,7 @@
-
+
@@ -3761,7 +3761,7 @@
-
+
@@ -3769,7 +3769,7 @@
-
+
@@ -3785,7 +3785,7 @@
-
+
@@ -3793,7 +3793,7 @@
-
+
@@ -3852,7 +3852,7 @@
-
+
@@ -3898,7 +3898,7 @@
-
+
@@ -3974,7 +3974,7 @@
-
+
@@ -3987,7 +3987,7 @@
-
+
@@ -3997,7 +3997,7 @@
-
+
@@ -4019,7 +4019,7 @@
-
+
@@ -4081,7 +4081,7 @@
-
+
@@ -4140,7 +4140,7 @@
-
+
@@ -4175,7 +4175,7 @@
-
+
@@ -4194,7 +4194,7 @@
-
+
@@ -4204,7 +4204,7 @@
-
+
@@ -4219,7 +4219,7 @@
-
+
@@ -4250,7 +4250,7 @@
-
+
@@ -4263,7 +4263,7 @@
-
+
@@ -4309,7 +4309,7 @@
-
+
@@ -4318,7 +4318,7 @@
-
+
@@ -4345,7 +4345,7 @@
-
+
@@ -4355,7 +4355,7 @@
-
+
@@ -4364,7 +4364,7 @@
-
+
@@ -4374,7 +4374,7 @@
-
+
@@ -4400,7 +4400,7 @@
-
+
@@ -4429,7 +4429,7 @@
-
+
@@ -4548,7 +4548,7 @@
-
+
@@ -4576,7 +4576,7 @@
-
+
@@ -4631,7 +4631,7 @@
-
+
@@ -4666,7 +4666,7 @@
-