Function ns_refutes_zm 

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

ns_refutes_polys_zm for a CNF (signed clause false-indicators as generators). An empty clause is 1 = 0 outright.