add check BST function