let equiv l1 l2 = List.for_all (fun y -> List.exists (fun x -> Disj.equiv x y) l1) l2 && List.for_all (fun y -> List.exists (fun x -> Disj.equiv x y) l2) l1