Merge "Various improvements in finding induction variables."