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