More ZDD operations, some more tests.