Add support for uninterpreted functions in incremental SMT2 solver#8751

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

tautschnig:fix-8068-smt-inc-uninterpretedtautschnig/cbmc:fix-8068-smt-inc-uninterpretedCopy head branch name to clipboard