diff --git a/src/main/scala/leon/grammars/Grammars.scala b/src/main/scala/leon/grammars/Grammars.scala
index cc9e1279c85388900dd42a665eab612904a5cce4..eaa4cf49323ddbb314ead21d1e0b6d8f202b702d 100644
--- a/src/main/scala/leon/grammars/Grammars.scala
+++ b/src/main/scala/leon/grammars/Grammars.scala
@@ -30,7 +30,5 @@ object Grammars {
     default(sctx.program, p.allAs.map(_.toVariable) ++ hints ++ extraHints, sctx.functionContext, sctx.settings.functionsToIgnore)
   }
 
-  def similarTo(e: Expr, base: ExpressionGrammar) = {
-  }
 }
 
diff --git a/src/main/scala/leon/grammars/aspects/TypeDepthBound.scala b/src/main/scala/leon/grammars/aspects/TypeDepthBound.scala
index 177c6bfd979c39597a5c5ff94ebaa0121ba78fac..c46e51f4bd4d0ec2c0b750a89abd8692435c749f 100644
--- a/src/main/scala/leon/grammars/aspects/TypeDepthBound.scala
+++ b/src/main/scala/leon/grammars/aspects/TypeDepthBound.scala
@@ -7,7 +7,7 @@ package aspects
 import purescala.TypeOps.depth
 
 case class TypeDepthBound(bound: Int) extends PersistentAspect {
-  override def asString(implicit ctx: LeonContext): String = s"TD$bound"
+  override def asString(implicit ctx: LeonContext): String = "" // This is just debug pollution to print
 
   override def applyTo(lab: Label, ps: Seq[Production])(implicit ctx: LeonContext) = {
     if (depth(lab.getType) > bound) Nil