C++ front-end: fix global constructor and member initialization#8770

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-537-cpp-inittautschnig/cbmc:fix-537-cpp-initCopy head branch name to clipboard