Documented CNF tests