pub unsafe fn find_derived_clause_for_ec_member(
    arg_ec: *mut EquivalenceClass,
    arg_em: *mut EquivalenceMember
) -> *mut RestrictInfo