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