private boolean METHOD_1 ( ) { <BUG> if ( METHOD_2 ( ) ) return true ;</BUG> TYPE_1 VAR_1 ; VAR_1 = VAR_2 ; <BUG> if ( METHOD_3 ( ) ) VAR_2 = VAR_1 ;</BUG> return false ; }
private boolean METHOD_1 ( ) { TYPE_1 VAR_1 ; while ( true ) { VAR_1 = VAR_2 ; if ( METHOD_2 ( ) ) { VAR_2 = VAR_1 ; break ; } } if ( METHOD_3 ( ) ) return true ; return false ; } 
