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