diff --git a/cp-demo/Assuming.scala b/cp-demo/Assuming.scala
new file mode 100644
index 0000000000000000000000000000000000000000..75bb2631ef6b2eb6bcea1f87721fce4537496b01
--- /dev/null
+++ b/cp-demo/Assuming.scala
@@ -0,0 +1,14 @@
+import cp.Definitions._
+
+object Assuming {
+  def main(args: Array[String]): Unit = {
+    for (x <- ((x: Int) => x >= 0 && x < 4).lazyFindAll) {
+      for (b <- ((b: Boolean) => b && x <= 1).lazyFindAll) {
+        println("hey!")
+      }
+      for (b <- ((b: Boolean) => b && x > 1).lazyFindAll) {
+        println("ho!")
+      }
+    }
+  }
+}