Added method call graph construction. Need to perform data-flow analysis within method