MAYBE
Time: 0.008389
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))}
    STATUS:
     arrows: 0.750000
     SCCS (1):
      Scc:
       {plus#(N, s M) -> plus#(N, M)}
      
      
      SCC (1):
       Strict:
        {plus#(N, s M) -> plus#(N, M)}
       Weak:
       {  activate X -> X,
        and(tt(), X) -> activate X,
        plus(N, 0()) -> N,
        plus(N, s M) -> s plus(N, M)}
       Open