Merge "Generalize induction and range analysis across type conversions."