Functions

essentially same as Tarjan’s Lowlink algorithm