public static synchronized int METHOD_1 ( ) { <BUG> return VAR_1 = ( ( VAR_1 ) ++ ) % INT_1 ;</BUG> }
public static synchronized int METHOD_1 ( ) { ( VAR_1 ) ++ ; VAR_1 = ( VAR_1 ) % INT_1 ; return VAR_1 ; } 
