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

* commit '0bbc1727c446ee5f4cc3c28e68127164ef379594':
  Various induction/range analysis improvements.