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)