C Instrumentation Framework

There are different issues with outputting type qualifiers. For instance, CPAchecker does not support C11 _Atomic (https://bugs.eclipse.org/bugs/show_bug.cgi?id=445297) while its support in Frama-C (CIL) was added just recently (https://forge.ispras.ru/projects/astraver/repository/framac/revisions/61c689f55c02). CIF itself has some bugs in providing const type qualifier (#8375). Though, it would be great to add missed support and fix all issues with type qualifiers, but most likely it will be extremely easier to get rid of them completely. It does not look that this will hurt anybody too much.