let print_ndm fmt (nodes, ndm_list) =
  Format.fprintf fmt "(%a,%a)" print_nodes nodes 
    print_nd_and_mark_list ndm_list