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