Predicate CallGraph::impliedReceiverStep

Holds if pred is assumed to flow to succ because a method is stored on an object that is assumed to be the receiver of calls to that method.

For example, object literal below is assumed to flow to the receiver of the foo function:

let obj = {};
obj.foo = function() {}