Dominates

The strict variant of IsAtLeast. Returns true only when compareLeft reaches compareRight through viaProperty's transitive closure; the same member on both sides yields false. Members with no path between them yield false, not an error.