let is_unchanged ch =
  ch.chv == Term.Set.empty &&
  ch.chd == Term.Set.empty &&
  ch.chc == Term.Set.empty