let pp_dnode fmt d = iter_dnodes (fun d -> pp_list Wpo.pp_warning fmt d.dn_warn ; pp_list Wpo.pp_depend fmt d.dn_depends ; ) d