Symbol: find_final_state