some more work on BDD and CNF transformations