A better CNF converter.