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