Add the code of generated predicates and logic functions as a global
annotation above their declaration in the generated C code.