(C18013) Elements containing infinite while loops Error In: Correctness Description: 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. Erroneous Elements: States, transitions, and actions
while
break