MAYBE
MAYBE
TRS:
 {
                  admit(x, nil()) -> nil(),
  admit(x, .(u, .(v, .(w(), z)))) ->
  cond(=(sum(x, u, v), w()), .(u, .(v, .(w(), admit(carry(x, u, v), z))))),
                  cond(true(), y) -> y
 }
 DUP: We consider a duplicating system.
  Trs:
   {
                    admit(x, nil()) -> nil(),
    admit(x, .(u, .(v, .(w(), z)))) ->
    cond(=(sum(x, u, v), w()), .(u, .(v, .(w(), admit(carry(x, u, v), z))))),
                    cond(true(), y) -> y
   }
  Fail