Function fused_symmetry_group 

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