am 6b794540: Merge "Further development of induction variable analysis."

* commit '6b79454092582bea4a72872d04e4bc9f0a48a4b8':
  Further development of induction variable analysis.