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