let pretty_kind fmt = function
  | Backward Direct -> Format.fprintf fmt "backward direct"
  | Backward Indirect -> Format.fprintf fmt "backward indirect"
  | Forward Security -> Format.fprintf fmt "forward"
  | Forward Impact -> Format.fprintf fmt "impact"