method private add_to_skip_set eid skip = skip_set <- SkipIdSet.add (eid,skip) skip_set