Merge "Induction variable range analysis."