Function check_ns_lower_bound 

pub fn check_ns_lower_bound(
    num_vars: usize,
    clauses: &[Vec<Lit>],
    degree: usize,
    witness: &[u64],
) -> bool

Re-check a ns_lower_bound_witness certificate (zero trust in the producer): the functional L (given as the monomials on which it is 1) must satisfy L(1) = 1 and L(m · p_C) = 0 for every degree-≤ d generator. true ⟹ F genuinely has no degree-d GF(2) Nullstellensatz refutation.