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