Function pointer removal: create fall-back function call#6987

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

tautschnig:bugfixes/6983-function-pointertautschnig/cbmc:bugfixes/6983-function-pointerCopy head branch name to clipboard