let pretty fmt d =
    match d with
    | Init ->
        Format.fprintf fmt "Top"
    | ToReturn d -> Format.fprintf fmt "{%a}_ret" S.pretty d
    | ToInfinity d -> Format.fprintf fmt "{%a}_oo" S.pretty d