MAYBE
TRS:
 {f(i(x)) -> a(),
  f(h(x)) -> f(i(x)),
     i(x) -> h(x)}
 DP:
  Strict:
   {f#(h(x)) -> f#(i(x)),
    f#(h(x)) -> i#(x)}
  Weak:
  {f(i(x)) -> a(),
   f(h(x)) -> f(i(x)),
      i(x) -> h(x)}
  EDG:
   {(f#(h(x)) -> f#(i(x)), f#(h(x)) -> i#(x))
    (f#(h(x)) -> f#(i(x)), f#(h(x)) -> f#(i(x)))}
   SCCS:
    Scc:
     {f#(h(x)) -> f#(i(x))}
    SCC:
     Strict:
      {f#(h(x)) -> f#(i(x))}
     Weak:
     {f(i(x)) -> a(),
      f(h(x)) -> f(i(x)),
         i(x) -> h(x)}
     Fail