Automata add method deleteUnattainableStates Update Solver: