add is_bst