MAYBE
MAYBE
TRS:
 {f(i(x)) -> a(),
  f(h(x)) -> f(i(x)),
     i(x) -> h(x)}
 Fail