more test for cnf