let find_label_node pdg label_stmt label =
  let key = K.label_key label_stmt label in find_node pdg key