public boolean isEmpty ( ) { assert java.lang.Thread . METHOD_1 ( this ) ; <BUG> synchronized ( this ) {</BUG> return ( VAR_1 . METHOD_2 ( ) . METHOD_3 ( ) ) == 0 ; } }
public boolean isEmpty ( ) { assert java.lang.Thread . METHOD_1 ( this ) ; synchronized ( VAR_1 ) { return ( VAR_1 . METHOD_2 ( ) . METHOD_3 ( ) ) == 0 ; } } 
