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