let str_partitions_dbg table (ps : t_partition list) : string =
  if ps = [] then "empty list of partitions\n"
  else it_list (fun str p -> str^"----\n"^(str_partition_dbg table p)^"\n""" ps