void METHOD_1 ( ) { VAR_1 = VAR_2 . METHOD_2 ( ) ; <BUG> TYPE_1 VAR_3 ;synchronized ( VAR_4 ) {VAR_3 = VAR_5 ;}</BUG> if ( VAR_3 != null ) VAR_3 . METHOD_3 ( this ) ; VAR_2 = null ; }
void METHOD_1 ( ) { VAR_1 = VAR_2 . METHOD_2 ( ) ; TYPE_1 VAR_3 = VAR_5 ; if ( VAR_3 != null ) VAR_3 . METHOD_3 ( this ) ; VAR_2 = null ; } 
