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