Move __CPROVER_uninterpreted_* conversion to C type checker#8280

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

tautschnig:bugfixes/uif-in-quantifiertautschnig/cbmc:bugfixes/uif-in-quantifierCopy head branch name to clipboard