let pretty_in_key fmt key = match key with
    | (InNum n)  -> Format.fprintf fmt "In%d" n
    | InCtrl -> Format.fprintf fmt "InCtrl"
    | InImpl loc ->
        Format.fprintf fmt "@[<h 1>In(%a)@]" Locations.Zone.pretty loc