Merge "New utilities for induction variables."