Debugging Strongly Connected Component