let is_more_general_eq (p1 : t_partition) (p2 : t_partition) =
  List.for_all (fun x -> List.exists (is_subset x) p2) p1