graph test reorg
Tarjan: generic param rename
Tarjan test: closures are nice