It's sometimes helpful, during program analysis, to collapse each strongly-connected component (SCC) of a directed graph into a single placeholder node representing that SCC.

When you do this, you're guaranteed that the resulting graph is acyclic.