Teach indvars to generate nsw/nuw flags when widening an induction variable.