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