Improve function pointer optimization for constant pointers#8771

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

tautschnig:fix-476-const-function-ptrtautschnig/cbmc:fix-476-const-function-ptrCopy head branch name to clipboard