diff --git a/languages/DclareMPS/models/behavior.mps b/languages/DclareMPS/models/behavior.mps
index e4a5b591..1e230045 100644
--- a/languages/DclareMPS/models/behavior.mps
+++ b/languages/DclareMPS/models/behavior.mps
@@ -355,6 +355,7 @@
+
@@ -13745,6 +13746,7 @@
+
diff --git a/languages/DclareMPS/models/constraints.mps b/languages/DclareMPS/models/constraints.mps
index adb7f937..58b2bfc2 100644
--- a/languages/DclareMPS/models/constraints.mps
+++ b/languages/DclareMPS/models/constraints.mps
@@ -265,6 +265,7 @@
+
@@ -414,6 +415,7 @@
+
@@ -592,34 +594,53 @@
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
-
+
+
-
+
@@ -1432,6 +1453,7 @@
+
@@ -1531,6 +1553,7 @@
+
@@ -2647,6 +2670,7 @@
+
@@ -3350,6 +3374,7 @@
+
@@ -4370,6 +4395,7 @@
+
@@ -4622,6 +4648,7 @@
+
@@ -4636,6 +4663,7 @@
+
@@ -4653,6 +4681,7 @@
+
@@ -4678,6 +4707,7 @@
+
@@ -4702,6 +4732,7 @@
+
@@ -4749,6 +4780,7 @@
+
@@ -4816,6 +4848,7 @@
+
@@ -5288,6 +5321,7 @@
+
@@ -5312,6 +5346,7 @@
+
@@ -5336,6 +5371,7 @@
+
@@ -5360,6 +5396,7 @@
+
@@ -5374,6 +5411,7 @@
+
@@ -5560,6 +5598,7 @@
+
@@ -5579,6 +5618,7 @@
+
@@ -5636,6 +5676,7 @@
+
@@ -5757,6 +5798,7 @@
+
@@ -5776,6 +5818,7 @@
+
@@ -5909,35 +5952,20 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
-
+
+
-
+
@@ -5965,6 +5993,7 @@
+
diff --git a/languages/DclareMPS/models/typesystem.mps b/languages/DclareMPS/models/typesystem.mps
index 138b8996..b2ca4492 100644
--- a/languages/DclareMPS/models/typesystem.mps
+++ b/languages/DclareMPS/models/typesystem.mps
@@ -304,6 +304,7 @@
+
@@ -489,6 +490,7 @@
+
@@ -1415,6 +1417,7 @@
+
@@ -6382,6 +6385,7 @@
+
@@ -7059,6 +7063,7 @@
+