Member predicate DynamicallyCreatedClass::callResult
Holds if obj
is the result of calling this
and origin
is
the origin of obj
.
This is the context-insensitive version.
Generally, if this holds for any object obj
then callResult/3
should never hold for that object.
predicate callResult(ObjectInternal obj, CfgOrigin origin)