Function SCIPgetHmaxCumulative 

pub unsafe extern "C" fn SCIPgetHmaxCumulative(
    scip: *mut SCIP,
    cons: *mut SCIP_CONS,
) -> c_int

returns the right bound of effective horizon