disable tarjan pruning sometimes