pub unsafe extern "C" fn SCIPdoNotAggr(scip: *mut SCIP) -> c_uint
returns whether aggregation of variables is not allowed