BST succ and pred pseudocode