let empty = {
  find = Map.empty;
  inv = Map.empty;
  removable = Term.Set.empty
}