Predicate PointsTo::PointsTo::Types::callToClassWillReturnInstance

INTERNAL – Do not not use.

Holds if a call to this class will return an instance of this class.

predicate callToClassWillReturnInstance(ClassObject cls)