This needs the callgraph data structure to stick around as long as the