Predicate PointsTo::PointsTo::Types::class_has_attribute

Holds if the class cls has an attribute called name

predicate class_has_attribute(ClassObject cls, string name)