New pull request for geometric points-to solver

Hi, Eric, I just update the patch. Please double check if I still erroneously changed something. Thanks a lot !