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