sig
  val run_whole_analysis : (unit -> unit) Stdlib.ref
  val run_ai_analysis : (unit -> unit) Stdlib.ref
  val run_slicing_analysis : (unit -> Project.t) Stdlib.ref
  val self : State.t Stdlib.ref
end