continued work in implementing 'to CNF' conversion