Module From.Callwise

val iter : (Frama_c_kernel.Cil_types.kinstr -> Eva.Assigns.t -> unit) -> unit