HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance