Add Bridge
Verify Bridge
Add strongly connected component
Verify scc