let
get_local_var_mark ff var =
get_node_key_mark ff (
PdgIndex
.
Key
.decl_var_key var)