sig
  module G : Graph.Sig.G
  val compute : unit -> unit
  val get : unit -> G.t
  val dump : unit -> unit
  val is_computed : unit -> bool
  val self : State.t
end