let remove t abstract = Hashtbl.remove t.elts abstract