Improvements

src/main/scala/leon/datagen/SolverDataGen.scala

src/main/scala/leon/datagen/VanuatooDataGen.scala

src/main/scala/leon/evaluators/TracingEvaluator.scala

src/main/scala/leon/frontends/scalac/ASTExtractors.scala

src/main/scala/leon/frontends/scalac/ExtractionPhase.scala

src/main/scala/leon/frontends/scalac/SimpleReporter.scala

src/main/scala/leon/grammars/SizeBoundedGrammar.scala

src/main/scala/leon/grammars/ValueGrammar.scala

src/main/scala/leon/repair/Repairman.scala

src/main/scala/leon/repair/rules/Focus.scala

src/main/scala/leon/termination/ChainBuilder.scala

src/main/scala/leon/termination/ChainComparator.scala

...in/scala/leon/termination/ComplexTerminationChecker.scala

src/main/scala/leon/termination/Processor.scala

src/main/scala/leon/termination/RecursionProcessor.scala

src/main/scala/leon/termination/RelationProcessor.scala

src/main/scala/leon/termination/SelfCallsProcessor.scala

src/main/scala/leon/termination/Strengthener.scala

src/main/scala/leon/termination/StructuralSize.scala

src/main/scala/leon/termination/TerminationPhase.scala