added Tree.positions(), similar to th ListWalker API