let pp fmt x =
  Name.pp fmt (name_of x);
  (if not !pretty then
    (match dom_of x with
       | Some(d) -> 
           Pretty.string fmt "{";
           Dom.pp fmt d;
           Pretty.string fmt "}"
       | None -> ()))