YES
Time: 0.001042
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()}
  EDG:
   {(g# s 0() -> f# s 0(), f# s x -> f# x)}
   STATUS:
    arrows: 0.888889
    SCCS (0):