fn constraints_are_directly_unsat(constraints: &[BoolExpr]) -> bool
Returns whether normalized conjunctive constraints contain a direct contradiction.