let nochange = {
  chv = Term.Set.empty;
  chd = Term.Set.empty;
  chc = Term.Set.empty
}