changes on tests for CNF function.