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