Merge "Generalize induction and range analysis across type conversions."
am: 9060376

* commit '9060376f38cb03353c82ddf15844156414249b19':
  Generalize induction and range analysis across type conversions.