checks whether the node of c is a return. If the node is a return statement: - update the exit lattice of the context - if the exit lattice has changed: get all transitions to the node and add them to the worklist
(c *ContextCallSite)
source not stored for this graph (policy: none)