Detecting and merging Strongly Connected Components with appropriate reachability information