Constant CNF_EMIT_CLAUSES 

pub const CNF_EMIT_CLAUSES: &str = "cnf_emit_clauses";