finds intersections of transitive reqs