Add toString to Trees using LeonContext that prints full names

src/main/scala/leon/LeonContext.scala

@@ -33,4 +33,10 @@ object LeonContext {
     val reporter = new DefaultReporter(Set())
     LeonContext(reporter, new InterruptManager(reporter))
   }
+
+  def printNames = {
+    empty.copy(options =
+      Seq(LeonOption[Set[DebugSection]](SharedOptions.optDebug)(Set(DebugSectionTrees)))
+    )
+  }
 }

src/main/scala/leon/purescala/Common.scala

@@ -26,6 +26,8 @@ object Common {
     def asString(pgm: Program)(implicit ctx: LeonContext): String = {
       ScalaPrinter(this, ctx, pgm)
     }
+
+    override def toString = asString(LeonContext.printNames)
   }
 
   /** Represents a unique symbol in Leon.