diff --git a/library/Utils.scala b/library/Utils.scala
index 15006c7bc0820fae25274411ac4c5f5c9ef6a70f..44b05cd36019b12f7b4f46655b3dfb4a2d3436f8 100644
--- a/library/Utils.scala
+++ b/library/Utils.scala
@@ -19,4 +19,14 @@ object Utils {
 
 
   def waypoint[A](i: Int, expr: A): A = expr
+
+  private def noChoose = throw new RuntimeException("Implementation not supported")
+
+  def choose[A](predicate: A => Boolean) = noChoose
+  def choose[A, B](predicate: (A, B) => Boolean) = noChoose
+  def choose[A, B, C](predicate: (A, B, C) => Boolean) = noChoose
+  def choose[A, B, C, D](predicate: (A, B, C, D) => Boolean) = noChoose
+  def choose[A, B, C, D, E](predicate: (A, B, C, D, E) => Boolean) = noChoose
+  def choose[A, B, C, D, E, F](predicate: (A, B, C, D, E, F) => Boolean) = noChoose
+  def choose[A, B, C, D, E, F, G](predicate: (A, B, C, D, E, F, G) => Boolean) = noChoose
 }