Added 'C_cxx_alloc_type' irep id#793

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

mariusmc92:cleanup/rename-type-irep-idsmariusmc92/cbmc:cleanup/rename-type-irep-idsCopy head branch name to clipboard