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