Fix and improve SCEV ComputeBackedgeTankCount.