CFGNodeWriter