Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages