if (graphNode == null) {
// Not a CFG node.
return;
}
FlowState<MustDef> state = graphNode.getAnnotation();
final MustDef defs = state.getIn();
final Node cfgNode = n;
AbstractCfgNodeTraversalCallback gatherCb =
new AbstractCfgNodeTraversalCallback() {
@Override