let find_call_ctrl_node pdg stmt =
  let key = K.call_ctrl_key stmt in
  find_node pdg key