Constant CNF_COUNT_CLAUSES 

pub const CNF_COUNT_CLAUSES: &str = "cnf_count_clauses";