Method getNextConfig modified: *Remaining case implemented: Multiple start states *Case One start state, one transition updated to make it consistent with the case Multiple start states
Method getNextConfig modified:
*Remaining case implemented: Multiple start states
*Case One start state, one transition updated to make it consistent with
the case Multiple start states
selig/qea