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