Function width_refutes 

pub fn width_refutes(
    clauses: &[Vec<Lit>],
    w: usize,
    convention: WidthConvention,
) -> bool

Does a width-w resolution refutation exist under the convention? Decided by the closure.