YES
Time: 0.000520
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())}
   EDG:
    {}
    EDG:
     {}
     EDG:
      {}
      STATUS:
       arrows: 1.000000
       SCCS (0):