Function is_lex_leader 

pub fn is_lex_leader(group: &[Perm], a: &[bool]) -> bool

Is a the lexicographic leader of its orbit — a ≤_lex a∘g for every g? The semantic canonical test; the CNF predicate lex_leader_sbp accepts exactly these assignments.