Member predicate PythonModuleObjectInternal::attribute
Holds if the result of getting the attribute name is value and that value comes
from origin. Note this is not the same as class lookup. For example
for an object x the attribute name (x.name) may refer to a bound-method, an attribute of the
instance, or an attribute of the class.
predicate attribute(string name, ObjectInternal value, CfgOrigin origin)