Added testing information for toCNF function