let pp_vars fmt = function
    | [] -> Format.pp_print_string fmt "-"
    | x::xs ->
        Format.fprintf fmt "@[<hov 2>%s" x.vname ;
        List.iter
          (fun x -> Format.fprintf fmt ",@,%s" x.vname)
          xs ;
        Format.fprintf fmt "@]"