GOTO programs do not have code-typed struct members#6892

tautschnig merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/no-codetautschnig/cbmc:cleanup/no-codeCopy head branch name to clipboard