MAYBE
MAYBE
TRS:
 {f(s(X), Y) -> h(s(f(h(Y), X)))}
 Fail