fn vars_declared_by_var_decl(
    v: &RVarDecl
) -> AHashMap<TypedId, AHashSet<TypedId>>