module type S =
If (a -> set) belongs to the map, it means that there are edges
a to every element of
set. It is assumed that no edge
points to a vertex not represented in the map.
val connected_components_sorted_from_roots_to_leaf :
val component_graph :
(component * int list) array