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