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