public synchronized void METHOD_1 ( int VAR_1 ) { assert ( this . VAR_1 ) <= VAR_1 ; this . VAR_1 = VAR_1 ; }
public synchronized void METHOD_1 ( int VAR_1 ) { if ( ( this . VAR_1 ) <= VAR_1 ) { this . VAR_1 = VAR_1 ; } else { return ; } }