Type 2

1 DO
2 WHILE ( exp4 )
2.1? UNTIL ( exp5 )
2 UNTIL ( exp5 )
2.1? WHILE ( exp4 )
2.1.1 ;