State Diagram: TOP:verifyError