add transitions between equivalent states