let contains_equality (clauses: clause list) : bool =
List.exists
(fun clause ->
List.exists
(fun literal ->
match literal.atom with
| Func func ->
Symbol.equal Symbol.equality func.symbol
| _ ->
false
)
clause
)
clauses