add a scc algorithm
add stats script for reachability