WIP
WIP - dynamic scc algo