Making BackwardTraversal much clearer and making stronglyConnected components more correct, but something is still up ...