let exists_more_general_eq (p : t_partition) (ps : t_partition list) =
  List.exists (fun p2 -> is_more_general_eq p2 p) ps