Statistics for Efficient Pointer Analysis of Java in Logic