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"