// If the flow has changed, then add all the reachable
// methods that invoke this method.
if (!in.equals(out)) {
_setEffectFlow(nextMethod, out);
for (Iterator invokers = new Sources(callGraph
.edgesInto(nextMethod)); invokers.hasNext();) {
SootMethod invoker = (SootMethod) invokers.next();
if (_reachables.contains(invoker)) {
_addMethod(invoker);
}
}