Graphs that are part of equivalence sets can be multi-function SCC's