Javadoc
for each NFA config in d, look for "predicate required" sign set
during nondeterminism resolution.
Add the predicate edges sorted by the alternative number; I'm fairly
sure that I could walk the configs backwards so they are added to
the predDFATarget in the right order, but it's best to make sure.
Predicates succeed in the order they are specifed. Alt i wins
over alt i+1 if both predicates are true.