added isBST2