protected void METHOD_1 ( int VAR_1 , TYPE_1 VAR_2 ) { TYPE_2 VAR_3 = null ; for ( int i = 0 ; i < ( VAR_4 . size ( ) ) ; i ++ ) { if ( ( VAR_4 . get ( i ) . METHOD_2 ( ) ) == VAR_1 ) { VAR_3 = VAR_4 . get ( i ) ; } VAR_3 . METHOD_3 ( ) . add ( VAR_2 ) ; assert VAR_3 . METHOD_3 ( ) . contains ( VAR_2 ) ; } }

protected void METHOD_1 ( int VAR_1 , TYPE_1 VAR_2 ) { TYPE_2 VAR_3 = null ; for ( int i = 0 ; i < ( VAR_4 . size ( ) ) ; i ++ ) { if ( ( VAR_4 . get ( i ) . METHOD_2 ( ) ) == VAR_1 ) { VAR_3 = VAR_4 . get ( i ) ; } } assert VAR_3 != null ; VAR_3 . METHOD_3 ( ) . add ( VAR_2 ) ; assert VAR_3 . METHOD_3 ( ) . contains ( VAR_2 ) ; }
