Nicer variable names in Tarjan's algorithm.