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