Remove deprecated make_with_expr#8666

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:remove-make_with_exprtautschnig/cbmc:remove-make_with_exprCopy head branch name to clipboard