Constant CNF_ASSIGN_LEAF_VAR 

pub const CNF_ASSIGN_LEAF_VAR: &str = "cnf_assign_leaf_var";