Use CPROVER_PREFIX instead of hardcoded __CPROVER

[tautschnig]

There are a number of places in the codebase that should use the macro instead of hardcoding the string -- or else CPROVER_PREFIX should be dropped. Having some part of the code base use it is of little value.

[tautschnig]

Duplicate of #735.