redundant variables eliminated from tree tests + annotation fixes
flow control refactor in Tree.traverse()