public synchronized boolean METHOD_1 ( int VAR_1 ) { <BUG> return ( VAR_2 ) >= VAR_1 ;</BUG> }
public synchronized boolean METHOD_1 ( int VAR_1 ) { return ( ( VAR_2 ) >= VAR_1 ) && ( VAR_1 != 0 ) ; } 
