!UPSTREAM: In ir_validate, check that ir_loop::counter always refers to a new var.