As a follow-up to one of my previous patch, here's another patch that
will make --dosimplify more suitable for generating code, better suited
for software verification.
The patch adds --no-convert-field-offsets option for --dosimplify
extension. This option makes CIL not convert structure fiel
For a down-stream analysis that reads CIL instrumented files, I need
#line pragmas for local variables. I can do that by redefining 'pVDecl'
in my CIL printer.
But, when printing a function definition, defaultCilPrinterClass doesn't
add a new line after the opening curly brace. So, it prints
