These are for reporting the overall result of compiling a function.
Make room for verifier sub-modules in separate files.