Simplifications

src/main/scala/leon/datagen/NaiveDataGen.scala

src/main/scala/leon/evaluators/RecursiveEvaluator.scala

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

src/main/scala/leon/purescala/TreeNormalizations.scala

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

...ain/scala/leon/termination/SimpleTerminationChecker.scala

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

src/main/scala/leon/verification/InductionTactic.scala