Added test for cnf