Merge "Step-wise improvement of range analysis with outer loop induction." am: d382994228
am: d77596bb5d

* commit 'd77596bb5d9da26bda27ab3db71e2f9f118d3b4e':
  Step-wise improvement of range analysis with outer loop induction.