let contains_empty_clause (clauses: clause list) : bool = List.exists (List.for_all (literal_equal false_literal)) clauses