let pretty fmt x = Format.fprintf fmt "%s#%d" x.var_base x.var_vid