MAYBE
Time: 0.000635
TRS:
 {            h(x, c(y, z)) -> h(c(s y, x), z),
  h(c(s x, c(s 0(), y)), z) -> h(y, c(s 0(), c(x, z)))}
 DP:
  DP:
   {            h#(x, c(y, z)) -> h#(c(s y, x), z),
    h#(c(s x, c(s 0(), y)), z) -> h#(y, c(s 0(), c(x, z)))}
  TRS:
  {            h(x, c(y, z)) -> h(c(s y, x), z),
   h(c(s x, c(s 0(), y)), z) -> h(y, c(s 0(), c(x, z)))}
  EDG:
   {(h#(c(s x, c(s 0(), y)), z) -> h#(y, c(s 0(), c(x, z))), h#(c(s x, c(s 0(), y)), z) -> h#(y, c(s 0(), c(x, z))))
    (h#(c(s x, c(s 0(), y)), z) -> h#(y, c(s 0(), c(x, z))), h#(x, c(y, z)) -> h#(c(s y, x), z))
    (h#(x, c(y, z)) -> h#(c(s y, x), z), h#(x, c(y, z)) -> h#(c(s y, x), z))
    (h#(x, c(y, z)) -> h#(c(s y, x), z), h#(c(s x, c(s 0(), y)), z) -> h#(y, c(s 0(), c(x, z))))}
   STATUS:
    arrows: 0.000000
    SCCS (1):
     Scc:
      {            h#(x, c(y, z)) -> h#(c(s y, x), z),
       h#(c(s x, c(s 0(), y)), z) -> h#(y, c(s 0(), c(x, z)))}
     
     SCC (2):
      Strict:
       {            h#(x, c(y, z)) -> h#(c(s y, x), z),
        h#(c(s x, c(s 0(), y)), z) -> h#(y, c(s 0(), c(x, z)))}
      Weak:
      {            h(x, c(y, z)) -> h(c(s y, x), z),
       h(c(s x, c(s 0(), y)), z) -> h(y, c(s 0(), c(x, z)))}
      Open