C Instrumentation Framework

CIF outputs ugly function declarations that can break subsequent verification steps in Klever and whatever when there are no explicit function declarations. Though, sometimes one can build sources with special options that will cause compiler failures, it is not a guaranteed behavior, so, it will be better to avoid generation of additional and invalid function declarations.