YES
Time: 0.000812
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:
    {}
    STATUS:
     arrows: 1.000000
     SCCS (0):