let pretty fmt (_obligs, p) = (* ignore obligs *) let pp (id,p) = Format.fprintf fmt "%a : @[<hov2> %a@]@." WpAnnot.pp_id id W.pretty p in List.iter pp p