Member predicate ClassObject::attributeRefersTo
Whether the named attribute refers to the object and origin
predicate attributeRefersTo(string name, Object obj, ControlFlowNode origin)Whether the named attribute refers to the object and origin
predicate attributeRefersTo(string name, Object obj, ControlFlowNode origin)