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