Method add removed, as it's not used anymore
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