sig val iter : bool -> (Db.Pdg.t_node * Db_types.kernel_function -> unit) -> Db_types.kernel_function -> Cil_types.stmt -> unit end