Constant CNF_ASSIGN_CHOICE_VAR 

pub const CNF_ASSIGN_CHOICE_VAR: &str = "cnf_assign_choice_var";