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 "@]"