diff --git a/src/main/scala/leon/purescala/Definitions.scala b/src/main/scala/leon/purescala/Definitions.scala
index 292af0cf81a417477e53ed029e3455e7b050e35e..d24bd0322eff1c7b7caa9ca9f2c2078eabef12f8 100644
--- a/src/main/scala/leon/purescala/Definitions.scala
+++ b/src/main/scala/leon/purescala/Definitions.scala
@@ -454,8 +454,11 @@ object Definitions {
       TypedFunDef(this, tparams.map(_.tp))
     }
 
-    def qualifiedName(implicit pgm: Program) = DefOps.qualifiedName(this, false)
+    /* Auxilliary methods */
 
+    def qualifiedName(implicit pgm: Program) = DefOps.qualifiedName(this, false)
+    
+    def paramIds = params map { _.id }
   }