It appears the Python recursive solution will not work if we are looking for the successor node of a leaf node of a BST.