Reduce cnf-conformance criteria