YES

Problem:
 U11(tt(),M,N) -> U12(tt(),activate(M),activate(N))
 U12(tt(),M,N) -> s(plus(activate(N),activate(M)))
 plus(N,0()) -> N
 plus(N,s(M)) -> U11(tt(),M,N)
 activate(X) -> X

Proof:
 DP Processor:
  DPs:
   U11#(tt(),M,N) -> activate#(N)
   U11#(tt(),M,N) -> activate#(M)
   U11#(tt(),M,N) -> U12#(tt(),activate(M),activate(N))
   U12#(tt(),M,N) -> activate#(M)
   U12#(tt(),M,N) -> activate#(N)
   U12#(tt(),M,N) -> plus#(activate(N),activate(M))
   plus#(N,s(M)) -> U11#(tt(),M,N)
  TRS:
   U11(tt(),M,N) -> U12(tt(),activate(M),activate(N))
   U12(tt(),M,N) -> s(plus(activate(N),activate(M)))
   plus(N,0()) -> N
   plus(N,s(M)) -> U11(tt(),M,N)
   activate(X) -> X
  TDG Processor:
   DPs:
    U11#(tt(),M,N) -> activate#(N)
    U11#(tt(),M,N) -> activate#(M)
    U11#(tt(),M,N) -> U12#(tt(),activate(M),activate(N))
    U12#(tt(),M,N) -> activate#(M)
    U12#(tt(),M,N) -> activate#(N)
    U12#(tt(),M,N) -> plus#(activate(N),activate(M))
    plus#(N,s(M)) -> U11#(tt(),M,N)
   TRS:
    U11(tt(),M,N) -> U12(tt(),activate(M),activate(N))
    U12(tt(),M,N) -> s(plus(activate(N),activate(M)))
    plus(N,0()) -> N
    plus(N,s(M)) -> U11(tt(),M,N)
    activate(X) -> X
   graph:
    plus#(N,s(M)) -> U11#(tt(),M,N) ->
    U11#(tt(),M,N) -> U12#(tt(),activate(M),activate(N))
    plus#(N,s(M)) -> U11#(tt(),M,N) ->
    U11#(tt(),M,N) -> activate#(M)
    plus#(N,s(M)) -> U11#(tt(),M,N) ->
    U11#(tt(),M,N) -> activate#(N)
    U12#(tt(),M,N) -> plus#(activate(N),activate(M)) ->
    plus#(N,s(M)) -> U11#(tt(),M,N)
    U11#(tt(),M,N) -> U12#(tt(),activate(M),activate(N)) ->
    U12#(tt(),M,N) -> plus#(activate(N),activate(M))
    U11#(tt(),M,N) -> U12#(tt(),activate(M),activate(N)) ->
    U12#(tt(),M,N) -> activate#(N)
    U11#(tt(),M,N) -> U12#(tt(),activate(M),activate(N)) -> U12#(tt(),M,N) -> activate#(M)
   SCC Processor:
    #sccs: 1
    #rules: 3
    #arcs: 7/49
    DPs:
     plus#(N,s(M)) -> U11#(tt(),M,N)
     U11#(tt(),M,N) -> U12#(tt(),activate(M),activate(N))
     U12#(tt(),M,N) -> plus#(activate(N),activate(M))
    TRS:
     U11(tt(),M,N) -> U12(tt(),activate(M),activate(N))
     U12(tt(),M,N) -> s(plus(activate(N),activate(M)))
     plus(N,0()) -> N
     plus(N,s(M)) -> U11(tt(),M,N)
     activate(X) -> X
    CDG Processor:
     DPs:
      plus#(N,s(M)) -> U11#(tt(),M,N)
      U11#(tt(),M,N) -> U12#(tt(),activate(M),activate(N))
      U12#(tt(),M,N) -> plus#(activate(N),activate(M))
     TRS:
      U11(tt(),M,N) -> U12(tt(),activate(M),activate(N))
      U12(tt(),M,N) -> s(plus(activate(N),activate(M)))
      plus(N,0()) -> N
      plus(N,s(M)) -> U11(tt(),M,N)
      activate(X) -> X
     graph:
      plus#(N,s(M)) -> U11#(tt(),M,N) ->
      U11#(tt(),M,N) -> U12#(tt(),activate(M),activate(N))
      U11#(tt(),M,N) -> U12#(tt(),activate(M),activate(N)) ->
      U12#(tt(),M,N) -> plus#(activate(N),activate(M))
     SCC Processor:
      #sccs: 0
      #rules: 0
      #arcs: 2/9