sig
  type config = Config.config
  type statistic
  val create : Statistic.config -> Statistic.statistic
  val inc_close : Statistic.statistic -> unit
  val get_close : Statistic.statistic -> int
  val inc_assert : Statistic.statistic -> unit
  val get_assert : Statistic.statistic -> int
  val inc_split : Statistic.statistic -> unit
  val get_split : Statistic.statistic -> int
  val inc_resolve : Statistic.statistic -> unit
  val get_resolve : Statistic.statistic -> int
  val inc_subsume : Statistic.statistic -> unit
  val get_subsume : Statistic.statistic -> int
  val inc_compact : Statistic.statistic -> unit
  val get_compact : Statistic.statistic -> int
  val inc_filtered_by_productivity : Statistic.statistic -> unit
  val get_filtered_by_productivity : Statistic.statistic -> int
  val inc_computed_assert_candidates : Statistic.statistic -> unit
  val get_computed_assert_candidates : Statistic.statistic -> int
  val inc_computed_split_candidates : Statistic.statistic -> unit
  val get_computed_split_candidates : Statistic.statistic -> int
  val inc_jump : Statistic.statistic -> unit
  val get_jump : Statistic.statistic -> int
  val inc_debug : Statistic.statistic -> unit
  val get_debug : Statistic.statistic -> int
  val inc_global_debug : unit -> unit
  val get_global_debug : unit -> int64
  val inc_global_debug2 : unit -> unit
  val get_global_debug2 : unit -> int
  val set_global_debug2 : int -> unit
  val print : Statistic.statistic -> unit
end