factor out common call graph unit test functions into header#2488

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

polgreen:common_call_graph_funcspolgreen/cbmc:common_call_graph_funcsCopy head branch name to clipboard