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