pub unsafe extern "C" fn SCIPvarGetUbGlobal(var: *mut SCIP_VAR) -> f64
gets global upper bound of variable