YES
Time: 0.001733
TRS:
 {  activate X -> X,
  and(tt(), X) -> activate X,
  plus(N, 0()) -> N,
  plus(N, s M) -> s plus(N, M)}
 DP:
  DP:
   {and#(tt(), X) -> activate# X,
    plus#(N, s M) -> plus#(N, M)}
  TRS:
  {  activate X -> X,
   and(tt(), X) -> activate X,
   plus(N, 0()) -> N,
   plus(N, s M) -> s plus(N, M)}
  UR:
   {}
   EDG:
    {(plus#(N, s M) -> plus#(N, M), plus#(N, s M) -> plus#(N, M))}
    EDG:
     {(plus#(N, s M) -> plus#(N, M), plus#(N, s M) -> plus#(N, M))}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):