let process_unreachable _pdg _state _stmt =
    (* let key = Key.stmt_key stmt in
    let _new_node = add_elem pdg key in *)

      Some Pdg_state.empty