let pp_partial fmt = function | Svalue e -> Format.fprintf fmt "(%a)"F.pp_term e | Sclosure c -> Format.fprintf fmt "{@@%s}" (M.label_at_closure c)