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