module Properties: sig .. end
sig
end
module Interp: sig .. end
val add_assert : Cil_types.kernel_function -> Cil_types.stmt -> State.t list -> string -> unit
Cil_types.kernel_function -> Cil_types.stmt -> State.t list -> string -> unit