data: ExtendedNFA: It is sufficient for transition alphabet to be only subset of automaton's alphabet