TRS:
 {    f(x, 0()) -> s(0()),
  f(s(x), s(y)) -> s(f(x, y)),
      g(0(), x) -> g(f(x, x), x)}
 Fail