MAYBE
Time: 0.007502
TRS:
 {f i x -> a(),
  f h x -> f i x,
    i x -> h x}
 DP:
  DP:
   {f# h x -> f# i x,
    f# h x -> i# x}
  TRS:
  {f i x -> a(),
   f h x -> f i x,
     i x -> h x}
  EDG:
   {(f# h x -> f# i x, f# h x -> f# i x)
    (f# h x -> f# i x, f# h x -> i# x)}
   STATUS:
    arrows: 0.500000
    SCCS (1):
     Scc:
      {f# h x -> f# i x}
     
     SCC (1):
      Strict:
       {f# h x -> f# i x}
      Weak:
      {f i x -> a(),
       f h x -> f i x,
         i x -> h x}
      Open