Implemented tests for CNF