cnf2cls cleanup, TODO: need to merge the testArrowFree, testNNF and testCNF methods into one