method pp_var fmt x =
    try self#pp_id fmt (VMAP.find x sigma)
    with Not_found -> Format.fprintf fmt "?%a" VAR.pretty x