Add tests for CNF conversion.