MAYBE
MAYBE
TRS:
 {g(a()) -> f(b()),
    h(X) -> g(X),
    f(X) -> h(a()),
     a() -> b()}
 Fail