let process_unreachable_call _pdg _state _call_stmt =
    (* let key = Key.call_ctrl_key call_stmt in
    let _new_node = add_elem pdg key in *)

      Some Pdg_state.empty