diff --git a/src/funcheck/CLP.scala b/src/funcheck/CLP.scala
new file mode 100644
index 0000000000000000000000000000000000000000..6532bb1d2b8f6d990215419c31a05fbb70980e74
--- /dev/null
+++ b/src/funcheck/CLP.scala
@@ -0,0 +1,9 @@
+package funcheck
+
+object CLP {
+  final class NotImplementedException extends Exception
+
+  def choose[A](pred : A => Boolean) : A = {
+    throw new NotImplementedException()
+  }
+}