Remove unused make_free_bv_expr#6860

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/make_free_bvtautschnig/cbmc:cleanup/make_free_bvCopy head branch name to clipboard