LARA

package whilelang
 
object TreeSimplifier {
  def apply(stat: Statement): Statement = {
    // replace all for loops by equivalent trees using while loops...
  }
}