Merge "New utilities for induction variables."
am: f040eca732

Change-Id: Id7aef6c6a2fe546d3a10d00036481677468c8e30