Constant CNF_SET_CLAUSE_END 

pub const CNF_SET_CLAUSE_END: &str = "cnf_set_clause_end";