let pp_sigma fmt = function
  | [] -> Format.pp_print_string fmt "{}"
  | (x,c)::s ->
      Format.fprintf fmt "@[{%s=%a" x Clabels.pretty c ;
      List.iter
        (fun (x,c) -> Format.fprintf fmt ",%s=%a" x Clabels.pretty c) s ;
      Format.fprintf fmt "}@]"