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