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