synchronized void add ( TYPE_1 t ) { <BUG> if ( t instanceof TYPE_2 ) {if ( VAR_1 ) throw new TYPE_3 ( STRING_1 ) ;VAR_2 . add ( ( ( TYPE_2 ) ( t ) ) ) ;}</BUG> VAR_3 . add ( t ) ; }
synchronized void add ( TYPE_1 t ) { VAR_3 . add ( t ) ; } 
