obey outputCNF flag