Deprecate has_symbol [blocks: #6727]#6766

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/has_symboltautschnig/cbmc:cleanup/has_symbolCopy head branch name to clipboard