let empty = {
  post = Term.Var.Map.empty;
  pre = Term.Var.Map.empty;
  cnstrnt = Term.Var.Map.empty;
  removable = Term.Var.Set.empty;
}