let xvar_of_varinfo env vinfo = try PrmVar (Varinfo.Map.find vinfo env.xvars) with Not_found -> MemVar