Constant CNF_MARK_NODE_VARS 

pub const CNF_MARK_NODE_VARS: &str = "cnf_mark_node_vars";