(void)id;
    }
  }

  for (auto& arg : op->getOpOperands()) {
    if (!IsResourceType(arg.get().getType())) {
      continue;
    }
    auto lattice =
        solver.lookupState<TF::IsCompositeDataflowState>(arg.get())->getValue();
    bool is_read = read_array.contains(arg.getOperandNumber());
    bool is_update = update_array.contains(arg.getOperandNumber());