Add `for`-counterpart column to rewriting examples