Symbol: merge_compare_states