To my understanding skimming the paper, the analysis must compute "call contexts" of functions, which use information from call sites. I wonder if this will imp

To my understanding skimming the paper, the analysis must compute "call contexts" of functions, which use information from call sites. I wonder if this will impede incremental compilation and modularity. As programs get bigger, perhaps this approach may not scale.