changed writeCNF option to writeWCNF