changed the virtual call analysis to use the new dataflow analysis