Merge "Step-wise improvement of range analysis with outer loop induction."