NNF to CNF conversion, fixing bug in bool to NNF