verify if a BT is BST