Binary Tree Postorder Traversal: correct implementation