State Diagram: TOP:WaitingForCleanUp