Function SCIPisSumLE 

pub unsafe extern "C" fn SCIPisSumLE(
    scip: *mut SCIP,
    val1: f64,
    val2: f64,
) -> c_uint

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