pub unsafe extern "C" fn SCIPpropIsDelayed( prop: *mut SCIP_PROP, ) -> c_uint
should propagator be delayed, if other propagators found reductions?