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