PR2621: Improvements to the SCEV AddRec binomial expansion. This