Statechart Checks : (C1013) Elements containing infinite while loops

(C1013) Elements containing infinite while loops

This check detects cases in which the while loop control expression does not contain a context variable and there is no break statement in the loop.
Error In:
Correctness
Erroneous Elements:
States, transitions, and actions