Function SCIPhashtableSafeInsert 

pub unsafe extern "C" fn SCIPhashtableSafeInsert(
    hashtable: *mut SCIP_HASHTABLE,
    element: *mut c_void,
) -> SCIP_RETCODE

inserts element in hash table (multiple insertion of same element is checked and results in an error)