sig
  type t
  val get : Property.t -> Property_status.Consolidation_graph.t
  val dump : Property_status.Consolidation_graph.t -> string -> unit
end