main(x) = (s,t) where (s,t) = cp(x)

cp(S(x)) = (S(s),S(t)) where (s,t) = cp(x)
cp(Z)    = (Z, Z)
