let pretty_out_key fmt key = match key with | OutRet -> Format.fprintf fmt "OutRet" | OutLoc loc -> Format.fprintf fmt "@[<h 1>Out(%a)@]" Locations.Zone.pretty loc