private synchronized void METHOD_1 ( ) { METHOD_2 ( ) ; VAR_1 = VAR_2 ; VAR_3 = VAR_4 ; <BUG> METHOD_3 ( ) ;</BUG> }
private synchronized void METHOD_1 ( ) { METHOD_2 ( ) ; VAR_1 = VAR_2 ; VAR_3 = VAR_4 ; } 
