Function find_transitive_edges 

pub fn find_transitive_edges(
    imports: &HashMap<String, HashSet<String>>,
    limit: usize,
) -> Vec<TransitiveEdge>

Transitive edge detection: A→C is redundant if ∃B: A→B and B→C.