sig
  type t
  module Cfg = Interpreted_automata
  val get :
    Kernel_function.t ->
    ?smoking:bool ->
    ?bhv:string list -> ?prop:string list -> unit -> CfgInfos.t
  val clear : unit -> unit
  val body : CfgInfos.t -> Cfg.automaton option
  val annots : CfgInfos.t -> bool
  val doomed : CfgInfos.t -> WpPropId.prop_id Bag.t
  val calls : CfgInfos.t -> Kernel_function.Set.t
  val smoking : CfgInfos.t -> Cil_types.stmt -> bool
  val unreachable : CfgInfos.t -> Cfg.vertex -> bool
  val terminates_deps : CfgInfos.t -> Property.Set.t
  val is_recursive : Kernel_function.t -> bool
  val in_cluster : caller:Kernel_function.t -> Kernel_function.t -> bool
  val trivial_terminates : int Stdlib.ref
end