MAYBE
Time: 0.018802
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))))}
   EDG:
    {(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))}
    EDG:
     {(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))}
     STATUS:
      arrows: 0.500000
      SCCS (1):
       Scc:
        {h#(x, c(y, z)) -> h#(c(s y, x), z)}
       
       
       SCC (1):
        Strict:
         {h#(x, c(y, z)) -> h#(c(s y, 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