Simplificator is no longer needed

src/main/scala/leon/Main.scala

@@ -9,7 +9,6 @@ object Main {
       xlang.EpsilonElimination,
       xlang.ImperativeCodeElimination,
       xlang.FunctionClosure,
-      Simplificator,
       synthesis.SynthesisPhase,
       verification.AnalysisPhase
     )

src/main/scala/leon/Simplificator.scala

-package leon
-
-import purescala.Common._
-import purescala.Definitions._
-import purescala.Trees._
-import purescala.TypeTrees._
-import purescala.TreeOps._
-
-object Simplificator extends TransformationPhase {
-
-  val name = "Simplificator"
-  val description = "Some safe and minimal simplification"
-
-  def apply(ctx: LeonContext, pgm: Program): Program = {
-
-    val allFuns = pgm.definedFunctions
-    allFuns.foreach(fd => {
-      fd.body = fd.body.map(simplifyLets)
-      fd.precondition = fd.precondition.map(simplifyLets)
-      fd.postcondition = fd.postcondition.map(simplifyLets)
-    })
-    pgm
-  }
-
-}