Merge "Improvements in induction range analysis."