Remove deprecated trees

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

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

src/main/scala/leon/purescala/Extractors.scala

src/main/scala/leon/purescala/PrettyPrinter.scala

src/main/scala/leon/purescala/ScalaPrinter.scala

src/main/scala/leon/purescala/TreeOps.scala

src/main/scala/leon/purescala/Trees.scala

src/main/scala/leon/purescala/TypeTrees.scala

src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala

src/main/scala/leon/xlang/ArrayTransformation.scala

src/main/scala/leon/xlang/TreeOps.scala

...t/resources/regression/termination/valid/BubbleSort.scala

...sources/regression/verification/xlang/valid/Array10.scala