Strong Component
Add Petrick's algorithm