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