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

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