Zustandsgraph vervollständigt, Fehler bei zwei Pausen korrigiert