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