removing refutation inhibiting bug in PointsToQuery -- was being too liberal with declining to add constraints