some more tests on DNFConverter