Make the Andersen points-to graph an instance of ToGraphviz
Add a ToGraphviz instance for the CallGraph