MAYBE
MAYBE
TRS:
 {f(i(x)) -> a(),
  f(h(x)) -> f(i(x)),
     i(x) -> h(x)}
 DUP: We consider a non-duplicating system.
  Trs:
   {f(i(x)) -> a(),
    f(h(x)) -> f(i(x)),
       i(x) -> h(x)}
  Fail