MAYBE
Time: 0.001032
TRS:
 {  f f x -> f x,
    f s x -> f x,
  g s 0() -> g f s 0()}
 DP:
  DP:
   {  f# s x -> f# x,
    g# s 0() -> f# s 0(),
    g# s 0() -> g# f s 0()}
  TRS:
  {  f f x -> f x,
     f s x -> f x,
   g s 0() -> g f s 0()}
  UR:
   {f f x -> f x,
    f s x -> f x}
   EDG:
    {(f# s x -> f# x, f# s x -> f# x)
     (g# s 0() -> f# s 0(), f# s x -> f# x)}
    STATUS:
     arrows: 0.777778
     SCCS (1):
      Scc:
       {f# s x -> f# x}
      
      
      
      SCC (1):
       Strict:
        {f# s x -> f# x}
       Weak:
       {  f f x -> f x,
          f s x -> f x,
        g s 0() -> g f s 0()}
       Open