Updated wcma to follow method call-graphs. Data-flow analysis is now absolutely necessary. Also need to add a chain of calls on invoke and delete them at return