Merge "Use induction variable range analysis in BCE (statically)."