Adjust escape analysis interface to support mutual recursion
Implement escape analysis in the presence of mutual recursion