let
find_decl_var_node pdg v = find_node pdg (
Key
.decl_var_key v)