Adds recursive Tarjans.