Javadoc
Walk the configurations of this DFA state d looking for the
configuration, c, that has a transition on EOT. State d should
be converted to an accept state predicting the c.alt. Blast
d's current configuration set and make it just have config c.
TODO: can there be more than one config with EOT transition?
That would mean that two NFA configurations could reach the
end of the token with possibly different predicted alts.
Seems like that would be rare or impossible. Perhaps convert
this routine to find all such configs and give error if >1.