Member predicate ClassObject::ClassObject::attributeRefersTo

Whether the named attribute refers to the object and origin

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