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