Revert "[depends: #1063] Use nullptr to represent null pointers (targets master)"#1172

tautschnig merged 1 commit intomasterdiffblue/cbmc:masterfrom

revert-1159-use-nullptr-masterdiffblue/cbmc:revert-1159-use-nullptr-masterCopy head branch name to clipboard