MAYBE
Time: 0.000616
TRS:
 {        f g x -> g f f x,
          f h x -> h g x,
  f'(s x, y, y) -> f'(y, x, s x)}
 DP:
  DP:
   {        f# g x -> f# x,
            f# g x -> f# f x,
    f'#(s x, y, y) -> f'#(y, x, s x)}
  TRS:
  {        f g x -> g f f x,
           f h x -> h g x,
   f'(s x, y, y) -> f'(y, x, s x)}
  EDG:
   {(f'#(s x, y, y) -> f'#(y, x, s x), f'#(s x, y, y) -> f'#(y, x, s x))
    (f# g x -> f# f x, f# g x -> f# x)
    (f# g x -> f# f x, f# g x -> f# f x)
    (f# g x -> f# x, f# g x -> f# x)
    (f# g x -> f# x, f# g x -> f# f x)}
   STATUS:
    arrows: 0.444444
    SCCS (2):
     Scc:
      {f'#(s x, y, y) -> f'#(y, x, s x)}
     Scc:
      {f# g x -> f# x,
       f# g x -> f# f x}
     
     SCC (1):
      Strict:
       {f'#(s x, y, y) -> f'#(y, x, s x)}
      Weak:
      {        f g x -> g f f x,
               f h x -> h g x,
       f'(s x, y, y) -> f'(y, x, s x)}
      Open
     SCC (2):
      Strict:
       {f# g x -> f# x,
        f# g x -> f# f x}
      Weak:
      {        f g x -> g f f x,
               f h x -> h g x,
       f'(s x, y, y) -> f'(y, x, s x)}
      Open