MAYBE
Time: 0.000783
TRS:
 {g c(x, s y) -> g c(s x, y),
          f x -> x,
  f c(s x, y) -> f c(x, s y),
        f f x -> f d f x}
 DP:
  DP:
   {g# c(x, s y) -> g# c(s x, y),
    f# c(s x, y) -> f# c(x, s y),
          f# f x -> f# d f x}
  TRS:
  {g c(x, s y) -> g c(s x, y),
           f x -> x,
   f c(s x, y) -> f c(x, s y),
         f f x -> f d f x}
  UR:
   {        f x -> x,
    f c(s x, y) -> f c(x, s y),
          f f x -> f d f x}
   EDG:
    {(f# f x -> f# d f x, f# f x -> f# d f x)
     (f# f x -> f# d f x, f# c(s x, y) -> f# c(x, s y))
     (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))
     (f# c(s x, y) -> f# c(x, s y), f# f x -> f# d f x)}
    STATUS:
     arrows: 0.444444
     SCCS (2):
      Scc:
       {g# c(x, s y) -> g# c(s x, y)}
      Scc:
       {f# c(s x, y) -> f# c(x, s y),
              f# f x -> f# d f x}
      
      SCC (1):
       Strict:
        {g# c(x, s y) -> g# c(s x, y)}
       Weak:
       {g c(x, s y) -> g c(s x, y),
                f x -> x,
        f c(s x, y) -> f c(x, s y),
              f f x -> f d f x}
       Open
      SCC (2):
       Strict:
        {f# c(s x, y) -> f# c(x, s y),
               f# f x -> f# d f x}
       Weak:
       {g c(x, s y) -> g c(s x, y),
                f x -> x,
        f c(s x, y) -> f c(x, s y),
              f f x -> f d f x}
       Open