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