let clause_approx_equal (clause1: clause) (clause2: clause) : bool = Tools.lists_equal literal_equal clause1 clause2