let rec pp fmt s = 
  let ds = to_set s in
  if not(Fact.Diseq.Set.is_empty ds) then
    begin
      Pretty.list Fact.Diseq.pp fmt (Fact.Diseq.Set.elements ds)
    end