Member predicate ClassObject::ClassObject::attributeRefersTo

Whether the named attribute refers to the object, class and origin

predicate attributeRefersTo(string name, Object obj, ClassObject cls, ControlFlowNode origin)