Fix tarjan tree

Fixing error in tarjan tree constraints and cleaning up when generating a new one