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