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