Function lex_leader_sbp_lit 

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

The lex-leader SBP over literal symmetries (group[k][j] = the image literal of variable j), which breaks variable and value/phase symmetry alike. As with lex_leader_sbp, pass the whole group for the complete break or a generating set for the polynomial partial break.