Member predicate TupleObjectInternal :: callResult
Holds if obj
is the result of calling this
and origin
is
the origin of obj
.
predicate
callResult
(
ObjectInternal
obj
,
CfgOrigin
origin
)