MAYBE
Time: 1.241

Problem:
 Equations:
  
 TRS:
  eqC(0(),0()) -> true()
  eqC(0(),s(x)) -> false()
  eqC(s(x),0()) -> false()
  eqC(s(x),s(y)) -> eqC(x,y)
  rm(n,nil()) -> nil()
  rm(n,add(m,x)) -> if_rm(eqC(n,m),n,add(m,x))
  if_rm(true(),n,add(m,x)) -> rm(n,x)
  if_rm(false(),n,add(m,x)) -> add(m,rm(n,x))
  purge(nil()) -> nil()
  purge(add(n,x)) -> add(n,purge(rm(n,x)))

Proof:
 Open