Module type Aorai_dataflow.Init

module type Init = sig .. end

val kf : Kernel_function.t
val stack : (Kernel_function.t * bool Pervasives.ref) list
val initial_state : Data_for_aorai.state * Cil_datatype.Stmt.Set.t
val stmt_can_reach : Cil_types.stmt -> Cil_types.stmt -> bool