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