private void METHOD_1 ( int index ) { <BUG> if ( ( index >= 0 ) && ( index < ( size ) ) ) {return ;}else {</BUG> throw new TYPE_1 ( ) ; } }
private void METHOD_1 ( int index ) { if ( ! ( ( 0 <= index ) && ( index < ( size ) ) ) ) { throw new TYPE_1 ( ) ; } } 
