Some gc in synthesis

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) = {
-  }
 }
 

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