Category: scc-decomposition