Symbol: next_search_state