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