change the way to represent updated heap edges and instantiation summary, the inverse dependence should be per caller instead of per call site