More work on CNF converter, not done yet though.