Merge "Further development of induction variable analysis."