Function refute_counting 

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

Refute a Count_q(n) core (q ∤ n). true iff a certificate is recovered. Never a false refutation.