stricter checking when popping a scope and returning to the parent
"exec" a closure body and "treeWalk" each statement
  * possible to skip statements that are not control flow or assign
  * if statements spawn new environments for evaluating the condition