Member predicate ObjectInternal::binds
Holds if attribute lookup on this object may “bind” instance to descriptor.
Here “bind” means that instance is passed to the descriptor.__get__() method
at runtime. The term “bind” is used as this most likely results in a bound-method.
predicate binds(ObjectInternal instance, string name, ObjectInternal descriptor)