MAYBE
Time: 0.008035
TRS:
 {h f f x -> h f g f x,
  f g f x -> f f x}
 DP:
  DP:
   {h# f f x -> h# f g f x,
    h# f f x -> f# g f x,
    f# g f x -> f# f x}
  TRS:
  {h f f x -> h f g f x,
   f g f x -> f f x}
  UR:
   {f g f x -> f f x}
   EDG:
    {(h# f f x -> h# f g f x, h# f f x -> h# f g f x)
     (h# f f x -> h# f g f x, h# f f x -> f# g f x)
     (h# f f x -> f# g f x, f# g f x -> f# f x)}
    STATUS:
     arrows: 0.666667
     SCCS (1):
      Scc:
       {h# f f x -> h# f g f x}
      
      SCC (1):
       Strict:
        {h# f f x -> h# f g f x}
       Weak:
       {h f f x -> h f g f x,
        f g f x -> f f x}
       Fail