New parser to CNF
new parser for CNF