main(x) = pred(x)

pred(Z)    = Z
pred(S(Z)) = Z
pred(S(S(x))) = S(idNat(x))

idNat(S(x)) = S(idNat(x))
idNat(Z)    = Z
