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