adding NNF/CNF transformers (not currently used)