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