I am doing some static analysis of C code using CIL and would like to
add comments about the information I figure out at various points in the
code. It does not appear that this functionality is supported in CIL
(adding comments at certain spaces). Is this correct? If this is not
correct, then how do I add comments above a statement or an instruction?