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