integrated local must alias analysis and added a corresponding test case