let pp_descr fmt g = Format.fprintf fmt "Proof Obligation for %a:@\n" WpAnnot.pp_id g.g_id ; pp_dnode fmt g.g_descr