public boolean METHOD_1 ( ) { counter . METHOD_2 ( 1 ) ; counter . add ( ( - 1 ) ) ; <BUG> METHOD_3 ( METHOD_4 ( message ) ) ;</BUG> return true ; }
public boolean METHOD_1 ( ) { counter . METHOD_2 ( 1 ) ; METHOD_3 ( METHOD_4 ( message ) ) ; counter . add ( ( - 1 ) ) ; return true ; } 
