cnftools and cnf objects have been  factored out of the test code, and
put in a sort-of library code.