protected int a ( ) { double j = 1 + 1 ; if ( j > 1 ) { return INT_1 ; <BUG> }while ( j < INT_2 ) {j -- ;continue ;</BUG> } return 1 ; }
protected int a ( ) { double j = 1 + 1 ; if ( j > 1 ) { return INT_1 ; } return 1 ; } 
