diff --git a/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps b/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps
index 9c1519a0..8bde285e 100644
--- a/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps
+++ b/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps
@@ -12,6 +12,9 @@
+
+
+
@@ -23,6 +26,14 @@
+
+
+
+
+
+
+
+
@@ -31,10 +42,11 @@
+
-
+
@@ -197,7 +209,7 @@
-
+
@@ -253,5 +265,67 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+