/* See LICENSE file for copyright and license details. */
#include "common.h"
#ifndef TEST


struct libnormalform_term *
(libnormalform_cnf)(LIBNORMALFORM_SENTENCE *this, uint64_t flags, const struct libnormalform_analysers *analysers)
{
	return libnormalform_express__(this, flags | LIBNORMALFORM_RELAX_XOR, analysers, CNF, NULL);
}


#else

TODO_TEST

#endif