Constant SAT_XGCF_CNF_COMPUTE_TOTALS 

pub const SAT_XGCF_CNF_COMPUTE_TOTALS: &str = "sat_xgcf_cnf_compute_totals";