CForLoop: Introduce instance variables for header state