Function litsym_to_points 

pub fn litsym_to_points(img: &[Lit], num_vars: usize) -> Perm

A literal symmetry (img[j] = image literal of variable j) as a permutation of the 2·num_vars literal points — for the Schreier–Sims backend (order, enumeration). Negation is respected.