diff --git a/src/main/scala/leon/purescala/TreeOps.scala b/src/main/scala/leon/purescala/TreeOps.scala
index eb0ff3545f8c50c3697aa8236710bc51e248d683..c3803718ed934dbf75abdc2189cc4d6af69de93f 100644
--- a/src/main/scala/leon/purescala/TreeOps.scala
+++ b/src/main/scala/leon/purescala/TreeOps.scala
@@ -1717,8 +1717,13 @@ object TreeOps {
    * ========
    */
 
-  @deprecated("Use postMap instead", "Leon 0.2.0")
+  @deprecated("Use postMap instead", "Leon 0.2.1")
   def searchAndReplace(f: Expr => Option[Expr])(e: Expr) = postMap(f)(e)
 
+  @deprecated("Use postMap instead", "Leon 0.2.1")
+  def searchAndReplaceDFS(f: Expr => Option[Expr])(e: Expr) = postMap(f)(e)
+
+  @deprecated("Use exists instead", "Leon 0.2.1")
+  def contains(e: Expr, matcher: Expr => Boolean): Boolean = exists(matcher)(e)
 
 }