am fb32aca0: Merge "Induction variable analysis (with unit tests)."

* commit 'fb32aca04cc1b5f5e8325d79664882f25f253881':
  Induction variable analysis (with unit tests).