De-duplicate and fix code of value-set backed function pointer removal#6985

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/value-set-fi-fp-removaltautschnig/cbmc:bugfixes/value-set-fi-fp-removalCopy head branch name to clipboard