Implement induction variable injection!