Simplify induction variables before 'raising' the representation