Step #1 to giving Callgraph some sane invariants. The problems with callgraph