mls_dominate_element
return (mls_dominate_element(&rangeb->mm_rangehigh,
mls_dominate_element(&rangea->mm_rangelow,
return (mls_dominate_element(&range->mm_rangehigh,
mls_dominate_element(&effective->mm_effective,
return (mls_dominate_element(&a->mm_effective, &b->mm_effective));
if (!mls_dominate_element(&mm->mm_rangehigh,