Holds if there are transitions from the components of
q to the corresponding
r labelled with
Additionally, a heuristic is used to avoid blowups in the case of complex regexps.
For regular expressions with more than 100 states, we only look at all the characters
for the transitions out of
q and only consider transitions that use the lexicographically