Predicate PointsTo::PointsTo::API::points_to

INTERNAL – Use f.refersTo(value, cls, origin) instead.

predicate points_to(ControlFlowNode f, PointsToContext context, Object value, ClassObject cls, ControlFlowNode origin)