Function check_ns_lower_bound_zm 

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

check_ns_lower_bound_polys_zm for a CNF. An empty clause admits no lower bound at any degree.