let nmap_mem map n = try let _ = IntMap.find (get_id n) map in true with Not_found -> false