let pp_dependency fmt d =
  Format.fprintf fmt " - Assume %s %a"
    d.dep_descr WpAnnot.pp_id d.dep_pid