Lafore: BST with a pointer to the parent node