Constant CNF_COMPUTE_LEAF_CHOICE_TOTALS 

pub const CNF_COMPUTE_LEAF_CHOICE_TOTALS: &str = "cnf_compute_leaf_choice_totals";