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