let find_label_node pdg label_stmt label =
  find_node pdg (Key.label_key label_stmt label)