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