check if BST and in-order successor