added the method for finding strongly connected graph.
TODO: Alir Graph should be moved to sireum util and call graph should
extend Alir Graph