Fixed set no_zero_init for current CBMC
Fixed set no_zero_init for current CBMC

- Code had not been updated for new c::__CPROVER_initialize function

git-svn-id: 2bf0a26aea6c62cd51edc7db6f8f24500077f83b@247 740c81f5-4728-4b1f-bc77-cf82a461b733

tautschnig/fshell,tautschnig/fshell,tautschnig/fshell,tautschnig/fshell