Use context-sensitive alias analysis to avoid pessimization in clients of