sig   class type inspector =     object       method empty : unit       method finished : unit       method function_section : Kernel_function.t -> unit       method global_section : unit       method property : Property.t -> Property_status.Consolidation.t -> unit       method started : unit     end   val dead_reasons : Property_status.Consolidation.pending -> Property.Set.t   val partial_pending :     Property_status.Consolidation.pending ->     Property.Set.t Emitter.Usable_emitter.Map.t   val iter : Scan.inspector -> unit   val report_ip : Property.t -> bool end