Symbol: merge_sm_states