Updated wcma to follow method call-graphs. Data-flow analysis is now absolutely necessary