pub fn is_dep_implied(dep: &Relation, outer: &Relation) -> bool
Check if one dependency is implied by another.
Is dep implied by outer?