+ test files for dnf2cnf