Compute strongly connected components using unfolded accesibility graph.

Merged Adam Reichold requested to merge connected-components into main

Merge request reports