changes to be tainted only if the method or its callees created new edge.