change for's syntax rules; optimal for ir.