is_bst function