ResourceConstructingOps>::TensorflowDataflowAnalysis;
  void visitOperation(Operation *op, ArrayRef<const StateT *> operands,
                      ArrayRef<StateT *> results) override {
    if (ForwardThroughTFOperation(op, operands, results)) return;
    setAllToEntryStates(results);
  }
  ~ResourceDataflowAnalysis() override = default;
};

class IsCompositeDataflowAnalysis

      StateT>::SparseForwardDataFlowAnalysis;
  using dataflow::SparseForwardDataFlowAnalysis<StateT>::getLatticeElement;
  ~TensorflowDataflowAnalysis() override = default;

  bool ForwardThroughTFOperation(Operation *op,
                                 ArrayRef<const StateT *> operands,
                                 ArrayRef<StateT *> results) {
    if (auto cast = dyn_cast<TF::CastOp>(op)) {