New test case for macro expansion
Deal with annotating the increment/decrement term of a for loop