remove symbol_type support from C front-end#3024

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

ansi-c-symbol-typediffblue/cbmc:ansi-c-symbol-typeCopy head branch name to clipboard