Remove undefined-function-is-assume-false from goto-instrument#8783

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

tautschnig:fix-2070-undefined-functiontautschnig/cbmc:fix-2070-undefined-functionCopy head branch name to clipboard