public TYPE_1 update ( int VAR_1 ) { <BUG> if ( VAR_1 > ( value ) ) return new TYPE_1 ( VAR_1 ) ;</BUG> return this ; }
public TYPE_1 update ( int VAR_1 ) { if ( VAR_1 > ( value ) ) { value = VAR_1 ; } return this ; } 
