More extensive alias analysis.