Member predicate PropertyInternal::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)