fix check BST property