sig
  type t =
      Init of A.Semantics.Region.t
    | Child of (ReachabilityTree.Make.Vertex.t * A.Automaton.Transition.t)
  val print : Format.formatter -> t -> unit
end