sig
  val run_whole_analysis : (unit -> unit) Pervasives.ref
  val run_ai_analysis : (unit -> unit) Pervasives.ref
  val run_slicing_analysis : (unit -> Project.t) Pervasives.ref
  val get_component : (Cil_types.stmt -> Cil_types.stmt list) Pervasives.ref
  val get_direct_component :
    (Cil_types.stmt -> Cil_types.stmt list) Pervasives.ref
  val get_indirect_backward_component :
    (Cil_types.stmt -> Cil_types.stmt list) Pervasives.ref
  val get_forward_component :
    (Cil_types.stmt -> Cil_types.stmt list) Pervasives.ref
  val impact_analysis :
    (Db_types.kernel_function -> Cil_types.stmt -> Cil_types.stmt list)
    Pervasives.ref
  val self : Project.Computation.t Pervasives.ref
end