Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences