thing.scala

def evaluateFunction(globalCache0: GlobalCache, func: PFunction) = {
  val localsCache0 = LocalsCache(Map())
  val (localsCache1, params) =
    evaluateParameters(localsCache0, func.params)
  val (globalCache1, localsCache2, expressions) =
    evaluateExpressions(globalCache0, localsCache1, func.body)
  val (globalCache2, localsCache3, destructors) =
    evaluateDestructors(globalCache1, localsCache2)
  val (localsCache4, ret) =
    evaluateReturn(localsCache3)
  (globalCache2, TFunction(params, expressions ++ destructors :+ ret))
}