MAYBE

Problem:
 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)))

Proof:
 Complexity Transformation Processor:
  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:
   
  Matrix Interpretation Processor:
   dimension: 1
   max_matrix:
    1
    interpretation:
     [0] = 0,
     
     [s](x0) = x0 + 1,
     
     [h](x0, x1) = x0 + x1 + 1,
     
     [c](x0, x1) = x0 + x1
    orientation:
     h(x,c(y,z)) = x + y + z + 1 >= x + y + z + 2 = h(c(s(y),x),z)
     
     h(c(s(x),c(s(0()),y)),z) = x + y + z + 3 >= x + y + z + 2 = h(y,c(s(0()),c(x,z)))
    problem:
     strict:
      h(x,c(y,z)) -> h(c(s(y),x),z)
     weak:
      h(c(s(x),c(s(0()),y)),z) -> h(y,c(s(0()),c(x,z)))
    Open