Index := INT#0 TO INT#50 DO
INT#1 DO CONTINUE
Counter := 0 TO 10 DO i
_IF WHILE test = 1 DO [...] ; // empty statements do [...] 2 DO //for
INT#1 DO iVar := i
:=0 TO 10 DO pi
{attribute 'do-analysis
' := 'off'} PROGRAM Do
Cond2) = 12 DO // SA0095 x
