let pp_dependency kf fmt d =
  Format.fprintf fmt " - Assumes %a" (Description.pp_localized ~kf:(`Context kf) ~ki:false) d