Reworked TransitionSet
Reworked LabelSet