let
find_decl_var_node pdg v =
let
key =
K
.decl_var_key v
in
find_node pdg key