diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml
index 153338b4..a0e50575 100644
--- a/samples/fitch/build.xml
+++ b/samples/fitch/build.xml
@@ -1221,7 +1221,7 @@
-
+
diff --git a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps
index 60520620..68e03a7b 100644
--- a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps
+++ b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps
@@ -18,10 +18,15 @@
+
+
+
+
+
@@ -425,6 +430,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml
index bd087b8d..06693f0b 100644
--- a/samples/lambdacalc/build.xml
+++ b/samples/lambdacalc/build.xml
@@ -515,7 +515,7 @@
-
+
diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps
index 20dbe010..35263b6e 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps
@@ -18,10 +18,14 @@
+
+
+
+
@@ -272,6 +276,13 @@
+
+
+
+
+
+
+
diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index 98775991..f6826ede 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -644,7 +644,7 @@
-
+
diff --git a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps
index c00d4a79..a3a433f3 100644
--- a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps
+++ b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps
@@ -23,7 +23,9 @@
-
+
+
+
@@ -348,7 +350,13 @@
-
+
+
+
+
+
+
+