Function SCIPsetIncludeProp 

pub unsafe extern "C" fn SCIPsetIncludeProp(
    set: *mut SCIP_SET,
    prop: *mut SCIP_PROP,
) -> SCIP_RETCODE

inserts propagator in propagator list