sig val add : Kernel_function.t -> Cil_types.stmt -> unit val mem : Kernel_function.t -> Cil_types.stmt -> bool val mem_kf : Kernel_function.t -> bool end