creating ZDD
make zdd lazy evaluated
Add Test
.