MAYBE
Time: 0.005241
TRS:
 {f 0() -> f 0(),
    0() -> 1()}
 DP:
  DP:
   {f# 0() -> f# 0()}
  TRS:
  {f 0() -> f 0(),
     0() -> 1()}
  EDG:
   {(f# 0() -> f# 0(), f# 0() -> f# 0())}
   STATUS:
    arrows: 0.000000
    SCCS (1):
     Scc:
      {f# 0() -> f# 0()}
     
     SCC (1):
      Strict:
       {f# 0() -> f# 0()}
      Weak:
      {f 0() -> f 0(),
         0() -> 1()}
      Open