Predicate PointsTo::PointsTo::API::instantiation

Holds if f is the instantiation of an object, cls(...).

predicate instantiation(CallNode f, PointsToContext context, ClassObject cls)