Reusable Method Summaries For Improving Performance Of Dynamic Dependence Analysis