The example also shows composed transitions that originate from unreachable states.
a large amount of time and memory may be spent creating states and composing transitions that will not be reachable nor needed in practice.