Our first property uses the notion of capture introduced by Dufour et al. We define the capture of a function invocation $f Subscript i$ as the set of all objects allocated by $f Subscript i$ and its descendents whose lifetimes end before $f Subscript i$ returns. [0]

[0] Shankar, Ajeet, Matthew Arnold, and Rastislav Bodik. “Jolt: lightweight dynamic analysis and removal of object churn.” ACM Sigplan Notices 43.10 (2008): 127-142.