Predicate PointsTo::PointsTo::API::ssa_variable_points_to

Holds if var refers to (value, cls, origin) given the context context.

predicate ssa_variable_points_to(EssaVariable var, PointsToContext context, Object value, ClassObject cls, ObjectOrCfg origin)