Accurate and Efficient Approximation of Variable Aliasing in Logic Programs