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