Z Lifting added

A small example that uses the Z lifting parameterization