Function SCIPpropGetNDelConss 

pub unsafe extern "C" fn SCIPpropGetNDelConss(
    prop: *mut SCIP_PROP,
) -> c_int

gets number of constraints deleted during presolving of propagator