ACCEPTED
} else if (State() == ACCEPTED && next != State())
if (next == INITIAL || next == ACCEPTED)
NewState(ACCEPTED);