let empty = {
  v = V.empty; 
  d = D.empty; 
  equal = [];
  diseq = Fact.Diseq.Set.empty
}