rename traverse_node and friends  to pretty_print
move traversal functions out of parser.(y|h)
incorporate statement label transitions into FSM