Make goto_symext a subtype of messaget#1625

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

karkhaz:kk-symext-is-messagetkarkhaz/cbmc:kk-symext-is-messagetCopy head branch name to clipboard