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