working on conversion to CNF
conversion to CNF passing tests