let name_of_var vi : F.name = F.Xindex.get_ind vi