Description

PointsTo returns the set of labels that this points-to set contains.