Constant CNF_ASSIGN_NODE_VAR 

pub const CNF_ASSIGN_NODE_VAR: &str = "cnf_assign_node_var";