MAYBE
MAYBE
TRS:
 {
        +(+(x, y), z) -> +(x, +(y, z)),
  +(f(x), +(f(y), z)) -> +(f(+(x, y)), z),
        +(f(x), f(y)) -> f(+(x, y))
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
          +(+(x, y), z) -> +(x, +(y, z)),
    +(f(x), +(f(y), z)) -> +(f(+(x, y)), z),
          +(f(x), f(y)) -> f(+(x, y))
   }
  Fail