Symbol: E_DUPLICATE_STATE_TRANSITION