Rewriting definition of @for