YES
Time: 0.014542
TRS:
 {f c(s x, y) -> f c(x, s y),
  g c(x, s y) -> g c(s x, y)}
 DP:
  DP:
   {f# c(s x, y) -> f# c(x, s y),
    g# c(x, s y) -> g# c(s x, y)}
  TRS:
  {f c(s x, y) -> f c(x, s y),
   g c(x, s y) -> g c(s x, y)}
  UR:
   {}
   EDG:
    {(g# c(x, s y) -> g# c(s x, y), g# c(x, s y) -> g# c(s x, y))
     (f# c(s x, y) -> f# c(x, s y), f# c(s x, y) -> f# c(x, s y))}
    EDG:
     {(g# c(x, s y) -> g# c(s x, y), g# c(x, s y) -> g# c(s x, y))
      (f# c(s x, y) -> f# c(x, s y), f# c(s x, y) -> f# c(x, s y))}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):