let pp_sigma fmt s =
    begin
      Format.fprintf fmt "[" ;
      List.iter (fun (x,x') -> Format.fprintf fmt " %a:=%a" F.pp_var x F.pp_var x') s ;
      Format.fprintf fmt " ]" ;
    end