let nset_remove set n = IntMap.remove (get_id n) set