Constant CNF_MARK_LEAF_CHOICE 

pub const CNF_MARK_LEAF_CHOICE: &str = "cnf_mark_leaf_choice";