method
mem x y : bool =
try
y = (
Hashtbl
.find current x)
with
Not_found
->
false