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