IRCE: generalize to handle loops with decreasing induction variables.