proc Build_lazy
  AST, Stack := delete_last(Stack)
  Stack +:= [[Walk_lazy AST]]