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