fixed transfer function of p = q for pointsToAnalysis