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