Function color_refinement_cells 

pub fn color_refinement_cells(num_vars: usize, clauses: &[Vec<Lit>]) -> usize

The number of cells in the color-refinement (equitable) partition — a cheap polynomial symmetry indicator. At most the number of variable orbits (cells ≤ orbits, since each cell is a union of orbits).