goto_check: do not unnecessarily build size-of expressions#2255

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:speedup-no-pointer-checktautschnig/cbmc:speedup-no-pointer-checkCopy head branch name to clipboard