Member predicate InstanceObject :: initializer
Holds if init in the context callee is the initializer of this instance
predicate
initializer
(
PythonFunctionObjectInternal
init
,
Context
callee
)