diff --git a/src/main/scala/leon/purescala/Common.scala b/src/main/scala/leon/purescala/Common.scala
index 049da29b33d8a915dfe69022cc256dc1f9823069..fde8be1a91953db0af6efedcf58fcc50b189b055 100644
--- a/src/main/scala/leon/purescala/Common.scala
+++ b/src/main/scala/leon/purescala/Common.scala
@@ -36,6 +36,8 @@ object Common {
     private var _islb: Boolean = false
     def markAsLetBinder : Identifier = { _islb = true; this }
     def isLetBinder : Boolean = _islb
+
+    def freshen: Identifier = FreshIdentifier(name, alwaysShowUniqueID).setType(getType)
   }
 
   private object UniqueCounter {