let get_var_ots v = get_vd_ots v.var_def