Member predicate PointsToContext::toString

string toString()