let get_var_lex v = get_vd_lex v.var_def