See compacting-points-to-sets-through-object-clustering-artifact.pdf.