goto-analyzer: fix reachable-functions analysis for inline functions#8788

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

tautschnig:fix-5173-goto-analyzertautschnig/cbmc:fix-5173-goto-analyzerCopy head branch name to clipboard