pub fn clauses_pass(clauses: &[Clause]) -> bool
Whether a slice of clauses passes (no failed Error clause).