validate_binary_search_tree AC