(VAR x y z)
(RULES
  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)))
)