Added test for cnf exercise