diff --git a/src/main/scala/inox/ast/Constructors.scala b/src/main/scala/inox/ast/Constructors.scala
index e9bf6c88568941cde347ea2f98810b6392ef121a..2ba2c15118fd6d4d7ef5b61b318a228b3acf0d1a 100644
--- a/src/main/scala/inox/ast/Constructors.scala
+++ b/src/main/scala/inox/ast/Constructors.scala
@@ -280,4 +280,8 @@ trait Constructors {
       IsInstanceOf(expr, tpe)
     }
   }
+
+  def finiteLambda(cases: Seq[(Expr, Expr)], default: Expr, ft: FunctionType): Expr = {
+    ???
+  }
 }