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
  }

}