public void METHOD_1 ( int VAR_1 , java.lang.Integer value ) { if ( ( values [ VAR_1 ] ) != value ) { if ( ( values [ VAR_1 ] ) == null ) ( VAR_2 ) ++ ; values [ VAR_1 ] = value ; } assert METHOD_2 ( ) ; }

public void METHOD_1 ( int VAR_1 , java.lang.Integer value ) { assert value != null ; if ( ( values [ VAR_1 ] ) != value ) { if ( ( values [ VAR_1 ] ) == null ) ( VAR_2 ) ++ ; values [ VAR_1 ] = value ; } assert METHOD_2 ( ) ; }
