Function is_lex_leader_lit 

pub fn is_lex_leader_lit(group: &[Vec<Lit>], a: &[bool]) -> bool

is_lex_leader over literal symmetries: aˢ[j] is the value of the image literal img[j] under a (a phase flip negates the compared bit).