deleting ExpandedCallgraph -- no longer needed