let clausesAreEqual clause1 clause2 =
(List.for_all
(fun t1 ->List.exists ( fun t2 -> termsAreEqual t1 t2) clause2)
clause1)
&&
(List.for_all
(fun t1 ->List.exists ( fun t2 -> termsAreEqual t2 t1) clause1)
clause2)