Use case description: <PRE> MAIN: for (i=0;...) { for (j=0;....) { if (....) { break MAIN } } } </PRE>