Currently, we use the trivial version of SCC. For better performance, we need to take advantage of Trajan's approach.