Added inferred callgraph edges to callgraph
Missing initialisation
Half dataflow state for reaching-creations analysis