Function SCIPsetIsSumLE 

pub unsafe extern "C" fn SCIPsetIsSumLE(
    set: *mut SCIP_SET,
    val1: f64,
    val2: f64,
) -> c_uint

checks if val1 is not (more than sumepsilon) greater than val2