Function ns_refutes_gfp 

pub fn ns_refutes_gfp(
    f: NsField,
    num_vars: usize,
    clauses: &[Vec<Lit>],
    degree: usize,
) -> bool

ns_refutes_polys_gfp for a CNF: the generators are the signed clause false-indicators. An empty clause is 1 = 0 outright.