PointsTo: rewrite applyRule

make computePointsToSets use PointsToGraph

applyRule for GEP is not working very well, need to change it