Merge "Various induction/range analysis improvements."