sig
  type reached
  val is_predicate : bool -> Cil_types.predicate -> bool
  val is_dead_annot : Cil_types.code_annotation -> bool
  val is_dead_code : Cil_types.stmt -> bool
  val reached : Kernel_function.t -> WpReached.reached
  val smoking : WpReached.reached -> Cil_types.stmt -> bool
  val dump :
    dir:Datatype.Filepath.t -> Kernel_function.t -> WpReached.reached -> unit
end