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