diff --git a/src/main/scala/inox/ast/Definitions.scala b/src/main/scala/inox/ast/Definitions.scala
index ecf59199d58f9f5dd0f6c3bb2cd625177f4e2520..e9ab87604c5ef9709f1b0eb65f60476c2aeb4fca 100644
--- a/src/main/scala/inox/ast/Definitions.scala
+++ b/src/main/scala/inox/ast/Definitions.scala
@@ -357,6 +357,8 @@ trait Definitions { self: Trees =>
     val flags: Set[Flag]
   ) extends Definition {
 
+    def paramIds = params map (_.id)
+
     /** Wraps this [[FunDef]] in a in [[TypedFunDef]] with the specified type parameters */
     def typed(tps: Seq[Type])(implicit s: Symbols): TypedFunDef = {
       assert(tps.size == tparams.size)