Compiling code generated by dump-c (removing cprover_TYPE, etc)

[metamaterialsuit]

Are there any tools available to reverse the mapping from cprover types, i.e. cprover_size_t to library types from the generated source? I've looked through all the utility scripts but I might be missing something.

CBMC version: 6.4
Operating system:
Exact command line resulting in the issue:
What behaviour did you expect:
What happened instead: