diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index bfad43aae71ffb22c33c09cf8667d7920acca9ab..ea5b7ca0f9d6a4dea13d7687b9cb6c6ff953278b 100644
--- a/src/main/scala/leon/purescala/Trees.scala
+++ b/src/main/scala/leon/purescala/Trees.scala
@@ -42,6 +42,8 @@ object Trees {
 
   case class Epsilon(pred: Expr) extends Expr with ScalacPositional
 
+  case class Choose(vars: List[Identifier], pred: Expr) extends Expr with ScalacPositional
+
   /* Like vals */
   case class Let(binder: Identifier, value: Expr, body: Expr) extends Expr {
     binder.markAsLetBinder