Merge "Various induction/range analysis improvements." am: 0bbc1727c4
am: ec85f7d2a1

* commit 'ec85f7d2a189b176422e82aa03e16c76db48e7be':
  Various induction/range analysis improvements.