getting rid of the section id counter in the vcgenerator.
don't really need to keep track of what we visit in a stack (could use the stack visitor if we wanted to keep track...)
renamed a variable
reformatted files