pub(crate) const SCC_MAX_SEEN_PATHS: usize = 128;
Maximum number of distinct paths collected per SCC.