Implementing DEscapeAnalysis.