graph_search_verification