Use WriteAsOperand instead of getName() to print loop header names,